Home page

  • MP2 Clocks & Time 10: Distributed snapshots

    Learn how a distributed snapshot records a consistent global state while computation continues. A task-transfer example explains markers, FIFO channels, and why messages…

    Uppladdad av Romaric Duvignau

    Spelar 0  
  • MP2 Clocks & Time 9: Checking consistent cuts…

    (beyond TDA596 course syllabus) Use vector clocks to check whether a proposed global state includes all its dependencies. Worked frontier examples reveal inconsistent…

    Uppladdad av Romaric Duvignau

    Spelar 0  
  • MP2 Clocks & Time 8: Vector clocks

    Vector clocks summarize how much of each process’s history an event includes. Follow a worked update trace, compare causal order with concurrency, and see how…

    Uppladdad av Romaric Duvignau

    Spelar 0