rpl/LIMITATIONS - view

File: [local] / rpl / LIMITATIONS
Revision 1.189: download - view: text, annotated - select for diffs - revision graph
Sun Jul 2 22:28:19 2017 UTC (6 years, 9 months ago) by bertrand
Branches: MAIN
CVS tags: HEAD

Dernière série de patches pour gérer les types externes dans les
bibliothèques. Voir pour cela modules/sets. Fonctionne.

Attention, ne permet pas encore de compiler un code utilisant des types
externes (la compilation se fait avant l'exécution de l'instruction USE).

1: RESTRICTIONS 2: 3: ([]) -> ensemble 4: (/ /) -> polynôme 5: 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. 10: 11: TOKENIZE ne fonctionne pas avec des chaînes qui comportent un \t. 12: Idem pour des arguments contenant des parenthèses. 13: -> normal, les tokens doivent avoir un sens en RPL/2. 14: 15: openmp ? 16: 17: rpl_arguments rend rplexternals.h non réentrant. 18: 19: Rajouter un type pour les entier, réels et complexes longs 20: 123~ -> entier long INL 21: 123_ 22: 123.34E2_53 23: 24: 123.34E2~53 -> flottant long (avec sa précision) RLL 25: (123.42E~253, 14~) -> complexe long CXL 26: 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: 31: Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h 32: 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: 38: 39: { 'source' 'deplacement' 'origine' } record 40: -> création d'un type 'record' 41: Record { 'source' 'deplacement' 'origine' } 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: 49: Mettre l'indicateur de debug dans une pile pour ne pas debugguer les fonctions 50: appelées. 51: 52: Réduire le nombre de pipes entre deux processus. 53: Remonter une erreur de format en cas de lecture sur un fichier ou une socket 54: formatée ou non formatée. 55: 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: 60: { <[ { "character*(*)" } 2 ]> } = { <[ "character*(*)" "character*(*)" ]> } 61: { <[ { <[ "character*(*)" "standard*(*)" ]> 2 } ]> } = 62: { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" 63: "standard*(*)" ]> ]> } 64: 65: Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. 66: 67: Ajouter la translitération dans l'écriture des fichiers. 68: 69: À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) 70: 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. 77: 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 84: 85: Économisons notre mépris eut égard au nombre de nécessiteux. 86: Chateaubriand. 87: 88: Translitération des fichiers (avec un pointeur sur la localisation du fichier 89: dans la structure du fichier). 90: 91: Traiter BACKSPACE pour les fichiers non formatés. 92: Fichiers non formatés : restent à coder pour les écritures : 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) 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) 125: 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: * 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) 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) 164: 165: Utiliser clock() et clock_t pour émuler getrusage sous OS/2 166: 167: Regarder les d_ep_division_par_zero pour coller un undef à la place. 168: 169: ->TAG TAG-> DTAG 170: ->UNIT UNIT-> DUNIT 171: 172: Traiter SIGTERM 173: RUN 174: Ajouter MULTICAST (pour les sockets) 175: Rajouter le test des dépassements pour INCR et DECR 176: 177: Ajouter TeXmacs 178: 179: Dessiner les niveaux sur les graphes 180: { "main" { "default" } { "automatic" 10 } } axes redraw 181: Ne fonctionne pas... 182: 183: -> I:integer scalar, J:integer scalar << >> 184: 185: // Teste les interfaces d'entrée et de sortie d'une fonction. Une fonction 186: // peut avoir plusieurs interfaces. 187: 188: constrained FONCTION 189: interface STANDARD 190: integer scalar, generic, real scalar 191: returns 192: real scalar 193: or 194: integer scalar 195: requires 196: VARIABLE FONCTION2 197: end 198: 199: interface SPECIFIQUE 200: scalar, ... 201: returns 202: scalar 203: requires 204: end 205: provides 206: << 207: >> 208: 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: 228: Pour le fonctionnement en cluster 229: ADDNODE 230: DELNODE 231: 232: { arguments } << programme >> << interruption >> SUBMIT 233: arg1 ... argn n << programme >> << interruption >> SUBMIT 234: 235: rpl -b (batch) 32 (nombre de threads) 236: 237: FOREIGN (pour les variables) 238: 239: Côté esclave 240: foreign -> X Y Z << >> 241: FVARLOCK 242: FVARUNLOCK 243: 244: Côté maître 245: foreign -> X Y Z << >> (il faut savoir si on est sur le mêtre ou sur un esclave) 246: 247: FOREIGN permet à un esclave d'accéder à une variable partagée 248: du maître. 249: 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