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)


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
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


Conference10th International Symposium on Practical Aspects of Declarative Languages
Abbreviated title PADL 2008
Country/TerritoryUnited States
CitySan Francisco, CA


  • Functional programming
  • Parallel computation
  • Scheduling


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

Cite this