Julia Lawall (Julia.Lawall@inria.fr)
The Whisper research team at Inria Paris focuses in part on the
performance of the Linux kernel, particularly considering the task
scheduler [1,2].
The Linux kernel 0-day build testing service [3] is a continuous
integration service from Intel that regularly does build and performance
testing of the Linux kernel. From time to time, they report performance
regressions that are derived from changes in the Linux kernel task
scheduler. The goal of this internship is to develop methodologies and
tools to debug such problems from execution traces. Depending on the
results, it could be interesting to develop a language or framework for
more systematically producing tools for interpreting scheduler trace data.
Inria Paris is located near the Gare de Lyon in Paris. This internship
can be done at Inria Paris or remotely. The internship is suitable for M1
students and the necessary background on the Linux scheduler can be
acquired during the internship.
[1] Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste
Lepers, Willy Zwaenepoel, Gilles Muller:
OS scheduling with Nest: keeping tasks close together on warm
cores. EuroSys 2022: 368-383
https://hal.inria.fr/hal-03612592/document
[2] Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena,
Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles
Muller:
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS
Scheduler for Improved Application Performance. USENIX Annual Technical
Conference 2020: 435-448
https://www.usenix.org/conference/atc20/presentation/gouicern