Ensemble Reference Manual
Mark Hayden, Ohad Rodeh
*
Copyright © 1997 Cornell University,
2000 Hebrew University
Abstract:
Ensemble is a reliable group communication toolkit implemented in the
Objective Caml programming language. The purposes of this implementation are:
-
to provide a concise and clear ``reference'' implementation of the Ensemble
architecture and protocols
-
to abstract protocol layer implementations as far as possible from the
runtime system
-
to support the application of formal methods to real implementations of
distributed communication protocols
-
to provide a flexible platform for ease of experimentation
Throughout, we attempt to follow a design that supports a simple
compilation of the protocols to C. Two intermediate stages have
recently been taken in the direction 1) the construction of a native C interface for Ensemble (CE) and 2) an implementation in C of
the core Ensemble system (available from www.northforknet.com).
Part I
The Ensemble Architecture
Part II
The Ensemble Protocols
This document was translated from LATEX by
HEVEA and HACHA.