Annotation of rpl/LIMITATIONS, revision 1.189
1.1 bertrand 1: RESTRICTIONS
1.82 bertrand 2:
1.188 bertrand 3: ([]) -> ensemble
4: (/ /) -> polynôme
1.187 bertrand 5:
1.189 ! bertrand 6: Rajouter une option -m pour charger des bibliothèques pour la compilation.
! 7: Les descripteurs de bibliothèque sont envoyés dans la pile en premiers
! 8: arguments dans l'ordre de traitement. Nécessaire pour des programmes
! 9: utilisant dans le code source des objets déclarés dans les bibliothèques.
1.186 bertrand 10:
1.182 bertrand 11: TOKENIZE ne fonctionne pas avec des chaînes qui comportent un \t.
1.183 bertrand 12: Idem pour des arguments contenant des parenthèses.
1.184 bertrand 13: -> normal, les tokens doivent avoir un sens en RPL/2.
1.182 bertrand 14:
1.185 bertrand 15: openmp ?
16:
1.177 bertrand 17: rpl_arguments rend rplexternals.h non réentrant.
18:
1.165 bertrand 19: Rajouter un type pour les entier, réels et complexes longs
1.166 bertrand 20: 123~ -> entier long INL
1.181 bertrand 21: 123_
22: 123.34E2_53
23:
1.166 bertrand 24: 123.34E2~53 -> flottant long (avec sa précision) RLL
25: (123.42E~253, 14~) -> complexe long CXL
1.164 bertrand 26:
1.159 bertrand 27: Mettre un allocateur dans lib$motif
28: (tableau avec une liste chaînée des éléments disponibles, si liste vide, on
29: réalloue et on maintient la liste triée.)
30:
1.149 bertrand 31: Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h
32:
1.138 bertrand 33: Ne passe pas sur une socket.
34: { "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52
35: } { 3 50 } { 3 50 } } # 257B521B6513F2h }
36: Idem avec une table.
37:
1.173 bertrand 38:
39: { 'source' 'deplacement' 'origine' } record
40: -> création d'un type 'record'
1.175 bertrand 41: Record { 'source' 'deplacement' 'origine' }
1.173 bertrand 42:
43: { 'nom' } record 'structure' sto
44: L'évaluation de structure crée une nouvelle structure <[]> contenant un pointeur
45: vers le type 'record' (arbre).
46:
47: Accès : structure 'nom' get
48:
1.174 bertrand 49: Mettre l'indicateur de debug dans une pile pour ne pas debugguer les fonctions
50: appelées.
51:
1.129 bertrand 52: Réduire le nombre de pipes entre deux processus.
1.133 bertrand 53: Remonter une erreur de format en cas de lecture sur un fichier ou une socket
54: formatée ou non formatée.
1.125 bertrand 55:
1.134 bertrand 56: Virer mutex_sections_critiques _avant_ l'exécution de AT_EXIT.
57: Faut-il tuer les processus fils avant l'exécution de AT_EXIT ?
58: ABORT ne lance pas ATEXIT.
59:
1.151 bertrand 60: { <[ { "character*(*)" } 2 ]> } = { <[ "character*(*)" "character*(*)" ]> }
61: { <[ { <[ "character*(*)" "standard*(*)" ]> 2 } ]> } =
1.112 bertrand 62: { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
63: "standard*(*)" ]> ]> }
64:
1.94 bertrand 65: Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
66:
1.107 bertrand 67: Ajouter la translitération dans l'écriture des fichiers.
68:
1.85 bertrand 69: À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
70:
1.124 bertrand 71: Ajouter une évaluation des listes.
72:
73: 3 'D(4)' sto/save
74: << 4 D >> L'avant dernier token est un tableau, une liste, un vecteur ou une
75: matrice. On teste pour savoir si l'élément existe avec un coup d'évaluation()
76: puis on l'enregistre.
1.71 bertrand 77:
1.68 bertrand 78: Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS
79: Mettre un masque des signaux dans structure_processus et les
80: tableaux des signaux en variable globale (buffer circulaire protégé par un mutex
81: avec un trylock()).
82:
83: rplss signal processus
1.64 bertrand 84:
1.1 bertrand 85: Économisons notre mépris eut égard au nombre de nécessiteux.
86: Chateaubriand.
87:
1.56 bertrand 88: Translitération des fichiers (avec un pointeur sur la localisation du fichier
89: dans la structure du fichier).
90:
1.170 bertrand 91: Traiter BACKSPACE pour les fichiers non formatés.
1.55 bertrand 92: Fichiers non formatés : restent à coder pour les écritures :
1.169 bertrand 93: / * 0010 00 00 vecteur integer*1 (dimensions integer*1)
94: / * 0010 01 00 vecteur integer*1 (dimensions integer*2)
95: / * 0010 10 00 vecteur integer*1 (dimensions integer*4)
96: / * 0010 11 00 vecteur integer*1 (dimensions integer*8)
97: / * 0010 00 01 vecteur integer*2 (dimensions integer*1)
98: / * 0010 01 01 vecteur integer*2 (dimensions integer*2)
99: / * 0010 10 01 vecteur integer*2 (dimensions integer*4)
100: / * 0010 11 01 vecteur integer*2 (dimensions integer*8)
101: / * 0010 00 10 vecteur integer*4 (dimensions integer*1)
102: / * 0010 01 10 vecteur integer*4 (dimensions integer*2)
103: / * 0010 10 10 vecteur integer*4 (dimensions integer*4)
104: / * 0010 11 10 vecteur integer*4 (dimensions integer*8)
105: / * 0010 00 11 vecteur integer*8 (dimensions integer*1)
106: / * 0010 01 11 vecteur integer*8 (dimensions integer*2)
107: / * 0010 10 11 vecteur integer*8 (dimensions integer*4)
108: / * 0010 11 11 vecteur integer*8 (dimensions integer*8)
1.170 bertrand 109: / * 0011 00 00 matrice integer*1 (dimensions integer*1)
110: / * 0011 01 00 matrice integer*1 (dimensions integer*2)
111: / * 0011 10 00 matrice integer*1 (dimensions integer*4)
112: / * 0011 11 00 matrice integer*1 (dimensions integer*8)
113: / * 0011 00 01 matrice integer*2 (dimensions integer*1)
114: / * 0011 01 01 matrice integer*2 (dimensions integer*2)
115: / * 0011 10 01 matrice integer*2 (dimensions integer*4)
116: / * 0011 11 01 matrice integer*2 (dimensions integer*8)
117: / * 0011 00 10 matrice integer*4 (dimensions integer*1)
118: / * 0011 01 10 matrice integer*4 (dimensions integer*2)
119: / * 0011 10 10 matrice integer*4 (dimensions integer*4)
120: / * 0011 11 10 matrice integer*4 (dimensions integer*8)
121: / * 0011 00 11 matrice integer*8 (dimensions integer*1)
122: / * 0011 01 11 matrice integer*8 (dimensions integer*2)
123: / * 0011 10 11 matrice integer*8 (dimensions integer*4)
124: / * 0011 11 11 matrice integer*8 (dimensions integer*8)
1.115 bertrand 125:
1.55 bertrand 126: * 1001 0 XXX table de longueur XXX
127: * 1001 10 00 table de longueur integer*1
128: * 1001 10 01 table de longueur integer*2
129: * 1001 10 10 table de longueur integer*4
130: * 1001 10 11 table de longueur integer*8
131: *
1.169 bertrand 132: / * 1010 00 10 vecteur real*4 (dimensions integer*1)
133: / * 1010 01 10 vecteur real*4 (dimensions integer*2)
134: / * 1010 10 10 vecteur real*4 (dimensions integer*4)
135: / * 1010 11 10 vecteur real*4 (dimensions integer*8)
136: / * 1010 00 11 vecteur real*8 (dimensions integer*1)
137: / * 1010 01 11 vecteur real*8 (dimensions integer*2)
138: / * 1010 10 11 vecteur real*8 (dimensions integer*4)
139: / * 1010 11 11 vecteur real*8 (dimensions integer*8)
140: / * 1011 00 10 vecteur complex*8 (dimensions integer*1)
141: / * 1011 01 10 vecteur complex*8 (dimensions integer*2)
142: / * 1011 10 10 vecteur complex*8 (dimensions integer*4)
143: / * 1011 11 10 vecteur complex*8 (dimensions integer*8)
144: / * 1011 00 11 vecteur complex*16 (dimensions integer*1)
145: / * 1011 01 11 vecteur complex*16 (dimensions integer*2)
146: / * 1011 10 11 vecteur complex*16 (dimensions integer*4)
147: / * 1011 11 11 vecteur complex*16 (dimensions integer*8)
1.170 bertrand 148: / * 1100 00 10 matrice real*4 (dimensions integer*1)
149: / * 1100 01 10 matrice real*4 (dimensions integer*2)
150: / * 1100 10 10 matrice real*4 (dimensions integer*4)
151: / * 1100 11 10 matrice real*4 (dimensions integer*8)
152: / * 1100 00 11 matrice real*8 (dimensions integer*1)
153: / * 1100 01 11 matrice real*8 (dimensions integer*2)
154: / * 1100 10 11 matrice real*8 (dimensions integer*4)
155: / * 1100 11 11 matrice real*8 (dimensions integer*8)
156: / * 1101 00 10 matrice complex*8 (dimensions integer*1)
157: / * 1101 01 10 matrice complex*8 (dimensions integer*2)
158: / * 1101 10 10 matrice complex*8 (dimensions integer*4)
159: / * 1101 11 10 matrice complex*8 (dimensions integer*8)
160: / * 1101 00 11 matrice complex*16 (dimensions integer*1)
161: / * 1101 01 11 matrice complex*16 (dimensions integer*2)
162: / * 1101 10 11 matrice complex*16 (dimensions integer*4)
163: / * 1101 11 11 matrice complex*16 (dimensions integer*8)
1.55 bertrand 164:
1.54 bertrand 165: Utiliser clock() et clock_t pour émuler getrusage sous OS/2
166:
1.47 bertrand 167: Regarder les d_ep_division_par_zero pour coller un undef à la place.
168:
1.53 bertrand 169: ->TAG TAG-> DTAG
170: ->UNIT UNIT-> DUNIT
171:
1.32 bertrand 172: Traiter SIGTERM
1.33 bertrand 173: RUN
1.36 bertrand 174: Ajouter MULTICAST (pour les sockets)
1.37 bertrand 175: Rajouter le test des dépassements pour INCR et DECR
1.33 bertrand 176:
1.36 bertrand 177: Ajouter TeXmacs
1.18 bertrand 178:
1.1 bertrand 179: Dessiner les niveaux sur les graphes
180: { "main" { "default" } { "automatic" 10 } } axes redraw
181: Ne fonctionne pas...
182:
1.48 bertrand 183: -> I:integer scalar, J:integer scalar << >>
184:
1.1 bertrand 185: // Teste les interfaces d'entrée et de sortie d'une fonction. Une fonction
186: // peut avoir plusieurs interfaces.
1.42 bertrand 187:
1.48 bertrand 188: constrained FONCTION
189: interface STANDARD
190: integer scalar, generic, real scalar
1.42 bertrand 191: returns
1.48 bertrand 192: real scalar
193: or
194: integer scalar
1.42 bertrand 195: requires
1.48 bertrand 196: VARIABLE FONCTION2
1.42 bertrand 197: end
198:
1.48 bertrand 199: interface SPECIFIQUE
200: scalar, ...
1.42 bertrand 201: returns
1.48 bertrand 202: scalar
1.42 bertrand 203: requires
204: end
205: provides
1.15 bertrand 206: <<
207: >>
208:
1.1 bertrand 209: IMPORT -> installe à chaud de nouvelles définitions. Écrase les anciennes
210: si nécessaire.
211:
212: Prévoir un drapeau pour tester les interfaces (34)
213: -> désarmé : test des interfaces
214: -> armé : on ne teste rien
215:
216: colorspec pour les couleurs des graphiques de gnuplot
217:
218: TRIGGER attaché à un objet (fonction appelée dès la modification de l'objet)
219: -> vérification de contrainte...
220:
221: Decomposition de Hessenberg dgehrd, zgehrd; dorghr, zunghr for computing P
222: dgehd2.f+dgebal.f
223:
224: Pseudo inverse dgelss, zgelss
225:
226: Tables dans interface_tex
227:
1.168 bertrand 228: Pour le fonctionnement en cluster
1.1 bertrand 229: ADDNODE
230: DELNODE
231:
232: { arguments } << programme >> << interruption >> SUBMIT
233: arg1 ... argn n << programme >> << interruption >> SUBMIT
1.28 bertrand 234:
235: rpl -b (batch) 32 (nombre de threads)
1.1 bertrand 236:
237: FOREIGN (pour les variables)
238:
1.27 bertrand 239: Côté esclave
240: foreign -> X Y Z << >>
241: FVARLOCK
242: FVARUNLOCK
243:
244: Côté maître
1.28 bertrand 245: foreign -> X Y Z << >> (il faut savoir si on est sur le mêtre ou sur un esclave)
1.27 bertrand 246:
1.18 bertrand 247: FOREIGN permet à un esclave d'accéder à une variable partagée
248: du maître.
249:
1.1 bertrand 250: ADDNOTE envoie les variables de niveau 0 au noeud client.
251: SUBMIT envoie l'adresse de création des variables 'foreign' au client
252: // Maître
253: << foreign 1 -> X
254: <<
255: << foreign -> X << 'X' incr >> >> << >> submit
256: >>
257: >>
258:
259: ================================================================================
260:
261: Compilation -> faire un exécutable qui appelle rpl par rpl -S
262:
263: Verification des erreurs mémoire dans le cas d'erreur avant l'appel au
264: séquenceur dans rpl.c
265:
266: Coller un fichier ~/.rpl qui contient les valeurs par défaut des drapeaux
267:
268: 'a(3)+a(3,4)' ne doit pas provoquer d'erreur si a est du type liste ou table.
269: Si a est une liste ou une table : une seule dimension possible !
270:
271: Evaluation symbolique des fonction ?
272:
273: SQL sur des données binaires
274:
275: La manière standard de faire est d'utiliser des wchar_t pour représenter les
276: caractères (à distinguer des bytes).
277: Il y a plein de choses dans la bibliothèque standard :
278: - mbtowc et compagnie, et aussi mbrtowc et compagnie, une variante
279: probablement identique dans ton cas
280: - fgetwc, fputwc, fwprintf etc. pour les entrées-sorties
281: - wcs*() qui remplace les fonctions en str*()
282:
283: Vérifier la cohérence des arguments de OPEN
284:
285: TO DO
286: File support : SEEK, SUPPRESS, REWRITE
287:
288: Mettre des tableaux dans les formats binaires
289:
290: SLOPEFIELD
291:
292: Simplification des expressions : convertir la notation polonaise en
293: arbre.
294:
295: Problème d'indentation de
296: select
297: case then end <- sur la même ligne
CVSweb interface <joel.bertrand@systella.fr>