Resource Analyses for Parallel and Distributed Coordination
Predicting the resources that are consumed by a program component is crucial for many parallel or distributed systems. In this paper, the main resources of interest are execution time, space and communication/synchronization 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 synthesizes progress in both areas to survey the state-of-the-art in resource analysis for parallel and distributed computing.