Research

Overview

Publications

Curriculum Vitae

Teaching (French)

NMV : Noyaux Multi-coeurs et Virtualisation

Autres cours

Projects

VMKit2

Infra-JVM

Richelieu

Other

ASF

Colloquium d'Informatique de l'UPMC

NMV : Noyaux Multi-cœurs et Virtualisation (année 2012-2013)

Présentation

L'unité d'enseignement "Noyaux Multi-cœurs et Virtualisation" est une UE de niveau 500 (M2) relevant de la spécialité SAR du master d'informatique de l'Université Pierre et Marie Curie.

Elle possède un volume de 3 ECTS et s'étend sur 7 semaines. Elle est normalement offerte au semestre 3. Cette UE a pour but de présenter les systèmes d'exploitation modernes et les dernières avancées du domaine : l'extensibilité, la virtualisation et le multi-cœurs. Cette UE présente les concepts théoriques sous-jacents à ces systèmes et leur mise en œuvre pratique. Elle permet aux étudiants d'acquérir de solides compétences en système qui leur seront utiles tant d'un point de vue recherche que d'un point de vue professionnel.

Contexte

L'émergence ces dernières années de nouvelles architectures matérielles (embarquée, multi-cœurs, ferme de serveurs) et de nouveaux besoins (portabilité, travail coopératif, travail distribué, sécurité/sûreté de fonctionnement, temps réel, passage à l'échelle) entraîne de nouvelles contraintes que les systèmes d'exploitation doivent prendre en compte. Pour répondre à ces besoins, de nombreux concepts ont été proposées ces dernières années dans le milieu industriel et dans le milieu académique : les systèmes extensibles, la virtualisation et les systèmes d'exploitation distribués sur des multi-cœurs. Connaître ces concepts récents est particulièrement important pour travailler dans le domaine de l'informatique embarquée (trains, voitures, PDAs, téléphones portables, avions ou satellites) et dans celui des grands fermes de serveurs (Google, Amazon...).

Au travers de l'étude théorique et pratique de l'extensibilité du noyau Linux, des différentes architectures de systèmes proposées ces dernières années, des machines virtuelles, des algorithmes sans verrou et des mémoires transactionnelles, cette unité d'enseignement propose d'approfondir les connaissances des étudiants sur les systèmes d'exploitation. D'un point de vue recherche, cette UE permet aux étudiants de se faire une image précise des derniers travaux dans le domaine des systèmes et d'un point de vue professionnel, cette UE permet aux futurs ingénieurs de choisir avec discernement les architectures de systèmes et les algorithmes système les plus adaptés à leur domaine.

Bibliographie

• The Art Of Multiprocessor Programming. M. Herlihy, N. Shavit. Elsevier (2008)
• Le noyau linux. D. P. Bovet, M. Casata, J. Cornavi Oreilly (2001)
• Garbage Collection: algorithms for automatic dynamic memory management. R. Jones, R. Lins. Wiley (1996).
• Bibliographie du module Noyau (M1)
• Conférences et revues en système : SOSP, OSDI, ASPLOS, USENIX, EUROSYS, HOTOS, VEE, CACM, JACM, Computing Surveys, TOPLAS, SP&E, JPDC, TOCS

Contenu du cours

Les cours et TME ont lieu le lundi matin de 8h30 à 13h en salle SAR.

Les sujet de cours et de TME seront ajoutés dans cette rubrique au fur et à mesure.

Modalité d'examen

L'examen compte pour 100% de la note.

Annales