Bienvenue sur cette page qui regroupe mes divers supports de cours (notamment de systèmes d'exploitation et systèmes concurrents en licence d'informatique) à l'université de Strasbourg (France).

Tous ces supports de cours sont placés sous licence « Creative Commons Attribution - Pas d’Utilisation Commerciale 4.0 - International »

Pour accéder à une copie de cette licence, merci de vous rendre à l'adresse suivante http://creativecommons.org/licenses/by-nc/4.0/deed.fr.

J'ai choisi de partager ces supports de cours pour plusieurs raisons :

• les étudiants préfèrent utiliser des versions électroniques des documents, et plutôt que laisser trainer des copies pirates obsolètes, je préfère directement mettre à disposition les versions à jour et originales.

• pour rédiger ces documents, outre mes travaux personnels et les lectures d'ouvrages, j'ai puisé dans les documents mis à disposition sur le réseau par d'autres enseignants que je ne saurais jamais trop remercier. C'est un juste retour des choses que d'offrir à mon tour ma modeste contribution, en espérant qu'elle soit utile à d'autres.

Si vous utilisez ces supports, que vous les trouvez utiles (que ce soit juste pour les lire ou pour les adapter) et que vous voulez apporter un peu de gentillesse dans ce bas monde, sentez-vous libre de m'envoyer un petit mail à l'adresse pda (at) unistra.fr.

Si vous notez des erreurs, des imperfections, des coquilles ou n'importe quoi qui permette d'améliorer ces supports, vous pouvez :

• me contacter par mail à l'adresse ci-dessus
• utiliser le mécanisme de bug tracking de github
• ou, mieux encore si vous maîtrisez LaTeX et git, faire une « pull request »

Si vous êtes intéressé-e-s par la lecture de ces supports, vous les trouverez dans les liens suivants :

Si vous êtes intéressé-e-s par les sources de ces supports (pour les reprendre tels quels ou les adapter à votre propre enseignement) et si vous respectez les conditions de la licence CC-BY-NC 4.0, vous trouverez dans ce dépôt tout le nécessaire.

Les répertoires qui composent ce dépôt sont découpés de telle sorte qu'ils soient autonomes : vous pouvez juste récupérer le répertoire qui vous concerne sans vous soucier des autres.

Pour compiler ces sources, il faut :

• une distribution de LaTeX complète (comme texlive par exemple), avec notamment les programmes pdflatex et makeindex ainsi que les paquetages LaTeX les plus courants
• les utilitaires Unix classiques, comme make (version GNU), test, rm, etc.
• les programmes :
  • fig2dev (venant avec xfig, pour convertir les innombrables fichiers FIG en PDF)
  • inkscape (pour convertir les fichiers SVG en PDF)
  • gnuplot (version 4.6 ou supérieure, pour le cours de systèmes concurrents notamment)
  • pdfjam (si vous voulez imprimer les transparents en 3 ou 6 pages par page par exemple)

Pour imprimer les transparents en 3 ou 6 pages par page (cibles print des Makefile), il faut le programme pdfjam.

Note spécifique au cours de système concurrents : certaines données sont extraites de la CPUDB de Stanford. Une copie des données utilisées est présente dans le dépôt. Si vous voulez rafraîchir ces données (ce qui n'est à priori pas nécessaire), le moteur SGBD [PostgreSQL] (http://www.postgresql.org) sera indispensable.