Loading…
This event has ended. Visit the official site or create your own event on Sched.
October 23-26, 2017 - Prague, Czech Republic
Click Here For Information & Registration
View analytic
Tuesday, October 24 • 10:55 - 11:35
Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers - Julia Lawall, Inria

Sign up or log in to save this to your schedule and see who's attending!

Feedback form is now closed.
Porting Linux device drivers to target more recent and older Linux kernel versions to compensate for changes in the kernel interface is a continual problem for Linux device driver developers. Acquiring information about interface changes is a necessary, but tedious and error prone, part of this task. We propose two tools, Prequel and gcc-reduce, to help collect the needed information. Prequel provides language support for querying git commit histories, while gcc-reduce generates Prequel queries from compiler error messages. We have used our approach in porting 33 device driver files over up to 3 years of Linux kernel history, amounting to hundreds of thousands of commits. In these experiments, for 3/4 of the porting issues, our approach highlighted commits that enabled solving the porting task. For many porting issues, our approach retrieves relevant commits in 30 seconds or less.

Speakers
JL

Julia Lawall

Senior reseacher, Inria
Julia Lawall is a Senior Research Scientist at Inria. Her research is at the intersection of programming languages and operating systems. She develops the tool Coccinelle and has over 1000 patches in the Linux kernel based on this work. She has also mentored four Outreachy Linux... Read More →



Tuesday October 24, 2017 10:55 - 11:35
Tyrolka