Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
VMTP: a transport protocol for the next generation of communication systems
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Computer
Preserving and using context information in interprocess communication
ACM Transactions on Computer Systems (TOCS)
AMp: a highly parallel atomic multicast protocol
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
The ANSA project and standards
Distributed systems
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
Understanding transactions in the operating system context
ACM SIGOPS Operating Systems Review
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
A dynamic network architecture
ACM Transactions on Computer Systems (TOCS)
The Apertos reflective operating system: the concept and its implementation
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
MCAM: an application layer protocol for movie control, access, and management
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Weak-consistency group communication and membership
Weak-consistency group communication and membership
Subcontract: a flexible base for distributed programming
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Experience with modularity in consul
Software—Practice & Experience
Increasing network throughput by integrating protocol layers
IEEE/ACM Transactions on Networking (TON)
Simulating fail-stop in asynchronous distributed systems
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Supporting Fault-Tolerant Parallel Programming in Linda
IEEE Transactions on Parallel and Distributed Systems
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
A framework for protocol composition in Horus
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
Totem: a fault-tolerant multicast group communication system
Communications of the ACM
Horus: a flexible group communication system
Communications of the ACM
Making paths explicit in the Scout operating system
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Dealing with disaster: surviving misbehaved kernel extensions
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Masking the overhead of protocol layering
Conference proceedings on Applications, technologies, architectures, and protocols for computer communications
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
IEEE Transactions on Computers
A Configurable Membership Service
IEEE Transactions on Computers
Broadcast Protocols for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
A Fast and General Implementation of Mach IPC in a Network
USENIX MACH III Symposium
InfoNet: The networking infrastructure of InfoPad
COMPCON '95 Proceedings of the 40th IEEE Computer Society International Conference
Optimizing Layered Communication Protocols
HPDC '97 Proceedings of the 6th IEEE International Symposium on High Performance Distributed Computing
RTCAST: lightweight multicast for real-time process groups
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
A hierarchy of totally ordered multicasts
SRDS '95 Proceedings of the 14TH Symposium on Reliable Distributed Systems
Paths: Programming with System Resources in Support of Real-Time Distributed Applications
WORDS '96 Proceedings of the 2nd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '96)
Design and Performance of Horus: A Lightweight Group Communications System
Design and Performance of Horus: A Lightweight Group Communications System
The Ensemble System
Constructing a configurable group RPC service
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
Unification of Active and Passive Objects in an Object-Oriented Operating System
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Interposition as an Operating System Extension Mechanism
Interposition as an Operating System Extension Mechanism
The Parallel Protocol Framework
The Parallel Protocol Framework
A system for constructing configurable high-level protocols
A system for constructing configurable high-level protocols
Real-Time Dependable Channels: Customizing QoS Attributes for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Profile-directed optimization of event-based programs
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Balancing configurability and efficiency in network support tools
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Building Survivable Services Using Redundancy and Adaptation
IEEE Transactions on Computers
Configuring the Communication Middleware to Support Multi-user Object-Oriented Environments
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
On context in authorization policy
Proceedings of the eighth ACM symposium on Access control models and technologies
A retrospective on the design of the GOPI middleware platform
Multimedia Systems
Fault-Tolerant Replication Management in Large-Scale Distributed Storage Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Appia: A Flexible Protocol Kernel Supporting Multiple Coordinated Channels
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Self-Modifiable Color Petri Nets for Modeling User Manipulation and Network Event Handling
IEEE Transactions on Computers
Modeling adaptable multimedia and self-modifying protocol execution
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Real-Time Systems
Total order broadcast and multicast algorithms: Taxonomy and survey
ACM Computing Surveys (CSUR)
DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware
IEEE Distributed Systems Online
Reflections on aspects and configurable protocols
Proceedings of the 5th international conference on Aspect-oriented software development
Service interface: a new abstraction for implementing and composing protocols
Proceedings of the 2006 ACM symposium on Applied computing
Methods and limitations of security policy reconciliation
ACM Transactions on Information and System Security (TISSEC)
Scalable, fault tolerant membership for MPI tasks on HPC systems
Proceedings of the 20th annual international conference on Supercomputing
Enforcing provisioning and authorization policy in the Antigone system
Journal of Computer Security
A configurable and extensible transport protocol
IEEE/ACM Transactions on Networking (TON)
A model-based approach for self-adaptive Transport protocols
Computer Communications
Typing communicating component assemblages
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Typing Component-Based Communication Systems
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Facilitating gossip programming with the GossipKit framework
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Run-time optimizations for replicated dataflows on heterogeneous environments
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Architecture based approach to adaptable fault tolerance in distributed object-oriented computing
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Qinna, a component-based qos architecture
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Rigorous fault tolerance using aspects and formal methods
Rigorous Development of Complex Fault-Tolerant Systems
A component model for the ABS language
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Optimizing dataflow applications on heterogeneous environments
Cluster Computing
An object group-based component model
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Journal of Systems and Software
| Hi-index | 0.01 |
Communication-oriented abstractions such as atomic multicast, group RPC, and protocols for location-independent mobile computing can simplify the development of complex applications built on distributed systems. This article describes Coyote, a system that supports the construction of highly modular and configurable versions of such abstractions. Coyote extends the notion of protocol objects and hierarchical composition found in existing systems with support for finer-grain microprotocol objects and a nonhierarchical composition scheme for use within a single layer of a protocol stack. A customized service is constructed by selecting microprotocols based on their semantic guarantees and configuring them together with a standard runtime system to form a composite protocol implementing the service. This composite protocol is then composed hierarchically with other protocols to form a complete network subsystem. The overall approach is described and illustrated with examples of services that have been constructed using Coyote, including atomic multicast, group RPC, membership, and mobile computing protocols. A prototype implementation based on extending x-kernel version 3.2 running on Mach 3.0 with support for microprotocols is also presented, together with performance results from a suite of microprotocols from which over 60 variants of group RPC can be constructed.