rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

-version 1.88, 2012/09/15 12:57:08
+version 1.95, 2012/12/14 14:20:32
  Line 1
  RESTRICTIONS
      Only formatted and flow files are supported.
+ recherche_variable_partagee doit positionner le mutex !
+ Cette fonction verrouille l'objet qu'il a trouvé.
+ Rajouter une fonction de libération des variables partagées.
+ Vérifier que liste_variables() renvoie bien les variables partagées. Idem pour
+ nombre_variables
+ vérifier la pérsence de yacc dans configure.
+ Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
+ EMSGSIZE dans les send() !
+ recherche_variable_partagee() doit renvoyer l'objet 'variable_partagee'
+ en verrouillant le mutex associé
+ ou un NULL en cas d'erreur car le verrou est maintenant dans la liste
+ chaînée et non sur le tableau.
+ Le balayage de la liste est protégé par un mutex global sur la liste
+ et l'accès à une variable par un mutex propre à cette variable.
  À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
  SOCKET NON FORMATÉS
- Line 12  sys/un.h
+ Line 31  sys/un.h
  regex.h
  termios.h
- Ajouter { } FORALL/NEXT et <[ ]> FORALL/NEXT
  Ajouter une évaluation dans GET et PUT 'X' { I } get
  Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS