Protocols coordinate interaction amongst concurrently executing processes. Most general purpose programming languages do not provide syntax for expressing these protocols explicitly. The absence of such syntax requires programmers to implement their protocols by manually via locks and semaphores. Given such implicit implementation of the protocol, it is very hard, if not impossible, to reason about its correctness and efficiency of the protocol.
Reo, an exogenous coordination language designed by prof. dr. F. Arbab at the Centre for Mathematics and Computer Science (CWI) in Amsterdam, addresses this problem by providing syntax that allows explicit high-level construction of protocols. This syntax consists of graph-like structures, such as the figure above. It is much easier to develop correct protocols that are free of dead-locks, live-locks and data races. The compiler of the coordination language is able to optimize the actual implementation of the protocol.
- Install Java SDK 1.6+. You can check if the correct java version is installed by running
- Download the reo compiler corresponding to your operating system (linux, mac, or windows).
- Unzip the archive in the directory you want reo to be installed, and run the install script.
- Test the installation by running
The Reo documentation.
If you wish to contribute to the development of Reo, use the following instructions to obtain your own copy of the source code:
- Install Git.
- Install Java SDK 1.6+. You can check if the correct version is already installed via
- Install Maven.
- Install Eclipse.
- Change directory to eclipse workspace
- Clone this repository via
git clone https://github.com/kasperdokter/Reo.git
- Change directory
- Build the project:
mvn clean install.
- Generate Eclipse configuration via
- Import project to Eclipse:
File > Import..., select
General > Existing Projects into Workspace, hit
Next, select root directory and point to the cloned repository, hit
- Start coding :)