Beyond Lamport’s Happened-Before: On the Role of Time Bounds in Synchronous Systems

  • Ido Ben-Zvi
  • Yoram Moses
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6343)

Abstract

Lamport’s Happened-before relation is fundamental to coordinating actions in asynchronous systems. Its role is less dominant in synchronous systems, in which bounds are available on transmission times over channels. This paper initiates a study of the role that time bounds play in synchronous systems by focusing on two classes of problems: Ordered Response, in which a triggering event must be followed by a sequence of events (“responses”) performed in a prescribed temporal order, and Simultaneous Response, in which the responses must be performed simultaneously. In both cases, information about the triggering event must flow from its site of origin to the responding sites, and the responses must be timed as specified. A generalization of happened- before called Syncausality, is defined. A pattern of communication consisting of a syncausal chain coupled with an appropriate set of time bound guarantees gives rise to a communication structure called a centipede. Centipedes are a nontrivial generalization of message chains, and their existence is shown to be necessary in every execution of every protocol that solves ordered response. A variation on centipedes called centibrooms are shown to play an analogous role for Simultaneous Response: Every execution of a protocol for Simultaneous Response must contain a centibroom.

Keywords

synchronous message passing bounded communication ordered response simultaneous response causality syncausality knowledge common knowledge levels of knowledge knowledge and time 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Ido Ben-Zvi
    • 1
  • Yoram Moses
    • 2
  1. 1.Department of Computer ScienceTechnion 
  2. 2.Department of Electrical EngineeringTechnion 

Personalised recommendations