A high-level implementation of composable memory transactions in concurrent haskell

Authors:
Frank Huch;Frank Kupke
Affiliations:
Institute of Computer Science, University of Kiel, Kiel, Germany;Institute of Computer Science, University of Kiel, Kiel, Germany
Venue:
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Year:
2005

Citing 8
Cited 3

Concurrent Haskell

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Distributed Programming in Haskell with Ports

IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
A poor man's concurrency monad

Journal of Functional Programming
Searching for deadlocks while debugging concurrent haskell programs

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Extending the Haskell foreign function interface with concurrency

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Composable memory transactions

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Haskell on a shared-memory multiprocessor

Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Lock free data structures using STM in haskell

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming

A Domain Specific Language for Composable Memory Transactions in Java

DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
A compositional theory for STM Haskell

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
An implementation of composable memory transactions in Haskell

SC'11 Proceedings of the 10th international conference on Software composition

Quantified Score

Hi-index	0.00

Visualization

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.