Resource Analyses for Parallel and Distributed Coordination
View/ Open
Date
03/2013Grant ID
n/a
FP&-ICT-2011-7
EP/G055181/1
EP/F030657/1
Keywords
Metadata
Show full item recordAbstract
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. 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.
Citation
Trinder , P , Cole , M , Hammond , K , Loidl , H-W & Michaelson , G 2013 , ' Resource Analyses for Parallel and Distributed Coordination ' , Concurrency and Computation : Practice and Experience , vol. 25 , no. 3 , pp. 309-348 . https://doi.org/10.1002/cpe.1898
Publication
Concurrency and Computation : Practice and Experience
Status
Peer reviewed
ISSN
1532-0634Type
Journal article
Rights
© 2011. John Wiley & Sons, Ltd. This is the accepted version of the following article: Resource Analyses for Parallel and Distributed Coordination Trinder, P., Cole, M., Hammond, K., Loidl, H-W. & Michaelson, G. Mar 2013 In : Concurrency and Computation : Practice and Experience. 25, 3, p. 309-348, which has been published in final form at http://onlinelibrary.wiley.com/doi/10.1002/cpe.1898/abstract
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.