Paul McKenney

Italy2010a

Paul McKenney

IBM Linux Technology Center

Biography

Paul E. McKenney has been coding for almost four decades, more than half of that on parallel hardware, where his work has earned him a reputation among some as a flaming heretic. Over the past decade, Paul has been an IBM Distinguished Engineer at the IBM Linux Technology Center. Paul maintains the RCU implementation within the Linux kernel, where the variety of workloads present highly entertaining performance, scalability, real-time response, and energy-efficiency challenges. Prior to that, he worked on the DYNIX/ptx kernel at Sequent, and prior to that on packet-radio and Internet protocols (but long before it was polite to mention Internet at cocktail parties), system administration, business applications, and real-time systems. His hobbies include what passes for running at his age along with the usual house-wife-and-kids habit.

Kernel Summit Sessions

Proposals for this user

* A Formal Model of Linux-Kernel Memory Ordering

Review, explore, and critique a draft formal model of Linux-kernel memory ordering. (slides)
Kernel Summit Track 10/29/2016
Paul McKenney

* Rerun: A Formal Model of Linux-Kernel Memory Ordering

Review, explore, and critique a draft formal model of Linux-kernel memory ordering. (slides)
Kernel Summit Track 11/04/2016
Paul McKenney

Linux Plumbers Conference 2016 BoF Sessions

Proposals for this user

* A Formal Model of Linux-Kernel Memory Ordering

Review, explore, and critique a draft formal model of Linux-kernel memory ordering.
BoFs 09/16/2016
Paul McKenney