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
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, view media, leave feedback and see who's attending!

Feedback form is now closed.
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/

avatar for Julia Lawall

Julia Lawall

Senior Researcher, 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 2000 patches in the Linux kernel based on this work.

Tuesday October 24, 2017 14:05 - 14:45 CEST
  LinuxCon Tracks