Lines Matching full:example

18 1.	Plain C-language accesses (unmarked), for example, "a = b;"
20 2.	Data-race marking, for example, "data_race(a = b);"
22 3.	READ_ONCE(), for example, "a = READ_ONCE(b);"
25 4.	WRITE_ONCE(), for example, "WRITE_ONCE(a, b);"
28 5.	__data_racy, for example "int __data_racy a;"
35 example:
46 C-language accesses.  It is permissible to combine #2 and #3, for example,
89 the core concurrency design.  For example, suppose that the core design
98 KCSAN diagnostics, use both data_race() and READ_ONCE(), for example,
112 is not a problem.  For example, if a bogus value is fed into cmpxchg(),
155 for example, from sysfs.  This means that some code in sysfs writes
172 Here are some example situations where plain C-language accesses should
225 For example:
243 For example, ASSERT_EXCLUSIVE_ACCESS(foo) tells KCSAN that any
269 For example, suppose a shared variable "foo" is read only while a
344 For another example, suppose a shared variable "foo" is updated only
374 For another example, suppose that the code can normally make use of
467 For another example, suppose a shared variable "foo" is both read and
498 For yet another example, suppose that foo is initialized in a
544 of interest really do occur.  For example, consider the following code