The Design and Implementation of Glasgow Distributed Haskell

Pointon, Robert F.; Trinder, Phil; Loidl, Hans-Wolfgang

doi:10.1007/3-540-45361-x_4

Cited by 24 publications

(14 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…ML5 implements type-safe marshaling and Functory does not, though an existing type-safe marshaling library could be used with Functory. Glasgow Distributed Haskell (GdH) [13] is a pure distributed functional language that is built on top of Glasgow Haskell and provides features for distributed computing. It is an extension of both Glasgow Parallel Haskell, that supports only one process and multiple threads and Concurrent Haskell that supports multiple processes.…”

Section: Distributed Computingmentioning

confidence: 99%

Functory: A Distributed Computing Library for Objective Caml

Filliâtre

Kalyanasundaram

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. We present Functory, a distributed computing library for Objective Caml. The main features of this library include (1) a polymorphic API, (2) several implementations to adapt to different deployment scenarios such as sequential, multi-core or network, and (3) a reliable fault-tolerance mechanism. This paper describes the motivation behind this work, as well as the design and implementation of the library. It also demonstrates the potential of the library using realistic experiments.

show abstract

Section: Distributed Computingmentioning

confidence: 99%

Functory: A Distributed Computing Library for Objective Caml

Filliâtre

Kalyanasundaram

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Efficient utilisation of many-core platforms is a great challenge. POSIX threads enable parallel programming but they are difficult to use and put the burden on the programmer, even when using compiler directives such as OpenMP; there are number of languages where parallelism can be expressed natively without the need for explicit thread creation [17,15,1,9], but compared to mainstream languages such as C++ and Java, none of them have found widespread adoption. Even if a multicore programming language would find wide adoption, it would in the short term obviously be impossible to rewrite the vast amount of single-core legacy code libraries, nor would it be productive.…”

Section: Introductionmentioning

confidence: 99%

The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition

Tousimojarad¹,

Vanderbauwhede²

2013

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

We present the Glasgow Parallel Reduction Machine (GPRM), a novel, flexible framework for parallel task-composition based many-core programming. We allow the programmer to structure programs into task code, written as C++ classes, and communication code, written in a restricted subset of C++ with functional semantics and parallel evaluation. In this paper we discuss the GPRM, the virtual machine framework that enables the parallel task composition approach. We focus the discussion on GPIR, the functional language used as the intermediate representation of the bytecode running on the GPRM. Using examples in this language we show the flexibility and power of our task composition framework. We demonstrate the potential using an implementation of a merge sort algorithm on a 64-core Tilera processor, as well as on a conventional Intel quad-core processor and an AMD 48-core processor system. We also compare our framework with OpenMP tasks in a parallel pointer chasing algorithm running on the Tilera processor. Our results show that the GPRM programs outperform the corresponding OpenMP codes on all test platforms, and can greatly facilitate writing of parallel programs, in particular non-data parallel algorithms such as reductions.

show abstract

“…Kali Scheme (Cejtin et al 1995), Facile (Giacalone et al 1989), OZ (Haridi et al 1997), ERLANG (Armstrong et al 1996) and Glasgow distributed Haskell (GdH) (Pointon et al 2000). Like other language designers, distributed language designers propose new constructs and demonstrate them on small exemplars.…”

Section: Introductionmentioning

confidence: 99%

“…The high-level languages are ERLANG, an industrial-strength language with high-level distributed coordination and advanced fault tolerance mechanisms (Armstrong et al 1996), and Glasgow distributed Haskell (GdH) a research language with very high-level distributed coordination (Pointon et al 2000).…”

Section: Introductionmentioning

confidence: 99%

Evaluating high-level distributed language constructs

NyströmJan¹,

TrinderPhil²,

KingDavid³

2007

SIGPLAN Not.

View full text Add to dashboard Cite

The paper investigates the impact of high level distributed programming language constructs on the engineering of realistic software components. Based on reengineering two non-trivial telecoms components, we compare two high-level distributed functional languages, ERLANG and GdH, with conventional distributed technologies C++/CORBA and C++/UDP.We investigate several aspects of high-level distributed languages including the impact on code size of high-level constructs. We identify three language constructs that primarily contribute to the reduction in application size and quantify their impact. We provide the first evidence based on analysis of a substantial system to support the widely-held supposition that high-level constructs reduce programming effort associated with specifying distributed coordination. We investigate whether a language with sophisticated high-level fault tolerance can produce suitably robust components, and both measure and analyse the additional programming effort needed to introduce robustness. Finally, we investigate some implications of a range of type systems for engineering distributed software.

show abstract

The Design and Implementation of Glasgow Distributed Haskell

Cited by 24 publications

References 6 publications

Functory: A Distributed Computing Library for Objective Caml

Functory: A Distributed Computing Library for Objective Caml

The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition

Evaluating high-level distributed language constructs

Contact Info

Product

Resources

About