Annotation of rpl/LIMITATIONS, revision 1.144

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

CVSweb interface <joel.bertrand@systella.fr>