Julia Lawall : Understanding Linux Network Device Driver Code (19/02/2015)

Speaker

Julia LAWALL (Inria/LIP6-Whisper)

Title

Understanding Linux Network Device Driver Code

Abstract

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.

Documents

Practical information

Thursday, February the 19th.
LIP6, room 24-25/405, 14-16 PM.

OpenEdition vous propose de citer ce billet de la manière suivante :
Baptiste Mélès (14 septembre 2015). Julia Lawall : Understanding Linux Network Device Driver Code (19/02/2015). Séminaire Codes sources. Consulté le 8 décembre 2024 à l’adresse https://codesource.hypotheses.org/29


Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.