[ATHENA] Séminaire Codes Sources : La négociation de formats (Nicolas George, 17 février 2016)

[Baptiste Mélès (baptiste.meles AT gmail.com via athena Mailing List) <athena AT services.cnrs.fr>]

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 mercredi 17 février 2016 (14h-15h30) :

Nicolas George :

  « La négociation de format dans libavfilter »


Résumé :

  FFmpeg est un projet de logiciel libre dédié au décodage, à l’encodage
  et à la manipulation en général de données multimédia ; libavfilter
  est le composant de FFmpeg consacré à la modification du contenu des
  flux audio et vidéo, qu’il s’agisse de transformations élémentaires
  comme changer la résolution ou la fréquence ou d’opérations complexes
  faisant intervenir plusieurs flux de nature différente.

  Afin d’assurer les meilleures performances, libavfilter doit
  sélectionner des formats pour les différents flux compatibles avec les
  filtres utilisés tout en évitant autant que possible les coûteuses
  conversions inutiles.

  Dans cet exposé, nous examinerons le mécanisme employé pour choisir
  les formats. Il est optimisé pour gérer le plus simplement les cas les
  plus courants mais a été étendu progressivement quand de nouveaux
  besoins se sont fait sentir. Le résultat est assez typique de la
  manière dont FFmpeg progresse. 

  ---

  FFmpeg is a libre software project dedicated to decoding, encoding and
  general manipulation of multimedia data; libavfilter is the FFmpeg
  component dedicated to changing the contents of the audio and video
  streams, whether it is for simple transformations such as changing the
  resolution of frequency or for complex operations involving several
  streams of various nature.

  In order to ensure best performance, libavfilter needs to select
  formats for all the streams that are compatible with the involved
  filters while avoiding as much a possible expensive useless
  conversions.

  In this presentation, we will study the mechanism used to select the
  formats. It is optimised to handle in the simplest way the most common
  cases but was progressively extended when new needs have arisen. The
  result is quite typical of the way FFmpeg evolves.


Lieu :

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


Adresse :

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


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

Prochaines séances du séminaire Codes sources :

- mercredi 23 mars 2016 : Yann Régis-Gianas (PPS, IRIF, Université
  Paris-Diderot, Pi.R2, INRIA), « CallCC, un coup d'état sur le
  contrôle »

- mercredi 13 avril 2016 : Karine Chemla (CNRS, SPHERE, Université
  Paris-Diderot), « Calculer avec des positions, calculer avec des
  tables en Chine ancienne »

- mercredi 18 mai 2016 (matin) : Éric Vandendriessche (SPHERE)

- mercredi 22 juin 2016 : Liesbeth De Mol (CNRS, STL, Université de
  Lille 3), « Code source sans code ? Le cas de l'ENIAC »

Sauf mention contraire, 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://codesource.hypotheses.org/

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

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