Modeling Deterministic Distributed Systems
Patricia Derler

Citation
Patricia Derler. "Modeling Deterministic Distributed Systems". Tutorial, 20, March, 2014.

Abstract
This talk presents Ptides, a programming model that enables value and timing determinism in distributed systems. Two key abstractions are used to achieve this: (a) a known bound on the clock error between distributed platforms, and (b) an abstraction of execution time referred to as logical execution time. (a) is achieved by clock synchronization protocols that specify the maximum difference between clock values across platforms. (b) enables the specification of platform independent, deterministic behavior. The presentation gives an overview of the activities surrounding the Ptides project and illustrates concepts and ideas in small examples.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Patricia Derler. <a
  href="http://www.terraswarm.org/pubs/244.html"
  ><i>Modeling Deterministic Distributed
  Systems</i></a>, Tutorial,  20, March, 2014.

• Plain text

  Patricia Derler. "Modeling Deterministic Distributed
  Systems". Tutorial,  20, March, 2014.

• BibTeX

  @tutorial{Derler14_ModelingDeterministicDistributedSystems,
      author = {Patricia Derler},
      title = {Modeling Deterministic Distributed Systems},
      day = {20},
      month = {March},
      year = {2014},
      abstract = {This talk presents Ptides, a programming model
                that enables value and timing determinism in
                distributed systems. Two key abstractions are used
                to achieve this: (a) a known bound on the clock
                error between distributed platforms, and (b) an
                abstraction of execution time referred to as
                logical execution time. (a) is achieved by clock
                synchronization protocols that specify the maximum
                difference between clock values across platforms.
                (b) enables the specification of platform
                independent, deterministic behavior. The
                presentation gives an overview of the activities
                surrounding the Ptides project and illustrates
                concepts and ideas in small examples. },
      URL = {http://terraswarm.org/pubs/244.html}
  }
  

Posted by Barb Hoversten on 23 Jan 2014.
Groups: services