FastTrack: Efficient and Precise Dynamic Race Detection

Credit: iStockPhoto.com

Cormac Flanagan, Stephen N. Freund

November 1, 2010

Multithreaded programs are notoriously prone to race conditions. Prior work developed precise dynamic race detectors that never report false alarms. However, these checkers employ expensive data structures that result in significant performance overhead.

Username
Password

Username

Password

get access

Create a Web Account

If you are already an ACM member, Communications subscriber, or Digital Library subscriber, please set up a web account to access premium content on this site.

Join the ACM

Become a member to view this article and take full advantage of ACM's outstanding computing information resources, networking opportunities, and other benefits.

Subscribe to Communications of the ACM

Get full access to 50+ years of CACM content and receive the print version of the magazine monthly.

Text Size

Related ACM Resources

Conferences:

WIMS 2012: International Conference on Web Intelligence, Mining and Semantics - June 13 – 15, 2012; Craiova, Romania

Courses:

The ITIL Foundation Certification v3.0 - The ITIL Foundation certification course is the first in a portfolio of ITIL certification Courses. The purpose of the course is to certify that the …

More About ACM Resources

In The Digital Library

Report from the 2nd international workshop on replication in empirical software engineering research (RESER 2011)
SIGSOFT Software Engineering Notes
A static technique for fault localization using character n-gram based information retrieval model
ISEC '12: Proceedings of the 5th India Software Engineering Conference
SIG: end-user programming
CHI EA '12: Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts

This Article

FastTrack: Efficient and Precise Dynamic Race Detection

The full text of this article is premium content!