mirror of
https://github.com/torvalds/linux.git
synced 2024-11-25 21:51:40 +00:00
49f72d5358
Rework atomic.h into permissive.h to better reflect its purpose, and introduce kcsan_ignore_address() and kcsan_ignore_data_race(). Introduce CONFIG_KCSAN_PERMISSIVE and update the stub functions in preparation for subsequent changes. As before, developers who choose to use KCSAN in "strict" mode will see all data races and are not affected. Furthermore, by relying on the value-change filter logic for kcsan_ignore_data_race(), even if the permissive rules are enabled, the opt-outs in report.c:skip_report() override them (such as for RCU-related functions by default). The option CONFIG_KCSAN_PERMISSIVE is disabled by default, so that the documented default behaviour of KCSAN does not change. Instead, like CONFIG_KCSAN_IGNORE_ATOMICS, the option needs to be explicitly opted in. Signed-off-by: Marco Elver <elver@google.com> Acked-by: Mark Rutland <mark.rutland@arm.com> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
48 lines
1.1 KiB
C
48 lines
1.1 KiB
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
/*
|
|
* Special rules for ignoring entire classes of data-racy memory accesses. None
|
|
* of the rules here imply that such data races are generally safe!
|
|
*
|
|
* All rules in this file can be configured via CONFIG_KCSAN_PERMISSIVE. Keep
|
|
* them separate from core code to make it easier to audit.
|
|
*
|
|
* Copyright (C) 2019, Google LLC.
|
|
*/
|
|
|
|
#ifndef _KERNEL_KCSAN_PERMISSIVE_H
|
|
#define _KERNEL_KCSAN_PERMISSIVE_H
|
|
|
|
#include <linux/types.h>
|
|
|
|
/*
|
|
* Access ignore rules based on address.
|
|
*/
|
|
static __always_inline bool kcsan_ignore_address(const volatile void *ptr)
|
|
{
|
|
if (!IS_ENABLED(CONFIG_KCSAN_PERMISSIVE))
|
|
return false;
|
|
|
|
return false;
|
|
}
|
|
|
|
/*
|
|
* Data race ignore rules based on access type and value change patterns.
|
|
*/
|
|
static bool
|
|
kcsan_ignore_data_race(size_t size, int type, u64 old, u64 new, u64 diff)
|
|
{
|
|
if (!IS_ENABLED(CONFIG_KCSAN_PERMISSIVE))
|
|
return false;
|
|
|
|
/*
|
|
* Rules here are only for plain read accesses, so that we still report
|
|
* data races between plain read-write accesses.
|
|
*/
|
|
if (type || size > sizeof(long))
|
|
return false;
|
|
|
|
return false;
|
|
}
|
|
|
|
#endif /* _KERNEL_KCSAN_PERMISSIVE_H */
|