Annotation of rpl/LIMITATIONS, revision 1.99

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

CVSweb interface <joel.bertrand@systella.fr>