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)
Master
Principles of computer systems
Aperçu des semaines
Généralités
Tout replier
Tout déplier
Student forum
Outil externe
Official announcements
Forum
Syllabus
Page
Recitation (Zoom)
URL
Week 1: Introduction & How to Write (14.09－18.09)
Lec: Administrivia [video 12m03s]
URL
Lec: Technical Writing (Process) [video 9m17s]
URL
Lec: Technical Writing (Structure) [video 6m10s]
URL
Lec: Technical Writing (Tips 'n' Tricks) [video 9m54s]
URL
Lec: Technical Writing (Graphs & Tables) [video 5m46s]
URL
Lec: Administrivia [slides]
Fichier
Lec: Technical Writing [slides]
Fichier
Hints and Principles for Computer System Design (B. Lampson)
Fichier
Week 2: Modules and Interfaces (21.09－25.09)
Exokernel: An Operating System Architecture for Application-level Resource Management (D.R. Engler et al., SOSP 1995)
Fichier
BL paper: Read §1 and §2
Devoir
OP1: Exokernel in Disguise
Devoir
Lec: What Is A Computer System? [video 6m01s]
URL
Lec: System Properties [video 11m47s]
URL
Lec: Complexity [video 7m07s]
URL
Lec: Sources of Complexity [video 7m26s]
URL
Lec: Symptoms of Complexity [video 7m16s]
URL
Lec: Modularity [video 13m32s]
URL
Lec: Abstraction [video 9m0s]
URL
Lec: Systems, Modularity and Abstraction [slides]
Fichier
Recitation (slides)
Fichier
Recitation (video recording)
URL
Week 3: Names (28.09－2.10)
Designing a Global Name Service (B. Lampson)
Fichier
OP1: Exokernel in disguise (revision)
Devoir
OP1 top picks
Dossier
Lec: Names [video 5m03s]
URL
Lec: Global Name Service－Scalability [video 6m13s]
URL
Lec: Global Name Service－Reliability [video 2m42s]
URL
Lec: Global Name Service－Performance [video 4m18s]
URL
Lec: Global Name Service－Behavior [video 5m08s]
URL
Slides
Dossier
Recitation (Video Recording)
URL
Week 4: Layers (5.10－9.10)
Resilient Overlay Networks (D. Andersen et al., SOSP 2001)
Fichier
OP2: A richer network abstraction?
Devoir
Slides
Dossier
Lecture (Video Recording)
URL
Recitation (Video Recording)
URL
Week 5: Client/Server (12.10－16.10)
On microkernel construction ( J. Liedtke, SIGOPS 1985)
Fichier
On the Duality of Operating System Structures (H.C. Lauer et al., SIGOPS 1979)
Fichier
BL paper: Re-read §2
Fichier
Lec: Client/Server － Intro [video 1m08s]
URL
Lec: Client/Server － Recap of modularization [video 10m15s]
URL
Lec: Client/Server Organization [video 15m0s]
URL
Lec: Client/Server － RPC [video 14m17s]
URL
Lec: Client/Server [slides]
Fichier
Recitation slides - on u-kernel construction
Fichier
Recitation Slides - On the Duality of OS Structures
Fichier
Recitation (Video Recording)
URL
Week 6: Memory Virtualization
Twizzler: a Data-Centric OS for Non-Volatile Memory (D. Bittman et al., ATC 2020)
Fichier
Lec: Memory Virtualization － Introduction [video 1m54s]
URL
Lec: Memory Virtualization － Enforced Modularity [video 4m39s]
URL
Lec: Memory Virtualization － Page Tables [video 17m]
URL
Lec: Memory Virtualization － Caching [video 19m09s]
URL
Lec: System Design "Constants" [video 7m42s]
URL
Lec: Memory Virtualization [slides]
Fichier
OP2 Revision
Devoir
Recitation (Video Recording)
URL
Recitation Slides
Fichier
OP2 top picks
Dossier
Wk7: Machine virtualization
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
OP3: Virtual Machines and Processes
Devoir
Virtualization recitation slides
Fichier
Link to virtualization textbook
URL
Lecture (Video Recording)
URL
Recitation (Video Recording)
URL
Wk8: Case studies in poor modularity
Lecture (Video Recording)
URL
Lecture Slides
Fichier
OP3 feedback & grades to group members
Devoir
Recitation slides
Fichier
Recitation (Video Recording)
URL
Wk9: Redundancy & Fault Tolerance
Fault Tolerance: Reliable Systems from Unreliable Components [optional]
Fichier
A case for redundant arrays of inexpensive disks (RAID) (D.A. Patterson et al., SIGMOD 1988)
Fichier
The case for RAMClouds: scalable high-performance storage entirely in DRAM (J. Ousterhout et al., ACM SIGOPS Operating Systems Review 2010)
Fichier
Lecture (Video Recording)
URL
OP3 group revision
Devoir
Recitation slides
Fichier
Recitation (Video Recording)
URL
Wk10: Transactions
Lec: Transactions [video 9m46s]
URL
Lec: ACID [video 12m21s]
URL
Lec: Nested Transactions [video 3m40s]
URL
Lec: Transactional Memory [video 14m34s]
URL
Lec: ACID vs. BASE [video 5m37s]
URL
Replicated data consistency explained through baseball (T. Doug., CACM 2013)
Fichier
CAP Twelve Years Later: How the "Rules" Have Changed (E. Brewer)
URL
OP4: Transactions
Devoir
Recitation (Video Recording)
URL
Recitation Slides
Fichier
Wk11: Decentralized Systems
Guest lecture: Bryan Ford
Lecture (Video Recording)
URL
Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications (I. Stoica et al., SIGCOMM 2001)
Fichier
Recitation slides Chord
Fichier
Recitation (Video Recording)
URL
Wk12: Internet Design Challenges
Live lecture
Akamai DNS: Providing Authoritative Answers to the World's Queries
Fichier
Lecture slides
Dossier
Lecture (Video Recording)
URL
Recitation (Video Recording)
URL
OP4 Group Revision
Devoir
Wk13: Scalable Synchronization
Guest lecture: Sanidhya Kashyap [live]
URL
Lecture (Video Recording)
URL
Student presentations I (Thursday)
OP5: A neutral Internet?
Devoir
Student Presentations Schedule
Fichier
Wk14: Student Presentations
Student presentations II (Tuesday)
Student presentations III (Thursday)
Contact
EPFL CH-1015 Lausanne
+41 21 693 11 11
Follow the pulses of EPFL on social networks
Accessibility
Legal notice
Privacy policy
© 2023 EPFL, all rights reserved
