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