PPT-CSE 486/586 Distributed Systems

Byzantine Fault Tolerance 1 Steve Ko Computer Sciences and Engineering University at Buffalo Recap Spanner Geodistributed database Supports a relational data model with a SQLlike language. Security --- 2. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. Three . types of functions. Cryptographic hash, symmetric key crypto, asymmetric key . crypto. Cryptographic hash. 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,. Replication --- 1. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap: Concurrency Control. Extracting more concurrency. Non-exclusive locks. Two-version locking. Reducing the lock overhead. Consistency --- 2. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Linearizability. vs. Sequential Consistency. Both care about giving . an illusion of a single copy. .. From the outside observer, the system should (almost) behave as if there’s only a single copy.. Case Study: Amazon Dynamo. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. CAP Theorem?. Consistency, Availability, Partition Tolerance. Pick two. Eventual consistency?. Availability and partition tolerance over consistency. Byzantine Fault Tolerance. Steve Ko. Computer Sciences and Engineering. University at Buffalo. CSE 486/586 . Administrivia. Project 3 out. Please, please start right away!. Deadline: 4/30 (Monday) @ 11:59PM. 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. 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. --- 1. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. NFS. Caching with write-through policy at close(). Stateless server. One power efficient design: FAWN. Embedded CPUs & Flash . Web Content Distribution-. --3. Case Study: Facebook f4. Steve Ko. Computer Sciences and Engineering. University at Buffalo. Recap. Engineering principle. Make the common case fast, and rare cases correct. 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.