Paul E. McKenney's Journal

Parallel Programming: Cooperation

Stupid RCU Tricks: So You Want to Torture RCU With a Non-Trivial Userspace?

Parallel Programming: June 2023 Update

What Does It Mean To Be An RCU Implementation?

Stupid RCU Tricks: So You Want To Add Kernel-Boot Parameters Behind rcutorture's Back?

Hiking Hills

Stupid RCU Tricks: CPP Summit Presentation

Parallel Programming: September 2022 Update

Kangrejos 2022: The Rust for Linux Workshop

Confessions of a Recovering Proprietary Programmer, Part XIX: Concurrent Computational Models

Stupid SMP Tricks: A Review of Locking Engineering Principles and Hierarchy

Stupid RCU Tricks: How Read-Intensive is The Kernel's Use of RCU?

Stupid RCU Tricks: Is RCU Watching?

Parallel Programming: December 2021 Update

Stupid RCU Tricks: Removing CONFIG_RCU_FAST_NO_HZ

Stupid RCU Tricks: Creating Branches For the -rcu Tree

What Memory Model Should the Rust Language Use?

Stupid RCU Tricks: Waiting for Grace Periods From NMI Handlers

Verification Challenges

TL;DR: Memory-Model Recommendations for Rusting the Linux Kernel

Rusting the Linux Kernel: Summary and Conclusions

Can the Kernel Concurrency Sanitizer Own Rust Code?

Will Your Rust Code Survive the Attack of the Zombie Pointers?

How Much of the Kernel Can Rust Own?

Can Rust Code Own RCU?