Lines Matching +full:trade +full:- +full:off
1 .. SPDX-License-Identifier: GPL-2.0
8 relies on compile-time instrumentation, and uses a watchpoint-based sampling
12 -----
30 BUG: KCSAN: data-race in test_kernel_read / test_kernel_write
44 value changed: 0x00000000000009a6 -> 0x00000000000009b2
47 CPU: 6 PID: 488 Comm: access_thread Not tainted 5.12.0-rc2+ #1
48 Hardware name: QEMU Standard PC (i440FX + PIIX, 1996), BIOS 1.14.0-2 04/01/2014
59 BUG: KCSAN: data-race in test_kernel_rmw_array+0x71/0xd0
67 value changed: 0x0000000000002328 -> 0x0000000000002329
70 CPU: 2 PID: 515 Comm: access_thread Not tainted 5.12.0-rc2+ #1
71 Hardware name: QEMU Standard PC (i440FX + PIIX, 1996), BIOS 1.14.0-2 04/01/2014
92 `"Marking Shared-Memory Accesses" in the LKMM`_ for more information.
124 …hared-Memory Accesses" in the LKMM: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux…
142 complex involving value-change patterns, access type, and address. This
149 configures KCSAN to follow the Linux-kernel memory consistency model (LKMM) as
159 * Writing ``on`` or ``off`` to ``/sys/kernel/debug/kcsan`` allows turning KCSAN
160 on or off, respectively.
176 ability are exposed as kernel command-line arguments whose defaults can also be
179 * ``kcsan.skip_watch`` (``CONFIG_KCSAN_SKIP_WATCH``): Number of per-CPU memory
198 ----------
206 …git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/tools/memory-model/Documentation/e…
208 Relationship with the Linux-Kernel Memory Consistency Model (LKMM)
230 --------------------------------
232 For code with complex concurrency design, race-condition bugs may not always
235 are defined at the C-language level. The following macros can be used to check
238 .. kernel-doc:: include/linux/kcsan-checks.h
244 ----------------------
271 3. Also check the data value before the delay, and re-check the data value
287 simulated reordering within the scope of its function (at most 1 in-flight
318 Deliberate trade-offs in complexity but also practical limitations mean only a
340 locks in the fast-path. For kernel boot on a system with 8 CPUs:
342 - 5.0x slow-down with the default KCSAN config;
343 - 2.8x slow-down from runtime fast-path overhead only (set very large
361 -----------------------
365 <https://github.com/google/kernel-sanitizers/blob/master/KTSAN.md>`_.
366 KTSAN is a happens-before data race detector, which explicitly establishes the
367 happens-before order between memory operations, which can then be used to
370 To build a correct happens-before relation, KTSAN must be aware of all ordering
374 mechanisms. To track the happens-before relation, KTSAN's implementation