lkml.org 
[lkml]   [2020]   [Jan]   [10]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
Subject[PATCH -rcu v2 0/2] kcsan: Improvements to reporting
From
Improvements to KCSAN data race reporting:
1. Show if access is marked (*_ONCE, atomic, etc.).
2. Rate limit reporting to avoid spamming console.

v2:
* Paul E. McKenney: commit message reword.
* Use jiffies instead of ktime -- we want to avoid calling into any
further complex libraries, since KCSAN may also detect data races in
them, and as a result potentially leading to observing corrupt state
(e.g. here, observing corrupt ktime_t value).


Marco Elver (2):
kcsan: Show full access type in report
kcsan: Rate-limit reporting per data races

kernel/kcsan/core.c | 15 +++--
kernel/kcsan/kcsan.h | 2 +-
kernel/kcsan/report.c | 151 +++++++++++++++++++++++++++++++++++-------
lib/Kconfig.kcsan | 10 +++
4 files changed, 146 insertions(+), 32 deletions(-)

--
2.25.0.rc1.283.g88dfdc4193-goog

\
 
 \ /
  Last update: 2020-01-10 19:50    [W:0.049 / U:8.188 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site