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