Attending this event?
October 23-26, 2017 - Prague, Czech Republic
Click Here For Information & Registration
View analytic
Tuesday, October 24 • 14:05 - 14:45
Jmake: Dependable Compilation for Kernel Janitors - Julia Lawall, Inria

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

The Linux kernel is the canonical example of highly configurable infrastructure software. In principle, any line of code can be included or excluded from the compiled kernel based on complex configuration operations that are not locally apparent. This poses a challenge for new developers who want to contribute to the code. How to tell if their code is actually being compiled? To address this issue, we propose JMake, a lightweight mutation-based tool for giving immediate feedback on whether each changed line has been subjected to the compiler. We illustrate the use of JMake on the commits between Linux v4.3 and v4.4, and find that JMake completes in most cases in under 30 seconds. We then characterize the situations in which changed code is not subjected to compilation in practice.

JMake is available at http://jmake-release.gforge.inria.fr/


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 14:05 - 14:45
Feedback form isn't open yet.

Attendees (9)