Technical reports:

Static Deadlock Detection in SHIM with an Automata Type Checking System

Title:: Static Deadlock Detection in SHIM with an Automata Type Checking System
Author(s):: Vasudevan, Nalini
Edwards, Stephen A.
Smith, Dave Aaron
Date:: 2008
Type:: Technical reports
Handle:: http://hdl.handle.net/10022/AC:P:29609
Series:: Columbia University Computer Science Technical Reports
Abstract:: With the advent of multicores, concurrent programming languages are become more prevelant. Data Races and Deadlocks are two major problems with concurrent programs. SHIM is a concurrent programming language that guarantees absence of data races through its semantics. However, a program written in SHIM can deadlock if not carefully written. In this paper, we present a divide-and-merge technique to statically detect deadlocks in SHIM. SHIM is asynchronous, but we can greatly reduce its state space without loosing precision because of its semantics.
Subject(s):: Computer science