PPT-CSE 486/586 Distributed Systems

Google Chubby Lock Service Steve Ko Computer Sciences and Engineering University at Buffalo Recap Paxos is a consensus algorithm Proposers Acceptors Learners A proposer always makes sure that. Domain Name System. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Last Time. Global states. A union of all process states. Consistent global state vs. inconsistent global state. Concurrency Control --- 3. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. Strict execution of transactions?. Delay . both their read and write operations . on an . object until . Google Chubby Lock Service. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. Paxos. is a consensus algorithm.. Proposers?. Acceptors?. Learners?. A proposer always makes sure that,. Paxos. --- 2. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. Paxos. is a consensus algorithm.. It allows multiple acceptors accepting multiple proposals.. A proposer always makes sure that,. Paxos. --- 2. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. Paxos. is a consensus algorithm.. It allows multiple acceptors.. It allows multiple proposals to be accepted.. Gossiping. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recall: Passive Replication. Request Communication. : the request is issued to the primary RM and carries a unique request id.. Case Study: . Facebook Haystack. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. DNS. Hierarchical servers. Root servers, top-level domain servers, authoritative servers. CDN. Leader . Election --- 2. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Algorithm 2: Modified Ring Election . election . message tracks . all. IDs of nodes that forwarded it, not just the highest. Concurrency . Control --- 1. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap: Transactions. Transactions?. Abstraction for . grouping multiple operations into one. Transaction primitives?. Gossiping. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. Consistency models. Linearizability. Sequential consistency. Causal consistency. Eventual consistency. Depending on application scenarios, one consistency model makes more sense that others.. Reliable Multicast --- 2. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap: Multicast. How do a group of processes communicate?. Multicast. One-to-many: “Local” broadcast within a group . Google Spanner. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. Digital certificates. Binds a public key to its owner. Establishes a chain of trust. TLS. Provides an application-transparent way of secure communication. Paxos. --- 2. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. Paxos. is a consensus algorithm.. It allows multiple acceptors accepting multiple proposals.. A proposer always makes sure that,. Global States. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Last Time. Ordering of events. Many applications need it, e.g., collaborative editing, distributed storage, etc.. Logical time.