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