| /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...] |
