Concurrency Fuzzing & Data Races

Sign in to queue

Description

Learn about two concurrency tools from Microsoft Research: "Cuzz" and "FeatherLite". Cuzz (for Concurrency Fuzzing) is a tool that significantly improves the concurrency coverage achieved with existing stress tests. Cuzz uses a randomized algorithm to fuzz thread schedules and is very effective in finding bugs. Cuzz also helps reproducing the bug once found. FeatherLite is a light-weight data-race detection tool. FeatherLite uses sampling techniques for finding data races without adding prohibitive runtime overhead.

Day:

1

Code:

VTL32

Embed

Download

Download this episode

The Discussion

Add Your 2 Cents