Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races
 

Summary: Conflict Exceptions: Simplifying Concurrent Language
Semantics with Precise Hardware Exceptions for Data-Races
Brandon Lucia Luis Ceze Karin Strauss Shaz Qadeer Hans-J. Boehm
University of Washington Microsoft Research HP Labs
http://sampa.cs.washington.edu http://research.microsoft.com http://hpl.hp.com
{blucia0a,luisceze}@cs.washington.edu {kstrauss,qadeer}@microsoft.com hans.boehm@hp.com
ABSTRACT
We argue in this paper that concurrency errors should be treated as
exceptions, i.e., have fail-stop behavior and precise semantics. We
propose an exception model based on conflict of synchronization-
free regions, which precisely detects a broad class of data-races.
We show that our exceptions provide enough guarantees to sim-
plify high-level programming language semantics and debugging,
but are significantly cheaper to enforce than traditional data-race
detection. To make the performance cost of enforcement negli-
gible, we propose architecture support for accurately detecting and
precisely delivering these exceptions. We evaluate the suitability of
our model as well as the behavior of our architectural mechanisms
using the PARSEC benchmark suite and commercial applications.
Our results show that the exception model largely reflects how pro-

  

Source: Anderson, Richard - Department of Computer Science and Engineering, University of Washington at Seattle

 

Collections: Computer Technologies and Information Sciences