Resource analyses for parallel and distributed coordination (2011)
| Venue: | CONCURRENCY COMPUTAT.: PRACT. EXPER. (2011) |
BibTeX
@MISC{Trinder11resourceanalyses,
author = {P. W. Trinder and M.I.Cole and K. Hammond and H-W. Loidl and G. J. Michaelson},
title = { Resource analyses for parallel and distributed coordination},
year = {2011}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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
