File:  [local] / rpl / LIMITATIONS
Revision 1.162: download - view: text, annotated - select for diffs - revision graph
Wed Jan 28 20:58:02 2015 UTC (9 years, 2 months ago) by bertrand
Branches: MAIN
CVS tags: HEAD
Correction d'une fuite mémoire dans l'analyse d'une expression RPN.

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

CVSweb interface <joel.bertrand@systella.fr>