Now showing items 1-14 of 14

    • Achieving Critical Reliability With Unreliable Components andUnreliable Glue 

      Hayden, Mark; Birman, Kenneth P. (Cornell University, 1995-03)
      Even the most aggressive quality assurance procedures yield at best probabilistic confidence in the reliability of complex systems. Distributed systems, because of their large numbers of components, are enormously complex ...
    • Bimodal Multicast (revised) 

      Birman, Kenneth P.; Hayden, Mark; Ozkasap, Oznur; Xiao, Zhen; Budiu, Mihai; Minsky, Yaron (Cornell University, 1999-05)
      There are many methods for making a multicast protocol "reliable". At one end of the spectrum, a reliable multicast protocol might offer atomicity guarantees, such as all-or-nothing delivery, delivery ordering, and perhaps ...
    • Building Adaptive Systems Using Ensemble 

      van Renesse, Robbert; Birman, Ken; Hayden, Mark; Vaysburd, Alexey; Karr, David (Cornell University, 1997-07)
      Trends in networking and distributed computing are creating a new generation of applications that must adapt as the environment within which they execute changes. Examples of adaptations include switching protocols to ...
    • Distributed Communication in ML 

      Hayden, Mark (Cornell University, 1997-11)
      We present our experience in implementing a group communication toolkit in Objective Caml, a dialect of the ML family of programming languages. We compare the toolkit both quantitatively and qualitatively to a predecessor ...
    • Ensemble Security 

      Rodeh, Ohad; Birman, Kenneth P.; Hayden, Mark; Xiao, Zhen; Dolev, Danny (Cornell University, 1998-09)
      Ensemble is a Group Communication System built at Cornell and the Hebrew Universities. It allows processes to create {\it process groups} in which scalable reliable fifo-ordered multicast and point-to-point communication ...
    • The Ensemble System 

      Hayden, Mark (Cornell University, 1998-01)
      Ensemble is a group communication system that demonstrably achieves a wide range of goals. It is a general-purpose communication system intended for constructing reliable distributed applications; it is a flexible framework ...
    • A Gossip-Style Failure Detection Service 

      Van Renesse, Robbert; Minsky, Yaron; Hayden, Mark (Cornell University, 1998-05)
      Failure Detection is valuable for system management, replication, load balancing, and other distributed services. To date, Failure Detection Services scale badly in the number of members that are being monitored. This paper ...
    • GSGC: An Efficient Gossip-Style Garbage Collection Scheme for ScalableReliable Multicast 

      Guo, Katherine; Hayden, Mark; van Renesse, Robbert; Vogels, Werner; Birman, Kenneth P. (Cornell University, 1997-12)
      To deliver multicast messages reliably in a group, each member maintains copies of all messages it sends and receives in a buffer for potential local retransmission. The storage of these messages is costly and buffers may ...
    • The Horus and Ensemble Projects: Accomplishments and Limitations 

      Birman, Kenneth P.; Constable, Robert; Hayden, Mark; Hickey, Jason; Kreitz, Christoph; Van Renesse, Robbert; Rodeh, Ohad; Vogels, Werner (Cornell University, 1999-10)
      The Horus and Ensemble efforts culminated a multi-year Cornell research program in process group communication used for fault-tolerance, security and adaptation. Our intent was to understand the degree to which a single ...
    • Horus: A Flexible Group Communications System 

      Van Renesse, Robbert; Birman, Kenneth P.; Glade, Bradford B.; Guo, Katie; Hayden, Mark; Hickey, Takako; Malki, Dalia; Vaysburd, Alex; Vogels, Werner (Cornell University, 1995-03)
      The Horus system offers flexible group communication support for distributed applications. It is extensively layered and highly reconfigurable, allowing applications to only pay for services they use, and for groups with ...
    • The Maestro Group Manager: A Structuring Tool For Applications WithMultiple Quality of Service Requirements 

      Birman, Ken; Friedman, Roy; Hayden, Mark (Cornell University, 1997-02)
      {\em Maestro} is a tool for managing sets of protocol stacks that satisfy varied quality of service or security requirements. Intended primarily for multimedia groupware settings, it permits a single application to efficiently ...
    • A Multicast Flow Control Protocol 

      Hayden, Mark; Xiao, Zhen (Cornell University, 1999-04)
      This paper describes the goals, approach, implementation, and performance of Mflow, a multicast flow control protocol. Our work focuses on the issues that arise from the increase in acknowledgments that occur as the size ...
    • Optimizing Layered Communication Protocols 

      Hayden, Mark; vanRenesse, Robbert (Cornell University, 1996-11)
      Layering of protocols offers several well-known advantages, but typically leads to performance inefficiencies. We present a model for layering, and point out where the performance problems occur in stacks of layers using ...
    • Probabilistic Broadcast 

      Hayden, Mark; Birman, Kenneth (Cornell University, 1996-09)
      We present a class of scalable and probabilisticly reliable communication protocols. The protocols are based on a probabilistic system model and thus their properties tend to be probabilistic in nature. The protocols are ...