Grace: Safe Multithreaded Programming for C/C++

Publication Date

2009

Journal or Book Title

ACM SIGPLAN NOTICES

Abstract

The shift from single to multiple core architectures means that programmers must write concurrent, multithreaded programs in order to increase application performance. Unfortunately, multithreaded applications are susceptible to numerous errors, including deadlocks, race conditions, atomicity violations, and order violations. These errors are notoriously difficult for programmers to debug. This paper presents Grace, a software-only runtime system that eliminates concurrency errors for a class of multithreaded programs: those based on fork-join parallelism. By turning threads into processes, leveraging virtual memory protection, and imposing a sequential commit protocol, Grace provides programmers with the appearance of deterministic, sequential execution, while taking advantage of available processing cores to run code concurrently and efficiently. Experimental results demonstrate Grace’s effectiveness: with modest code changes across a suite of computationally-intensive benchmarks (1–16 lines), Grace can achieve high scalability and performance while preventing concurrency errors.

Pages

81-96

Volume

44

Issue

10

This document is currently not available here.

Share

COinS