Concurrency & Synchronization Courses and Certifications

ACM SIGPLAN

Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels

Explore stateless model checking algorithms for application correctness under weak database isolation levels using dynamic partial order reduction techniques.

• YouTube
• 16 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Sound Dynamic Deadlock Prediction in Linear Time

Explore a novel approach to dynamic deadlock prediction in concurrent systems, introducing sync-preserving deadlocks and efficient algorithms for sound, linear-time detection.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Putting Weak Memory in Order via a Promising Intermediate Representation

Explore an in-order shared-memory concurrency model for C/C++, supporting non-atomic accesses and compiler optimizations while maintaining soundness between source and intermediate representation.

• YouTube
• 17 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic

Explore AxSL, a separation logic for Arm-A's relaxed memory model, enabling fine-grained reasoning for high-performance systems code. Discover its mechanization, key examples, and soundness proof.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

ACCU Conference

Concurrency Hylomorphism - A Structured Approach to Safe and Efficient Concurrent Programming

Explore a structured concurrency model for safe, efficient, and easy concurrent programming, inspired by Aristotle's hylomorphism. Learn to build effective abstractions with safety guarantees and performance considerations.

• YouTube
• 1 hour 13 minutes
• Self-Paced
• Free Video

Kernel Recipes

Reader Writer Semaphore Design - Kernel Recipes 2024

Explore Linux kernel's Reader Writer Semaphore design, atomic contention issues, and potential optimizations for improved scalability in container applications.

• YouTube
• 42 minutes
• Self-Paced
• Free Video

Scalable Parallel Computing Lab, SPCL @ ETH Zurich

LRSCwait: Enabling Scalable and Efficient Synchronization in Manycore Systems

Explore scalable synchronization in manycore systems with LRSCwait. Learn about polling-free and retry-free operations for improved throughput and energy efficiency in shared-memory architectures.

• YouTube
• 14 minutes
• Self-Paced
• Free Video

Reclamation Interactions with RCU

Explore reclamation interactions with RCU, a crucial concept in Linux kernel development, presented by expert Paul E. McKenney.

• YouTube
• 30 minutes
• Self-Paced
• Free Video

EuroPython Conference

Tackling Thread Safety in Python

Explore thread safety challenges in Python, understand race conditions, GIL's impact on multithreading, and learn to fix unsafe code using synchronization primitives.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

Kernel Locking Engineering - Principles and Patterns

Explore kernel locking design principles, common pitfalls, and hierarchical approaches for concurrent code in Linux. Learn effective patterns for maintainable and correct driver subsystem development.

• YouTube
• 40 minutes
• Self-Paced
• Free Video

Scala Days Conferences

Explaining Different Coroutine Flavors Using Scala Native

Explore coroutines in modern languages, their types, and implementation. Learn about stackless and stackfull variants, LLVM backend optimizations, and green threads in operating systems.

• YouTube
• 37 minutes
• Self-Paced
• Free Video

Linux Plumbers Conference

Do Nothing Fast - How to Scale Idle CPUs

Explore surprising benchmark results and solutions for scaling idle CPUs in high-core systems, delving into wakeup-queueing, idle frequency, and task migration challenges.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

EuroPython Conference

From Built-in Concurrency Primitives to Large Scale Distributed Computing

Explore asynchronous execution in Python, from basic concurrency to distributed systems. Master Future and Executor interfaces, asyncio, and frameworks like Dask for efficient large-scale data processing.

• YouTube
• 40 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Soundness of Predictive Concurrency Analyses

Discover unified soundness definitions for predictive concurrency analyses that detect bugs from execution traces without source code access, including weak memory model support.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

Career Certificate

Build a Web Scraper in Go

63 ratings at Boot.dev

Master Go by building a web scraper that crawls pages, handles HTTP requests, parses HTML, and generates reports - perfect for SEO analysis and data extraction.

• Boot.dev
• 6 hours
• Self-Paced
• Paid Course