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

Home

Lecture

Transactions and Concurrency Control

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.

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.

Scalable Synchronization Mechanisms for Manycore Operating Systems Log in to Mediaspace to watch this video

Explores scalable synchronization mechanisms for many-core operating systems, focusing on the challenges of handling data growth and regressions in OS.

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.

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

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

Theoretical Foundations for Emerging Multiprocessor Technologies: RDMA and NVRAM Log in to Mediaspace to watch this video

Explores theoretical foundations for RDMA and NVRAM in multiprocessor technologies, covering contention, concurrency control, and fault tolerance.

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

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

Real-time Update of Column Store on Disk Log in to Mediaspace to watch this video

Explores challenges and solutions for real-time updates on large column stores on disk, focusing on snapshot isolation and query performance.

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

Explores Optimistic Concurrency Control, tests for conflicts, critical sections, overheads, Multiversion Concurrency Control, Snapshot Isolation, and transaction performance enhancements.

Parallel Databases Log in to Mediaspace to watch this video

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

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

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

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.

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.

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.

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.

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.

Data Streams and Approximation Log in to Mediaspace to watch this video

Explores data stream management, real-time analytics, data stream models, and processing challenges.

Data Perturbation: Protecting Privacy in Database Systems Log in to Mediaspace to watch this video

Explores data perturbation for privacy protection in database systems, including aggregate reconstruction and its application in data mining.

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.

Relational Model: Basics Log in to Mediaspace to watch this video

Introduces the relational model, SQL, keys, integrity constraints, ER translation, weak entities, ISA hierarchies, and SQL vs. noSQL.

Page 2 of 3