SRCU changes for the Linux Kernel Memory Model

[PATCH 0/2] SRCU changes for the Linux Kernel Memory Model

Alan Stern posted 2 patches 3 years ago

Only 1 patches received!

[PATCH 0/2] SRCU changes for the Linux Kernel Memory Model

Posted by Alan Stern 3 years ago

Paul et al.:

Here are the promised patches for the LKMM.

	1/2: tools/memory-model: Update some warning labels
	2/2: tools/memory-model: Provide exact SRCU semantics

Alan

[Patch 1/2] tools/memory-model: Update some warning labels