~/talk

Reliably reproducing kernel data races

Talkat FOSDEM 2021 · on Saturday, 2021-02-06· at 11:10· D.testing· [linux-and-operating-systems, testing]

speaker

name:Richard Palethorpe

links:none on file

resources

video:https://video.fosdem.org/2021/D.testing/reproducing_kernel_data_races.mp4

slides:https://fosdem.org/2021/schedule/event/reproducing_kernel_data_races/attachments/slides/4289/export/events/attachments/reproducing_kernel_data_races/slides/4289/fzsync_pres.pdf

https://fosdem.org/2021/schedule/event/reproducing_kernel_data_races/attachments/slides/4291/export/events/attachments/reproducing_kernel_data_races/slides/4291/fzsync_pres.tar.gz

https://richiejp.github.io/fuzzy-sync-pres-2021

summary

Introduces the Linux Test Project Fuzzy Sync C library, which reproduces kernel data races from user space by colliding events without special kernel instrumentation. Demonstrates a contrived user-space race, then shows reproducing real kernel races including using a delay bias to force event ordering, and explains using Fuzzy Sync for regression tests across kernels and other contexts.

AI-written summary · about

related talks