Annotation of rpl/LIMITATIONS, revision 1.173

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

CVSweb interface <joel.bertrand@systella.fr>