Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Distributed Transactions: Principles and Protocols

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (42)

Data Intensive Applications and Systems: HTAP Overview Log in to Mediaspace to watch this video

Provides an overview of HTAP systems, covering concurrency control, data layout, consolidation trade-offs, and workload-driven snapshot efficiency.

Untitled Log in to Mediaspace to watch this video

Transactions and Concurrency Control Log in to Mediaspace to watch this video

Delves into transactions, ACID properties, schedules, locking protocols, and concurrency control in database systems.

Optimistic Concurrency Control: Timestamp Ordering Log in to Mediaspace to watch this video

Explores optimistic concurrency control through timestamp ordering and continuous validation tests.

Operational Analytics: Fresh Data Management Techniques Log in to Mediaspace to watch this video

Covers operational analytics, focusing on the adaptive STEP system for efficient access to fresh data in analytical processing.

Transactional Memory: Hardware Simplification Log in to Mediaspace to watch this video

Explores transactional memory and hardware simplification for concurrency control in software, emphasizing the benefits of hardware speculation and declarative concurrency.

Transactions Log in to Mediaspace to watch this video

Explores the elegance and challenges of transactions in structuring stateful systems, emphasizing ACID properties and the trade-offs of transactional memory.

Distributed Transactions: 2PC Principles and Replication Strategies Log in to Mediaspace to watch this video

Explores 2PC principles, failure scenarios, and replication strategies in distributed transactions and discusses the transition from ACID to BASE properties in NoSQL systems.

Version Control System: Basics and Workflow Log in to Mediaspace to watch this video

Introduces the basics of Version Control Systems, focusing on Git operations and branching strategies.

Buffer Management in DBMS Log in to Mediaspace to watch this video

Discusses buffer management in a DBMS, covering challenges, buffer pool, and replacement policies.

Transactions: Concepts and Implementations Log in to Mediaspace to watch this video

Explores the significance and challenges of transactions, emphasizing ACID properties and the practical implications of using transactional memory for concurrency control.

Multi-Version Concurrency Control: Optimistic Approaches Log in to Mediaspace to watch this video

Explores Multi-Version Concurrency Control with optimistic approaches to enhance transaction processing systems.

Lock-Free Synchronization: Performance and Scalability Log in to Mediaspace to watch this video

Explores lock-free synchronization for performance and scalability in distributed systems, covering unique identifier generation, messaging queues, and atomic RDMA reads.

Replication: Strategies and Techniques Log in to Mediaspace to watch this video

Explores replication strategies in distributed systems, covering synchronous, asynchronous replication, and conflict resolution.

Device Management in Operating Systems: Chaperones and Persistence Log in to Mediaspace to watch this video

Discusses device management in operating systems, focusing on device drivers, persistence, and performance optimization techniques.

Memory Consistency II Log in to Mediaspace to watch this video

Explores speculative memory consistency, challenges, solutions, performance overhead, and the impact of dynamic fence enforcement on achieving high performance.

Formally Verified Chisel Designs Log in to Mediaspace to watch this video

Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.

Monitoring with Icinga2 Log in to Mediaspace to watch this video

Explores the monitoring of a new VM and the use of Icinga2 for critical alerts and incident management.

General-Purpose Distributed Execution System Log in to Mediaspace to watch this video

Explores the design of a general-purpose distributed execution system, covering challenges, specialized frameworks, decentralized control logic, and high-performance shuffle.

Git Version Control System Log in to Mediaspace to watch this video

Introduces Git, a version control system essential for software development.

Page 2 of 3