使用批量同步并行ML实现Powerlists

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2014-09-01 DOI:10.1109/SYNASC.2014.51

F. Loulergue, Virginia Niculescu, J. Tesson

{"title":"使用批量同步并行ML实现Powerlists","authors":"F. Loulergue, Virginia Niculescu, J. Tesson","doi":"10.1109/SYNASC.2014.51","DOIUrl":null,"url":null,"abstract":"Tools and methods able to simplify the development process of parallel software, but also to assure a high level of performance and robustness, are necessary. Power lists and their variants are data structures that can be successfully used in a simple, provably correct, functional description of parallel programs, which are divide-and-conquer in nature. The paper presents how programs defined based on power lists could be implemented in the functional language OCaml plus calls to the parallel functional programming library Bulk Synchronous Parallel ML. BSML functions follow the BSP model requirements, and so its advantages are introduced in OCaml parallel code. In order to write power list programs in BSML we provide a data type for power lists and a set of skeletons (higher-order functions implemented in parallel) to manipulate them. Examples are given and concrete experiments for their executions are conducted.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Implementing Powerlists with Bulk Synchronous Parallel ML\",\"authors\":\"F. Loulergue, Virginia Niculescu, J. Tesson\",\"doi\":\"10.1109/SYNASC.2014.51\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Tools and methods able to simplify the development process of parallel software, but also to assure a high level of performance and robustness, are necessary. Power lists and their variants are data structures that can be successfully used in a simple, provably correct, functional description of parallel programs, which are divide-and-conquer in nature. The paper presents how programs defined based on power lists could be implemented in the functional language OCaml plus calls to the parallel functional programming library Bulk Synchronous Parallel ML. BSML functions follow the BSP model requirements, and so its advantages are introduced in OCaml parallel code. In order to write power list programs in BSML we provide a data type for power lists and a set of skeletons (higher-order functions implemented in parallel) to manipulate them. Examples are given and concrete experiments for their executions are conducted.\",\"PeriodicalId\":150575,\"journal\":{\"name\":\"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SYNASC.2014.51\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SYNASC.2014.51","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

能够简化并行软件开发过程的工具和方法，同时保证高水平的性能和健壮性，是必要的。权力列表及其变体是一种数据结构，可以成功地用于并行程序的简单、可证明正确的功能描述，而并行程序本质上是分而治之的。本文介绍了如何在函数式语言OCaml中实现基于功率表定义的程序，并调用并行函数式编程库Bulk Synchronous parallel ML, BSML函数遵循BSP模型的要求，因此在OCaml并行代码中介绍了它的优点。为了在BSML中编写权力列表程序，我们提供了权力列表的数据类型和一组骨架(并行实现的高阶函数)来操作它们。给出了实例，并进行了具体的实验。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Implementing Powerlists with Bulk Synchronous Parallel ML

Tools and methods able to simplify the development process of parallel software, but also to assure a high level of performance and robustness, are necessary. Power lists and their variants are data structures that can be successfully used in a simple, provably correct, functional description of parallel programs, which are divide-and-conquer in nature. The paper presents how programs defined based on power lists could be implemented in the functional language OCaml plus calls to the parallel functional programming library Bulk Synchronous Parallel ML. BSML functions follow the BSP model requirements, and so its advantages are introduced in OCaml parallel code. In order to write power list programs in BSML we provide a data type for power lists and a set of skeletons (higher-order functions implemented in parallel) to manipulate them. Examples are given and concrete experiments for their executions are conducted.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

自引率

0.00%

发文量