Skip to content

Research at St Andrews

Resource Analyses for Parallel and Distributed Coordination

Research output: Contribution to journalArticle

DOI

Open Access permissions

Open

Author(s)

Phil Trinder, Murray Cole, Kevin Hammond, Hans-Wolfgang Loidl, Greg Michaelson

School/Research organisations

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 why the resource analysis is effective.
Close

Details

Original languageEnglish
Pages (from-to)309-348
Number of pages40
JournalConcurrency and Computation : Practice and Experience
Volume25
Issue number3
Early online date22 Dec 2011
DOIs
StatePublished - Mar 2013

    Research areas

  • Resource analysis, Cost models, Parallelism, Distributed systems

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

  2. The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang

    Stypka, J., Turek, W., Byrski, A., Kisiel-Dorohinicki, M., Barwell, A. D., Brown, C. M., Hammond, K. & Janjic, V. Feb 2018 In : International Journal of Parallel Programming. 46, 1, p. 4-22 19 p.

    Research output: Contribution to journalArticle

  3. Proof-relevant Horn clauses for dependent type inference and term synthesis

    Farka, F., Komendantskya, E. & Hammond, K. 2018 In : Theory and Practice of Logic Programming. 18, 3-4, p. 484-501

    Research output: Contribution to journalArticle

  4. Type-based cost analysis for lazy functional languages

    Jost, S., Vasconcelos, P., Florido, M. & Hammond, K. Jun 2017 In : Journal of Automated Reasoning. 59, 1, p. 87-120 34 p.

    Research output: Contribution to journalArticle

Related by journal

  1. HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

    Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S. A., Loidl, H-W., Maier, P. & Trinder, P. 10 Sep 2016 In : Concurrency and Computation : Practice and Experience. 28, 13, p. 3606-3636 33 p.

    Research output: Contribution to journalArticle

  2. Towards an autonomous decentralised orchestration system

    Jaradat, W., Dearle, A. & Barker, A. 10 Aug 2016 In : Concurrency and Computation : Practice and Experience. 28, 11, p. 3164-3179

    Research output: Contribution to journalArticle

  3. Engineering Parallel Symbolic Programs in GPH

    Loidl, H-W., Trinder, PW., Barry, E., Hammond, K., Junaidu, SB. & Peyton Jones, SL. Oct 1999 In : Concurrency and Computation : Practice and Experience. 11, 12, p. 701-752 52 p.

    Research output: Contribution to journalArticle

ID: 14284379