![]() | Study programme 2025-2026 | Français | |
| Operating Systems | |||
Learning Activity |
| Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) | Establishment |
|---|---|---|---|---|
| S-INFO-010 |
|
|
| Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
|---|---|---|---|---|---|---|---|
| Français | Français | 24 | 24 | 0 | 0 | 0 | Q1 |
Content of Learning Activity
Introduction: Functions and characteristics of an operating system, resource allocation and management, brief historical overview.
CPU Virtualization: Process abstraction, interface, process states, data structures, limited direct execution, system calls, context switches, preemption, scheduling algorithms.
Memory Virtualization: Address space abstraction, static and dynamic relocation, segmentation, paging, translation lookaside buffer (TLB), page table storage, swap management.
Concurrency: Thread abstraction, synchronization primitives (locks, condition variables, semaphores), OS and hardware support for their implementation, classic concurrency problems (Producer/Consumer, Thread Throttling, Dining Philosophers), common concurrency bugs, detailed discussion of deadlocks.
Persistence: Input/output devices, disks (operation, scheduling, RAID), file systems (POSIX interface, implementation, journaling).
All concepts are illustrated in the xv6 operating system.
UNIX: Manipulation of processes, file systems, and the kernel through C programs (POSIX interface) and shell scripts.
Required Learning Resources/Tools
Slides and lecture notes available on Moodle.
Recommended Learning Resources/Tools
Not applicable
Other Recommended Reading
- Operating Systems: Three Easy Pieces (Version 1.10), Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, 2023, Arpaci-Dusseau Books.
- Modern Operating Systems, 5th edition, Andrew S. Tanenbaum and Herbert Bos, 2022, Pearson.
- UNIX, Programmation et communication, Jean-Marie Rifflet et Jean-Baptiste Yunès, 2003, Dunod.
Mode of delivery
Type of Teaching Activity/Activities
Evaluations
The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)
Location of learning activity
Location of assessment