File:  [local] / rpl / LIMITATIONS
Revision 1.188: download - view: text, annotated - select for diffs - revision graph
Thu Jun 29 14:54:42 2017 UTC (6 years, 9 months ago) by bertrand
Branches: MAIN
CVS tags: HEAD
Patches pour la gestion des types dans les bibliothèques externes.
Attention, incomplet et terminant par un segfault.

    1: RESTRICTIONS
    2: 
    3: attention : types EXT
    4: si erreur dans recherche_type, rechercher les fonctions
    5: __type_new() dans les bibliothèques en balayant
    6: (*s_etat_processus).s_bibliotheques.
    7: 
    8: ([]) -> ensemble
    9: (/ /) -> polynôme
   10: 
   11: Rajouter une option -l pour charger des bibliothèques pour la compilation.
   12: Elles sont déchargées juste après.
   13: 
   14: TOKENIZE ne fonctionne pas avec des chaînes qui comportent un \t.
   15: Idem pour des arguments contenant des parenthèses.
   16: -> normal, les tokens doivent avoir un sens en RPL/2.
   17: 
   18: openmp ?
   19: 
   20: rpl_arguments rend rplexternals.h non réentrant.
   21: 
   22: Rajouter un type pour les entier, réels et complexes longs
   23: 123~ -> entier long INL
   24: 123_
   25: 123.34E2_53
   26: 
   27: 123.34E2~53 -> flottant long (avec sa précision) RLL
   28: (123.42E~253, 14~) -> complexe long CXL
   29: 
   30: Mettre un allocateur dans lib$motif
   31: (tableau avec une liste chaînée des éléments disponibles, si liste vide, on
   32: réalloue et on maintient la liste triée.)
   33: 
   34: Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h
   35: 
   36: Ne passe pas sur une socket.
   37: { "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52
   38: } { 3 50 } { 3 50 } } # 257B521B6513F2h }
   39: Idem avec une table.
   40: 
   41: 
   42: { 'source' 'deplacement' 'origine' } record
   43: -> création d'un type 'record'
   44: Record { 'source' 'deplacement' 'origine' }
   45: 
   46: { 'nom' } record 'structure' sto
   47: L'évaluation de structure crée une nouvelle structure <[]> contenant un pointeur
   48: vers le type 'record' (arbre).
   49: 
   50: Accès : structure 'nom' get
   51: 
   52: Mettre l'indicateur de debug dans une pile pour ne pas debugguer les fonctions
   53: appelées.
   54: 
   55: Réduire le nombre de pipes entre deux processus.
   56: Remonter une erreur de format en cas de lecture sur un fichier ou une socket
   57: formatée ou non formatée.
   58: 
   59: Virer mutex_sections_critiques _avant_ l'exécution de AT_EXIT.
   60: Faut-il tuer les processus fils avant l'exécution de AT_EXIT ?
   61: ABORT ne lance pas ATEXIT.
   62: 
   63: { <[ { "character*(*)" } 2 ]> } = { <[ "character*(*)" "character*(*)" ]> }
   64: { <[ { <[ "character*(*)" "standard*(*)" ]> 2 } ]> } =
   65:         { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
   66:         "standard*(*)" ]> ]> }
   67: 
   68: Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
   69: 
   70: Ajouter la translitération dans l'écriture des fichiers.
   71: 
   72: À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
   73: 
   74: Ajouter une évaluation des listes.
   75: 
   76: 3 'D(4)' sto/save
   77: << 4 D >> L'avant dernier token est un tableau, une liste, un vecteur ou une
   78: matrice. On teste pour savoir si l'élément existe avec un coup d'évaluation()
   79: puis on l'enregistre.
   80: 
   81: Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS
   82: Mettre un masque des signaux dans structure_processus et les
   83: tableaux des signaux en variable globale (buffer circulaire protégé par un mutex
   84: avec un trylock()).
   85: 
   86: rplss signal processus
   87: 
   88: Économisons notre mépris eut égard au nombre de nécessiteux.
   89: Chateaubriand.
   90: 
   91: Translitération des fichiers (avec un pointeur sur la localisation du fichier
   92: dans la structure du fichier).
   93: 
   94: Traiter BACKSPACE pour les fichiers non formatés.
   95: Fichiers non formatés : restent à coder pour les écritures :
   96: /         * 0010 00 00               vecteur integer*1 (dimensions integer*1)
   97: /         * 0010 01 00               vecteur integer*1 (dimensions integer*2)
   98: /         * 0010 10 00               vecteur integer*1 (dimensions integer*4)
   99: /         * 0010 11 00               vecteur integer*1 (dimensions integer*8)
  100: /         * 0010 00 01               vecteur integer*2 (dimensions integer*1)
  101: /         * 0010 01 01               vecteur integer*2 (dimensions integer*2)
  102: /         * 0010 10 01               vecteur integer*2 (dimensions integer*4)
  103: /         * 0010 11 01               vecteur integer*2 (dimensions integer*8)
  104: /         * 0010 00 10               vecteur integer*4 (dimensions integer*1)
  105: /         * 0010 01 10               vecteur integer*4 (dimensions integer*2)
  106: /         * 0010 10 10               vecteur integer*4 (dimensions integer*4)
  107: /         * 0010 11 10               vecteur integer*4 (dimensions integer*8)
  108: /         * 0010 00 11               vecteur integer*8 (dimensions integer*1)
  109: /         * 0010 01 11               vecteur integer*8 (dimensions integer*2)
  110: /         * 0010 10 11               vecteur integer*8 (dimensions integer*4)
  111: /         * 0010 11 11               vecteur integer*8 (dimensions integer*8)
  112: /         * 0011 00 00               matrice integer*1 (dimensions integer*1)
  113: /         * 0011 01 00               matrice integer*1 (dimensions integer*2)
  114: /         * 0011 10 00               matrice integer*1 (dimensions integer*4)
  115: /         * 0011 11 00               matrice integer*1 (dimensions integer*8)
  116: /         * 0011 00 01               matrice integer*2 (dimensions integer*1)
  117: /         * 0011 01 01               matrice integer*2 (dimensions integer*2)
  118: /         * 0011 10 01               matrice integer*2 (dimensions integer*4)
  119: /         * 0011 11 01               matrice integer*2 (dimensions integer*8)
  120: /         * 0011 00 10               matrice integer*4 (dimensions integer*1)
  121: /         * 0011 01 10               matrice integer*4 (dimensions integer*2)
  122: /         * 0011 10 10               matrice integer*4 (dimensions integer*4)
  123: /         * 0011 11 10               matrice integer*4 (dimensions integer*8)
  124: /         * 0011 00 11               matrice integer*8 (dimensions integer*1)
  125: /         * 0011 01 11               matrice integer*8 (dimensions integer*2)
  126: /         * 0011 10 11               matrice integer*8 (dimensions integer*4)
  127: /         * 0011 11 11               matrice integer*8 (dimensions integer*8)
  128: 
  129:          * 1001 0 XXX               table de longueur XXX
  130:          * 1001 10 00               table de longueur integer*1
  131:          * 1001 10 01               table de longueur integer*2
  132:          * 1001 10 10               table de longueur integer*4
  133:          * 1001 10 11               table de longueur integer*8
  134:          *
  135: /         * 1010 00 10               vecteur real*4 (dimensions integer*1)
  136: /         * 1010 01 10               vecteur real*4 (dimensions integer*2)
  137: /         * 1010 10 10               vecteur real*4 (dimensions integer*4)
  138: /         * 1010 11 10               vecteur real*4 (dimensions integer*8)
  139: /         * 1010 00 11               vecteur real*8 (dimensions integer*1)
  140: /         * 1010 01 11               vecteur real*8 (dimensions integer*2)
  141: /         * 1010 10 11               vecteur real*8 (dimensions integer*4)
  142: /         * 1010 11 11               vecteur real*8 (dimensions integer*8)
  143: /         * 1011 00 10               vecteur complex*8 (dimensions integer*1)
  144: /         * 1011 01 10               vecteur complex*8 (dimensions integer*2)
  145: /         * 1011 10 10               vecteur complex*8 (dimensions integer*4)
  146: /         * 1011 11 10               vecteur complex*8 (dimensions integer*8)
  147: /         * 1011 00 11               vecteur complex*16 (dimensions integer*1)
  148: /         * 1011 01 11               vecteur complex*16 (dimensions integer*2)
  149: /         * 1011 10 11               vecteur complex*16 (dimensions integer*4)
  150: /         * 1011 11 11               vecteur complex*16 (dimensions integer*8)
  151: /         * 1100 00 10               matrice real*4 (dimensions integer*1)
  152: /         * 1100 01 10               matrice real*4 (dimensions integer*2)
  153: /         * 1100 10 10               matrice real*4 (dimensions integer*4)
  154: /         * 1100 11 10               matrice real*4 (dimensions integer*8)
  155: /         * 1100 00 11               matrice real*8 (dimensions integer*1)
  156: /         * 1100 01 11               matrice real*8 (dimensions integer*2)
  157: /         * 1100 10 11               matrice real*8 (dimensions integer*4)
  158: /         * 1100 11 11               matrice real*8 (dimensions integer*8)
  159: /         * 1101 00 10               matrice complex*8 (dimensions integer*1)
  160: /         * 1101 01 10               matrice complex*8 (dimensions integer*2)
  161: /         * 1101 10 10               matrice complex*8 (dimensions integer*4)
  162: /         * 1101 11 10               matrice complex*8 (dimensions integer*8)
  163: /         * 1101 00 11               matrice complex*16 (dimensions integer*1)
  164: /         * 1101 01 11               matrice complex*16 (dimensions integer*2)
  165: /         * 1101 10 11               matrice complex*16 (dimensions integer*4)
  166: /         * 1101 11 11               matrice complex*16 (dimensions integer*8)
  167: 
  168: Utiliser clock() et clock_t pour émuler getrusage sous OS/2
  169: 
  170: Regarder les d_ep_division_par_zero pour coller un undef à la place.
  171: 
  172: ->TAG TAG-> DTAG
  173: ->UNIT UNIT-> DUNIT
  174: 
  175: Traiter SIGTERM
  176: RUN
  177: Ajouter MULTICAST (pour les sockets)
  178: Rajouter le test des dépassements pour INCR et DECR
  179: 
  180: Ajouter TeXmacs
  181: 
  182: Dessiner les niveaux sur les graphes
  183: { "main" { "default" } { "automatic" 10 } } axes redraw 
  184: Ne fonctionne pas...
  185: 
  186: -> I:integer scalar, J:integer scalar << >>
  187: 
  188: // Teste les interfaces d'entrée et de sortie d'une fonction. Une fonction
  189: // peut avoir plusieurs interfaces.
  190: 
  191: constrained FONCTION
  192:     interface STANDARD
  193:         integer scalar, generic, real scalar
  194:     returns
  195:         real scalar
  196:     or
  197:         integer scalar
  198:     requires
  199:         VARIABLE FONCTION2
  200:     end
  201: 
  202:     interface SPECIFIQUE
  203:         scalar, ...
  204:     returns
  205:         scalar
  206:     requires
  207:     end
  208: provides
  209: <<
  210: >>
  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: Pour le fonctionnement en cluster
  232: ADDNODE
  233: DELNODE
  234: 
  235: { arguments } << programme >> << interruption >> SUBMIT
  236: arg1 ... argn n << programme >> << interruption >> SUBMIT
  237: 
  238: rpl -b (batch) 32 (nombre de threads)
  239: 
  240: FOREIGN (pour les variables)
  241: 
  242: Côté esclave
  243: foreign -> X Y Z << >>
  244: FVARLOCK
  245: FVARUNLOCK
  246: 
  247: Côté maître
  248: foreign -> X Y Z << >> (il faut savoir si on est sur le mêtre ou sur un esclave)
  249: 
  250: FOREIGN permet à un esclave d'accéder à une variable partagée
  251: du maître.
  252: 
  253: ADDNOTE envoie les variables de niveau 0 au noeud client.
  254: SUBMIT envoie l'adresse de création des variables 'foreign' au client
  255: // Maître
  256: << foreign 1 -> X
  257:     <<
  258:         << foreign -> X << 'X' incr >> >> << >> submit
  259:     >>
  260: >>
  261: 
  262: ================================================================================
  263: 
  264: Compilation -> faire un exécutable qui appelle rpl par rpl -S
  265: 
  266: Verification des erreurs mémoire dans le cas d'erreur avant l'appel au
  267: séquenceur dans rpl.c
  268: 
  269: Coller un fichier ~/.rpl qui contient les valeurs par défaut des drapeaux
  270: 
  271: 'a(3)+a(3,4)' ne doit pas provoquer d'erreur si a est du type liste ou table.
  272: Si a est une liste ou une table : une seule dimension possible !
  273: 
  274: Evaluation symbolique des fonction ?
  275: 
  276: SQL sur des données binaires
  277: 
  278: La manière standard de faire est d'utiliser des wchar_t pour représenter les
  279: caractères (à distinguer des bytes).
  280: Il y a plein de choses dans la bibliothèque standard :
  281: - mbtowc et compagnie, et aussi mbrtowc et compagnie, une variante
  282: probablement identique dans ton cas
  283: - fgetwc, fputwc, fwprintf etc. pour les entrées-sorties
  284: - wcs*() qui remplace les fonctions en str*()
  285: 
  286: Vérifier la cohérence des arguments de OPEN
  287: 
  288: TO DO
  289:     File support : SEEK, SUPPRESS, REWRITE
  290: 
  291: Mettre des tableaux dans les formats binaires
  292: 
  293: SLOPEFIELD
  294: 
  295: Simplification des expressions : convertir la notation polonaise en
  296: arbre.
  297: 
  298: Problème d'indentation de
  299: select
  300:     case then end <- sur la même ligne

CVSweb interface <joel.bertrand@systella.fr>