OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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