Skip to content

Research at St Andrews

Concurrent Software Engineering on Multicore Systems Supported by Statistical Performance Analysis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

bernd Scheuermann, Kevin Hammond, Clemens Grelck, Heinz Hartlein, Chris Jesshope, Raimund Kirner, Holger Schöner, Alex Shafarenko, Iraneus te Boekhorst, Volkmar Wieser

School/Research organisations

Abstract

This paper introduces the ADVANCE approach to engineering concurrent systems using a new component-based approach.
A cost-directed tool-chain maps concurrent programs onto
emerging hardware architectures, where costs are expressed in terms of
programmer annotations for the throughput, latency and jitter of components.
These are then synthesized using advanced statistical analysis techniques to give overall cost information about the concurrent system that can be exploited
by the hardware virtualisation layer to drive mapping and scheduling decisions.
Initial performance results are presented, showing that the ADVANCE technologies
provide a promising approach to dealing with near- and future-term complexities
of programming heterogeneous multi-core systems.
Close

Details

Original languageEnglish
Title of host publicationParallel Computing 2011 (ParCo 2011)
Number of pages10
StatePublished - Aug 2011

    Research areas

  • Parallelism, Statistics, Functional Programming

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

ID: 9195872