Trustworthy Cloud Systems

image: Project Portend

Portend

Automatically detects and classifies data races in concurrent programs

Prof. George Candea

Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like finding a needle in a haystack. A vast majority of the true data races reported by state-of-the art race detectors turn out to be harmless. Portend is a tool that not only detects races but also automatically classifies them based on their potential consequences: Could they lead to crashes or hangs? Alter system state? Could their effects be visible outside the program? Are they harmless?

Our proposed technique achieves high accuracy by efficiently analyzing multiple paths and multiple thread schedules in combination, and by performing symbolic comparison between program outputs.

We ran Portend on seven real-world applications: it detected 93 true data races and correctly classified 92 of them, with no human effort. Six of them are harmful races. Portend’s classification accuracy is up to 88% higher than that of existing tools, and it produces easy-to-understand evidence of the consequences of harmful races, thus both proving their harmfulness and making debugging easier. We envision Portend being used for testing and debugging, as well as for automatically triaging bug reports.

Become a Member

Cookie Policy

This site uses cookies – small text files that are placed on your machine to help the site provide a better user experience. In general, cookies are used to retain user preferences and provide anonymised tracking data to third party applications like Google Analytics.

As a rule, cookies will make your browsing experience better. However, you may prefer to disable cookies on this site and on others. The most effective way to do this is to disable cookies in your browser. We suggest consulting the Help section of your browser or taking a look at the About Cookies website which offers guidance for all modern browsers.

Close

Terms & Conditions

Privacy Policy

Sign In

Log in here

Register for this site

Sign up now to keep up-to-date with all our latest research, its free!

Lose something?

Enter your username or email to reset your password.