[Athena] Séminaire Codes Sources : L'ordonnancement sous MULTICS (Maarten Bullynck, 21 mai 2015)

[Baptiste Mélès <baptiste.meles AT gmail.com>]

Séminaire « Codes sources »

L'objectif du séminaire Codes sources est de présenter la pensée
informatique là où elle s'exprime le plus concrètement : dans les textes
que sont les codes sources.


Séance du jeudi 21 mai 2015 (14h-16h) :

Maarten Bullynck (SPHERE) :

  « Explorer les codes et textes de MULTICS »


Résumé :

  Multics est (avec l'OS/360 d'IBM) l'un des grands projets de
  développement de systèmes d'exploitation dans les années 1960. Le
  système Multics fut développé à partir de CTSS (Compatible Time
  Sharing System), le système d'exploitation en temps partagé du MIT.
  Aujourd'hui, Multics est surtout connu pour avoir inspiré les
  programmeurs de Bell Laboratories dans la conception d'Unix.

  Le noyau de Multics contient à peu près 54.000 lignes de code, dont la
  majorité est écrite en PL/1 mais quelques parties essentielles sont
  écrites en ALM, une sorte de macro-assembleur pour Multics. La lecture
  du code de Multics présente des difficultés: le code dans son ensemble
  est trop large et peu « littéraire » dans sa documentation locale ; il
  est particulièrement indigeste dans ses passages en assembleur.
  Heureusement, le développement de Multics est plutôt bien documenté
  par des rapports d'étape et des descriptions techniques. Ces documents
  éclairent ce qui se passe entre les différentes versions des modules
  Multics. Nous allons explorer le module de l'ordonnanceur et son
  évolution à travers le code et les documents techniques.
 
  Le code source de Multics a été publié en ligne en 2007:
  http://web.mit.edu/multics/ldd/hardcore/source/


Lieu :

  Salle 24-25/405 du LIP6 (rotonde 24 ou 25, 4e étage)


Adresse :

  4 place Jussieu, 75005 Paris
  métro Jussieu (lignes 7 et 10)


------------------------------------------------------------------------

Prochaines séances du séminaire Codes sources :

- Jeudi 18 juin : Gérard Berry (salle 25-26/105)


Toutes les séances ont lieu de 14 heures à 16 heures au LIP6.


------------------------------------------------------------------------

/* ***************************************
   * À propos du séminaire Codes sources *
   *************************************** */

À celui seul qui prend la peine de les lire effectivement, les codes
sources révèlent leur richesse. On y découvre que l'élégance d'un
algorithme réside parfois hors de sa complexité, dans l'usage virtuose
des idiomes du langage de programmation ou dans la connaissance fine de
la machine à laquelle il est destiné. Bien souvent des codes sources
comportent davantage de lignes de commentaires que de code. Tous ces
trésors de pensée informatique fondent à la compilation comme neige au
soleil — preuve qu'un programme n'est pas seulement écrit pour être
compilé.

Le but du séminaire est de décrire ces œuvres de l'esprit comme des
textes à part entière. Nous espérons ainsi contribuer à la constitution
d'une culture générale en programmation. En informatique comme en
littérature, cela suppose la familiarisation progressive avec un corpus
de grands textes.

À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé
en informatique, en histoire ou en philosophie — présente, en moins
d'une heure, un code source de son choix : un fragment de système
d'exploitation, de pilote, de compilateur, de bibliothèque... Le code
peut avoir été écrit par l'orateur ou par quelqu'un d'autre, dans
quelque langage que ce soit. Le commentaire peut être algorithmique,
stylistique, historique ou philosophique, et porter sur tous les aspects
du code, commentaires compris. Le code est ensuite discuté avec
l'auditoire.


Organisateurs : 

- Raphaël Fournier (CNAM)
- Baptiste Mélès (CNRS, Archives Henri-Poincaré)
- Lionel Tabourier (LIP6).

Site : http://poincare.univ-lorraine.fr/fr/seminaire-codes-sources

Contact : Baptiste Mélès (baptiste.meles AT univ-lorraine.fr)

Twitter : https://twitter.com/SemCodesSources

Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources

------------------------------------------------------------------------