Lines Matching full:concurrent

340  * ASSERT_EXCLUSIVE_WRITER - assert no concurrent writes to @var
342  * Assert that there are no concurrent writes to @var; other readers are
343  * allowed. This assertion can be used to specify properties of concurrent code,
346  * For example, if we only have a single writer, but multiple concurrent
348  * concurrent marked writes racing with the single writer are bugs.
366  * checking if a clear scope where no concurrent writes are expected exists.
388  * ASSERT_EXCLUSIVE_WRITER_SCOPED - assert no concurrent writes to @var in scope
392  * Assert that there are no concurrent writes to @var for the duration of the
423  * ASSERT_EXCLUSIVE_ACCESS - assert no concurrent accesses to @var
425  * Assert that there are no concurrent accesses to @var (no readers nor
426  * writers). This assertion can be used to specify properties of concurrent
444  *    checking if a clear scope where no concurrent accesses are expected exists.
455  * ASSERT_EXCLUSIVE_ACCESS_SCOPED - assert no concurrent accesses to @var in scope
459  * Assert that there are no concurrent accesses to @var (no readers nor writers)
471  * ASSERT_EXCLUSIVE_BITS - assert no concurrent writes to subset of bits in @var
475  * Assert that there are no concurrent writes to a subset of bits in @var;
476  * concurrent readers are permitted. This assertion captures more detailed
478  * Only the bits set in @mask are checked for concurrent modifications, while
479  * ignoring the remaining bits, i.e. concurrent writes (or reads) to ~mask bits