Introduire la spéculation en auto-stabilisation : le cas de l'exclusion mutuelle

lundi 14 octobre à 14h en salle 201, exposé de Swan Dubois, maître conférence à l'UPMC et membre du LIP6

L'auto-stabilisation garantit qu'à la fin d'une période de fautes transitoires, un système réparti retrouve de lui-même un comportement correct en un temps fini. La spéculation consiste à garantir que le système soit correct pour toute exécution mais possède des performances significativement meilleures pour un sous-ensemble d'exécutions qui sont supposées plus probables. Un protocole spéculatif est donc à la fois robuste et efficace en pratique. Nous introduisons ici la notion de spéculation en auto-stabilisation en présentant un protocole spéculativement stabilisant d'exclusion mutuelle. Ce dernier stabilise pour toute exécution et son temps de stabilisation est optimal pour les exécutions synchrones.

Thème: