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
70
}
VectorClock
;
73
void DRD_(vc_init)(
VectorClock
* const vc,
76
void DRD_(vc_cleanup)(
VectorClock
* const vc);
77
void DRD_(vc_copy)(
VectorClock
* const new, const
VectorClock
* const rhs);
78
void DRD_(vc_assign)(
VectorClock
* const lhs, const
VectorClock
* const rhs);
79
void DRD_(vc_increment)(
VectorClock
* const vc, DrdThreadId const tid);
81
Bool DRD_(vc_lte)(const
VectorClock
* const vc1,
82
const
VectorClock
* const vc2)
[
all
...]
drd_vc.c
36
void DRD_(vc_reserve)(
VectorClock
* const vc, const unsigned new_capacity);
46
void DRD_(vc_init)(
VectorClock
* const vc,
64
void DRD_(vc_cleanup)(
VectorClock
* const vc)
70
void DRD_(vc_copy)(
VectorClock
* const new, const
VectorClock
* const rhs)
76
void DRD_(vc_assign)(
VectorClock
* const lhs, const
VectorClock
* const rhs)
83
void DRD_(vc_increment)(
VectorClock
* const vc, DrdThreadId const tid)
104
VectorClock
vc2;
115
Bool DRD_(vc_ordered)(const
VectorClock
* const vc1
[
all
...]
drd_segment.h
55
VectorClock
vc;
drd_thread.h
170
VectorClock
* DRD_(thread_get_vc)(const DrdThreadId tid);
177
const
VectorClock
* const old_vc);
drd_thread.c
801
VectorClock
* DRD_(thread_get_vc)(const DrdThreadId tid)
833
* @param vc pointer to a
vectorclock
, holds result upon return.
835
static void DRD_(thread_compute_minimum_vc)(
VectorClock
* vc)
858
* @param vc pointer to a
vectorclock
, holds result upon return.
860
static void DRD_(thread_compute_maximum_vc)(
VectorClock
* vc)
888
VectorClock
thread_vc_min;
897
VectorClock
thread_vc_max;
[
all
...]
drd_hb.c
196
VectorClock
old_vc;
drd_barrier.c
473
VectorClock
old_vc;
drd_rwlock.c
172
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 1481 milliseconds