OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:VectorClock
(Results
1 - 9
of
9
) sorted by null
/external/valgrind/main/drd/
drd_vc.h
71
}
VectorClock
;
74
void DRD_(vc_init)(
VectorClock
* const vc,
77
void DRD_(vc_cleanup)(
VectorClock
* const vc);
78
void DRD_(vc_copy)(
VectorClock
* const new, const
VectorClock
* const rhs);
79
void DRD_(vc_assign)(
VectorClock
* const lhs, const
VectorClock
* const rhs);
80
void DRD_(vc_increment)(
VectorClock
* const vc, DrdThreadId const tid);
82
Bool DRD_(vc_lte)(const
VectorClock
* const vc1,
83
const
VectorClock
* const vc2)
[
all
...]
drd_vc.c
37
void DRD_(vc_reserve)(
VectorClock
* const vc, const unsigned new_capacity);
47
void DRD_(vc_init)(
VectorClock
* const vc,
65
void DRD_(vc_cleanup)(
VectorClock
* const vc)
71
void DRD_(vc_copy)(
VectorClock
* const new, const
VectorClock
* const rhs)
77
void DRD_(vc_assign)(
VectorClock
* const lhs, const
VectorClock
* const rhs)
84
void DRD_(vc_increment)(
VectorClock
* const vc, DrdThreadId const tid)
105
VectorClock
vc2;
116
Bool DRD_(vc_ordered)(const
VectorClock
* const vc1
[
all
...]
drd_segment.h
54
VectorClock
vc;
drd_thread.c
756
VectorClock
* DRD_(thread_get_vc)(const DrdThreadId tid)
782
* @param vc pointer to a
vectorclock
, holds result upon return.
784
static void DRD_(thread_compute_minimum_vc)(
VectorClock
* vc)
808
* @param vc pointer to a
vectorclock
, holds result upon return.
810
static void DRD_(thread_compute_maximum_vc)(
VectorClock
* vc)
839
VectorClock
thread_vc_min;
848
VectorClock
thread_vc_max;
[
all
...]
drd_thread.h
165
VectorClock
* DRD_(thread_get_vc)(const DrdThreadId tid);
172
const
VectorClock
* const old_vc);
drd_hb.c
201
VectorClock
old_vc;
drd_barrier.c
468
VectorClock
old_vc;
drd_rwlock.c
173
VectorClock
old_vc;
/external/valgrind/main/drd/tests/
unit_vc.c
58
VectorClock
vc1;
60
VectorClock
vc2;
62
VectorClock
vc3;
64
VectorClock
vc4;
66
VectorClock
vc5;
Completed in 147 milliseconds