File:  [local] / rpl / LIMITATIONS
Revision 1.180: download - view: text, annotated - select for diffs - revision graph
Sun Dec 13 22:55:00 2015 UTC (8 years, 3 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

CVSweb interface <joel.bertrand@systella.fr>