Archive 2020
ValidationCC+examen
EnseignantH. Fauconnier
Horaires hebdomadaires 3 h CM
Anné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