PDC 2009

Concurrency Fuzzing & Data Races

Download this episode

Download Video

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

Format

Available formats for this video:

Actual format may change based on video formats available and browser capability.

    The Discussion

    Comments closed

    Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums, or Contact Us and let us know.