Understanding Linux Network Device Driver Code (Julia Lawall)

Après le succès de la séance inaugurale du séminaire « Codes sources », nous aurons l’honneur de recevoir Julia Lawall (LIP6/Inria-Whisper) pour la deuxième séance. Celle-ci aura lieu le jeudi 19 février 2015, de 14h-16h, au LIP6. Vous trouverez ci-dessous davantage de détails sur ce séminaire.

Lors de cette séance, Julia LAWALL (Inria/LIP6-Whisper) présentera :

Understanding Linux Network Device Driver Code

Résumé :

A device driver forms the interface between the operating system and a specific device. While the operating system, running on a CPU, has a global view of machines resources, the device, due to possible limitations on its capabilities and to security constraints, has a specific and limited view. This different view of system resources leads to complex communication protocols. To address performance issues and evolutions in device design, these protocols have furthermore changed over time. We illustrate these issues in the context of network device drivers via examples, and consider how program manipulation techniques can be used to help in getting a global understanding of the code. Julia Lawall has been a Senior Researcher at Inria since 2011. Previously she was an Associate Professor at the University of Copenhagen. Her work includes the development of the program matching and transformation tool for C code, Coccinelle. Coccinelle has been used in the development of around 2000 patches for the Linux kernel.

Lieu :

Salle 24-25/405 du LIP6 (monter dans la rotonde 24 ou 25 jusqu’au 4e étage) 4 place Jussieu, 75005 Paris métro Jussieu (lignes 7 et 10)

Prochaines séances du séminaire Codes sources :

• Jeudi 19 mars : Damiano Mazza
• Jeudi 9 avril : Greg Kroah-Hartman
• Jeudi 30 avril : David Madore, « Un jeu de labyrinthe dans le plan hyperbolique écrit en JavaScript »
• Jeudi 21 mai : Maarten Bullynck
• Jeudi 18 juin : Gérard Berry