rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.95, 2012/12/14 14:20:32	version 1.96, 2012/12/17 21:22:43
Line 1	Line 1
RESTRICTIONS	RESTRICTIONS
Only formatted and flow files are supported.	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	Vérifier que liste_variables() renvoie bien les variables partagées. Idem pour
nombre_variables	nombre_variables

vérifier la pérsence de yacc dans configure.

Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.	Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.

EMSGSIZE dans les send() !	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))	À FAIRE : SOCKET DE TYPE FLOW (LENGTH() ET LENGTH*(N))
SOCKET NON FORMATÉS	SOCKET NON FORMATÉS