Their groundbreaking research focuses on introducing a novel heuristic approach to efficiently identify concurrency bugs in lockless code utilizing the power of memory barriers. By harnessing this innovative technique, they have successfully addressed the limitations of conventional methods, which have proven inadequate when finding approximate solutions.
Their evaluation of the Linux kernel that runs in 8 minutes, successfully identified and fixed 12 ordering bugs and 53 unnecessary barriers, preventing data corruption and crashes. Their tool, OFence, analysed the Linux kernel using static analysis. It pairs barriers and detects deviations from correct usage, outperforming existing techniques and tools.
“This is a novel approach for effectively detecting and addressing critical errors within the Linux kernel, which have the potential to cause severe outcomes such as system crashes.”
“Linux is a prominent operating system kernel, widely utilized alongside Windows and MacOS,” said Professor Zwaenepoel.
Professor Zwaenepoel is world renowned for his work in operating systems and distributed computing. He received the prestigious 2022 Outstanding Technical Achievement Award by the Institute of Electrical and Electronics Engineers and was formally recognised for foundational contributions to performance in computer clusters, shared memory, and distributed synchronisation.
Out of the 323 submissions, the paper received the top ranking based on its novelty, significance, correctness, and clarity.The EuroSys program committee evaluates papers addressing significant problems with interesting and compelling solutions with demonstrated validity and practicality.