File:  [local] / rpl / LIMITATIONS
Revision 1.153: download - view: text, annotated - select for diffs - revision graph
Sat Jul 26 09:58:02 2014 UTC (9 years, 9 months ago) by bertrand
Branches: MAIN
CVS tags: HEAD
Suite des patches pour améliorer le parser.

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

CVSweb interface <joel.bertrand@systella.fr>