Useful Resources
| Makefile | Generic makefile to adapt according to your needs. |
Operating systems
Portail informatique-
Organisation
- Presentation
- Annals
- Annals (old formula)
- Courses/Lab (old formula)
- All the labs
- Schedule
- Teachers
- GDB cheat-sheet
-
Resources
-
Partie 1 - Process
-
Class #1Threads
- Class overview module
- Stack and registers
- Threads
- Thread-safety, reentrancy
- Thread synchronization
-
Class #2Concurrent programming
- Pipe-based communication
- IPC : message queue, shared memory, semaphores, mutex, condition
- Classic synchronizatin patterns
-
Class #3Synchronization
- Atomic operations
- Implementing synchronization primitives
- Futex
-
Class #4System calls
- System call concept
- Introduction to the xv6 kernel
- Implementing a system call
-
Class #5Interrupts and scheduling
-
Slides 30mn
- Lecture recording [Fr]
- Lab recording [Fr]
-
Lab 2h30
- Memory bus, I/O bus
- Processing an interrupt
- Time management
- Implementing an interrupt handler
- Implementing a scheduler
-
Slides
-
Class #6SprintLab3h
- Code review and discussion
-
Part 2 - Memory management
-
Class #7Virtual memory
- Virtual memory
- Pagination
- Page table, TLB
- Memory space of a process
- Memory allocation strategies
- Implementing a memory cache
-
Class #8Memory Management Unit
- Memory management in an operating system
- Shared memory
-
Class #9Architecture
- Sequential processor
- Pipeline
- Superscalar processor
- Branch prediction
- Vector instructions
- Hyperthreading
- Multi-core processor
- NUMA architecture
- How a cache works
-
Class #10Sprint
-
Sprint 3h
-
Sprint
-
Part 3 - I/O
-
Class #11I/O
- Buffered / unbuffered IOs
- mmap
- Asynchronous IOs
- Concurrency
-
Class #12File systemsTODO
-
Class #13Synthesis: mini-projectTODO
-
Class #14Sprint
-
Sprint 3h
-
Sprint
-
Class #15Exam
-
