CSE138 (Distributed Systems) L6: Chandy-Lamport snapshot algorithm

UC Santa Cruz CSE138 (Distributed Systems) Lecture 6: Chandy-Lamport snapshot algorithm; Chandy-Lamport assumptions and properties; centralized vs. decentralized algorithms Recorded April 15, 2021 Professor Lindsey Kuper https://users.soe.ucsc.edu/~lkuper/ Course website: http://decomposition.al/CSE138-2021-03 Schedule of topics: http://decomposition.al/CSE138-2021-0...

CSE138 (Distributed Systems) L7: safety and liveness, fault models, two generals problem
▶︎

CSE138 (Distributed Systems) L7: safety and liveness, fault models, two generals problem

CSE138 (Distributed Systems) L4: vector clocks, FIFO/causal/totally-ordered delivery
▶︎

CSE138 (Distributed Systems) L4: vector clocks, FIFO/causal/totally-ordered delivery

CSE138 (Distributed Systems) L8: Chandy-Lamport snapshot algorithm
▶︎

CSE138 (Distributed Systems) L8: Chandy-Lamport snapshot algorithm

CSE138 (Distributed Systems) L5: recap of FIFO/causal/TO delivery, implementing causal broadcast
▶︎

CSE138 (Distributed Systems) L5: recap of FIFO/causal/TO delivery, implementing causal broadcast

CSE138 (Distributed Systems) L2: time and clocks, causality and happens-before, network models
▶︎

CSE138 (Distributed Systems) L2: time and clocks, causality and happens-before, network models

Paxos Agreement - Computerphile
▶︎

Paxos Agreement - Computerphile

Why Aliens Would NEVER Invade Africa
▶︎

Why Aliens Would NEVER Invade Africa

Distributed Systems 4.1: Logical time
▶︎

Distributed Systems 4.1: Logical time

The Paxos Algorithm
▶︎

The Paxos Algorithm

Lecture 15: Global State and Snapshot Recording Algorithms
▶︎

Lecture 15: Global State and Snapshot Recording Algorithms

Listen and Feel the Peace | Tibetan Healing Sounds for Deep Meditation, Inner Peace & Soul Healing
▶︎

Listen and Feel the Peace | Tibetan Healing Sounds for Deep Meditation, Inner Peace & Soul Healing

DC 3. Chandy Lamport Snapshot Algorithm in Distributed Computing with Example
▶︎

DC 3. Chandy Lamport Snapshot Algorithm in Distributed Computing with Example

CSE138 (Distributed Systems) L10: determinism, consistency models, intro to consensus
▶︎

CSE138 (Distributed Systems) L10: determinism, consistency models, intro to consensus

Something is jamming GPS over Europe. Here's what we found
▶︎

Something is jamming GPS over Europe. Here's what we found

HS algorithm for Leader Election in Distributed Systems
▶︎

HS algorithm for Leader Election in Distributed Systems

You're Doing Push-Ups Wrong... This Is Why You're Not Getting Stronger
▶︎

You're Doing Push-Ups Wrong... This Is Why You're Not Getting Stronger

CSE138 (Distributed Systems) L11: more on consensus, the FLP result, the Paxos protocol
▶︎

CSE138 (Distributed Systems) L11: more on consensus, the FLP result, the Paxos protocol

1979: Will WORD PROCESSORS start a HOME WORKING revolution? | Past Predictions | BBC Archive
▶︎

1979: Will WORD PROCESSORS start a HOME WORKING revolution? | Past Predictions | BBC Archive

CSE138 (Distributed Systems) L14: Dynamo: Merkle trees, quorum consistency, tail latency
▶︎

CSE138 (Distributed Systems) L14: Dynamo: Merkle trees, quorum consistency, tail latency

If You Have A Bad Memory, I’ll Help You Fix It In 28 Minutes
▶︎

If You Have A Bad Memory, I’ll Help You Fix It In 28 Minutes