rpl/LIMITATIONS - view

File: [local] / rpl / LIMITATIONS
Revision 1.180: download - view: text, annotated - select for diffs - revision graph
Sun Dec 13 22:55:00 2015 UTC (9 years, 4 months ago) by bertrand
Branches: MAIN
CVS tags: HEAD

Série de patches :
- ajout de sys_realloc() pour utiliser la fonction realloc() à la C depuis un
  bout de code RPL/C ;
- GET/GETI/LIST->/TABLE-> évaluent les constantes symboliques au lieu de
  retourner la fonction dans la pile ;
- --enable-native est ajouté pour optimiser la compilation.

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