Scheduling light-weight parallelism in ArTCoP

Authors:
J. Berthold;A. Al Zain;H.-W. Loidl
Affiliations:
Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Marburg, Germany;School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, Scotland;Institut für Informatik, Ludwig-Maximilians-Universität München, Germany
Venue:
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Year:
2008

Citing 13
Cited 3

Functional programming and communicating processes

Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
A customizable substrate for concurrent languages

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
GUM: a portable parallel implementation of Haskell

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Concurrent Haskell

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Patterns and skeletons for parallel and distributed computing

Patterns and skeletons for parallel and distributed computing
Systems programming in concurrent prolog

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Anatomy of the Grid: Enabling Scalable Virtual Organizations

International Journal of High Performance Computing Applications
A principled approach to operating system construction in Haskell

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Lightweight concurrency primitives for GHC

Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Status report: the manticore project

ML '07 Proceedings of the 2007 workshop on Workshop on ML
Towards a strongly typed functional operating system

IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Parallel coordination made explicit in a functional setting

IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
The brisk project: concurrent and distributed functional systems

FP'95 Proceedings of the 1995 international conference on Functional Programming

Orthogonal serialisation for Haskell

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Eden --- parallel functional programming with haskell

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Implementing a high-level distributed-memory parallel haskell in haskell

IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the design and prototype implementation of the scheduling component in ArTCoP (architecture transparent control of parallelism), a novel run-time environment (RTE) for parallel execution of high-level languages. A key feature of ArTCoP is its support for deep process and memory hierarchies, shown in the scheduler by supporting light-weight threads. To realise a system with easily exchangeable components, the system defines a micro-kernel, providing basic infrastructure, such as garbage collection. All complex RTE operations, including the handling of parallelism, are implemented at a separate system level. By choosing Concurrent Haskell as high-level system language, we obtain a prototype in the form of an executable specification that is easier to maintain and more flexible than conventional RTEs. We demonstrate the flexibility of this approach by presenting implementations of a scheduler for light-weight threads in ArTCoP, based on GHC Version 6.6.