Software Investigate

Deadlock Freedom Through Object Ownership

Download now Free registration required

Executive Summary

Active objects are an attractive method of introducing concurrency into Java-like languages by decoupling method execution from invocation. In this paper, the authors show how ownership is used in the Java subset language CoJava to prevent deadlock associated with active object method calls. This approach builds on existing type-based approaches that eliminate data races and data-based deadlock in concurrent systems. The novel addition is the use of ownership to organize active objects, thus preventing deadlock from arising when objects are allowed to block awaiting responses from others.

  • Format: PDF
  • Size: 174.57 KB