Format

jeffrey-xiao · Mar 14, 2019 · 8687fe3 · 8687fe3
1 parent a5770c5
commit 8687fe3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/notes/paxos-made-simple.md b/notes/paxos-made-simple.md
@@ -28,7 +28,7 @@ title: Notes for ``Paxos Made Simple''
      a) An acceptor can accept a proposal numbered $n$ if and only if it has not responded to a
      _prepare_ request having a number greater than $n$
   2. If a proposal with value $v$ is chosen, then every higher-numbered proposal that is chosen has
-  value $v$
+     value $v$
      a) If a proposal with value $v$ is chosen, then every higher-numbered proposal accepted by any
      acceptor has value $v$
      b) If a proposal with value $v$ is chosen, then every higher-numbered proposal issued by any

diff --git a/...on-a-new-primary-copy-method-to-support-highly-available-distributed-systems.md b/...on-a-new-primary-copy-method-to-support-highly-available-distributed-systems.md
@@ -91,7 +91,7 @@ title: Notes for ``Viewstamped Replication - A New Primary Copy Method to Suppor
 - Client's primary acts as coordinate of two-phase commit protocol
   - Determines who the participants are from the `pset`
   - Sends prepare messages to participants of `pset`
-  - Adds committing record to buffer if all participants agree to ensure that commit will  be known
+  - Adds committing record to buffer if all participants agree to ensure that commit will be known
     across view change of coordinator
   - Sends commit messages and when all are acknowledged, adds done record to buffer
   - If transaction aborts, then coordinator sends abort messages to participants and adds an aborted