Titre : Infinité de processus

Encadrants : C. Delporte, H. Fauconnier

Contact : cd@liafa.jussieu.fr, hf@liafa.jussieu.fr

Lieu : LIAFA-Université Paris 7, 173 rue du Chevaleret 75013 PARIS.

 

Dans de nombreux algorithmes distribués, on suppose que le nombre de processus est fini et connu. Cependant cette supposition est assez restrictive si on considère, par exemple, des réseaux pair à pair contenant plusieurs millions de sites. Il est, dans ce cas, assez peu réaliste de supposer une borne connue sur le nombre de processus.

Le but de ce stage est d’étudier et de modéliser ce qui se passe si on ne suppose plus que le nombre de processus est fini. Supposer qu’il y a à chaque instant un nombre infini de processus est d’un intérêt plutôt théorique, aussi on peut étudier le cas,  où même si le nombre de processus est infini, à chaque instant, au plus un nombre fini de processus est actif. Il est clair que, dans ce cas, la plupart des problèmes classiques doivent être redéfinis (que signifient par exemple la diffusion fiable ou le consensus dans ce cas ?).

Ce stage commencera par une étude critique des travaux réalisés dans ce cadre.

Une référence intéressante est :

A pleasant stroll through the land of infinitely many creatures, Marcos Aguilera, ACM SIGACT News
Volume 35 ,  Issue 2  (June 2004).

 

d'autres sujets?