rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

-version 1.94, 2012/12/13 16:59:41
+version 1.102, 2013/03/04 13:00:26
  Line 1
  RESTRICTIONS
      Only formatted and flow files are supported.
- recherche_variable_partagee doit positionner le mutex !
+ Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux,
- Cette fonction verrouille l'objet qu'il a trouvé.
+ transformer le semop en non bloquant).
- 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'
+ BUG :
- en verrouillant le mutex associé
+ toto
- ou un NULL en cas d'erreur car le verrou est maintenant dans la liste
+ <<
- chaînée et non sur le tableau.
+     // truc qui fait une erreur
- 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.
+ { } forall
+     'toto' eval
+ next
+ EMSGSIZE dans les send() !
  À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
  SOCKET NON FORMATÉS