rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.131, 2013/03/27 21:25:48	version 1.134, 2013/04/01 21:52:39
Line 1	Line 1
RESTRICTIONS	RESTRICTIONS

Mettre le drapeau de debug dans la pile système pour pouvoir sauter
les fonctions appelées lors d'un HALT/CONT.
Réduire le nombre de pipes entre deux processus.	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.

	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()" } ]> } = { <[ "character()" "character()" ]> }
{ <[ 2 { <[ "character()" "standard()" ]> } ]> } =	{ <[ 2 { <[ "character()" "standard()" ]> } ]> } =
Line 14 Réduire le nombre de pipes entre deux p	Line 18 Réduire le nombre de pipes entre deux p
{{ 3 }} invalide	{{ 3 }} invalide
{ 5} invalide	{ 5} invalide

RPL/2> { 2}
+ 001> abort (^D) => revenir au prompt et non au shell

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

Ajouter la translitération dans l'écriture des fichiers.	Ajouter la translitération dans l'écriture des fichiers.