File:  [local] / rpl / LIMITATIONS
Revision 1.128: download - view: text, annotated - select for diffs - revision graph
Tue Mar 26 16:32:14 2013 UTC (11 years, 1 month ago) by bertrand
Branches: MAIN
CVS tags: HEAD
Patch pour corriger l'utilisation des variables globales dans les routines
ATEXIT. Le patch précédent n'était pas au bon endroit.

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

CVSweb interface <joel.bertrand@systella.fr>