Lectures related to Architecture of CockroachDB

Gitlab Agent for Kubernetes (`agentk`)

Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.

Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.

Transaction Management & Concurrency Control Log in to Mediaspace to watch this video

Explores transaction management, concurrency control, ACID properties, anomalies, and conflict serializability in database systems.

Concurrency Control & Recovery in Databases Log in to Mediaspace to watch this video

Delves into transaction management, concurrency control, and recovery in databases to ensure data integrity and system resilience.

Distributed Transactions: Architectures and Protocols Log in to Mediaspace to watch this video

Explores parallel database architectures and distributed transaction protocols, focusing on coordination, concurrency control, and recovery challenges.

Distributed Transactions: Principles and Protocols Log in to Mediaspace to watch this video

Explores distributed transactions, covering principles, protocols, concurrency control, commit, and replication.

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

Delves into lock-based concurrency control, deadlock handling, transaction models, and their limitations.

Distributed Transactions: Coordination, Concurrency Control, and Recovery Log in to Mediaspace to watch this video

Explores distributed transactions, covering coordination, concurrency control, recovery, and the Two-Phase Commit protocol.

Concurrency Control & Eventual Consistency Log in to Mediaspace to watch this video

Covers concurrency control techniques and eventual consistency in databases, including two-phase locking, strict 2PL, and Dynamo's algorithm.

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.

Concurrency Control: Lock-Based Protocols Log in to Mediaspace to watch this video

Covers lock-based concurrency control protocols and various transaction models.

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

Explores the elegance and challenges of transactions, including ACID properties and transactional memory benefits in concurrent programming.

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

Explores transactions, concurrency control, conflict resolution, and snapshot isolation in databases, emphasizing consistency and performance.

Terminating Reliable Broadcast & NBAC Log in to Mediaspace to watch this video

Explores Terminating Reliable Broadcast and Non-Blocking Atomic Commit in distributed systems, covering agreement, consensus, and transaction commitment.

Untitled Log in to Mediaspace to watch this video

Transactional Memory: Hardware Concurrency Control Log in to Mediaspace to watch this video

Explores transactional memory for hardware concurrency control, discussing locking mechanisms, performance trade-offs, and hardware changes.

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: Two-phase Locking and Invisible Reads Log in to Mediaspace to watch this video

Explores historical perspectives and mechanisms of transactional memory, emphasizing the importance and challenges of its implementation in modern computing systems.

Introduction to Database Systems Log in to Mediaspace to watch this video

Covers the basics of database systems, including data modeling, DBMS, data independence, and the course overview.

Parallel Databases Log in to Mediaspace to watch this video

Explores parallel and distributed databases, covering architectures, query optimization, data storage, and distributed transactions.