The University of Southampton
University of Southampton Institutional Repository

Deadlock Free Specification based on Local Process Properties

Simpson, Duncan and Reeve, Jeff, Sloot, P.M.A, Abramson, D and Dongarra, J.J(eds.) (2003) Deadlock Free Specification based on Local Process Properties Lecture Notes in Computer Science, 2659, pp. 350-359.

Record type: Article

Abstract

We present a design methodology for the construction of parallel programs that is deadlock free, Provided that the "components" of the program are constructed according to a set of locally applied rules. In our model, a parallel program is a set of processes and a set of events. Each event is shared by two processes only and each process progresses cyclically. Events are distinguished as input and output events with respect to their two participating processes. On each cycle a process must complete all output events that it offers to the environment, be prepared to accept any, and accept at least one, of its input events before completing any computations and starting a new cycle. We show that however the events are distributed among the processes, the program is deadlock free.

Postscript paper.ps - Other
Download (152kB)

More information

Published date: June 2003
Keywords: Deadlock Freedom
Organisations: EEE

Identifiers

Local EPrints ID: 257612
URI: http://eprints.soton.ac.uk/id/eprint/257612
ISSN: 0302-9743
PURE UUID: 49eee071-d3c9-457a-971b-129a357c35bd

Catalogue record

Date deposited: 26 Jun 2003
Last modified: 18 Jul 2017 09:37

Export record

Contributors

Author: Duncan Simpson
Author: Jeff Reeve
Editor: P.M.A Sloot
Editor: D Abramson
Editor: J.J Dongarra

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×