A framework for protocol composition in Horus
A framework for protocol composition in Horus
复制标题
Horus 中的协议组合框架
DOI：
10.1145/224964.224974
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
D. Karr
中科院分区：
文献类型：
--
作者：
R. V. Renesse;K. Birman;R. Friedman;Mark Hayden;D. Karr
Horus系统支持将协议视为抽象数据类型实例的通信体系结构。这种方法鼓励开发人员将复杂的协议划分为简单的微协议，每个协议都由协议层实现。协议层可以在运行时以各种方式堆叠在彼此的顶部。首先，我们描述可以通过这种方式支持的协议类别。接下来，我们将介绍我们为该技术设计的Horus对象模型，以及使其全部工作的各层之间的接口。然后，我们提供了一个实现组成员资格协议的示例层。接下来，我们将展示如何在给定一组必需属性的情况下构建适当的堆栈。我们来看一个协议堆栈的示例，它在一组进程之间提供容错的、完全有序的通信。这项工作为协议开发和实验提供了一个标准框架，提供了虚拟同步模型的高性能实现，并引入了一种提高协议开发过程的健壮性的方法。
The Horus system supports a communication architecture that treats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into simple microprotocols, each of which is implemented by a protocol layer. Protocol layers can be stacked on top of each other in a variety of ways, at run-time. First, we describe the classes of protocols that can be supported this way. Next, we present the Horus object model that we designed for this technology, and the interface between the layers that makes it all work. We then present an example layer that implements a group membership protocol. Next, we show how, given a set of required properties, an appropriate stack can be constructed. We look at an example stack of protocols, which provides fault-tolerant, totally ordered communication between a group of processes. The work contributes a standard framework for protocol development and experimentation, provides a high performance implementation of the virtual synchrony model, and introduces a methodology for increasing the robustness of the protocol development process.