File:  [local] / rpl / LIMITATIONS
Revision 1.103: download - view: text, annotated - select for diffs - revision graph
Tue Mar 5 16:26:46 2013 UTC (11 years, 1 month ago) by bertrand
Branches: MAIN
CVS tags: HEAD
Retrait d'un champ de la pile système ne servant à rien.

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

CVSweb interface <joel.bertrand@systella.fr>