This paper considers how to use program shaping and algorithmic skeletons to parallelise a multi-agent system that is written in Erlang. Program shaping is the process of transforming a program to better enable the introduction of parallelism. Whilst algorithmic skeletons abstract away the low-level aspects of parallel programming that often plague traditional techniques, it is not always easy to introduce them into an arbitrary program, especially one that has not been written with parallelism in mind. Amongst other issues, data may not always be in a compatible format, function calls may need to be replicated to support alternative uses, side-effects may need to be isolated, or there may be dependencies between functions and data that obstruct the introduction of parallelism. Program shaping can be used to transform such code to a form that allows skeletons to be more easily introduced. In this paper, we present a series of generic program shaping rewrite rules, provide their implementation as refactorings, and show how they can be used to parallelise an Evolutionary Multi-Agent System (MAS) written in Erlang. We show that we can significantly speed up this application, obtaining super-linear speedups of over 70 times the original sequential performance on a 64-core shared-memory machine.
Publié le : 2017-02-07
Classification:  Computer science,  Parallel programming, parallel patterns, refactoring, Erlang, agent-based computing,  68W10
@article{cai3378,
     author = {Adam D. Barwell; School of Computer Science, The University of St Andrews and Christopher Brown; School of Computer Science, The University of St Andrews and Kevin Hammond; School of Computer Science, The University of St Andrews and Wojciech Turek; AGH University of Science and Technology, Krak\'ow and Aleksander Byrski; AGH University of Science and Technology, Krak\'ow},
     title = {Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang},
     journal = {Computing and Informatics},
     volume = {35},
     number = {4},
     year = {2017},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai3378}
}
Adam D. Barwell; School of Computer Science, The University of St Andrews; Christopher Brown; School of Computer Science, The University of St Andrews; Kevin Hammond; School of Computer Science, The University of St Andrews; Wojciech Turek; AGH University of Science and Technology, Kraków; Aleksander Byrski; AGH University of Science and Technology, Kraków. Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. Computing and Informatics, Tome 35 (2017) no. 4, . http://gdmltest.u-ga.fr/item/cai3378/