Reliable servers: design and implementation in avalon/C++

Authors:
R. A. Lerner
Affiliations:
Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA
Venue:
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Year:
2000

Citing 3
Cited 1

Implementation of resilient, atomic data types

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
The C++ programming language

The C++ programming language
Guardians and Actions: Linguistic Support for Robust, Distributed Programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

PCLOS: stress testing CLOS experiencing the metaobject protocol

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Avalon/C++ is a programming language that supports the construction of reliable programs consisting of a set of servers communicating over a network. It provides high-level language support for user-defined data types with customized synchronization and fault-tolerance properties. These data types are encapsulated in servers, and accessed through exported server operations. Avalon/C++ greatly simplifies the programming of these servers by hiding the distributed nature of a server from both the implementor and callers of a server. Avalon/C++ exploits the similarity of servers and classes, making server definition and use look like that for C++ classes. A detailed description is given of a typical Avalon/C++ server, the catalog server, which is used by clients to locate servers.