Time and Order

Abstract

Time

Order

Happened-before

  • if A and B happened on the same process and A happened before B (notice the “before” here is the a priori total ordering within a process), A -> B
  • if A is the sending of a message on p0 and B is the receiving of the same message on p1, A -> B
  • if A -> B and B -> C, then A -> C

--

--

--

Software Engineer at Facebook working on cache infrastructure

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

How Japanese People Stay Fit for Life, Without Ever Visiting a Gym

Computational 2D Geometry Part 1: Point

Replicate Salesforce and Zendesk data in Keen for unified analytics

The Latest Features of DataWorks: How to Choose the Right Edition of DataWorks

Hanging Out at the Local Crow Bar

Powering up your organization and your training with JupyterHub

Overview of Ansible | Configuration Management with AnsibleOverview of Ansible

OSS: A High Performance Encrypted, Object Storage Cloud System

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Lu Pan

Lu Pan

Software Engineer at Facebook working on cache infrastructure

More from Medium

Everything you need to know about Squadcast and Microsoft Teams Integration

Disasters Will Happen

Seven Essentials in HA Team Transition (Navigating the Great Resignation)

Memcached Benchmark