HomeSort by relevance Sort by last modified time
    Searched full:lockset (Results 1 - 14 of 14) sorted by null

  /external/valgrind/main/helgrind/tests/
tc16_byterace.c 5 /* Simple demonstration of lockset tracking at byte granularity. */
locked_vs_unlocked1.c 9 switches the has/has-not thread around, so as to test lockset
  /external/clang/lib/StaticAnalyzer/Checkers/
PthreadLockChecker.cpp 46 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *)
103 if (state->contains<LockSet>(lockR)) {
146 lockSucc = lockSucc->add<LockSet>(lockR);
158 LockSetTy LS = state->get<LockSet>();
183 state = state->set<LockSet>(LS.getTail());
  /libcore/luni/src/test/java/libcore/java/io/
OldReaderTest.java 30 assertTrue("Test 1: Lock has not been set correctly.", r.lockSet(r));
120 public boolean lockSet(Object o) {
  /external/valgrind/main/helgrind/
README_MSMProp2.txt 92 where LS is a lockset (as before) and VTS is a vector timestamp.
94 For a thread T with current lockset 'currLS' and current VTS 'currVTS'
hg_errors.c 124 the lockset may have been destroyed by the client, in which case
195 WordSetID lockset,
199 tl_assert( HG_(plausibleWS)(univ_lsets, lockset) );
200 UWord nLocks = HG_(cardinalityWS)(univ_lsets, lockset);
209 lockset is empty; hence the guarding "if". Sigh. */
210 HG_(getPayloadWS)( &lockNs, &nLockNs, univ_lsets, lockset );
264 FIXME: how does state printing interact with lockset gc?
269 LockSets - could at least print the lockset elements that
    [all...]
hg_main.c 574 /* Ensure that univ_lsets is non-empty, with lockset zero being the
575 empty lockset. hg_errors.c relies on the assumption that
576 lockset number zero in univ_lsets is always valid. */
736 // Thread.lockset: each element is really a valid Lock
738 // Thread.lockset: each Lock in set is actually held by that thread
739 for lk in Thread.lockset
761 if lk == LockedBy(t), then t->lockset contains lk
764 and seg->thr->lockset does not contain lk
765 if lk == UnlockedNew then (no lockset contains lk)
829 // Thread.lockset: each element is really a valid Loc
    [all...]
helgrind.h 395 hybrid lockset and happens-before scheme, which requires more
    [all...]
libhb_core.c     [all...]
  /external/clang/lib/Analysis/
ThreadSafety.cpp 478 // checks until it is removed from the lockset.
896 /// A Lockset maps each SExpr (defined above) to information about how it has
898 typedef llvm::ImmutableMap<SExpr, LockData> Lockset;
910 FactSet EntrySet; // Lockset held at entry to block
911 FactSet ExitSet; // Lockset held at exit from block
    [all...]
  /external/valgrind/unittest/
bigtest.cc 370 // Access random context holding a corresponding LockSet
racecheck_unittest.cc     [all...]
  /external/valgrind/main/drd/tests/
tsan_unittest.cpp     [all...]
  /external/clang/lib/Sema/
AnalysisBasedWarnings.cpp     [all...]

Completed in 1594 milliseconds