ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

218 results

Docker
Constructing Scalable, Resilient and Consistent Systems with Flexible Paxos

The Paxos algorithm is a widely adopted approach to reaching agreement in unreliable asynchronous distributed systems.

16:07
Constructing Scalable, Resilient and Consistent Systems with Flexible Paxos

859 views

8 years ago

Roel Van de Paar
Computer Science: Does Paxos consensus algorithm scale linearly?

Computer Science: Does Paxos consensus algorithm scale linearly? Helpful? Please support me on Patreon: ...

1:50
Computer Science: Does Paxos consensus algorithm scale linearly?

1 view

4 years ago

Martin Kleppmann
Distributed Systems 6.2: Raft

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

38:09
Distributed Systems 6.2: Raft

44,484 views

4 years ago

Roel Van de Paar
Software Engineering: Simplest possible Paxos algorithm (distributed consensus) explanation

Software Engineering: Simplest possible Paxos algorithm (distributed consensus) explanation Helpful? Please support me on ...

2:04
Software Engineering: Simplest possible Paxos algorithm (distributed consensus) explanation

36 views

3 years ago

Roel Van de Paar
What is the standard way to choose a new leader in Multi-Paxos?

What is the standard way to choose a new leader in Multi-Paxos? Helpful? Please support me on Patreon: ...

2:29
What is the standard way to choose a new leader in Multi-Paxos?

23 views

4 years ago

Martin Kleppmann
Distributed Systems 6.1: Consensus

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

18:15
Distributed Systems 6.1: Consensus

47,770 views

5 years ago

Martin Kleppmann
Distributed Systems 5.2: Quorums

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

9:37
Distributed Systems 5.2: Quorums

46,850 views

5 years ago

Roel Van de Paar
Computer Science: Paxos made simple -- two details (2 Solutions!!)

Computer Science: Paxos made simple -- two details Helpful? Please support me on Patreon: ...

2:03
Computer Science: Paxos made simple -- two details (2 Solutions!!)

4 views

4 years ago

Roel Van de Paar
Does the Paxos algorithm use failure detectors?

Does the Paxos algorithm use failure detectors? Helpful? Please support me on Patreon: https://www.patreon.com/roelvandepaar ...

1:44
Does the Paxos algorithm use failure detectors?

3 views

4 years ago

Splash Conference 2017
Paxos Made EPR: Decidable Reasoning about Distributed Protocols

Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham Distributed protocols such as Paxos play an important role in many ...

18:11
Paxos Made EPR: Decidable Reasoning about Distributed Protocols

188 views

8 years ago

Roel Van de Paar
When do I use a consensus algorithm like Paxos vs using a something like a Vector Clock?

When do I use a consensus algorithm like Paxos vs using a something like a Vector Clock? Helpful? Please use the *Thanks* ...

2:28
When do I use a consensus algorithm like Paxos vs using a something like a Vector Clock?

1,338 views

1 year ago

Martin Kleppmann
Distributed Systems 8.2: Google's Spanner

Accompanying lecture notes: https://www.cl.cam.ac.uk/teaching/2122/ConcDisSys/dist-sys-notes.pdf Full lecture series: ...

18:41
Distributed Systems 8.2: Google's Spanner

42,247 views

5 years ago

TLA+ - The Temporal Logic of Actions
Verification and Visualization of a ConsensusAlgorithm using TLA+ - Afonso das Neves Fernandes

In our work, we used T LA+ to formalize the consensus algorithm used in Ceph (which is based on Paxos). We found that the ...

36:29
Verification and Visualization of a ConsensusAlgorithm using TLA+ - Afonso das Neves Fernandes

517 views

4 years ago

PGCon
pg paxos  Paxos based table replication

... the inventor of the paxos algorithm wrote another paper a few years later where the entire abstract was the paos algorithm when ...

49:49
pg paxos Paxos based table replication

578 views

9 years ago

MIT 6.824: Distributed Systems
Lecture 6: Fault Tolerance: Raft (1)

Lecture 6: Fault Tolerance: Raft (1) MIT 6.824: Distributed Systems (Spring 2020) https://pdos.csail.mit.edu/6.824/

1:20:01
Lecture 6: Fault Tolerance: Raft (1)

82,570 views

5 years ago

Aman Goel
Towards an Automatic Proof of Lamport’s Paxos

Paper by Aman Goel (https://aman-goel.github.io) and Karem Sakallah (https://web.eecs.umich.edu/~karem) from the University of ...

23:54
Towards an Automatic Proof of Lamport’s Paxos

262 views

4 years ago

Roel Van de Paar
Paxos Consensus

Paxos Consensus Helpful? Please support me on Patreon: https://www.patreon.com/roelvandepaar With thanks & praise to God, ...

1:42
Paxos Consensus

2 views

4 years ago

IACR
PSI from PaXoS: Fast, Malicious Private Set Intersection

Paper by Benny Pinkas, Mike Rosulek, Ni Trieu, Avishay Yanai presented at Eurocrypt 2020 See ...

18:59
PSI from PaXoS: Fast, Malicious Private Set Intersection

1,986 views

5 years ago

Roel Van de Paar
Paxos: Instances, Rounds, Phases

Paxos: Instances, Rounds, Phases Helpful? Please support me on Patreon: https://www.patreon.com/roelvandepaar With thanks ...

2:22
Paxos: Instances, Rounds, Phases

0 views

4 years ago

Roel Van de Paar
What does it mean that numbers are "totally ordered", in the Paxos Made Simple paper?

What does it mean that numbers are "totally ordered", in the Paxos Made Simple paper? Helpful? Please support me on Patreon: ...

1:51
What does it mean that numbers are "totally ordered", in the Paxos Made Simple paper?

0 views

4 years ago