--- rpl/LIMITATIONS 2013/03/23 17:57:55 1.123 +++ rpl/LIMITATIONS 2013/04/17 13:53:46 1.137 @@ -1,11 +1,27 @@ RESTRICTIONS - Only formatted and flow files are supported. + +Réduire le nombre de pipes entre deux processus. +Remonter une erreur de format en cas de lecture sur un fichier ou une socket +formatée ou non formatée. + +Échapper les caractères dans LOGGER + +/usr/pkg/bin/bash dans les scripts + +Virer mutex_sections_critiques _avant_ l'exécution de AT_EXIT. +Faut-il tuer les processus fils avant l'exécution de AT_EXIT ? +ABORT ne lance pas ATEXIT. { <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> } { <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } = { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" "standard*(*)" ]> ]> } +[[1 2 ]]3 valide +[[ 1 2]] valide +{{ 3 }} invalide +{ 5} invalide + Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. Ajouter la translitération dans l'écriture des fichiers. @@ -20,7 +36,12 @@ sys/un.h regex.h termios.h -Ajouter une évaluation dans GET et PUT 'X' { I } get +Ajouter une évaluation des listes. + +3 'D(4)' sto/save +<< 4 D >> L'avant dernier token est un tableau, une liste, un vecteur ou une +matrice. On teste pour savoir si l'élément existe avec un coup d'évaluation() +puis on l'enregistre. Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS Mettre un masque des signaux dans structure_processus et les