Concurrent Monadic Interfacing
Ian Holyer6
and Eleni Spiliopoulou 
| (6) |
Department of Computer Science, University of Bristol, UK |
Abstract
In this paper we present the Brisk monadic framework, in which the usual monadic style of interfacing is adapted to accommodate
a deterministic form of concurrency. Its main innovation is to allow actions on state components. This is a key issue which
enables state splitting, a technique which assigns to each new thread a part of the state, a substate, to act upon. Distinct concurrent threads are restricted to access disjoint substates. A purely functional prototype implementation
is presented to demonstrate these ideas. The resulting system acts as a basis for offering a purely functional form of concurrency,
extending the expressiveness of functional languages without spoiling the semantics by introducing non-determinism.
Brisk stands for Bristol Haskell compiler
References secured to subscribers.