Systèmes d'exploitation et programmation concurrente

De Ensiwiki.

Vous trouverez sur cette page:

• Les supports de cours
• Les supports de TD et TP
• Des annales (NEW !!)

Fiche de cours

Sommaire 1 Supports de cours (premier semestre) 2 Travaux dirigés et Travaux pratiques 3 A propos de GIT 4 Annales d'examens 5 Planning SEPC(Cf. ADE) : 6 Les enseignants 6.1 Premier semestre 6.2 Deuxième semestre

Supports de cours (premier semestre)

• Cours 1 : Introduction Transparents résumé
• Cours 2 : Processus Transparents résumé
• Cours 3 : Mécanismes de synchronisation et réalisation des processus Transparents résumé
• Cours 4 : Les interblocages Transparents résumé
• Cours 5 : Gestion mémoire Transparents
• Cours 6 : Pagination Transparents
• Cours 7 : Gestion de fichiers Transparents résumé
• Cours 8 : Les systèmes distribués Transparents
• Cours 9 : Les multi-processeurs Transparents
• Cours 10 : Présentation de Windows Transparents

Travaux dirigés et Travaux pratiques

• Séance 1
  • Rappel de C, Résumé
  • TP allocateur mémoire Présentation, Sujet du TP allocateur (fev 2013)
  • Sources: elles sont dans un entrepôt git sur ensibm. On peut les obtenir en faisant :

  git clone ssh://login_de_l_etudiant@ensibm.imag.fr/usr/local/psys/SEPC/allocateur.git

• • Ou bien sur telesun :

  git clone ssh://login_de_l_etudiant@telesun.imag.fr/equipes/SEPC/allocateur.git

L'entrepôt est le même pour tout le monde. Il n'est donc accessible qu'en lecture. Les commandes commme git push ne devraient pas fonctionner. Vous ne pouvez pas y sauvegarder vos travaux. Corrections des bugs dans l'entrepôt: Faire git pull, pour les fusionner avec votre code.

• • Si vous voulez utiliser git plus avant, la page git du wiki avec des liens vers les tutoriaux.
  • les tests utilisent la bibliothèque cunit: libcunit1-dev ou libcunit1-ncurses-dev (sous debian et ubuntu)

• Scéance 2
  • Dekker-Peterson et présentation du TP shell
  • Présentation du TP Shell
  • Sujet du TP Shell (2A, sept 2012) (NB oct 2012: j'ai renommé le fichier PDF pour éviter toute confusion. L'ancien fichier était le même sujet);
  • Exemples de code
  • Documentation
  • Sources de départ pour le TP Shell :

  git clone ssh://login_de_l_etudiant@ensibm.imag.fr/usr/local/psys/SEPC/shell.git

• • Sur telesun :

  git clone ssh://login_de_l_etudiant@telesun.imag.fr/equipes/SEPC/shell.git

L'entrepôt est le même pour tout le monde. Il n'est donc accessible qu'en lecture. Les commandes commme git push ne devraient pas fonctionner. Vous ne pouvez pas y sauvegarder vos travaux.

• • Corrections des bugs dans l'entrepôt: Faire git pull, pour les fusionner avec votre code.

• Scéance 3
  • Moniteurs
  • TD Moniteur

• Scéance 4
  • TP thread et Sémaphore 1
  • TD sémaphores
  • Slides sémaphores
  • Présentation de la programmation des Threads
  • Sujet du TP Thread (Nov 2012)
  • Tests: valgrind est votre ami (tools: memcheck, helgrind et, dans les version récentes, drd)
• Scéance 5
  • Sémaphore 2 et Mémoire
  • Examen décembre 2008
  • Examen mai 2010

A propos de GIT

Pour plus d'information sur l'utilisation de Git dans un cadre semblable à celui des TPs de ce cours, vous pouvez consulté la page: page sur les entrepots git partagées

Annales d'examens

• Examen mai 2010
• Examen mai 2011

Planning SEPC(Cf. ADE) :

Emploi du temps des cours et travaux dirigés de "SEPC" sont sur ADE.

• Cours
  • 4MMSEPS1_CM_G1 : ISI, Telecom et SLE
• TD

Les enseignants

Premier semestre

• Yves Denneulin
• François Broquedis
• Hugues Evrard
• Grégory Mounié
• Vivien Quema

Deuxième semestre

• Grégory Mounié
• François Broquedis
• Hugues Evrard
• Jun-Young Bae