From 3ee5a0fd924ee486dba19f36a0622a1e3dca055f Mon Sep 17 00:00:00 2001 From: Erik Grinaker Date: Thu, 29 Oct 2020 16:26:53 +0100 Subject: [PATCH] added vector clock and Byzantine Paxos papers --- distributed-systems.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/distributed-systems.md b/distributed-systems.md index 1618057..112adc9 100644 --- a/distributed-systems.md +++ b/distributed-systems.md @@ -12,7 +12,8 @@ ### Paxos -- [ ] 📄 [**The Part-Time Parliament**](https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf) (L Lamport 1998) _"The Paxos Paper"_ +- [ ] 📄 [**The Part-Time Parliament**](https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf) (L Lamport 1998) _"The Paxos paper"_ +- [ ] 📄 [Byzantining Paxos by Refinement](https://lamport.azurewebsites.net/tla/byzsimple.pdf) (L Lamport 2010) - [ ] 📄 [Flexible Paxos: Quorum intersection revisited](https://arxiv.org/pdf/1608.06696.pdf) (H Howard, D Maklhi, A Spiegelman 2016) - [x] 📄 [Paxos Made Live - An Engineering Perspective](https://www.cs.utexas.edu/users/lorenzo/corsi/cs380d/papers/paper2-1.pdf) (T Chandra, R Griesemer, J Redstone 2007) - [x] 📄 [Paxos Made Simple](https://www.microsoft.com/en-us/research/uploads/prod/2016/12/paxos-simple-Copy.pdf) (L Lamport 2001) @@ -31,7 +32,8 @@ ## Clocks - [x] 📄 [**Time, Clocks, and the Ordering of Events in a Distributed System**](https://www.microsoft.com/en-us/research/uploads/prod/2016/12/Time-Clocks-and-the-Ordering-of-Events-in-a-Distributed-System.pdf) (L Lamport 1978) -- [ ] 📄 [Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases](https://cse.buffalo.edu/tech-reports/2014-04.pdf) (S Kulkarni et al 2014) +- [ ] 📄 [Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases](https://cse.buffalo.edu/tech-reports/2014-04.pdf) (S Kulkarni et al 2014) _"The HLC paper"_ +- [x] 📄 [Timestamps in Message-Passing Systems That Preserve the Partial Ordering](http://fileadmin.cs.lth.se/cs/Personal/Amr_Ergawy/dist-algos-papers/4.pdf) (CJ Fidge 1988) _"The vector clock paper"_ ## Verification