Episode 377: Heidi Howard on Distributed Consensus

Filed in Episodes by on August 21, 2019 0 Comments

Heidi Howard, a researcher in the field of distributed systems, discusses distributed consensus.  Heidi explains when we need it, when we don’t need and the algorithms we use to achieve it.  Adam Gordon Bell spoke with Heidi about the history of distributed consensus, paxos and variations on it, such as raft and flexible paxos, performance and scaling of distributed consensus, CAP Theorem, scaling consensus, TLA+, important papers in the field, what algorithms are used by real world systems like zookeeper and etcd and the verification of these algorithms.  Heidi also discusses what it is like to be a researcher in the field of distributed systems, how algorithms are verified and how she got into the field.

Related Links


SE Radio theme: “Broken Reality” by Kevin MacLeod (incompetech.com — Licensed under Creative Commons: By Attribution 3.0)

Tags: , , ,