From: "Paul E. McKenney" <paulmck@kernel.org>
To: linux-kernel@vger.kernel.org, kasan-dev@googlegroups.com,
kernel-team@fb.com, mingo@kernel.org
Cc: elver@google.com, andreyknvl@google.com, glider@google.com,
dvyukov@google.com, cai@lca.pw, boqun.feng@gmail.com
Subject: [PATCH kcsan 0/19] KCSAN updates for v5.10
Date: Mon, 31 Aug 2020 11:17:15 -0700 [thread overview]
Message-ID: <20200831181715.GA1530@paulmck-ThinkPad-P72> (raw)
Hello!
This series provides KCSAN updates:
1. Add support for atomic builtins.
2. Add atomic builtin TSAN instrumentation to uaccess whitelist.
3. Add atomic builtin test case.
4. Support compounded read-write instrumentation.
5. objtool, kcsan: Add __tsan_read_write to uaccess whitelist.
6. Skew delay to be longer for certain access types.
7. Add missing CONFIG_KCSAN_IGNORE_ATOMICS checks.
8. Test support for compound instrumentation.
9. instrumented.h: Introduce read-write instrumentation hooks.
10. asm-generic/bitops: Use instrument_read_write() where appropriate.
11. locking/atomics: Use read-write instrumentation for atomic RMWs.
12. Simplify debugfs counter to name mapping.
13. Simplify constant string handling.
14. Remove debugfs test command.
15. Show message if enabled early.
16. Use pr_fmt for consistency.
17. Optimize debugfs stats counters.
18. bitops, kcsan: Partially revert instrumentation for non-atomic bitops.
19. Use tracing-safe version of prandom.
Thanx, Paul
------------------------------------------------------------------------
include/asm-generic/atomic-instrumented.h | 330 +++++++++----------
include/asm-generic/bitops/instrumented-atomic.h | 6
include/asm-generic/bitops/instrumented-lock.h | 2
include/asm-generic/bitops/instrumented-non-atomic.h | 36 +-
include/linux/instrumented.h | 30 +
include/linux/kcsan-checks.h | 45 +-
kernel/kcsan/core.c | 238 +++++++++++--
kernel/kcsan/debugfs.c | 136 +------
kernel/kcsan/kcsan-test.c | 128 ++++++-
kernel/kcsan/kcsan.h | 12
kernel/kcsan/report.c | 10
kernel/kcsan/selftest.c | 8
lib/Kconfig.kcsan | 5
scripts/Makefile.kcsan | 2
scripts/atomic/gen-atomic-instrumented.sh | 21 -
tools/objtool/check.c | 55 +++
16 files changed, 697 insertions(+), 367 deletions(-)
next reply other threads:[~2020-08-31 18:17 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-08-31 18:17 Paul E. McKenney [this message]
2020-08-31 18:17 ` [PATCH kcsan 01/19] kcsan: Add support for atomic builtins paulmck
2020-08-31 18:17 ` [PATCH kcsan 02/19] objtool: Add atomic builtin TSAN instrumentation to uaccess whitelist paulmck
2020-08-31 18:17 ` [PATCH kcsan 03/19] kcsan: Add atomic builtin test case paulmck
2020-08-31 18:17 ` [PATCH kcsan 04/19] kcsan: Support compounded read-write instrumentation paulmck
2020-08-31 18:17 ` [PATCH kcsan 05/19] objtool, kcsan: Add __tsan_read_write to uaccess whitelist paulmck
2020-08-31 18:17 ` [PATCH kcsan 06/19] kcsan: Skew delay to be longer for certain access types paulmck
2020-08-31 18:17 ` [PATCH kcsan 07/19] kcsan: Add missing CONFIG_KCSAN_IGNORE_ATOMICS checks paulmck
2020-08-31 18:17 ` [PATCH kcsan 08/19] kcsan: Test support for compound instrumentation paulmck
2020-08-31 18:17 ` [PATCH kcsan 09/19] instrumented.h: Introduce read-write instrumentation hooks paulmck
2020-08-31 18:17 ` [PATCH kcsan 10/19] asm-generic/bitops: Use instrument_read_write() where appropriate paulmck
2020-08-31 18:17 ` [PATCH kcsan 11/19] locking/atomics: Use read-write instrumentation for atomic RMWs paulmck
2020-08-31 18:17 ` [PATCH kcsan 12/19] kcsan: Simplify debugfs counter to name mapping paulmck
2020-08-31 18:17 ` [PATCH kcsan 13/19] kcsan: Simplify constant string handling paulmck
2020-08-31 18:18 ` [PATCH kcsan 14/19] kcsan: Remove debugfs test command paulmck
2020-08-31 18:18 ` [PATCH kcsan 15/19] kcsan: Show message if enabled early paulmck
2020-08-31 18:18 ` [PATCH kcsan 16/19] kcsan: Use pr_fmt for consistency paulmck
2020-08-31 18:18 ` [PATCH kcsan 17/19] kcsan: Optimize debugfs stats counters paulmck
2020-08-31 18:18 ` [PATCH kcsan 18/19] bitops, kcsan: Partially revert instrumentation for non-atomic bitops paulmck
2020-09-02 3:30 ` Boqun Feng
2020-09-02 6:13 ` Marco Elver
2020-09-04 1:24 ` Boqun Feng
2020-08-31 18:18 ` [PATCH kcsan 19/19] kcsan: Use tracing-safe version of prandom paulmck
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20200831181715.GA1530@paulmck-ThinkPad-P72 \
--to=paulmck@kernel.org \
--cc=andreyknvl@google.com \
--cc=boqun.feng@gmail.com \
--cc=cai@lca.pw \
--cc=dvyukov@google.com \
--cc=elver@google.com \
--cc=glider@google.com \
--cc=kasan-dev@googlegroups.com \
--cc=kernel-team@fb.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®