Program requirementsCC+examen
TeacherH. Fauconnier
Weekly hours 3 h CM
Years M2 Mathématiques et Informatique pour la Science des Données (DM) M2 Mathématiques et Informatique appliquées à la Science des données

Contents

  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

Bibliography

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