File:  [local] / rpl / LIMITATIONS
Revision 1.134: download - view: text, annotated - select for diffs - revision graph
Mon Apr 1 21:52:39 2013 UTC (10 years, 11 months ago) by bertrand
Branches: MAIN
CVS tags: HEAD
Réflexions...

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

CVSweb interface <joel.bertrand@systella.fr>