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
DOI
10.1002/cpe.1898ISSN
1532-0634Type
Journal article
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.