Add lecture 15

harris-ahmad · May 6, 2020 · 4c50304 · 4c50304
1 parent 7d8e5aa
commit 4c50304
Show file tree

Hide file tree

Showing 14 changed files with 212 additions and 0 deletions.
diff --git a/Lecture 15.md b/Lecture 15.md
diff --git a/README.md b/README.md
@@ -21,3 +21,4 @@ There are no notes for lecture 1 as this was concerned with course administratio
 | [Lecture 12](./Lecture%2012.md)<br>April 24<sup>th</sup>, 2020 | Replication<br>Total order vs. determinism<br>Consistency models: FIFO, causal and strong<br>Primary-backup replication<br> Chain replication<br>Latency and throughput 
 | [Lecture 13](./Lecture%2013.md)<br>April 27<sup>th</sup>, 2020 | **Pause for breath!**<br>Wrapping up replication techniques
 | [Lecture 14](./Lecture%2014.md)<br>May 1<sup>st</sup>, 2020 | Handling node failure in replication protocols<br>Introduction to consensus<br>Problems equivalent to consensus<br>The FLP result<br>Introduction to Paxos | Strongly consistent replication protocols
+| [Lecture 15](./Lecture%2015.md)<br>May 4<sup>th</sup>, 2020 | Paxos: the interesting parts
diff --git a/img/Diagrams.pptx b/img/Diagrams.pptx
diff --git a/img/L15 Chandy-Lamport Snapshot Bug.png b/img/L15 Chandy-Lamport Snapshot Bug.png
diff --git a/img/L15 Multiple Proposers 1.png b/img/L15 Multiple Proposers 1.png
diff --git a/img/L15 Multiple Proposers 2.png b/img/L15 Multiple Proposers 2.png
diff --git a/img/L15 Multiple Proposers 3.png b/img/L15 Multiple Proposers 3.png
diff --git a/img/L15 Multiple Proposers 4.png b/img/L15 Multiple Proposers 4.png
diff --git a/img/L15 Multiple Proposers 5.png b/img/L15 Multiple Proposers 5.png
diff --git a/img/L15 Multiple Proposers 6.png b/img/L15 Multiple Proposers 6.png
diff --git a/img/L15 Multiple Proposers 7.png b/img/L15 Multiple Proposers 7.png
diff --git a/img/L15 Paxos Milestone 1.png b/img/L15 Paxos Milestone 1.png
diff --git a/img/L15 Paxos Milestone 2.png b/img/L15 Paxos Milestone 2.png
diff --git a/img/L15 Paxos Milestone 3.png b/img/L15 Paxos Milestone 3.png