Annotation of rpl/LIMITATIONS, revision 1.152
1.1 bertrand 1: RESTRICTIONS
1.82 bertrand 2:
1.149 bertrand 3: Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h
4:
1.148 bertrand 5: Ajouter EQV
6:
1.138 bertrand 7: Ne passe pas sur une socket.
8: { "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52
9: } { 3 50 } { 3 50 } } # 257B521B6513F2h }
10: Idem avec une table.
11:
1.129 bertrand 12: Réduire le nombre de pipes entre deux processus.
1.133 bertrand 13: Remonter une erreur de format en cas de lecture sur un fichier ou une socket
14: formatée ou non formatée.
1.125 bertrand 15:
1.136 bertrand 16: Échapper les caractères dans LOGGER
17:
1.134 bertrand 18: Virer mutex_sections_critiques _avant_ l'exécution de AT_EXIT.
19: Faut-il tuer les processus fils avant l'exécution de AT_EXIT ?
20: ABORT ne lance pas ATEXIT.
21:
1.151 bertrand 22: { <[ { "character*(*)" } 2 ]> } = { <[ "character*(*)" "character*(*)" ]> }
23: { <[ { <[ "character*(*)" "standard*(*)" ]> 2 } ]> } =
1.112 bertrand 24: { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
25: "standard*(*)" ]> ]> }
26:
1.131 bertrand 27: [[1 2 ]]3 valide
28: [[ 1 2]] valide
29: {{ 3 }} invalide
30: { 5} invalide
1.152 ! bertrand 31: {5 } valide
! 32: {5} invalide
! 33: <[5 ]> valide
! 34: <[ 5]> invalide
! 35: <[4 ]>5 valide
! 36: {{ 5 } } valide
! 37: { { 5 }} invalide
! 38: "lkj"4 valide
! 39:
! 40: => Rajouter un champ dans s_etat_processus pour connaître le type d'objet en
! 41: cours de typage et savoir quel est le fermant autorisé.
1.131 bertrand 42:
1.94 bertrand 43: Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
44:
1.107 bertrand 45: Ajouter la translitération dans l'écriture des fichiers.
46:
1.85 bertrand 47: À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
48:
1.124 bertrand 49: Ajouter une évaluation des listes.
50:
51: 3 'D(4)' sto/save
52: << 4 D >> L'avant dernier token est un tableau, une liste, un vecteur ou une
53: matrice. On teste pour savoir si l'élément existe avec un coup d'évaluation()
54: puis on l'enregistre.
1.71 bertrand 55:
1.68 bertrand 56: Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS
57: Mettre un masque des signaux dans structure_processus et les
58: tableaux des signaux en variable globale (buffer circulaire protégé par un mutex
59: avec un trylock()).
60:
61: rplss signal processus
1.64 bertrand 62:
1.1 bertrand 63: Économisons notre mépris eut égard au nombre de nécessiteux.
64: Chateaubriand.
65:
1.56 bertrand 66: Translitération des fichiers (avec un pointeur sur la localisation du fichier
67: dans la structure du fichier).
68:
1.55 bertrand 69: Fichiers non formatés : restent à coder pour les écritures :
70: * 0010 00 00 vecteur integer*1 (dimensions integer*1)
71: * 0010 01 00 vecteur integer*1 (dimensions integer*2)
72: * 0010 10 00 vecteur integer*1 (dimensions integer*4)
73: * 0010 11 00 vecteur integer*1 (dimensions integer*8)
74: * 0010 00 01 vecteur integer*2 (dimensions integer*1)
75: * 0010 01 01 vecteur integer*2 (dimensions integer*2)
76: * 0010 10 01 vecteur integer*2 (dimensions integer*4)
77: * 0010 11 01 vecteur integer*2 (dimensions integer*8)
78: * 0010 00 10 vecteur integer*4 (dimensions integer*1)
79: * 0010 01 10 vecteur integer*4 (dimensions integer*2)
80: * 0010 10 10 vecteur integer*4 (dimensions integer*4)
81: * 0010 11 10 vecteur integer*4 (dimensions integer*8)
82: * 0010 00 11 vecteur integer*8 (dimensions integer*1)
83: * 0010 01 11 vecteur integer*8 (dimensions integer*2)
84: * 0010 10 11 vecteur integer*8 (dimensions integer*4)
85: * 0010 11 11 vecteur integer*8 (dimensions integer*8)
86: * 0011 00 00 matrice integer*1 (dimensions integer*1)
87: * 0011 01 00 matrice integer*1 (dimensions integer*2)
88: * 0011 10 00 matrice integer*1 (dimensions integer*4)
89: * 0011 11 00 matrice integer*1 (dimensions integer*8)
90: * 0011 00 01 matrice integer*2 (dimensions integer*1)
91: * 0011 01 01 matrice integer*2 (dimensions integer*2)
92: * 0011 10 01 matrice integer*2 (dimensions integer*4)
93: * 0011 11 01 matrice integer*2 (dimensions integer*8)
94: * 0011 00 10 matrice integer*4 (dimensions integer*1)
95: * 0011 01 10 matrice integer*4 (dimensions integer*2)
96: * 0011 10 10 matrice integer*4 (dimensions integer*4)
97: * 0011 11 10 matrice integer*4 (dimensions integer*8)
98: * 0011 00 11 matrice integer*8 (dimensions integer*1)
99: * 0011 01 11 matrice integer*8 (dimensions integer*2)
100: * 0011 10 11 matrice integer*8 (dimensions integer*4)
101: * 0011 11 11 matrice integer*8 (dimensions integer*8)
1.115 bertrand 102:
1.55 bertrand 103: * 1001 0 XXX table de longueur XXX
104: * 1001 10 00 table de longueur integer*1
105: * 1001 10 01 table de longueur integer*2
106: * 1001 10 10 table de longueur integer*4
107: * 1001 10 11 table de longueur integer*8
108: *
109: * 1010 00 10 vecteur real*4 (dimensions integer*1)
110: * 1010 01 10 vecteur real*4 (dimensions integer*2)
111: * 1010 10 10 vecteur real*4 (dimensions integer*4)
112: * 1010 11 10 vecteur real*4 (dimensions integer*8)
113: * 1010 00 11 vecteur real*8 (dimensions integer*1)
114: * 1010 01 11 vecteur real*8 (dimensions integer*2)
115: * 1010 10 11 vecteur real*8 (dimensions integer*4)
116: * 1010 11 11 vecteur real*8 (dimensions integer*8)
117: * 1011 00 10 vecteur complex*8 (dimensions integer*1)
118: * 1011 01 10 vecteur complex*8 (dimensions integer*2)
119: * 1011 10 10 vecteur complex*8 (dimensions integer*4)
120: * 1011 11 10 vecteur complex*8 (dimensions integer*8)
121: * 1011 00 11 vecteur complex*16 (dimensions integer*1)
122: * 1011 01 11 vecteur complex*16 (dimensions integer*2)
123: * 1011 10 11 vecteur complex*16 (dimensions integer*4)
124: * 1011 11 11 vecteur complex*16 (dimensions integer*8)
125: * 1100 00 10 matrice real*4 (dimensions integer*1)
126: * 1100 01 10 matrice real*4 (dimensions integer*2)
127: * 1100 10 10 matrice real*4 (dimensions integer*4)
128: * 1100 11 10 matrice real*4 (dimensions integer*8)
129: * 1100 00 11 matrice real*8 (dimensions integer*1)
130: * 1100 01 11 matrice real*8 (dimensions integer*2)
131: * 1100 10 11 matrice real*8 (dimensions integer*4)
132: * 1100 11 11 matrice real*8 (dimensions integer*8)
133: * 1101 00 10 matrice complex*8 (dimensions integer*1)
134: * 1101 01 10 matrice complex*8 (dimensions integer*2)
135: * 1101 10 10 matrice complex*8 (dimensions integer*4)
136: * 1101 11 10 matrice complex*8 (dimensions integer*8)
137: * 1101 00 11 matrice complex*16 (dimensions integer*1)
138: * 1101 01 11 matrice complex*16 (dimensions integer*2)
139: * 1101 10 11 matrice complex*16 (dimensions integer*4)
140: * 1101 11 11 matrice complex*16 (dimensions integer*8)
141:
1.54 bertrand 142: Utiliser clock() et clock_t pour émuler getrusage sous OS/2
143:
1.47 bertrand 144: Regarder les d_ep_division_par_zero pour coller un undef à la place.
145:
1.53 bertrand 146: ->TAG TAG-> DTAG
147: ->UNIT UNIT-> DUNIT
148:
1.37 bertrand 149: Convertir avec le nouveau système de la gestion de la mémoire :
150: - READ FLOW (longueur_effective ligne 2815)
151: rpl/src/'`instructions_w1-conv.c
152: instructions_w1-conv.c: In function ‘librpl_instruction_write’:
153: instructions_w1-conv.c:1603: warning: ‘ios’ may be used uninitialized in this
154: function
155: instructions_w1-conv.c:431: warning: ‘chaine’ may be used uninitialized in this
156: function
157:
1.32 bertrand 158: Traiter SIGTERM
1.33 bertrand 159: RUN
1.36 bertrand 160: Ajouter MULTICAST (pour les sockets)
1.37 bertrand 161: Rajouter le test des dépassements pour INCR et DECR
1.33 bertrand 162:
1.36 bertrand 163: Ajouter TeXmacs
1.18 bertrand 164:
1.1 bertrand 165: Dessiner les niveaux sur les graphes
166: { "main" { "default" } { "automatic" 10 } } axes redraw
167: Ne fonctionne pas...
168:
1.48 bertrand 169: -> I:integer scalar, J:integer scalar << >>
170:
1.1 bertrand 171: // Teste les interfaces d'entrée et de sortie d'une fonction. Une fonction
172: // peut avoir plusieurs interfaces.
1.42 bertrand 173:
1.48 bertrand 174: constrained FONCTION
175: interface STANDARD
176: integer scalar, generic, real scalar
1.42 bertrand 177: returns
1.48 bertrand 178: real scalar
179: or
180: integer scalar
1.42 bertrand 181: requires
1.48 bertrand 182: VARIABLE FONCTION2
1.42 bertrand 183: end
184:
1.48 bertrand 185: interface SPECIFIQUE
186: scalar, ...
1.42 bertrand 187: returns
1.48 bertrand 188: scalar
1.42 bertrand 189: requires
190: end
191: provides
1.15 bertrand 192: <<
193: >>
194:
1.42 bertrand 195: Ajouter un champs dans RPN et ADR pour pointer vers une liste.
196:
197: Types :
198: generic
199: scalar (integer/real/complex)
200: vector (integer/real/complex)
201: matrix (integer/real/complex)
202: table
203: list
204: binary
205: name
206: string
207: algebraic
208: expression
209: file
210: socket
211: library
212: process
213: sql
214: mutex
215: semaphore
216:
1.1 bertrand 217: Traiter les expressions et les noms dans les fichiers. Rajouter un
218: type de format pour les binaires non formatés (LOGICAL)
219:
220: IMPORT -> installe à chaud de nouvelles définitions. Écrase les anciennes
221: si nécessaire.
222:
223: Prévoir un drapeau pour tester les interfaces (34)
224: -> désarmé : test des interfaces
225: -> armé : on ne teste rien
226:
227: colorspec pour les couleurs des graphiques de gnuplot
228:
229: TRIGGER attaché à un objet (fonction appelée dès la modification de l'objet)
230: -> vérification de contrainte...
231:
232: Decomposition de Hessenberg dgehrd, zgehrd; dorghr, zunghr for computing P
233: dgehd2.f+dgebal.f
234:
235: Pseudo inverse dgelss, zgelss
236:
237: Tables dans interface_tex
238:
1.8 bertrand 239: Fichiers à accès direct -> entretenir une table en mémoire (hsearch())
1.1 bertrand 240: Les enregistrements sont de la forme :
241: [Position enregistrement suivant][enregistrement]
242: ADDNODE
243: DELNODE
244:
245: { arguments } << programme >> << interruption >> SUBMIT
246: arg1 ... argn n << programme >> << interruption >> SUBMIT
1.28 bertrand 247:
248: rpl -b (batch) 32 (nombre de threads)
1.1 bertrand 249:
250: FOREIGN (pour les variables)
251:
1.27 bertrand 252: Côté esclave
253: foreign -> X Y Z << >>
254: FVARLOCK
255: FVARUNLOCK
256:
257: Côté maître
1.28 bertrand 258: foreign -> X Y Z << >> (il faut savoir si on est sur le mêtre ou sur un esclave)
1.27 bertrand 259:
1.18 bertrand 260: FOREIGN permet à un esclave d'accéder à une variable partagée
261: du maître.
262:
1.1 bertrand 263: ADDNOTE envoie les variables de niveau 0 au noeud client.
264: SUBMIT envoie l'adresse de création des variables 'foreign' au client
265: // Maître
266: << foreign 1 -> X
267: <<
268: << foreign -> X << 'X' incr >> >> << >> submit
269: >>
270: >>
271:
272: ================================================================================
273:
274: Compilation -> faire un exécutable qui appelle rpl par rpl -S
275:
276: Verification des erreurs mémoire dans le cas d'erreur avant l'appel au
277: séquenceur dans rpl.c
278:
279: Coller un fichier ~/.rpl qui contient les valeurs par défaut des drapeaux
280:
281: 'a(3)+a(3,4)' ne doit pas provoquer d'erreur si a est du type liste ou table.
282: Si a est une liste ou une table : une seule dimension possible !
283:
284: Evaluation symbolique des fonction ?
285:
286: SQL sur des données binaires
287:
288: La manière standard de faire est d'utiliser des wchar_t pour représenter les
289: caractères (à distinguer des bytes).
290: Il y a plein de choses dans la bibliothèque standard :
291: - mbtowc et compagnie, et aussi mbrtowc et compagnie, une variante
292: probablement identique dans ton cas
293: - fgetwc, fputwc, fwprintf etc. pour les entrées-sorties
294: - wcs*() qui remplace les fonctions en str*()
295:
296: Vérifier la cohérence des arguments de OPEN
297:
298: TO DO
299: File support : SEEK, SUPPRESS, REWRITE
300:
301: Mettre des tableaux dans les formats binaires
302:
303: SLOPEFIELD
304:
305: Simplification des expressions : convertir la notation polonaise en
306: arbre.
307:
308: Problème d'indentation de
309: select
310: case then end <- sur la même ligne
CVSweb interface <joel.bertrand@systella.fr>
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to LIMITATIONS CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [local] / rpl