Paul E. McKenney

According to our database, Paul E. McKenney authored at least 39 papers between 1981 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

RCU Usage In the Linux Kernel: Eighteen Years Later.

Paul E. McKenney, Joel Fernandes, Silas Boyd-Wickizer, Jonathan Walpole

ACM SIGOPS Oper. Syst. Rev., 2020

An HTM-based update-side synchronization for RCU on NUMA systems.

Seongjae Park, Paul E. McKenney, Laurent Dufour, Heon Y. Yeom

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

A critical RCU safety property is... ease of use!

Paul E. McKenney

Proceedings of the 12th ACM International Conference on Systems and Storage, 2019

2018

How verified (or tested) is my code? Falsification-driven verification and testing.

Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney, Josie Holmes

Autom. Softw. Eng., 2018

Verification of tree-based hierarchical read-copy update in the Linux kernel.

Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel.

Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Is Parallel Programming Hard, And, If So, What Can You Do About It? (v2017.01.02a).

Paul E. McKenney

CoRR, 2017

The RCU-Reader Preemption Problem in VMs.

Aravinda Prasad, K. Gopinath, Paul E. McKenney

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Applying Mutation Analysis on Kernel Test Suites: An Experience Report.

Iftekhar Ahmed, Carlos Jensen, Alex Groce, Paul E. McKenney

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015

How Verified is My Code? Falsification-Driven Verification (T).

Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2013

Multi-core systems modeling for formal verification of parallel algorithms.

Mathieu Desnoyers, Paul E. McKenney, Michel R. Dagenais

ACM SIGOPS Oper. Syst. Rev., 2013

Structured Deferral: Synchronization via Procrastination.

Paul E. McKenney

ACM Queue, 2013

2012

User-Level Implementations of Read-Copy Update.

Mathieu Desnoyers, Paul E. McKenney, Alan S. Stern, Michel R. Dagenais, Jonathan Walpole

IEEE Trans. Parallel Distributed Syst., 2012

Cleaning up Linux's CPU hotplug for real time and energy management.

Thomas Gleixner, Paul E. McKenney, Vincent Guittot

SIGBED Rev., 2012

Beyond expert-only parallel programming?

Paul E. McKenney

Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, 2012

Retrofitted Parallelism Considered Grossly Sub-Optimal.

Paul E. McKenney

Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

2011

Resizable, Scalable, Concurrent Hash Tables via Relativistic Programming.

Josh Triplett, Paul E. McKenney, Jonathan Walpole

Proceedings of the 2011 USENIX Annual Technical Conference, 2011

2010

Scalable concurrent hash tables via relativistic programming.

Josh Triplett, Paul E. McKenney, Jonathan Walpole

ACM SIGOPS Oper. Syst. Rev., 2010

Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory.

Paul E. McKenney, Maged M. Michael, Josh Triplett, Jonathan Walpole

ACM SIGOPS Oper. Syst. Rev., 2010

2008

Introducing technology into the Linux kernel: a case study.

Paul E. McKenney, Jonathan Walpole

ACM SIGOPS Oper. Syst. Rev., 2008

The read-copy-update mechanism for supporting real-time applications on shared-memory multiprocessor systems with Linux.

Dinakar Guniguntala, Paul E. McKenney, Josh Triplett, Jonathan Walpole

IBM Syst. J., 2008

Responsive systems: An introduction.

Robert F. Berry, Paul E. McKenney, Francis N. Parr

IBM Syst. J., 2008

2007

Performance of memory reclamation for lockless synchronization.

Thomas E. Hart, Paul E. McKenney, Angela Demke Brown, Jonathan Walpole

J. Parallel Distributed Comput., 2007

Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory.

Paul E. McKenney, Maged M. Michael, Jonathan Walpole

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

2006

Making lockless synchronization fast: performance implications of memory reclamation.

Thomas E. Hart, Paul E. McKenney, Angela Demke Brown

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2003

Enabling autonomic behavior in systems software with hot swapping.

Jonathan Appavoo, Kevin Hui, Craig A. N. Soules, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Marc A. Auslander, David Edelsohn, Benjamin Gamsa, Gregory R. Ganger, Paul E. McKenney, Michal Ostrowski, Bryan S. Rosenburg, Michael Stumm, Jimi Xenidis

IBM Syst. J., 2003

Using Read-Copy-Update Techniques for System V IPC in the Linux 2.5 Kernel.

Andrea Arcangeli, Mingming Cao, Paul E. McKenney, Dipankar Sarma

Proceedings of the FREENIX Track: 2003 USENIX Annual Technical Conference, 2003

2002

Fairlocks A High Performance Fair Locking Scheme.

S. Swaminathan, J. Stultz, J. F. Vogel, Paul E. McKenney

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

2001

Experience with an efficient parallel kernel memory allocator.

Paul E. McKenney, Jack Slingwine, Phil Krueger

Softw. Pract. Exp., 2001

1999

Differential Profiling.

Paul E. McKenney

Softw. Pract. Exp., 1999

1996

Selecting Locking Primitives for Parallel Programming.

Paul E. McKenney

Commun. ACM, 1996

1993

Efficient Kernel Memory Allocation on Shared-Memory Multiprocessors.

Paul E. McKenney, Jack Slingwine

Proceedings of the Usenix Winter 1993 Technical Conference, 1993

1992

Efficient Demultiplexing of Incoming TCP Packets.

Paul E. McKenney, Ken F. Dove

Comput. Syst., 1992

1991

Physical- and Link-Layer Modeling of Packet-Radio Network Performance.

Paul E. McKenney, Peter E. Bausbacher

IEEE J. Sel. Areas Commun., 1991

1990

Packet Recovery in High-Speed Networks Using Coding and Buffer Management.

Nachum Shacham, Paul E. McKenney

Proceedings of the Proceedings IEEE INFOCOM '90, 1990

Stochastic Fairness Queueing.

Paul E. McKenney

Proceedings of the Proceedings IEEE INFOCOM '90, 1990

1989

High-Speed Event Counting and Classification Using a Dictionary Hash Technique.

Paul E. McKenney

Proceedings of the International Conference on Parallel Processing, 1989

1984

An Interleave Principle for Demonstrating concurrent Programs.

Ted G. Lewis, Keith R. Spitz, Paul E. McKenney

IEEE Softw., 1984

1981

User Defined Files.

Kirk A. Bailey, Lee Boynton, Paul E. McKenney, Gary J. Oliver, Dave Regan

ACM SIGOPS Oper. Syst. Rev., 1981