GSoC/GCI Archive
Google Summer of Code 2012 The Linux Foundation

Implement a Lightweight Data Race Detector for Linux Kernel Modules on x86

by Nikita Komarov for The Linux Foundation

The project aims at implementing a lightweight data race and concurrency-related errors detector for Linux kernel. It should rely on sampling techniques and use hardware breakpoints to detect potentially conflicting memory accesses and therefore reveal data races.