CS[ Bristol CS | Index ]

BriX - A Deterministic Concurrent Functional X Windows System

Pascal Serrarens. Technical Report, Department of Computer Science, University of Bristol, June 1995. Full paper: 106179 bytes gzipped PostScript.

Abstract

With the introduction of concurrent functional languages, potential non-determinism is introduced. Two processes can update a file at the same time, leading to an unpredictable result. This is taken for granted, there is a common idea stating that concurrency and non-determinism are synonymous. In their paper, Carter and Holyer propose a deterministic approach to many systems which are inherently non-deterministic. The first steps in that direction have been taken with the design of BriX, a deterministic concurrent windowing system. This report describes the development and workings of this system. Special efforts were taken on the avoiding of non-determinism. BriX was not designed to be a standard windowing system, the goal was to write it with deterministic techniques.
Dr. Ian Holyer, ian@cs.bris.ac.uk. Last modified on Friday 7 July 1995 at 10:43.