Skip to content

Research at St Andrews

Towards semi-automatic data-type translation for parallelism in Erlang

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

Abstract

As part of our ongoing research programme into programmer-in-the-loop parallelisation, we are studying the problem of introducing alternative data structures to support parallelism. Automated support for data structure transformations makes it easier to produce the best parallelisation for some given program, or even to make parallelisation feasible. We use a refactoring approach to choose and introduce these transformations for specific algorithmic skeletons, structured forms of parallelism that capture common patterns of parallelism. Our approach integrates with the Wrangler refactoring tool for Erlang, and uses the advanced Skel [4] skeleton library for Erlang. This library has previously been shown to give good parallelisations for a number of applications, including a multi-agent system [1] where we have achieved speedups of up to 142.44 on a 61-core machine with 244 threads. We have investigated three widely-used Erlang data structures: lists, binary structures and ETS (Erlang Term Storage) tables. In general, we have found that ETS tables deliver the best parallel performance for the examples that we have considered. However, our results show that simple lists may deliver similar performance to the use of ETS tables, and better performance than using binary structures. This means that we cannot blindly choose to implement a single optimisation as part of the compilation process. Our approach also allows the use of new (possibly user-defined) data structures and other transformations in future, giving a high level of flexibility and generality.
Close

Details

Original languageEnglish
Title of host publicationProceedings of the 15th International Workshop on Erlang
Place of PublicationNew York
PublisherACM
Pages60-61
ISBN (Print)9781450344319
DOIs
Publication statusPublished - 23 Sep 2016
Event15th ACM SIGPLAN Workshop on Erlang - Nara, Japan
Duration: 23 Sep 201623 Sep 2016
http://conf.researchr.org/home/icfp-2016/

Workshop

Workshop15th ACM SIGPLAN Workshop on Erlang
Abbreviated titleICFP
CountryJapan
CityNara
Period23/09/1623/09/16
Internet address

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

View graph of relations

Related by author

  1. Type-driven verification of non-functional properties

    Brown, C. M., Barwell, A. D., Marquer, Y., Minh, C. & Zendra, O., 7 Oct 2019, 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019). New York: ACM, 15 p. 6

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

  2. Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang

    Janjic, V., Brown, C., Barwell, A. & Hammond, K., 24 Jun 2019, In : Concurrency and Computation : Practice and Experience. Early View, p. 1-25 25 p., e5420.

    Research output: Contribution to journalArticle

  3. 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

  4. Using “program shaping” and algorithmic skeletons to parallelise an evolutionary multi-agent system in Erlang

    Barwell, A. D., Brown, C. M., Hammond, K., Turek, W. & Byrski, A., 2016, In : Computing and Informatics. 35, 4, 37 p.

    Research output: Contribution to journalArticle

ID: 244421324

Top