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

Home

Lecture

Memory Consistency II

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (42)

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: 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.

Memory Consistency: Basics and Models Log in to Mediaspace to watch this video

Explores memory consistency basics, cache coherence, and modern CPU challenges.

Performance: Hardware and Software Optimization Log in to Mediaspace to watch this video

Explores hardware and software optimization for system performance, emphasizing the importance of reducing delay per gate and improving architecture.

Transactional Memory: Hardware Simplification Log in to Mediaspace to watch this video

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

Concurrency and transactional memory in Dafny Log in to Mediaspace to watch this video

Covers Dafny for formal verification, modeling concurrency, safety rules, liveness, and transactional memory concepts.

Lock-Free Synchronization: Practical Insights Log in to Mediaspace to watch this video

Explores the significance of lock-free synchronization for achieving low latency in distributed systems and discusses practical solutions for unique identifier generation and messaging queues.

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.

Threads: Concurrency and Parallelism in Computer Systems Log in to Mediaspace to watch this video

Covers the thread abstraction in computer systems, focusing on concurrency, parallelism, and the management of threads using the POSIX API.

Multi-Cycle MIPS Processor Log in to Mediaspace to watch this video

Explores the design and performance analysis of a Multi-Cycle MIPS Processor compared to a Single-Cycle Processor, emphasizing benefits and downsides.

Improving Models of the Ventral Visual Pathway Log in to Mediaspace to watch this video

Explores computational models of the ventral visual system, focusing on optimizing networks for real-world tasks and comparing to brain data.

Block Pulled by a Spring Log in to Mediaspace to watch this video

Explores the dynamics of a block pulled by a spring under various conditions.

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

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

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.

Memory Consistency: Taking it to the Compiler Log in to Mediaspace to watch this video

Explores memory consistency, weak consistency, and language-level guarantees in memory ordering, emphasizing the importance of data race free programming.

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.

ECDSA Ring Signature Log in to Mediaspace to watch this video

Explores ring signatures for anonymous feedback collection and introduces the ZK Attest protocol for secure signature verification using zero-knowledge proofs.

Untitled Log in to Mediaspace to watch this video

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.

Page 2 of 3