Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Memory Consistency II
Graph Chatbot
Related lectures (32)
Previous
Page 3 of 4
Next
Distributed Transactions: Architectures and Protocols
Explores parallel database architectures and distributed transaction protocols, focusing on coordination, concurrency control, and recovery challenges.
Distributed Transactions: Coordination, Concurrency Control, and Recovery
Explores distributed transactions, covering coordination, concurrency control, recovery, and the Two-Phase Commit protocol.
Memory Consistency: Basics and Models
Explores memory consistency basics, cache coherence, and modern CPU challenges.
Performance: Hardware and Software Optimization
Explores hardware and software optimization for system performance, emphasizing the importance of reducing delay per gate and improving architecture.
Transactional Memory: Hardware Simplification
Explores hardware-based transactional memory for simplifying concurrency control and improving performance in hash tables.
Concurrency and transactional memory in Dafny
Covers Dafny for formal verification, modeling concurrency, safety rules, liveness, and transactional memory concepts.
Memory Models: Visibility and Semantics
Explains the Java Memory Model and thread start semantics for concurrent programs.
Lock-Free Synchronization: Practical Insights
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
Delves into lock-based concurrency control, deadlock handling, transaction models, and their limitations.
Threads: Concurrency and Parallelism in Computer Systems
Covers the thread abstraction in computer systems, focusing on concurrency, parallelism, and the management of threads using the POSIX API.
