Publication

Protocol objects and patterns for structuring reliable distributed systems

Related publications (86)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Assessing the Crash-Failure Assumption of Group Communication Protocols

André Schiper, Sergio Mena

Designing and correctly implementing Group Communication Systems (GCSs) is notoriously difficult. Assuming that processes fail only by crashing provides a powerful means to simplify the theoretical development of these systems. When making this assumption, ...

2005

Dynamic Update of Distributed Agreement Protocols

André Schiper, Olivier Rütti

In this paper, we address the problem of dynamic protocol update (DPU) that requires global coordination of local code replacements. We propose a novel approach to DPU. The key idea is the use of synchronization facilities of the services that get updated. ...

2005

Evaluating the performance of distributed agreement algorithms

Nowadays, networked computers are present in most aspects of everyday life. Moreover, essential parts of society come to depend on distributed systems formed of networked computers, thus making such systems secure and fault tolerant is a top priority. If t ...

EPFL2003

Distributed Programming for Dummies: A Shifting Transformation Technique

Rachid Guerraoui, Bastian Pochon

The perfectly synchronized round model provides the powerful abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We present an implementation of this abstraction in a distributed system ...

2003

Applying Fondue to Specify a Drink Vending Machine

Shane Sendall

The purpose of the paper is to present our approach for specifying system behavior during analysis, part of the Fondue software development method. The approach is exempli ed on a case study, a Drink Vending Machine (DVM). It is based on Operation Schemas ...

2003

From AOP to UML: Towards an Aspect-Oriented Architectural Modeling Approach

Jörg Kienzle, Mohamed Mancona Kandé

Capturing concerns that crosscut the boundaries of multiple components in software architecture descriptions is problematic. Standard description languages, such as UML, do not provide adequate means to understand and modularize such concerns, but aspect-o ...

2002

From AOP to UML: Towards an Aspect-Oriented Architectural Modeling Approach

Jörg Kienzle, Mohamed Mancona Kandé

2002

Performance and Scalability of EJB Applications

Willy Zwaenepoel, Emmanuel Cecchet

We investigate the combined effect of application implementation method, container design, and efficiency of communication layers on the performance scalability of J2EE application servers by detailed measurement and profiling of an auction site server. We ...

2002

Effective Multicast Programming in Large Scale Distributed Systems

Rachid Guerraoui, Patrick Eugster

Many distributed applications have a strong requirement for efficient dissemination of large amounts of information to widely spread consumers in large networks. These include applications in e-commerce and telecommunication. Publish/subscribe is considere ...

2001

Extensible Algebraic Datatypes with Defaults

Martin Odersky, Matthias Zenger

A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existing code. This paper introduces Extensible Algebraic Datatypes with Defaults w ...

2001