Résumé
L’objectif de ce premier cours a été de définir de manière précise ce qu’est un algorithme réparti correct. La propriété de sûreté considérée est que l’on appelle « l’atomicité », ou « la linéarisabilité », définie par référence à la spécification séquentielle d’un objet informatique. La propriété de vivacité considérée est ce que l’on appelle le « wait-freedom » (« absence d’attente »). Les deux propriétés ont été illustrées à travers le théorème d’équivalence entre registres, ainsi qu’un algorithme de mise en œuvre d’un compteur faible.
Voici les principaux thèmes abordés pendant le premier cours :
- « Atomicité » ;
- « Absence d’attente (wait-freedom) » ;
- « Théorème d’équivalence entre registres » ;
- « Algorithmique des registres » ;
- « Quelques premiers résultats d’impossibilité ».
