--- rpl/LIMITATIONS 2012/05/14 20:11:57 1.75 +++ rpl/LIMITATIONS 2013/03/05 22:33:55 1.104 @@ -1,9 +1,33 @@ RESTRICTIONS - Only sequential formatted files are supported. + Only formatted and flow files are supported. -Vérifier scrutation_interruptions pour éviter les conditions bizarres -(envoi de SIGALRM après la fin de la scrutation et un point bloquant sur -un appel système). +Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux, +transformer le semop en non bloquant). + +Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. + +BUG : +toto +<< + // truc qui fait une erreur +>> + +{ } forall + 'toto' eval +next + +EMSGSIZE dans les send() ! + +À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) +SOCKET NON FORMATÉS + +Pour OpenVMS : +Trouver les includes pour : +syslog.h +sys/select.h +sys/un.h +regex.h +termios.h Ajouter une évaluation dans GET et PUT 'X' { I } get @@ -12,8 +36,6 @@ Mettre un masque des signaux dans struct tableaux des signaux en variable globale (buffer circulaire protégé par un mutex avec un trylock()). -Exécuter ATEXIT lorsque que SIGTERM - rplss signal processus Rajouter le format dans formateur_flux() (pour les fichiers de type flow).