1 Introduction
This document is attempting to serve several goals. It is intended to be:
-
A description/motivation of the Ensemble architecture.
-
An aid for learning about the Ensemble protocol layers and their workings.
-
An informal specification of individual protocol layers and common
compositions of the layers.
-
Documentation of possible alternate designs/implementations of the system.
-
A depository of specification and verification information developed for
protocol layers.
-
A depository of descriptions of potential projects.
-
Source for combined hypertext code/text documentation of Ensemble.
Documentation TODO list:
-
transports
- mark all ML values with mlval{}
- add more detail in the event fields section
- add ``common problems'' section
-
layers acknowledging messages
- EInit vs. EView
- layer programming tutorial