Passer au contenu principal
Panneau latéral
Accueil
More
Français (fr)
English (en)
Français (fr)
Vous êtes connecté anonymement
Connexion
Accueil
Open course index
Open block drawer
Informatique (IN)
IN - Master
Principles of computer systems
Aperçu des semaines
Généralités
Tout replier
Tout déplier
Official announcements
Forum
Butler Lampson: Hints and Principles for Computer System Design
Fichier
Lecture video recordings
URL
Week 1: Modules and Interfaces
Lecture recording
URL
Slides (lecture)
Fichier
Exokernel: An Operating System Architecture for Application-level Resource Management (D.R. Engler et al., SOSP 1995)
Fichier
Quiz01 - Exokernel
URL
Week 2: Naming
Lecture recording
URL
Slides (lecture)
Fichier
Slides (recitation)
Fichier
Designing a Global Name Service (B. Lampson).pdf
Fichier
Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications (I. Stoica et al., SIGCOMM 2001).pdf
Fichier
Quiz02 - GNS & Chord
URL
Week 3: Case Study: Memory Virtualization
Lecture recording
URL
Slides (lecture)
Fichier
Twizzler_ a Data-Centric OS for Non-Volatile Memory (D. Bittman et al., ATC 2020).pdf
Fichier
Quiz 3 - Memory Virtualization
Test
Week 4: How to Write
Lecture recording
URL
Slides (lecture)
Fichier
OP1: Naming
Devoir
Recitation papers
Dossier
Good example of OP1 - 1
Fichier
Week 5: Layers
Slides (lecture)
Fichier
Lecture recording
URL
Resilient Overlay Networks (D. Andersen et al., SOSP 2001).pdf
Fichier
Design, implementation and evaluation of congestion control for multipath TCP.pdf
Fichier
Quiz 04: Ron and MPTCP
Test
Recovered Quiz 04: RON and MPTCP
Test
Slides (recitation)
Fichier
Week 6: Case Study: Internet design
Slides
Fichier
Lecture recording
URL
Akamai DNS: Providing Authoritative Answers to the World's Queries
Fichier
Quiz 05: Akamai DNS
Test
Recovered Quiz 05: Akamai DNS
Test
Week 7: Client/Server
Slides
Fichier
Lecture recording
URL
On the Duality of Operating System Structures (H.C. Lauer et al., SIGOPS 1979)
Fichier
On microkernel construction (J. Liedtke, SIGOPS 1985)
Fichier
Quiz 6
Test
Week 8: Case study: Machine virtualization
Slides (guest lecture Ed Bugnion)
Fichier
Lecture recording
URL
Formal Requirements for Virtualizable Third Generation Architectures (G. Popek et al., CACM 1974)
Fichier
Xen and the Art of Virtualization (P. Barham et al., SOSP 2003)
Fichier
OP2: Process vs. VM
Devoir
Week 9: Redundancy & Fault Tolerance
Slides
Fichier
A case for redundant arrays of inexpensive disks (RAID) (D.A. Patterson et al., SIGMOD 1988)
Fichier
Lecture recording
URL
The case for RAMClouds: scalable high-performance storage entirely in DRAM (J. Ousterhout et al., ACM SIGOPS Operating Systems Review 2010)
Fichier
[Optional] Fault Tolerance: Reliable Systems from Unreliable Components
Fichier
Quiz 7
Test
Week 10: Transactions
Slides
Fichier
Replicated data consistency explained through baseball (D. Terry, CACM 2013)
Fichier
CAP Twelve Years Later: How the "Rules" Have Changed (E. Brewer)
URL
ACID vs. BASE (video)
URL
Lecture recording
URL
Quiz 8
Test
Week 11: Lazy vs. Speculative Execution
Lecture recording
URL
Slides
Fichier
OP3: Microreboot (feedback)
Devoir
Week 12: Locality
Lecture recording
URL
Slides
Fichier
Week 13: Exam
POCS Exam (cover page)
Fichier
POCS Exam
Test
Contact
EPFL CH-1015 Lausanne
+41 21 693 11 11
Suivre les pulsations de l'EPFL sur les réseaux sociaux
Accessibilité
Mentions légales
Protection des données
© 2023 EPFL, tous droits réservés
