File:  [local] / rpl / LIMITATIONS
Revision 1.110: download - view: text, annotated - select for diffs - revision graph
Mon Mar 11 13:45:53 2013 UTC (11 years, 1 month ago) by bertrand
Branches: MAIN
CVS tags: HEAD
Typo.

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

CVSweb interface <joel.bertrand@systella.fr>