File:  [local] / rpl / LIMITATIONS
Revision 1.209: download - view: text, annotated - select for diffs - revision graph
Wed Sep 7 12:14:16 2022 UTC (19 months, 2 weeks ago) by bertrand
Branches: MAIN
CVS tags: rpl-4_1_34, rpl-4_1_33, HEAD
Rien.

    1: RESTRICTIONS
    2: Si(X) dans le retour de giac -> sinus intégral
    3: 
    4: gcc -dM -E - </dev/null renvoie les defines par defaut.
    5: 
    6: Coller les exemples dans shared pour le deb.
    7: 
    8: ABORD ne fonctionne pas dans la fonction de SORT.
    9: 
   10: RECORD => |[ <[ 'index' 'valeur' ]> <[ 203 403 ]> ]|
   11: -> dans formateur mais pas dans les fichiers ou les sockets
   12: Rajouter dans les pages d'aide
   13: 
   14: RUNAS
   15: int setreuid(uid_t ruid, uid_t euid);
   16: int setregid(gid_t rgid, gid_t egid);
   17: DESCRIPTION
   18:        getuid returns the real user ID of the current process.
   19: 
   20:        geteuid returns the effective user ID of the current process.
   21: 
   22:        The  real  ID corresponds to the ID of the calling process.  The effective
   23:        ID corresponds to the set ID bit on the file being executed.
   24: 
   25: 
   26: 
   27: (/ /) -> polynôme
   28: 
   29: TOKENIZE ne fonctionne pas avec des chaînes qui comportent un \t.
   30: Idem pour des arguments contenant des parenthèses.
   31: -> normal, les tokens doivent avoir un sens en RPL/2.
   32: 
   33: openmp ?
   34: 
   35: rpl_arguments rend rplexternals.h non réentrant.
   36: 
   37: Rajouter un type pour les entier, réels et complexes longs
   38: 123~ -> entier long INL
   39: 123_
   40: 123.34E2_53
   41: 
   42: 123.34E2~53 -> flottant long (avec sa précision) RLL
   43: (123.42E~253, 14~) -> complexe long CXL
   44: 
   45: Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h
   46: 
   47: Ne passe pas sur une socket.
   48: { "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52
   49: } { 3 50 } { 3 50 } } # 257B521B6513F2h }
   50: Idem avec une table.
   51: 
   52: 
   53: Mettre l'indicateur de debug dans une pile pour ne pas debugguer les fonctions
   54: appelées.
   55: 
   56: Réduire le nombre de pipes entre deux processus.
   57: Remonter une erreur de format en cas de lecture sur un fichier ou une socket
   58: formatée ou non formatée.
   59: 
   60: Virer mutex_sections_critiques _avant_ l'exécution de AT_EXIT.
   61: Faut-il tuer les processus fils avant l'exécution de AT_EXIT ?
   62: ABORT ne lance pas ATEXIT.
   63: 
   64: { <[ { "character*(*)" } 2 ]> } = { <[ "character*(*)" "character*(*)" ]> }
   65: { <[ { <[ "character*(*)" "standard*(*)" ]> 2 } ]> } =
   66:         { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
   67:         "standard*(*)" ]> ]> }
   68: 
   69: Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
   70: 
   71: Ajouter la translitération dans l'écriture des fichiers.
   72: 
   73: À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
   74: 
   75: Ajouter une évaluation des listes.
   76: 
   77: 3 'D(4)' sto/save
   78: << 4 D >> L'avant dernier token est un tableau, une liste, un vecteur ou une
   79: matrice. On teste pour savoir si l'élément existe avec un coup d'évaluation()
   80: puis on l'enregistre.
   81: 
   82: Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS
   83: Mettre un masque des signaux dans structure_processus et les
   84: tableaux des signaux en variable globale (buffer circulaire protégé par un mutex
   85: avec un trylock()).
   86: 
   87: rplss signal processus
   88: 
   89: Économisons notre mépris eut égard au nombre de nécessiteux.
   90: Chateaubriand.
   91: 
   92: Translitération des fichiers (avec un pointeur sur la localisation du fichier
   93: dans la structure du fichier).
   94: 
   95: Traiter BACKSPACE pour les fichiers non formatés.
   96: Fichiers non formatés : restent à coder pour les écritures :
   97: /         * 0010 00 00               vecteur integer*1 (dimensions integer*1)
   98: /         * 0010 01 00               vecteur integer*1 (dimensions integer*2)
   99: /         * 0010 10 00               vecteur integer*1 (dimensions integer*4)
  100: /         * 0010 11 00               vecteur integer*1 (dimensions integer*8)
  101: /         * 0010 00 01               vecteur integer*2 (dimensions integer*1)
  102: /         * 0010 01 01               vecteur integer*2 (dimensions integer*2)
  103: /         * 0010 10 01               vecteur integer*2 (dimensions integer*4)
  104: /         * 0010 11 01               vecteur integer*2 (dimensions integer*8)
  105: /         * 0010 00 10               vecteur integer*4 (dimensions integer*1)
  106: /         * 0010 01 10               vecteur integer*4 (dimensions integer*2)
  107: /         * 0010 10 10               vecteur integer*4 (dimensions integer*4)
  108: /         * 0010 11 10               vecteur integer*4 (dimensions integer*8)
  109: /         * 0010 00 11               vecteur integer*8 (dimensions integer*1)
  110: /         * 0010 01 11               vecteur integer*8 (dimensions integer*2)
  111: /         * 0010 10 11               vecteur integer*8 (dimensions integer*4)
  112: /         * 0010 11 11               vecteur integer*8 (dimensions integer*8)
  113: /         * 0011 00 00               matrice integer*1 (dimensions integer*1)
  114: /         * 0011 01 00               matrice integer*1 (dimensions integer*2)
  115: /         * 0011 10 00               matrice integer*1 (dimensions integer*4)
  116: /         * 0011 11 00               matrice integer*1 (dimensions integer*8)
  117: /         * 0011 00 01               matrice integer*2 (dimensions integer*1)
  118: /         * 0011 01 01               matrice integer*2 (dimensions integer*2)
  119: /         * 0011 10 01               matrice integer*2 (dimensions integer*4)
  120: /         * 0011 11 01               matrice integer*2 (dimensions integer*8)
  121: /         * 0011 00 10               matrice integer*4 (dimensions integer*1)
  122: /         * 0011 01 10               matrice integer*4 (dimensions integer*2)
  123: /         * 0011 10 10               matrice integer*4 (dimensions integer*4)
  124: /         * 0011 11 10               matrice integer*4 (dimensions integer*8)
  125: /         * 0011 00 11               matrice integer*8 (dimensions integer*1)
  126: /         * 0011 01 11               matrice integer*8 (dimensions integer*2)
  127: /         * 0011 10 11               matrice integer*8 (dimensions integer*4)
  128: /         * 0011 11 11               matrice integer*8 (dimensions integer*8)
  129: 
  130:          * 1001 0 XXX               table de longueur XXX
  131:          * 1001 10 00               table de longueur integer*1
  132:          * 1001 10 01               table de longueur integer*2
  133:          * 1001 10 10               table de longueur integer*4
  134:          * 1001 10 11               table de longueur integer*8
  135:          *
  136: /         * 1010 00 10               vecteur real*4 (dimensions integer*1)
  137: /         * 1010 01 10               vecteur real*4 (dimensions integer*2)
  138: /         * 1010 10 10               vecteur real*4 (dimensions integer*4)
  139: /         * 1010 11 10               vecteur real*4 (dimensions integer*8)
  140: /         * 1010 00 11               vecteur real*8 (dimensions integer*1)
  141: /         * 1010 01 11               vecteur real*8 (dimensions integer*2)
  142: /         * 1010 10 11               vecteur real*8 (dimensions integer*4)
  143: /         * 1010 11 11               vecteur real*8 (dimensions integer*8)
  144: /         * 1011 00 10               vecteur complex*8 (dimensions integer*1)
  145: /         * 1011 01 10               vecteur complex*8 (dimensions integer*2)
  146: /         * 1011 10 10               vecteur complex*8 (dimensions integer*4)
  147: /         * 1011 11 10               vecteur complex*8 (dimensions integer*8)
  148: /         * 1011 00 11               vecteur complex*16 (dimensions integer*1)
  149: /         * 1011 01 11               vecteur complex*16 (dimensions integer*2)
  150: /         * 1011 10 11               vecteur complex*16 (dimensions integer*4)
  151: /         * 1011 11 11               vecteur complex*16 (dimensions integer*8)
  152: /         * 1100 00 10               matrice real*4 (dimensions integer*1)
  153: /         * 1100 01 10               matrice real*4 (dimensions integer*2)
  154: /         * 1100 10 10               matrice real*4 (dimensions integer*4)
  155: /         * 1100 11 10               matrice real*4 (dimensions integer*8)
  156: /         * 1100 00 11               matrice real*8 (dimensions integer*1)
  157: /         * 1100 01 11               matrice real*8 (dimensions integer*2)
  158: /         * 1100 10 11               matrice real*8 (dimensions integer*4)
  159: /         * 1100 11 11               matrice real*8 (dimensions integer*8)
  160: /         * 1101 00 10               matrice complex*8 (dimensions integer*1)
  161: /         * 1101 01 10               matrice complex*8 (dimensions integer*2)
  162: /         * 1101 10 10               matrice complex*8 (dimensions integer*4)
  163: /         * 1101 11 10               matrice complex*8 (dimensions integer*8)
  164: /         * 1101 00 11               matrice complex*16 (dimensions integer*1)
  165: /         * 1101 01 11               matrice complex*16 (dimensions integer*2)
  166: /         * 1101 10 11               matrice complex*16 (dimensions integer*4)
  167: /         * 1101 11 11               matrice complex*16 (dimensions integer*8)
  168: 
  169: Utiliser clock() et clock_t pour émuler getrusage sous OS/2
  170: 
  171: Regarder les d_ep_division_par_zero pour coller un undef à la place.
  172: 
  173: ->TAG TAG-> DTAG
  174: ->UNIT UNIT-> DUNIT
  175: 
  176: Traiter SIGTERM
  177: RUN
  178: Ajouter MULTICAST (pour les sockets)
  179: Rajouter le test des dépassements pour INCR et DECR
  180: 
  181: Ajouter TeXmacs
  182: 
  183: Dessiner les niveaux sur les graphes
  184: { "main" { "default" } { "automatic" 10 } } axes redraw 
  185: Ne fonctionne pas...
  186: 
  187: -> I:integer scalar, J:integer scalar << >>
  188: 
  189: // Teste les interfaces d'entrée et de sortie d'une fonction. Une fonction
  190: // peut avoir plusieurs interfaces.
  191: 
  192: constrained FONCTION
  193:     interface STANDARD
  194:         integer scalar, generic, real scalar
  195:     returns
  196:         real scalar
  197:     or
  198:         integer scalar
  199:     requires
  200:         VARIABLE FONCTION2
  201:     end
  202: 
  203:     interface SPECIFIQUE
  204:         scalar, ...
  205:     returns
  206:         scalar
  207:     requires
  208:     end
  209: provides
  210: <<
  211: >>
  212: 
  213: IMPORT -> installe à chaud de nouvelles définitions. Écrase les anciennes
  214: si nécessaire.
  215: 
  216: Prévoir un drapeau pour tester les interfaces (34)
  217: -> désarmé : test des interfaces
  218: -> armé : on ne teste rien
  219: 
  220: colorspec pour les couleurs des graphiques de gnuplot
  221: 
  222: TRIGGER attaché à un objet (fonction appelée dès la modification de l'objet)
  223: -> vérification de contrainte...
  224: 
  225: Decomposition de Hessenberg dgehrd, zgehrd; dorghr, zunghr for computing P
  226: dgehd2.f+dgebal.f
  227: 
  228: Pseudo inverse dgelss, zgelss
  229: 
  230: Tables dans interface_tex
  231: 
  232: Pour le fonctionnement en cluster
  233: ADDNODE
  234: DELNODE
  235: 
  236: { arguments } << programme >> << interruption >> SUBMIT
  237: arg1 ... argn n << programme >> << interruption >> SUBMIT
  238: 
  239: rpl -b (batch) 32 (nombre de threads)
  240: 
  241: FOREIGN (pour les variables)
  242: 
  243: Côté esclave
  244: foreign -> X Y Z << >>
  245: FVARLOCK
  246: FVARUNLOCK
  247: 
  248: Côté maître
  249: foreign -> X Y Z << >> (il faut savoir si on est sur le mêtre ou sur un esclave)
  250: 
  251: FOREIGN permet à un esclave d'accéder à une variable partagée
  252: du maître.
  253: 
  254: ADDNOTE envoie les variables de niveau 0 au noeud client.
  255: SUBMIT envoie l'adresse de création des variables 'foreign' au client
  256: // Maître
  257: << foreign 1 -> X
  258:     <<
  259:         << foreign -> X << 'X' incr >> >> << >> submit
  260:     >>
  261: >>
  262: 
  263: ================================================================================
  264: 
  265: Compilation -> faire un exécutable qui appelle rpl par rpl -S
  266: 
  267: Verification des erreurs mémoire dans le cas d'erreur avant l'appel au
  268: séquenceur dans rpl.c
  269: 
  270: Coller un fichier ~/.rpl qui contient les valeurs par défaut des drapeaux
  271: 
  272: 'a(3)+a(3,4)' ne doit pas provoquer d'erreur si a est du type liste ou table.
  273: Si a est une liste ou une table : une seule dimension possible !
  274: 
  275: Evaluation symbolique des fonction ?
  276: 
  277: SQL sur des données binaires
  278: 
  279: La manière standard de faire est d'utiliser des wchar_t pour représenter les
  280: caractères (à distinguer des bytes).
  281: Il y a plein de choses dans la bibliothèque standard :
  282: - mbtowc et compagnie, et aussi mbrtowc et compagnie, une variante
  283: probablement identique dans ton cas
  284: - fgetwc, fputwc, fwprintf etc. pour les entrées-sorties
  285: - wcs*() qui remplace les fonctions en str*()
  286: 
  287: Vérifier la cohérence des arguments de OPEN
  288: 
  289: TO DO
  290:     File support : SEEK, SUPPRESS, REWRITE
  291: 
  292: Mettre des tableaux dans les formats binaires
  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>