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

  /external/clang/lib/Analysis/
ThreadSafety.cpp 253 // of MutexIDs in a lockset is nondeterministic. In order to output
255 // output by SourceLocation when iterating through this lockset.
310 /// A Lockset maps each MutexID (defined above) to information about how it has
312 typedef llvm::ImmutableMap<MutexID, LockData> Lockset;
315 /// CFGBlocks, and build up the lockset.
316 /// An expression may cause us to add or remove locks from the lockset, or else
321 Lockset LSet;
322 Lockset::Factory &LocksetFactory;
337 /// \brief Returns true if the lockset contains a lock, regardless of whether
343 /// \brief Returns true if the lockset contains a lock with the passed i
    [all...]
  /external/valgrind/main/helgrind/tests/
tc16_byterace.c 5 /* Simple demonstration of lockset tracking at byte granularity. */
  /external/clang/lib/StaticAnalyzer/Checkers/
PthreadLockChecker.cpp 46 namespace { class LockSet {}; }
49 template <> struct ProgramStateTrait<LockSet> :
114 if (state->contains<LockSet>(lockR)) {
158 lockSucc = lockSucc->add<LockSet>(lockR);
170 llvm::ImmutableList<const MemRegion*> LS = state->get<LockSet>();
195 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/tsan/
ts_stats.h 180 Printf(" LockSet add: 0: %'ld; 1 : %'ld; n : %'ld\n",
182 Printf(" LockSet rem: 1: %'ld; n : %'ld\n",
184 Printf(" LockSet cache: add : %'ld; rem : %'ld; fast: %'ld\n",
186 Printf(" LockSet size: 2: %'ld 3: %'ld 4: %'ld 5: %'ld other: %'ld\n",
thread_sanitizer.cc 239 // LockSet ID.
240 // Empty lockset: id == 0
845 // -------- LockSet ----------------- {{{1
846 class LockSet {
1020 map_ = new LockSet::Map;
1021 vec_ = new LockSet::Vec;
1030 LockSet() { }
1051 ScopedMallocCostCenter cc("LockSet::ComputeId");
1062 Report("INFO: %d LockSet IDs have been allocated "
1092 LockSet::Map *LockSet::map_
    [all...]
  /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_main.c 365 //static WordSetID del_BHL ( WordSetID lockset ); /* fwds */
726 // Thread.lockset: each element is really a valid Lock
728 // Thread.lockset: each Lock in set is actually held by that thread
729 for lk in Thread.lockset
751 if lk == LockedBy(t), then t->lockset contains lk
754 and seg->thr->lockset does not contain lk
755 if lk == UnlockedNew then (no lockset contains lk)
819 // Thread.lockset: each element is really a valid Lock
821 // Thread.lockset: each Lock in set is actually held by that
875 // also check the w-only lockset
    [all...]
hg_errors.c 149 FIXME: how does state printing interact with lockset gc?
154 LockSets - could at least print the lockset elements that
    [all...]
helgrind.h 394 hybrid lockset and happens-before scheme, which requires more
  /external/valgrind/unittest/
bigtest.cc 370 // Access random context holding a corresponding LockSet
racecheck_unittest.cc     [all...]
  /external/clang/lib/Sema/
AnalysisBasedWarnings.cpp 652 /// the lockset in deterministic order, so this function orders diagnostics
    [all...]
  /external/valgrind/main/drd/tests/
tsan_unittest.cpp     [all...]

Completed in 232 milliseconds