Annotation of rpl/LIMITATIONS, revision 1.210

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

CVSweb interface <joel.bertrand@systella.fr>