File:  [local] / rpl / LIMITATIONS
Revision 1.140: download - view: text, annotated - select for diffs - revision graph
Tue Apr 23 21:26:01 2013 UTC (10 years, 11 months ago) by bertrand
Branches: MAIN
CVS tags: HEAD
Correction d'un bug. IFERR ne récupérait pas les erreurs d'une définition à
l'autre dans un programme compilé. Semble être une régression.

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

CVSweb interface <joel.bertrand@systella.fr>