A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell

  • Frank Huch
  • Frank Kupke
Conference paper

DOI: 10.1007/11964681_8

Volume 4015 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Huch F., Kupke F. (2006) A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. In: Butterfield A., Grelck C., Huch F. (eds) Implementation and Application of Functional Languages. IFL 2005. Lecture Notes in Computer Science, vol 4015. Springer, Berlin, Heidelberg

Abstract

Composable memory transactions are a new communication abstraction for Concurrent Haskell which provides the programmer with a composable communication concept. Unfortunately, composable memory transactions are implemented as external functions for ghc version 6.4 and not available for other implementations of Concurrent Haskell. We present an implementation of memory transactions within Concurrent Haskell. The presented library can be executed within older ghc versions as well as with the popular Hugs system. Benchmarks show that our library performes well. Furthermore, our (high-level) implementation can be extended and maintained more easily than the low-level implementation provided by ghc 6.4.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Frank Huch
    • 1
  • Frank Kupke
    • 1
  1. 1.Institute of Computer ScienceUniversity of KielKielGermany