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