LINF2345: Languages and Algorithms for Distributed Applications

Didactic team

Peter Van Roy (Teacher)
Yves Jaradin (Assistant)

Schedule

Lectures: Tuesday 16h15-18h15
Practical sessions: Tuesday 10h45-12h45. Didactic labs.

Evaluation

Material

DateSubjectFiles
Jan 30 2007 (Week 1) Introduction (PPT)
(PDF)
Feb 6 2007 (Week 2) Communication and processes Part 1 (PDF)
Part 2 (PDF)
Feb 13 2007 (Week 3) Naming (PDF)
Feb 20 2007 (Week 4) Clocks and Distributed Computations (PDF)
Feb 27 2007 (Week 5) Cloks and Distributed Computations (end) (PDF)
Mar 6 2007 (Week 6) Road to Distributed Programming - Distributed Protocols in Distributed Oz (PDF)
Mar 13 2006 (Week 7) Test + Distributed Protocols in Distributed Oz
(Week 8) A Framework for Structured Peer-To-Peer Systems (PDF) (PDF)
(Week 9-14) Distributed algorithms (PDF(Overview))
(PDF(Reliable Broadcast))
(PDF(Causal Broadcast))
(PDF(Consensus))
(PDF(Gossip))
(OZ(Examples))
(OZ(Supplement))

Practical Exercises

DateTopicStatementPartial solution
Feb 27 2007 The Oz language Lab1 Client
Server
Mar 20 2007 P2P programming in Oz Nothing for now! Nothing for now!
Mar 27 2007 Simple P2P services Nothing yet Nothing yet

Links

P2PS
The Mozart Programming System
Distribution-related papers in Mozart

Bibliography

Andrew S. Tanenbaum et Maarten van Steen,
Distributed Systems: Principles and Paradigms,
Prentice Hall, 2001.

Peter Van Roy et Seif Haridi,
Chapitre 11 de Concepts, Techniques, and Models of Computer Programming,
MIT Press, 2004.

Peter Van Roy, Per Brand, Seif Haridi et Raphael Collet,
A Lightweight Reliable Object Migration Protocol,
Springer LNCS 1686, 1998.

Kevin Glynn,
P2PKit: Building Peer-to-Peer Applications,
exposé invité, avril 2005.

Seif Haridi, Sameh El-Ansary, Ali Ghodsi, Luc Onana Alima et Per Brand,
"A Framework for Structured Peer-to-Peer Systems",
exposé invité, novembre 2003.


Yves Jaradin - May 23 2007

Valid XHTML 1.0!