Resource analyses for parallel and distributed coordination

Trinder, P.W. , Cole, M.I., Hammond, K., Loidl, H.W. and Michaelson, G.J. (2013) Resource analyses for parallel and distributed coordination. Concurrency and Computation: Practice and Experience, 25(3), pp. 309-348. (doi: 10.1002/cpe.1898)

Full text not currently available from Enlighten.

Abstract

<p>Predicting the resources that are consumed by a program component is crucial for many parallel or distributed systems. In this context, the main resources of interest are execution time, space and communication/synchronisation costs. There has recently been significant progress in resource analysis technology, notably in type-based analyses and abstract interpretation. At the same time, parallel and distributed computing are becoming increasingly important.</p> <p>This paper synthesises progress in both areas to survey the state-of-the-art in resource analysis for parallel and distributed computing. We articulate a general model of resource analysis and describe parallel/distributed resource analysis together with the relationship to sequential analysis. We use three parallel or distributed resource analyses as examples and provide a critical evaluation of the analyses. We investigate why the chosen analysis is effective for each application and identify general principles governing why the resource analysis is effective.</p>

Item Type:Articles
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Trinder, Professor Phil
Authors: Trinder, P.W., Cole, M.I., Hammond, K., Loidl, H.W., and Michaelson, G.J.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Concurrency and Computation: Practice and Experience
ISSN:1532-0626
ISSN (Online):1532-0634
Published Online:22 December 2011

University Staff: Request a correction | Enlighten Editors: Update this record