Archive 2019
ValidationCC+examen
EnseignantH. Fauconnier
Horaires hebdomadaires 3 h CM
Années M2 Data Science (ouverture 2020)

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