Skip to main content
Side panel
Home
More
English (en)
English (en)
Français (fr)
You are currently using guest access
Log in
Home
Open course index
Open block drawer
Informatique (IN)
Master
Principles of computer systems
Weekly outline
General
Collapse all
Expand all
Student forum
External tool
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]
File
Lec: Technical Writing [slides]
File
Hints and Principles for Computer System Design (B. Lampson)
File
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)
File
BL paper: Read §1 and §2
Assignment
OP1: Exokernel in Disguise
Assignment
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]
File
Recitation (slides)
File
Recitation (video recording)
URL
Week 3: Names (28.09－2.10)
Designing a Global Name Service (B. Lampson)
File
OP1: Exokernel in disguise (revision)
Assignment
OP1 top picks
Folder
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
Folder
Recitation (Video Recording)
URL
Week 4: Layers (5.10－9.10)
Resilient Overlay Networks (D. Andersen et al., SOSP 2001)
File
OP2: A richer network abstraction?
Assignment
Slides
Folder
Lecture (Video Recording)
URL
Recitation (Video Recording)
URL
Week 5: Client/Server (12.10－16.10)
On microkernel construction ( J. Liedtke, SIGOPS 1985)
File
On the Duality of Operating System Structures (H.C. Lauer et al., SIGOPS 1979)
File
BL paper: Re-read §2
File
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]
File
Recitation slides - on u-kernel construction
File
Recitation Slides - On the Duality of OS Structures
File
Recitation (Video Recording)
URL
Week 6: Memory Virtualization
Twizzler: a Data-Centric OS for Non-Volatile Memory (D. Bittman et al., ATC 2020)
File
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]
File
OP2 Revision
Assignment
Recitation (Video Recording)
URL
Recitation Slides
File
OP2 top picks
Folder
Wk7: Machine virtualization
Formal Requirements for Virtualizable Third Generation Architectures (G. Popek et al., CACM 1974)
File
Xen and the Art of Virtualization (P. Barham et al., SOSP 2003)
File
OP3: Virtual Machines and Processes
Assignment
Virtualization recitation slides
File
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
File
OP3 feedback & grades to group members
Assignment
Recitation slides
File
Recitation (Video Recording)
URL
Wk9: Redundancy & Fault Tolerance
Fault Tolerance: Reliable Systems from Unreliable Components [optional]
File
A case for redundant arrays of inexpensive disks (RAID) (D.A. Patterson et al., SIGMOD 1988)
File
The case for RAMClouds: scalable high-performance storage entirely in DRAM (J. Ousterhout et al., ACM SIGOPS Operating Systems Review 2010)
File
Lecture (Video Recording)
URL
OP3 group revision
Assignment
Recitation slides
File
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)
File
CAP Twelve Years Later: How the "Rules" Have Changed (E. Brewer)
URL
OP4: Transactions
Assignment
Recitation (Video Recording)
URL
Recitation Slides
File
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)
File
Recitation slides Chord
File
Recitation (Video Recording)
URL
Wk12: Internet Design Challenges
Live lecture
Akamai DNS: Providing Authoritative Answers to the World's Queries
File
Lecture slides
Folder
Lecture (Video Recording)
URL
Recitation (Video Recording)
URL
OP4 Group Revision
Assignment
Wk13: Scalable Synchronization
Guest lecture: Sanidhya Kashyap [live]
URL
Lecture (Video Recording)
URL
Student presentations I (Thursday)
OP5: A neutral Internet?
Assignment
Student Presentations Schedule
File
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
