Concept

Concurrent computing

Related lectures (31)

Explores concurrency semantics, recursive functions, loops, interleaving modeling, and interpreter verification.

Reliable Storage: Regular Register Algorithm

Covers the specification of a register, sequential and concurrent execution, and correctness properties.

Transaction Management & Concurrency Control

Explores transaction management, concurrency control, ACID properties, anomalies, and conflict serializability in database systems.

Introduction to Concurrency

Covers the basics of concurrency, its importance, and how to write concurrent programs.

Concurrency Control & Recovery in Databases

Delves into transaction management, concurrency control, and recovery in databases to ensure data integrity and system resilience.

Synchronization Inference

Explores automatic synthesis of correct and efficient synchronization in programs, focusing on removing redundant atomicity and adding synchronization metadata.

Concurrency and Parallelism: Queue

Explores thread safety, synchronization, and concurrent collections in Scala, focusing on a lock-free concurrent queue implementation.

Concurrency with Futures

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

Concurrency Properties: Basics and Locks

Explores concurrency properties, race conditions, and the basics of locks.

Concurrency Primitives and Pitfalls

Explores concurrency primitives, mutual exclusion, and synchronization pitfalls in operating systems, focusing on condition variables and semaphores.

Concurrency: Deadlock

Covers the concept of deadlock in concurrent programming and provides solutions to prevent them.

One place buffer: Producer-consumer queue

Introduces the concept of a one-place buffer in concurrent programming.

Sequential consistency: Basic Concepts

Explains the Sequential Consistency model in concurrency and parallelism, covering program order, atomicity, and performance implications.

Parallel Computation: Tasks

Explores parallel computation using tasks for concurrent execution and demonstrates their implementation in practice.

Concurrency and Mutual Exclusion

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

Concurrency with Executors

Covers the basics of concurrency properties, Executors, Runnable objects, ForkJoinPool, task completion handling, execution contexts in Scala, and simplifying task execution.

Atomic Operations: Basics and Applications

Covers the basics of atomic operations in concurrency and parallelism, including hardware-provided operations and synchronized algorithms.

Concurrency Basics: Threads and Synchronization

Covers the basics of concurrency, focusing on threads and synchronization, including thread joining and challenges of non-deterministic execution.

Hardware Verification using High-Level Design Languages

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

Introduction to Multicore Processors

Covers the shift to multicore processors, processor-memory architecture, concurrency challenges, and synchronization problems in modern computing.