Theoretical Foundations for Emerging Multiprocessor Technologies: RDMA and NVRAM

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 2 of 4

Hardware Verification using High-Level Design Languages

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

Concurrency and Mutual Exclusion

Covers the importance of concurrency, atomic operations, and mutual exclusion using locks.

Distributed Transactions: Principles and Protocols

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

Concurrency and Parallelism: Visibility

Explores visibility in concurrency, memory models, shared memory, and hardware optimizations.

Asynchronous Programming: Callbacks and Failures

Covers the concept of asynchronous programming and how to handle dependencies and failures.

Parallel Programming I

Covers the basics of parallel programming, including concurrency, forms of parallelism, synchronization, and programming models like PThreads and OpenMP.

Architecture of CockroachDB

Explores the architecture of CockroachDB, focusing on transaction management, concurrency control, and scalability.

Lock-Free Synchronization: Performance and Scalability

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

Distributed Transactions: Coordination, Concurrency Control, and Recovery

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

GPU Acceleration in OLTP Execution

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