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