Paxos Courses and Certifications

Docker

Constructing Scalable, Resilient and Consistent Systems with Flexible Paxos

Explore Flexible Paxos, a novel approach to consensus in distributed systems that enhances performance, scalability, and resilience by relaxing majority agreement requirements in Paxos phases.

• YouTube
• 16 minutes
• On-Demand
• Conference Talk

USENIX

Pineapple - Unifying Multi-Paxos and Atomic Shared Registers

Discover Pineapple, a system unifying Multi-Paxos and atomic shared registers using logical timestamps for improved distributed storage performance and reduced leader bottlenecks.

• YouTube
• 19 minutes
• On-Demand
• Free Video

CMU Database Group

Distributed Transactional Database Systems - Lecture 22

Explore distributed transactional database systems, covering coordination, commit protocols, fault tolerance, and replication strategies for robust and scalable data management.

• YouTube
• 1 hour 23 minutes
• On-Demand
• Free Video

CMU Database Group

Architecture Insight of OceanBase: A Distributed SQL Database - CMU Database Seminar

Explore OceanBase's distributed SQL database architecture, covering design goals, replication, transactions, HTAP challenges, and performance benchmarks. Gain insights into its implementation for mission-critical systems.

• YouTube
• 59 minutes
• On-Demand
• Free Video

GOTO Conferences

Patterns of Distributed Systems

Explore patterns in distributed systems design, focusing on common problems and solutions in cloud services and databases. Learn about Raft, Paxos, and principles for robust, scalable architectures.

• YouTube
• 41 minutes
• On-Demand
• Conference Talk

Devoxx

Distributed Ledger

Explore the evolution of distributed ledger technology and consensus algorithms, from Paxos to Hashgraph, with insights on their pros and cons and impact on application architecture.

• YouTube
• 28 minutes
• On-Demand
• Conference Talk

Devoxx

The Computer Science Behind a Modern Distributed Data Store

Explore the challenges and approaches in building distributed, resilient data stores. Learn about consensus algorithms, distributed transactions, and query optimization in modern NoSQL databases like ArangoDB and Cassandra.

• YouTube
• 52 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Geo-Replicated Transactions in 1.5RTT

Explore geo-replicated transactions with a new commit protocol that reduces latency in distributed systems. Learn about Consus, a key-value store optimizing transaction execution across data centers.

• YouTube
• 37 minutes
• On-Demand
• Conference Talk

ACM SIGPLAN

Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions

Explore a novel framework for mostly automated verification of liveness properties in distributed protocols using ranking functions, reducing complex problems to simpler safety property verifications.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Reducing Liveness to Safety in First-Order Logic

Explore a novel technique for verifying temporal properties in infinite-state systems through first-order logic, enabling mechanical verification of complex distributed protocols like TLB Shootdown and Stoppable Paxos.

• YouTube
• 26 minutes
• On-Demand
• Free Video

The ASF

Apache Cassandra as a Transactional Database - From Eventually Consistent to Strict Serializable

Explore the evolution of Apache Cassandra's consistency model, from eventual consistency to transactional capabilities, examining improvements in Paxos, Transactional Metadata, and the Accord protocol.

• YouTube
• 43 minutes
• On-Demand
• Free Video

USENIX

SwiftPaxos - Fast Geo-Replicated State Machines

Explore SwiftPaxos, a protocol enhancing geo-replicated state machines with improved latency and throughput, outperforming Paxos in high-contention scenarios through innovative voting mechanisms.

• YouTube
• 16 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Cyclic Message Histories for Automated Safety Verification of Distributed Algorithms

Explore a novel separation logic approach for automated safety verification of distributed actor systems, focusing on cyclic message histories to enable verification of complex algorithms like Paxos.

• YouTube
• 16 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Bolt-On Strong Consistency - Specification, Implementation, and Verification

Explore automated verification of distributed consensus algorithms using weak replicated data stores to simplify strong consistency implementation and verification.

• YouTube
• 14 minutes
• On-Demand
• Free Video

大数据平台核心技术

讲授分布式系统构架、分布式编程、分布式流处理、分布式数据存储管理、内存计算支持等内容，突出技术深度和实战性。

• XuetangX
• On-Demand
• Free Online Course