Bulk synchronous parallel ML with exceptions

被引：0

作者：

Gesbert, Louis ^{[1
]}

Gava, Fredric ^{[1
]}

Loulergue, Frederic ^{[2
]}

Dabrowski, Frederic ^{[3
]}

机构：

[1] Univ Paris 12, Lab Algorithms, Paris, France

[2] Univ Orleans, Lab Informatique Fondamentale Orleans, Orleans, France

[3] Inst Recherche Informatique Automat, Valbonne, France

来源：

DISTRIBUTED AND PARALLEL SYSTEMS: FROM CLUSTER TO GRID COMPUTING | 2007年

关键词：

parallel programming; exception handling; functional programming; BSP; syntax of languages;

D O I：

10.1007/978-0-387-69858-8_4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementation, avoiding concurrency related problems (deadlocks, indeterminism). Only a limited set of the features of OCaml can be used in BSML to respect its properties of safety: this paper describes a way to add exception handling to this set by extending and adapting OCaml's exceptions. The behaviour of these new exceptions and the syntactic constructs to handle them, together with their implementation, are described in detail, and results over an example are given.

引用

页码：33 / +

页数：2

共 12 条

[1]

BISSELING R. H, 2004, Parallel Scientific Computation: A Structured Approach using BSP and MPI

[2] The Paderborn university BSP (PUB) library [J].

Bonorden, O ;

Juurlink, B ;

von Otte, I ;

Rieping, I .

PARALLEL COMPUTING, 2003, 29 (02) :187-207

[3]

Cole M., 1989, DEV CHILDREN

[4] A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting [J].

Gava, F ;

Loulergue, F .

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2005, 21 (05) :665-671

[5]

GESBERT L, 2006, 18 INT S IMPL APPL F

[6] JBSP: A BSP programming library in Java']Java [J].

Gu, Y ;

Lee, BS ;

Cai, WT .

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2001, 61 (08) :1126-1142

[7] BSPlib: The BSP programming library [J].

Hill, JMD ;

McColl, B ;

Stefanescu, DC ;

Goudreau, MW ;

Lang, K ;

Rao, SB ;

Suel, T ;

Tsantilas, T ;

Bisseling, RH .

PARALLEL COMPUTING, 1998, 24 (14) :1947-1980

[8]

LEROY X, 2005, OBJECTIVE CAML SYSTE

[9]

Loulergue F, 2005, LECT NOTES COMPUT SC, V3515, P1046

[10]

ROMANOVSKY AB, 2001, LECT NOTES COMPUTER, V2022

← 1 2 →