diff --git a/notes/atlas.md b/notes/atlas.md index 80ccaff236e944f536f93e53a69d50ed21a5593a..b34d5205468a7ef2094035366519aed62aa8c49d 100644 --- a/notes/atlas.md +++ b/notes/atlas.md @@ -3,7 +3,7 @@ EPaxos but......faster. - fastpath quorum: *floor(n/2) + f* -- *more likely* than epaxos to use fast path w/ concurrent non-commuting ops (epaxos can sometimes do this as well, if majority replicas agree on dependencies) +- can *sometimes* use the fast path w/ concurrent non-commuting ops - *always* fast path for *f=1*, fast path minimal majority - faster non-fault-tolerant reads "when the conflict relation between commands is transitive". @@ -23,11 +23,16 @@ For example, we can recover *D* at *f=2* after just fast path even w/ two failur 1. The other failure must be the coordinator, as no need to recover if coordinator doesn't go down. The coordinator appends any deps it knows initially to messages in the collect phase. Therefore, if the coordinator was one of the *f* that reported a specific dependency, the other particplants of the collect phase will know about it. This takes us to *f-2*. - +## Examples  +How to distinguish 2a from this if (1) and (4) die? + + +## Recovery + ## Issues diff --git a/notes/atlasNoC.png b/notes/atlasNoC.png new file mode 100644 index 0000000000000000000000000000000000000000..ff1bdb3de7cda4a126ee53fc61adfc0ba1d5d9ea Binary files /dev/null and b/notes/atlasNoC.png differ diff --git a/notes/atlasRecovery.png b/notes/atlasRecovery.png new file mode 100644 index 0000000000000000000000000000000000000000..3130c6db73911106dc15b571b151199dbe109f1b Binary files /dev/null and b/notes/atlasRecovery.png differ