[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <Y9GO3xEYkIQq/qSl@rowland.harvard.edu>
Date: Wed, 25 Jan 2023 15:19:43 -0500
From: Alan Stern <stern@...land.harvard.edu>
To: "Paul E. McKenney" <paulmck@...nel.org>
Cc: Jonas Oberhauser <jonas.oberhauser@...weicloud.com>,
Andrea Parri <parri.andrea@...il.com>,
Jonas Oberhauser <jonas.oberhauser@...wei.com>,
Peter Zijlstra <peterz@...radead.org>, will <will@...nel.org>,
"boqun.feng" <boqun.feng@...il.com>, npiggin <npiggin@...il.com>,
dhowells <dhowells@...hat.com>,
"j.alglave" <j.alglave@....ac.uk>,
"luc.maranget" <luc.maranget@...ia.fr>, akiyks <akiyks@...il.com>,
dlustig <dlustig@...dia.com>, joel <joel@...lfernandes.org>,
urezki <urezki@...il.com>,
quic_neeraju <quic_neeraju@...cinc.com>,
frederic <frederic@...nel.org>,
Kernel development list <linux-kernel@...r.kernel.org>
Subject: [PATCH 0/2] SRCU changes for the Linux Kernel Memory Model
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
Powered by blists - more mailing lists