Lines Matching full:example

17 1.	Plain C-language accesses (unmarked), for example, "a = b;"
19 2.	Data-race marking, for example, "data_race(a = b);"
21 3.	READ_ONCE(), for example, "a = READ_ONCE(b);"
24 4.	WRITE_ONCE(), for example, "WRITE_ONCE(a, b);"
29 example:
40 C-language accesses.  It is permissible to combine #2 and #3, for example,
83 the core concurrency design.  For example, suppose that the core design
92 KCSAN diagnostics, use both data_race() and READ_ONCE(), for example,
106 is not a problem.  For example, if a bogus value is fed into cmpxchg(),
149 for example, from sysfs.  This means that some code in sysfs writes
166 Here are some example situations where plain C-language accesses should
220 For example, ASSERT_EXCLUSIVE_ACCESS(foo) tells KCSAN that any
246 For example, suppose a shared variable "foo" is read only while a
321 For another example, suppose a shared variable "foo" is updated only
351 For another example, suppose that the code can normally make use of
444 For another example, suppose a shared variable "foo" is both read and
475 For yet another example, suppose that foo is initialized in a
521 of interest really do occur.  For example, consider the following code