Système d'exploitation et programmation concurrente
Table des matières
u#+options: author:t broken-links:nil c:nil creator:nil
Le but de ces pages est de fournir un ensemble de ressources pour le cours de SEPC: principalement des vidéos et des exercices. Le but des vidéos est de vous donner les fondements liés aux systèmes d'exploitation. Les TD, en particulier les premiers exercices, devraient être assez détaillés pour vous permettre de progresser.
Les vidéos sont aussi disponibles sur Youtube, au cas où
1 Slides (MMIS et alternant 2021) et vidéos de cours (Confinement 2020) pour 2A (classique et alternant)
1.1 Une introduction aux systèmes d'exploitation
1.2 Les processus
1.3 Synchronisation et programmation concurrente
1.4 Mémoire
1.5 Pagination
1.6 Les systèmes de gestion de fichiers
1.7 Les systèmes distribués
1.8 Ordonnancement
1.9 Les multi-processeurs/multi-cœurs
2 Pour les 2A alternance
Si vous êtes en MMIS cette partie ne sera pas au programme de l'examen.
2.1 Présentation scientifique
Vous devez choisir l'article à présenter en début de période 2 dans les pages suivantes:
- Articles très bons
- Usenix publication (search: award)
- https://www.usenix.org/publications/proceedings/award tous les articles primés des conférences de 2020 (y compris les artifacts (reproductibilité)).
- Conférences généralistes en systèmes d'exploitation (vous devriez y trouver votre bonheur)
- OSDI'20
- https://www.usenix.org/conference/osdi20/technical-sessions
- ATC'20
- https://www.usenix.org/conference/atc20/technical-sessions
- NSDI'20 (Réseaux, Datacenter, systèmes distribués, mesures, etc.)
- https://www.usenix.org/conference/nsdi20/technical-sessions
- Conférences plus spécialisées
- Security'20
- https://www.usenix.org/conference/usenixsecurity20/technical-sessions
- Woot'20 (Offensive Technologies)
- https://www.usenix.org/conference/woot20/workshop-program
- HotStorage'20
- https://www.usenix.org/conference/hotstorage20/workshop-program
- RAID'2020 (Attacks, Intrusions, Defenses)
- https://www.usenix.org/conference/raid2020/proceedings
2.2 La mémoire
Une vidéo [/Linux Memory Management at Scale: Under the Hood/, Chris Down, Facebook, conférence Usenix SRECON 2019) discutant sur les aspects récents et avancés du noyau Linux. https://www.usenix.org/conference/srecon19asia/presentation/down