Scheduling light-weight parallelism in ARTCOP

J. Berthold, A. Al Zain, H. W. Loidl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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. © Springer-Verlag Berlin Heidelberg 2008.

Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, Proceedings
Pages214-229
Number of pages16
Volume4902 LNCS
Publication statusPublished - 2007
Event10th International Symposium on Practical Aspects of Declarative Languages - San Francisco, CA, United States
Duration: 7 Jan 20088 Jan 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4902 LNCS
ISSN (Print)0302-9743

Conference

Conference10th International Symposium on Practical Aspects of Declarative Languages
Abbreviated title PADL 2008
CountryUnited States
CitySan Francisco, CA
Period7/01/088/01/08

Keywords

  • Functional programming
  • Parallel computation
  • Scheduling

Fingerprint Dive into the research topics of 'Scheduling light-weight parallelism in ARTCOP'. Together they form a unique fingerprint.

  • Cite this

    Berthold, J., Al Zain, A., & Loidl, H. W. (2007). Scheduling light-weight parallelism in ARTCOP. In Practical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, Proceedings (Vol. 4902 LNCS, pp. 214-229). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4902 LNCS).