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