Skip to main content
Home
plus.maths.org

Secondary menu

  • My list
  • About Plus
  • Sponsors
  • Subscribe
  • Contact Us
  • Log in
  • Main navigation

  • Home
  • Articles
  • Collections
  • Podcasts
  • Maths in a minute
  • Puzzles
  • Videos
  • Topics and tags
  • For

    • cat icon
      Curiosity
    • newspaper icon
      Media
    • graduation icon
      Education
    • briefcase icon
      Policy

      Popular topics and tags

      Shapes

      • Geometry
      • Vectors and matrices
      • Topology
      • Networks and graph theory
      • Fractals

      Numbers

      • Number theory
      • Arithmetic
      • Prime numbers
      • Fermat's last theorem
      • Cryptography

      Computing and information

      • Quantum computing
      • Complexity
      • Information theory
      • Artificial intelligence and machine learning
      • Algorithm

      Data and probability

      • Statistics
      • Probability and uncertainty
      • Randomness

      Abstract structures

      • Symmetry
      • Algebra and group theory
      • Vectors and matrices

      Physics

      • Fluid dynamics
      • Quantum physics
      • General relativity, gravity and black holes
      • Entropy and thermodynamics
      • String theory and quantum gravity

      Arts, humanities and sport

      • History and philosophy of mathematics
      • Art and Music
      • Language
      • Sport

      Logic, proof and strategy

      • Logic
      • Proof
      • Game theory

      Calculus and analysis

      • Differential equations
      • Calculus

      Towards applications

      • Mathematical modelling
      • Dynamical systems and Chaos

      Applications

      • Medicine and health
      • Epidemiology
      • Biology
      • Economics and finance
      • Engineering and architecture
      • Weather forecasting
      • Climate change

      Understanding of mathematics

      • Public understanding of mathematics
      • Education

      Get your maths quickly

      • Maths in a minute

      Main menu

    • Home
    • Articles
    • Collections
    • Podcasts
    • Maths in a minute
    • Puzzles
    • Videos
    • Topics and tags
    • Audiences

      • cat icon
        Curiosity
      • newspaper icon
        Media
      • graduation icon
        Education
      • briefcase icon
        Policy

      Secondary menu

    • My list
    • About Plus
    • Sponsors
    • Subscribe
    • Contact Us
    • Log in
    • Stuff Happens: Ordering history in computer science

      15 August, 2017
      FQXi logo

      Our digital lives rely on distributed computer systems, such as the internet, or the network of banks that allow us to deposit cash in one place and withdraw it in another. Leslie Lamport, principal researcher at Microsoft Research and winner of the 2013 Turing Award, explains how designing a distributed system relies on special relativity, Lamport's logical clocks, and a clear understanding of what an event means in computer science. We also bring you a relevant article from the FQXi Community website.

      These articles and videos are part of our Stuff happens: The physics of events project.

      What happens inside your computer? — My view of the events taking place on my computer is very different to how a computer scientist, an engineer or a physicist would view what is happening inside the box. Leslie Lamport explains how the definition of an event distinguishes between these areas of research.

      Distributed systems and ambiguous histories — We all rely on distributed systems everyday. But understanding the order of events a distributed system is not always straightforward.

      Violating causality — Leslie Lamport explains how an understanding of special relativity helped him realise how to order events in computer science, and enable the development of distributed computing.

      Clocks to the rescue! — Leslie Lamport explains how he used logical clocks to set history straight in distributed systems.

      Loo-Q: Clearing aisles and relieving passengers — Here we present a worked example of a distributed system in action, to illustrate Leslie Lamport's rules of ordering history using logical clocks.

      This article first appeared on the FQXi Community website in 2008.

      High fidelity — Physicists tend to think of the world as being continuous. But could it be that it is in fact digital, just as the events in computer science?

      Videos

      In this interview Leslie Lamport explains how designing a distributed system relies on special relativity, Lamport's logical clocks, and a clear understanding of what an event means in computer science.

      You can also watch this interview as a series of shorter clips:

      • Events in computer science
      • Distributed systems, special relativity and violating causality
      • Preserving causality with logical clocks
      Read more about...
      Stuff happens
      physics of events
      computer science
      special relativity
      distributed computing
      HLF
      • Log in or register to post comments

      Read more about...

      Stuff happens
      physics of events
      computer science
      special relativity
      distributed computing
      HLF
      University of Cambridge logo

      Plus Magazine is part of the family of activities in the Millennium Mathematics Project.
      Copyright © 1997 - 2025. University of Cambridge. All rights reserved.

      Terms