Optimistic concurrency control

Applied sciences
Computer engineering
High-performance computing
Distributed computing

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 3 of 4

Shared Work Systems: Optimization

Covers query engines, shared work systems, and data processing optimization strategies.

Concurrency and transactional memory in Dafny

Covers Dafny basics, modeling concurrency, and implementing transactional memory with safety and liveness proofs.

Hardware Verification using High-Level Design Languages

Explores challenges in hardware verification, clear specifications, speculation harm, and cycle-precise semantics.

One-place Buffer: Monitor-based Implementation

Discusses the implementation of a one-place buffer using monitors in a concurrent environment.

Concurrency Overview

Explores the significance of concurrency in enhancing system performance and responsiveness, emphasizing the need for synchronization and atomicity to prevent race conditions and non-determinism.

Locks: Implementing Concurrency Mechanisms

Covers the implementation of locks using compareAndSet and the concept of fair locks.

Transactional Memory: Hardware Simplification

Explores hardware-based transactional memory for simplifying concurrency control and improving performance in hash tables.

Conquering Highly Concurrent Workloads

Explores optimizing data layout and query execution for highly concurrent workloads, emphasizing low latency and interactivity in analytical queries.

GPU Acceleration in OLTP Execution

Explores GPU acceleration in OLTP execution and the benefits of proportional caching for query throughput.

Buffer Management in DBMS

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