Systèmes d'exploitation et programmation concurrente

Cette page est maintenue uniquement par les enseignants. Afin de ne pas perturber le déroulement des cours, elle n'a pas vocation à être modifiée par les élèves. Mais si vous avez des modifications à proposer, merci d'en discuter ou d'envoyer un e-mail aux auteurs de la page (cf. historique)

Vous trouverez sur cette page tout un tas de ressources pédagogiques liées au cours de Système d'Exploitation et Programmation Concurrente (SEPC). Pour récupérer les supports de cours et les sujets de TP/TD, merci de vous rendre directement sur la page correspondant à votre semestre :

• SEPC : semestre 1
• SEPC : semestre 2

Travaux dirigés et Travaux pratiques

• Environnement de travail
  • Les squelettes sont prévus pour fonctionner avec l'environnement de référence de l'Ensismag. Des Debian et Ubuntu récentes devraient fonctionner sans problème non plus. Tous les outils sont tous disponibles en standard dans votre distribution Linux.
  • Ils utilisent certains outils qu'il n'est pas nécessaire de comprendre mais qu'il faut utiliser pour effectuer les TPs:
    • Les Makefile pour la compilation et la construction du rendu, sont générés à l'aide de cmake
    • Les tests automatiques pour le shell utilisent un module standard pour le test des programmes interactifs du langage ruby (le paquetage de test est nommé ruby-test-unit dans une debian récente)

Annales d'examens

• Examen décembre 2008
• Examen mai 2010
• Examen mai 2011
• Examen dec. 2013

Exercices de synchronisation avec correction

• Les channels de Go
• Votes
• Voie unique
• Opérateur Select de Ada

QCM (Quiz interactifs)

• Processus
• Moniteurs
• Mémoire

QCM (PDF)

• qcm sur les fondamentaux
• qcm sur la mémoire

Quelques liens divers

• un jeu autour des interblocages
• sémaphores

Suggestion des élèves

Vidéos

• OS: [1] (suggestion de: Vincent Lefoulon)
• Mémoire virtuelle: [2] (suggestion de: Vincent Lefoulon)

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