Archive 2022
ValidationCC+examen
EnseignantH. Fauconnier
Horaires hebdomadaires 3 h CM
Années M2 Mathématiques et Informatique pour la Science des Données

Sommaire

  1. Exclusion mutuelle
  2. Problème de l'atomicité et linéarisabilité
  3. Implémentation des registres atomiques
  4. Atomic snapshot
  5. Objets définis par une spécification séquentielle
  6. Réalisation d'objets atomiques
  7. Impossibilité du consensus et comparaison d'objet
  8. Consensus wait-free
  9. Introduction aux transactions
  10. Concurrency classes de Java

Bibliographie

  • Helrlhy, M. and Shavit, N. (2011). The Art of Mulitprocessor Programming. Morgan Kaufmann