Your Search Results

Detecting data races in the Linux kernel

The Linux kernel is a highly optimized multi-core system. As a consequence, kernel developers frequently use relaxed synchronization models: instead of protecting shared variables w more...

Supervisor(s): Lepers, Baptiste (Dr)