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