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