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