* [tip: locking/debug] tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic
@ 2021-08-18 7:58 tip-bot2 for Paul E. McKenney
0 siblings, 0 replies; only message in thread
From: tip-bot2 for Paul E. McKenney @ 2021-08-18 7:58 UTC (permalink / raw)
To: linux-tip-commits; +Cc: Manfred Spraul, Paul E. McKenney, x86, linux-kernel
The following commit has been merged into the locking/debug branch of tip:
Commit-ID: 1846a7fa767fbf8cf42d71daf75d51e30e3c8327
Gitweb: https://git.kernel.org/tip/1846a7fa767fbf8cf42d71daf75d51e30e3c8327
Author: Paul E. McKenney <paulmck@kernel.org>
AuthorDate: Thu, 13 May 2021 11:17:02 -07:00
Committer: Paul E. McKenney <paulmck@kernel.org>
CommitterDate: Tue, 20 Jul 2021 13:52:03 -07:00
tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic
The current definition of read_foo_diagnostic() in the "Lock Protection
With Lockless Diagnostic Access" section returns a value, which could
be use for any purpose. This could mislead people into incorrectly
using data_race() in cases where READ_ONCE() is required. This commit
therefore makes read_foo_diagnostic() simply print the value read.
Reported-by: Manfred Spraul <manfred@colorfullife.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
---
tools/memory-model/Documentation/access-marking.txt | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tools/memory-model/Documentation/access-marking.txt b/tools/memory-model/Documentation/access-marking.txt
index 1ab189f..58bff26 100644
--- a/tools/memory-model/Documentation/access-marking.txt
+++ b/tools/memory-model/Documentation/access-marking.txt
@@ -259,9 +259,9 @@ diagnostic purposes. The code might look as follows:
return ret;
}
- int read_foo_diagnostic(void)
+ void read_foo_diagnostic(void)
{
- return data_race(foo);
+ pr_info("Current value of foo: %d\n", data_race(foo));
}
The reader-writer lock prevents the compiler from introducing concurrency
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2021-08-18 7:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-08-18 7:58 [tip: locking/debug] tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic tip-bot2 for Paul E. McKenney
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).