Archive 2019
Program requirementsCC+examen
TeacherH. Fauconnier
Weekly hours 3 h CM
Years M2 Data Science (ouverture 2020)

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