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