TY - GEN
T1 - Scheduling light-weight parallelism in ARTCOP
AU - Berthold, J.
AU - Al Zain, A.
AU - Loidl, H. W.
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
KW - Functional programming
KW - Parallel computation
KW - Scheduling
M3 - Conference contribution
SN - 3540774416
SN - 9783540774419
VL - 4902 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 214
EP - 229
BT - Practical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, Proceedings
T2 - 10th International Symposium on Practical Aspects of Declarative Languages
Y2 - 7 January 2008 through 8 January 2008
ER -