检索结果-内蒙古大学图书馆

21st ACM SIGPLAN International Conference on Functional programming (ICFP)

作者： Emoto, Kento Matsuzaki, Kiminori Hu, Zhenjiang Morihata, Akimasa Iwasaki, Hideya Kyushu Inst Technol Kitakyushu Fukuoka Japan Kochi Univ Technol Kami Kochi Japan Natl Inst Informat Tokyo Japan Univ Tokyo Tokyo 1138654 Japan Univ Electrocommun Chofu Tokyo 182 Japan

ISBN: (纸本)9781450342193

The vertex-centric programming model, known as "think like a vertex", is being used more and more to support various big graph processing methods through iterative super steps that execute in parallel a user-defined vertex program over each vertex of a graph. However, the imperative and message-passing style of existing systems makes defining a vertex program unintuitive. In this paper, we show that one can benefit more from "Thinking like a vertex" by "Behaving like a function" rather than "Acting like a procedure" with full use of side effects and explicit control of message passing, state, and termination. We propose a functional approach to vertex-centric graph processing in which the computation at every vertex is abstracted as a higher-order function and present Fregel, a new domain-specific language. Fregel has clear functional semantics, supports declarative description of vertex computation, and can be automatically translated into Pregel, an emerging imperative-style distributed graph processing framework, and thereby achieve promising performance. Experimental results for several typical examples show the promise of this functional approach.

关键词： Pregel big graph processing domain-specific language skeletal parallel programming

来源：评论

学校读者我要写书评

暂无评论

Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing

引用

ACM SIGPLAN NOTICES 2016年第9期51卷 200-213页

关键词： Pregel big graph processing domain-specific language skeletal parallel programming

来源：评论

学校读者我要写书评

暂无评论

MESSAGE PASSING WITHOUT MEMORY COPY

引用

parallel PROCESSING LETTERS 2008年第1期18卷 87-100页

作者： Yaikhom, Gagarine Cardiff Univ Sch Comp Sci Cardiff CF24 3AA S Glam Wales

We consider here reduction of send latencies for send-and-forget type communications, where senders do not reuse data that have already been sent. We introduce a commit based message sending approach, and describe the corresponding application programming interfaces. These interfaces allow applications to take advantage of message buffering, such as overlapping of computations and communications, while avoiding performance degradation due to intermediate memory copy. The approach works by allowing applications to safely access the implementation buffer through the provided interfaces. Experimental results show that the new approach is effective, and reduces the interface latency significantly compared to related approaches. Since send-and-forget type communications are often observed in skeletal programming, we demonstrate the approach by implementing a pipeline algorithmic skeleton.

关键词： Message passing Message buffering skeletal parallel programming

来源：评论

学校读者我要写书评

暂无评论

A compositional framework for developing parallel programs on two-dimensional arrays

引用

INTERNATIONAL JOURNAL OF parallel programming 2007年第6期35卷 615-658页

作者： Emoto, Kento Hu, Zhenjiang Kakehi, Kazuhiko Takeichi, Masato Univ Tokyo Grad Sch Informat Sci & Technol Dept Creat Informat Bunkyo Ku Tokyo 1138656 Japan Univ Tokyo Grad Sch Informat Sci & Technol Dept Math Informat Bunkyo Ku Tokyo 1138656 Japan Univ Tokyo Div Univ Corp Relat Bunkyo Ku Tokyo 1138656 Japan

Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, but development of efficient parallel programs on two-dimensional arrays is known to be hard. In this paper, we propose a compositional framework that supports users, even with little knowledge about parallel machines, to develop both correct and efficient parallel programs on dense two-dimensional arrays systematically. The key feature of our framework is a novel use of the abide-tree representation of two-dimensional arrays. The presentation not only inherits the advantages of tree representations of matrices where recursive blocked algorithms can be defined to achieve better performance, but also supports transformational development of parallel programs and architecture-independent implementation owing to its solid theoretical foundation - the theory of constructive algorithmics.

关键词： constructive algorithmics skeletal parallel programming matrix

来源：评论

学校读者我要写书评

暂无评论

A new parallel skeleton for general accumulative computations

引用

INTERNATIONAL JOURNAL OF parallel programming 2004年第5期32卷 389-414页

作者： Iwasaki, H Hu, ZJ Univ Electrocommun Dept Comp Sci Chofu Tokyo 1828585 Japan Univ Tokyo Grad Sch Informat Sci & Technol Bunkyo Ku Tokyo 1138656 Japan

skeletal parallel programming enables programmers to build a parallel program from ready-made components (parallel primitives) for which efficient implementations are known to exist, making both the parallel program development and the parallelization process easier. Constructing efficient parallel programs is often difficult, however, due to difficulties in selecting a proper combination of parallel primitives and in implementing this combination Without having unnecessary creations and exchanges of data among parallel primitives and processors. To overcome these difficulties, we propose a powerful and general parallel skeleton, accumulate, which can be used to naturally code efficient Solutions to problems as well as be efficiently implemented in parallel using Message Passing Interface (MPI).

关键词： skeletal parallel programming Bird-Meertens formalism data parallel skeleton program transformation MPI

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：