Skip to topic | Skip to bottom
Home
Minfo
Minfo.DistributedAlgor1.86 - 08 Nov 2017 - 09:47 - FrancoiseBaudetopic end

Start of topic | Skip to actions

Distributed Systems: an algorithmic approach

Master 2 Informatique, Specialite IFI (Ingenierie et Fondements de l'Informatique), parcours CSSR, and UBINET, depuis l'année 2009/2010

General Objectives

  • Be capable to understand the problems that arise in the context of distributed systems, such as those due to asynchrony between processes only relying on non-shared memory and message passing, in presence or not of failure.
  • Be able to understand typical solutions, and design simple algorithms in such context

Content / Keywords

  • Distributed systems
  • Fault tolerance
  • Concurrency
  • Time in distributed systems, logical clocks
  • Typical solutions for typical problems: mutual exclusion, deadlock detection, termination detection, election, consensus, group communication, etc.

Reference books

Additional material

Courses

  1. Introduction, assumptions, Election (version of October 2017)
  2. Time in distributed systems - Consistent Snapshots and Cuts (version of October 2013, same for 2016)
  3. Fault Recovery by checkpointing and message logging updated oct 2017 Correctionzpaths.pdf:
  4. Failure detectors and consensus: (oct 2017) Correction homerwork
  5. Mutual exclusion (Oct 2017).pdf Correction homerwork
  6. Group Communications (version of Oct/Nov. 2017)
  7. Global state collection: termination, deadlock - Distributed transactions (version of 2015)

Exercises (in class, or at home)

1 Distributed systems assumptions - Simple examples - Election problem

2 Logical Clocks - Causality relation - Snapshot

3 TD about fault tolerance -- 2015: Lamport snapshot: correction Lamport

4 Homework about fault detection (Eventually Perfect Failure Detector strange algorithm) -- 2015: DOC101115-10112015171333.pdf:

5 Group Communications

6 Global state collection - Distributed Transactions

EXAM was on Nov. 08/11/2010. ALL DOCUMENTS allowed

EXAM was on Nov. 21/11/2011. ALL DOCUMENTS allowed !

EXAM was on Nov. 19/11/2012. ALL DOCUMENTS allowed !

EXAM was on Nov. 21/11/2013. ALL DOCUMENTS allowed !

EXAM was on Nov. 17/11/2014. ALL DOCUMENTS allowed ! You also find a nice correction part 1, and nice correction part 2 from a student.

-- FrancoiseBaude

Additional material about ZOOKEEPER:

  • zab.pdf: the tricky consensus/atomic broadcast underlying algorithm of the zookeeper system to maintain consistent replica


to top

I Attachment sort Action Size Date down Who Comment
Sol_FT.txt manage 1.8 K 16 Nov 2011 - 16:07 FrancoiseBaude  
2013-10Ubinet-FT_recovery.ppt manage 2280.5 K 28 Oct 2013 - 14:44 FrancoiseBaude  
2013-10FailuresDetectorsConsensus-UN.pptx manage 1472.6 K 28 Oct 2013 - 14:45 FrancoiseBaude  
2013-11DistAlgo_Exmut.pptx.pdf manage 1992.9 K 13 Nov 2013 - 14:22 FrancoiseBaude  
DOC181113.pdf manage 2002.0 K 20 Nov 2013 - 09:03 FrancoiseBaude consensus
ZooKeeper.pdf manage 2312.9 K 25 Sep 2015 - 15:58 FrancoiseBaude  
zab.pdf manage 1167.3 K 28 Sep 2015 - 06:35 FrancoiseBaude  
2015-10Ubinet-FT_recovery.ppt.pdf manage 3845.1 K 04 Nov 2015 - 09:32 FrancoiseBaude  
2015-10FailuresDetectorsConsensus-UN.pptx.pdf manage 1232.4 K 04 Nov 2015 - 09:34 FrancoiseBaude  
DOC101115-10112015171333.pdf manage 538.7 K 10 Nov 2015 - 16:17 FrancoiseBaude EPFD strange algo
2015-11DistAlgo_Exmut.pptx manage 644.5 K 10 Nov 2015 - 16:28 FrancoiseBaude  
2017-10Ubinet-FT_recovery.ppt manage 2291.5 K 09 Oct 2017 - 12:26 FrancoiseBaude FT-recovery Updated Oct 2017
2017-10Ubinet-FT_recovery.ppt.pdf manage 1613.0 K 11 Oct 2017 - 12:24 FrancoiseBaude FT and recoovery updated oct 2017
2017-10DistAlgo_Exmut.pptx.pdf manage 5580.3 K 19 Oct 2017 - 15:21 FrancoiseBaude Mutual exclusion (Oct 2017)

You are here: Minfo > DistributedAlgo

to top

Copyright © 1999-2017 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding WIKIDeptinfo? Send feedback