Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Stupid me. Using rand to generate the datatest is not very wise...
[simgrid.git] / TODO
1 * Use of data on the stack as argument to MsgNew does not work
2 * Warn when using a server socket to write, or a client one to poll
3
4 * while (1) { fork; exec the child, wait in father }
5 * message forwarding
6
7 [autoconf]
8   Check in autoconf that no datatype is bigger than 64, or dynar_map will
9     get into trouble...
10
11 [portability layer]
12   Make a script to test how the padding bytes are on the current arch, and
13    constitute a bestiary.
14   Use Arnaud's structure parser in a macro
15   Dynar of type, such as ref of type
16   Generate convertors in assembler ?
17   Mallocators
18   
19 [Messaging]
20   Message forwarding
21   Message priority
22   Messages in a tree manner
23   
24 [network drivers]
25   Interface: open_server, open_client, read, write, flush, close
26   Implementations: TCP, SG (more after my PhD).
27
28 [errors]
29   Better split casual errors from programing errors.
30     The first ones should be repported to the user, the second should kill
31     the program (or, yet better, only the msg handler)
32   Allows the use of an error handler depending on the current module (ie,
33    the same philosophy than log4c using GSL's error functions)
34   Rethink the error codes. Source of inspirations are:
35    - comerr (common error reporting from ext2)
36    - libgpg-error
37
38 [logs]
39   Parse argv (check leonie and tbx_arg_iterator in tbx_parameter.h)
40   Several appenders; fix the setting stuff to change the appender
41   Hijack message from a given category to another for a while (to mask
42     initializations)
43
44 [dict]
45   Make a real container for the dict, so that the free function may be given
46     only once for the whole tree (would help to send dicts).
47   dichotomie in search
48   speed up the cursors, for example using the contexts when available
49   fix multi levels dicts
50
51 [datadesc]
52   Error handling in cbps
53   Regression tests of cbps
54
55 *********
56 * GRAS1 * Integrer grassouillet a gras; multiplexage XML; module de comm
57 *********
58 [type_bag SG]
59  un peu comme les type_bag RL, mais sans tenir compte d'incoming ni
60    outcoming.
61  La finesse est de simuler la taille des envois sans les faire
62  On peut aussi imaginer une version faisant ces envois effectivement, qui
63    serait un peu plus lente, mais permettant de debugger cette partie de
64    grassouillet
65    
66 [pilotes reseaux de sous grassouillet]
67  TCP: utilise le fd. rien a faire.
68  SG: Le send fait le boulot de malloc du recv de fd, et les rempli comme le
69    send de fd.
70
71 [simuler le select sur les sockets avec des threads]
72   Le plan, c'est qu'a l'ouverture d'une socket server, on cree un thread
73     charge de faire du pool blocant dessus, et des que ce thread se debloque
74     car il commence a lire qqch, il passe la main a un thread de
75     communication charge de faire la lecture. 
76   Quand la lecture est finie, le thread de comm passe la main aux threads
77     d'execution (un par couleur).
78     
79   Voici comment faire le coeur du truc [dixit Olivier]:
80     Une liste est utilisee pour stocker ce que le thread de comm a le droit
81       de lire. Elle est protegee par mutex pour eviter les acces concurents.
82       c'est la "liste de lecture"
83     Une semaphore "de lecture" est utilisee pour permettre aux threads
84       servants des sockets de prevenir le thread de comm qu'ils ont qqch
85       pour lui
86     Dans la liste de lecture, on place les messages en cours de creation, et
87       un ptit mutex pour que le thread de comm dise aux threads servants de
88       retourner ecouter la socket car il a fini
89     Chaque couleur a sa file de callback a appeller, proteger par semaphore
90       et un mutex comme pour la file de lecture
91     
92     Init:
93      initialisation de toutes les semaphore a 0
94      comm: sem_P(semaphore lecture)
95      couleur: sem_P(semaphore de la couleur correspondante)
96      servant: read (1) sur la socket
97      
98     Arrive d'un message
99      servant:
100      1) le read debloque (c'est la version de gras, utilisee pour multiplexe
101         sur le XML, ou sur les differentes versions de gras/de pilote reseau)
102      2) Allocation du message vide pour contenir ce qui s'annonce
103      3) initialisation du mutex du message_instance a 0 (verrouille)
104      4) placement du message instance dans la file (prise de mutex,
105         placement, lachage de mutex)
106      5) sem_V(sempahore)
107      6) mutex_lock sur le mutex_verrouille
108      sleep
109      7) quand on revient, on rebloque un read(1), et on recommence
110      
111      comm:
112      1) on se reveille quand la semaphore se libere (etape 6 des servants)
113      2) prise d'une tache dans la file (protegee par semaphore)
114      3) lecture de l'instance de message
115      4) lache le mutex dans l'instance pour liberer le servant
116      5) pose le message pret dans la file de la couleur correpondant au
117         premier callback de la pile pour ces {messageID x version} et
118         augmente le semaphore correspondant.
119      6) se rebloque sur le semaphore de lecture et recommence
120      
121      couleur:
122      1) on se reveille quand quelqu'un a pose qqch dans sa file des messages
123         prets
124      2) on le retire de la file
125      3) on acquiere le mutex d'execution de sa couleur (pour les callbacks
126         cameleon)
127      4) on execute le callback qu'il faut
128      5) on lache le mutex de sa couleur
129      Si le callback annonce avoir mange le message
130        a) on libere le message (le payload doit avoir ete libere par 
131           l'utilisateur)
132        b) on decremente le TTL du callback, et on le vire si c'etait pas un
133           callback infini et qu'il arrive en fin de vie
134      Sinon
135        a) on place le message dans la liste des messages de la couleur du
136           suivant dans la pile des callback
137      6) On se rendort sur le semaphore de sa couleur et recommence
138      
139     Emission d'un message:
140      A faire. Le thread de comm peut faire ceci, ou on peut faire un nouveau
141       thread de comm pour cela.
142      
143     Fermeture d'une socket client:
144      Probleme: faut tuer le thread servant.
145      Solution pour l'instant: fermer la socket depuis ailleurs.
146      Solution si ca marche pas (ou pas partout): Les servants font des
147       selects sur un pool {leur socket x un pipe fait pour}
148       Quand qqch arrive sur le pipe, c'est le signal du suicide.
149       
150 [Conversions inter-architectures]
151  Marquer les padding bytes explicitement aux structures (juste le sizeof
152    doit suffire)
153  Marquer les offsetof des fields explicitement a l'ajout.
154  Prevoir tous les encoding pour les types elementaires 
155    [taille, sexe, signess[non, a un, a deux]] 
156    plus les flotants, justifiant un traitement a part
157  Tester avec autoconf les encodings sur l'archi courante
158  Trouver un moyen de convertir un encoding en un autre (si possible par
159    blocs)
160  Generer ces convertors en assembleur a chaud, puisqu'on a rien de mieux a
161    foutre de notre temps
162
163 [XML]
164  Tout comme c'est dit dans les articles
165
166 [Macro parseuse]
167  Gerer les typedefs (necessite de l'aide de grassouillet)
168  Gerer les pointeurs. 
169    Faut des annotations pour dire si c'est :
170     - un AZT
171     - un tableau dont la longueur est ailleurs dans la struct
172     - une ref
173    Ca peut se faire soit avec des commentaires, soit avec des macros se
174      reecrivant a rien dans la vraie vie, et parsee. Mais le risque est que
175      ces macros soient reecrites avant d'etre passee a mon bordel, selon les
176      cpp. 
177  Gerer les unions => specifier des annotations, mais j'y crois pas
178  Gerer les enum
179  Gerer les long long
180  Gerer les types struct, union et enum anonymes au milieu d'un autre bloc de
181   donnees.
182  Verifier que "char"="signed char" sur toutes les archis
183  
184  Renomer gs_parse_tok_num en gs_parse_token
185  Check short a, b;
186  Check short ***
187  Check struct { struct { int a } b; }
188  
189 [Grassouillet]
190  Gerer les typedefs pour aliaser un type sur un autre
191  Merger gs_type_union_append_field et gs_type_struc_append_field si possible.
192  Gerer les enum ?
193  gs_type_copy/gs_type_free
194  A quoi sert le champ name de gs_type_struct_append_field ?
195  Ca plante bizarement si on met une structure n'existant pas dans le
196    message (a l'usage)
197  gs_type_dump, nardin, comment voir ce qui se passe sinon ??
198  
199 [Autres]
200  Simplifier l'API pour virer les sequences
201  Faire le parseur automatique de structures
202  Faire toutes les modifs aux Utils listees plus haut
203  Simplifier l'envoi de dynar et dico
204  Mettre les mutex et semaphores dans les dynar directement
205  Tenter (politiquement) le passage a GPL, pour voler du code.
206  
207
208 ************
209 * La suite *
210 ************
211 GRAS double (ou encore "GRAS too" ou "too GRAS"):
212  - Priorite des messages
213  - Outils de visu pour ce qui se passe dans le simulo
214  - Outils de visu/deployement/management pour RL
215    
216 GRAS (très):
217  - outils mathematiques pour dire des choses sur la validite du protocole
218