Linux Kernel Memory Consistency Model Going Into The 4.17 Kernel

Written by Michael Larabel in Linux Kernel on 2 April 2018 at 05:50 AM EDT. Add A Comment
A new "subsystem" going into the Linux 4.17 kernel is LKMM, the Linux Kernel Memory Consistency Model.

The Linux Kernel Memory Consistency Model is a set of tools to describe the Linux memory coherency model and in effect litmus tests for the kernel code. The Linux Kernel Memory Consistency Model has come about to overcome shortcomings of the memory barriers documentation.

The LKMM tests have already been successful in uncovering bugs within the kernel's locking primitives and for better documenting the Linux memory model.

Ingo Molnar sent in the pull request including the Linux Kernel Memory Consistency Model subsystem as part of the locking changes pull request on this first day of the Linux 4.17 kernel merge window. These changes add in five thousand new lines of code and documentation.
Related News
About The Author
Michael Larabel

Michael Larabel is the principal author of and founded the site in 2004 with a focus on enriching the Linux hardware experience. Michael has written more than 20,000 articles covering the state of Linux hardware support, Linux performance, graphics drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and automated benchmarking software. He can be followed via Twitter, LinkedIn, or contacted via

Popular News This Week