Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:c-2-18-2 [2018/11/04 10:09]
delporte [Planning prévisionnel/Preliminary schedule]
cours:c-2-18-2 [2019/09/16 12:49] (current)
delporte [Contenu/Contents]
Line 2: Line 2:
  
  
-==== Enseignants pour l'année 2018-19 / Teachers in charge for 2018-19 ====+==== Enseignants pour l'année 2019-20 / Teachers in charge for 2019-20 ====
  * [[http://www.irif.fr/~cd/|Carole Delporte]] ([[http://www.irif.fr/~cd/|IRIF]], Université Paris Diderot)  * [[http://www.irif.fr/~cd/|Carole Delporte]] ([[http://www.irif.fr/~cd/|IRIF]], Université Paris Diderot)
  * [[http://www.irif.fr/~hf/|Hugues Fauconnier]] ([[http://www.irif.fr/~hf/|IRIF]], Université Paris Diderot)  * [[http://www.irif.fr/~hf/|Hugues Fauconnier]] ([[http://www.irif.fr/~hf/|IRIF]], Université Paris Diderot)
Line 28: Line 28:
 ====Contenu/Contents==== ====Contenu/Contents====
  
-P1, Tuesdays, starting from 11/09/2018, 8h45-12h00, Bat. Sophie Germain, Room 2036+P1, Mondays, starting from 16/09/2019, 8h45-12h00, Bat. Sophie Germain, Room 1014
  
 ==Part I== ==Part I==
Line 56: Line 56:
 ==== Planning prévisionnel/Preliminary schedule ==== ==== Planning prévisionnel/Preliminary schedule ====
  
-11/09/2018    |Introduction: synchronization, blocking and non-blocking   | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/class01-intro.pdf|pdf]] | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/quiz1.pdf| HW 1]][[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/sol1.pdfSolutions]][[https://deadlockempire.github.io/ | Deadlock Empire Game]] | +16/09/2019    |Introduction: synchronization, blocking and non-blocking, safety and liveness    | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/class01-intro.pdf|pdf]] | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/quiz1.pdf| HW 1]] [[https://deadlockempire.github.io/ | Deadlock Empire Game]] [[https://www.youtube.com/watch?v=wPvF2Ki1ikk|Mini-MOOC]]| 
-18/09/2018    |Correctness: safety and liveness  | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/class02-sl.pdf|pdf]] [[https://www.youtube.com/watch?v=wPvF2Ki1ikk|mini-mooc]] | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/quiz2.pdf| HW 2]][[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/sol2.pdf| Solutions]]|  +23/09/2019    |Read-write shared memory basics  | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/class02-sm.pdf|pdf]] | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/quiz2.pdf| HW 2]]
-25/09/2018    |Shared memory basics, atomicity assertions  | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/class03-sm.pdf|pdf]] | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/quiz3.pdf| HW 3]],[[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/sol3.pdf| Solutions]]| +|     | Homework Assignment (due 14/10/2019)  | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/midterm-hw.pdf|pdf]] |  
-|     | Homework Assignment (due 16/10/2018)  | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/midterm-hw.pdf|pdf]] |  +30/09/2019    | Atomicity assertion | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/class03-tromp.pdf|pdf]] | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/quiz3.pdf| HW 3]]| 
-02/10/2018    |Atomic and immediate snapshots | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/class04-as-is.pdf|pdf]] | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/quiz4.pdf| HW 4]], [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/sol4.pdf| Solutions]]| +|07/10/2019    | Atomic and immediate snapshots | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/class04-as-is.pdf|pdf]] | [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/quiz4.pdf| HW 4]] | 
-|09/10/2018    | Impossibility of Wait Free Agreement, Hierarchy  | [[https://www.irif.fr/~cd/MPRI/linear-wfcons-hierarchy.pdf|pdf]] |  | +|14/10/2019    | Impossibility of ConsensusConsensus Hierarchy  | [[https://www.irif.fr/~cd/MPRI/linear-wfcons-hierarchy.pdf|pdf]] |  | 
-|16/10/2018    | Homework discussion | | | +|21/10/2019    | Universal construction, k-set agreement, t-resilient fault model | [[https://www.irif.fr/~cd/MPRI/universal-k-set-t-resilient.pdf|pdf]]|  | 
-|23/10/2018    | Universal construction, k-set, t-resilient | [[https://www.irif.fr/~cd/MPRI/universal-k-set-t-resilient.pdf|pdf]]|  | +|28/10/2019    | Objects, Circumventing impossibility  | [[https://www.irif.fr/~cd/MPRI/cours7.pdf|pdf]] || 
-|30/10/2018    | Objects, Circumvent impossibility  | [[https://www.irif.fr/~cd/MPRI/cours7.pdf|pdf]] || +|04/11/2019    | BG-simulation,  message-passing | [[https://www.irif.fr/~cd/MPRI/cours8.pdf|pdf]] | | 
-|06/11/2018    | BG-simulation,  message passing | [[https://www.irif.fr/~cd/MPRI/cours8.pdf|pdf]] | | +| **18/11/2019**    |  **Exam (8:45-11:45) **  | Annales [[http://perso.telecom-paristech.fr/~kuznetso/MPRI19/annales.pdf|pdf]]| |
-| **20/11/2018**    |  **Exam (8:45-11:45) **  | Annales [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/annales.pdf|pdf]]| |+
  
  
Line 75: Line 74:
 ==== Livres conseillés / Literature === ==== Livres conseillés / Literature ===
  
-Lecture notes on robust concurrent computing, in progress, last revision September 2018 [[http://perso.telecom-paristech.fr/~kuznetso/MPRI18/book.pdf|pdf]]+R. Guerraoui and P. Kuznetsov. // 
 +[[https://www.amazon.fr/Algorithms-concurrent-systems-Petr-Kuznetsov/dp/2889152839|Algorithms for concurrent systems.]]// 
 +PPUR, 2019 
 + 
 +Also availavble as [[https://www.dawsonera.com/abstract/9782889144570|ebook]]
  
 * Maurice Herlihy and Nir Shavit. //The art of multiprocessor programming.// Morgan Kaufmann 2008. * Maurice Herlihy and Nir Shavit. //The art of multiprocessor programming.// Morgan Kaufmann 2008.
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA