• Home
  • Raw
  • Download

Lines Matching refs:witness

142 void witness_init(witness_t *witness, const char *name, witness_rank_t rank,
165 witness_owner(witness_tsd_t *witness_tsd, const witness_t *witness) { in witness_owner() argument
173 if (w == witness) { in witness_owner()
182 witness_assert_owner(witness_tsdn_t *witness_tsdn, const witness_t *witness) { in witness_assert_owner() argument
193 if (witness->rank == WITNESS_RANK_OMIT) { in witness_assert_owner()
197 if (witness_owner(witness_tsd, witness)) { in witness_assert_owner()
200 witness_owner_error(witness); in witness_assert_owner()
205 const witness_t *witness) { in witness_assert_not_owner() argument
218 if (witness->rank == WITNESS_RANK_OMIT) { in witness_assert_not_owner()
224 if (w == witness) { in witness_assert_not_owner()
225 witness_not_owner_error(witness); in witness_assert_not_owner()
274 witness_lock(witness_tsdn_t *witness_tsdn, witness_t *witness) { in witness_lock() argument
287 if (witness->rank == WITNESS_RANK_OMIT) { in witness_lock()
291 witness_assert_not_owner(witness_tsdn, witness); in witness_lock()
297 } else if (witness_tsd->forking && w->rank <= witness->rank) { in witness_lock()
299 } else if (w->rank > witness->rank) { in witness_lock()
301 witness_lock_error(witnesses, witness); in witness_lock()
302 } else if (w->rank == witness->rank && (w->comp == NULL || w->comp != in witness_lock()
303 witness->comp || w->comp(w, w->opaque, witness, witness->opaque) > in witness_lock()
309 witness_lock_error(witnesses, witness); in witness_lock()
312 ql_elm_new(witness, link); in witness_lock()
313 ql_tail_insert(witnesses, witness, link); in witness_lock()
317 witness_unlock(witness_tsdn_t *witness_tsdn, witness_t *witness) { in witness_unlock() argument
329 if (witness->rank == WITNESS_RANK_OMIT) { in witness_unlock()
338 if (witness_owner(witness_tsd, witness)) { in witness_unlock()
340 ql_remove(witnesses, witness, link); in witness_unlock()
342 witness_assert_owner(witness_tsdn, witness); in witness_unlock()