--- rpl/LIMITATIONS	2012/06/25 09:58:33	1.84
+++ rpl/LIMITATIONS	2012/12/13 16:59:41	1.94
@@ -1,6 +1,28 @@
 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
+
 Pour OpenVMS :
 Trouver les includes pour :
 syslog.h
@@ -9,9 +31,6 @@ 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