Concurrency control

Applied sciences
Computer engineering
High-performance computing
Distributed computing

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 3 of 4

Transactions and ACID: Overview

Explores transactions, ACID properties, concurrency challenges, and scheduling in database management systems.

Dining Philosophers Problem

Discusses algorithms to prevent starvation and maximize philosophers eating simultaneously.

Transactions

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

ACID and Transaction Schedules

Explores transactions, ACID properties, schedules, and anomalies in database systems.

Concurrency with Futures

Explores futures as a structured approach to concurrency, simplifying parallel tasks and input-output operations.

Transactional Memory: Hardware Concurrency Control

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

Optimistic Concurrency Control: Timestamp Ordering

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

Concurrency and transactional memory in Dafny

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

Parallelism and Concurrency

Covers the course CS206 on Parallelism and Concurrency, including logistics, materials, exercise sessions, labs, exams, and grading criteria.

Shared Work Systems: Optimization

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