[Athena] Séminaire Codes Sources : Programmation parallèle (Gérard BERRY, 18 juin 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 18 juin 2015 (14h-16h) :

Gérard BERRY (Collège de France) :

  « Programmer en Esterel »


Résumé :

  Esterel v5, créé en 1983 et développé jusqu’à 2001 à l’École des mines
  de Paris et à l’Inria Sophia-Antipolis, est un langage parallèle
  synchrone spécifiquement conçu pour la programmation des systèmes
  réactifs événementiels : contrôle de processus en temps réel,
  protocoles de communication, robotique, IHM, etc. Il a été
  industrialisé et utilisé dans de nombreuses applications dans des
  contextes académiques et industriels. Je montrerai d’abord ses idées
  principales et deux exemples de programmes simples.

  En 1999 a commencé en collaboration avec Intel Strategic Cad Lab de
  Portland le développement d’Esterel v7, un langage beaucoup plus riche
  destiné à la conception et la vérification des circuits électroniques
  mono- ou multi-horloges. Esterel v7 a été industrialisé par Esterel
  Technologies de 2001 à 2009. Il a été utilisé d’abord en recherche
  industrielle, puis en production réelle sur des circuits complexes.
  Couplé dans l’environnement Esterel Studio à un environnement mixte
  textuel / graphique, à un débogueur sophistiqué et à l’outil de
  vérification formelle Prover SL de Prover Technologies, il a permis de
  développer et vérifier rapidement des circuits sophistiqués, en
  particulier chez Texas Instruments, NXP (ex Philips) et
  ST Microelectronics. Il a fait l’objet d’un processus de
  standardisation industrielle, malheureusement avorté prématurément
  avec son développement à cause de la crise de 2008 qui a bouleversé
  l’industrie électronique. Esterel v7 n’est malheureusement plus
  disponible, ayant été mis au congélateur par Synopsys, son nouveau
  propriétaire. Mais ses idées originales méritent d’être exposées et
  re-développées, et je montrerai son style de programmation à travers
  une présentation générale et une version réduite d’un filtre vidéo
  développé chez NXP.


Lieu :

  Salle 25-26/105 du LIP6 (rotonde 25, 1er étage)


Adresse :

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


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


/* ***************************************
   * À 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

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