OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:vc2
(Results
1 - 5
of
5
) sorted by null
/external/valgrind/main/drd/
drd_vc.h
83
const VectorClock* const
vc2
);
85
const VectorClock* const
vc2
);
99
*
vc2
, and if additionally all corresponding counters in v2 are higher or
103
Bool DRD_(vc_lte)(const VectorClock* const vc1, const VectorClock* const
vc2
)
110
while (j <
vc2
->size &&
vc2
->vc[j].threadid < vc1->vc[i].threadid)
112
if (j >=
vc2
->size ||
vc2
->vc[j].threadid > vc1->vc[i].threadid)
119
tl_assert(j <
vc2
->size &&
vc2
->vc[j].threadid == vc1->vc[i].threadid)
[
all
...]
drd_segment.c
192
char *vc1, *
vc2
;
local
195
vc2
= DRD_(vc_aprint)(&sg2->vc);
198
"Merging segments with vector clocks %s and %s\n", vc1,
vc2
);
200
VG_(free)(
vc2
);
drd_vc.c
105
VectorClock
vc2
;
local
106
DRD_(vc_init)(&
vc2
, &vcelem, 1);
107
DRD_(vc_combine)(vc, &
vc2
);
108
DRD_(vc_cleanup)(&
vc2
);
113
* @return True if vector clocks vc1 and
vc2
are ordered, and false otherwise.
117
const VectorClock* const
vc2
)
119
return DRD_(vc_lte)(vc1,
vc2
) || DRD_(vc_lte)(
vc2
, vc1);
/external/valgrind/main/drd/tests/
unit_vc.stderr.exp
2
vc2
: [ 1: 4, 3: 9 ]
4
vc_lte(vc1,
vc2
) = 0, vc_lte(vc1, vc3) = 1, vc_lte(
vc2
, vc3) = 1
unit_vc.c
60
VectorClock
vc2
;
local
69
DRD_(vc_init)(&
vc2
, vc2elem, sizeof(vc2elem)/sizeof(vc2elem[0]));
75
DRD_(vc_combine)(&vc3, &
vc2
);
79
fprintf(stderr, "\nvc2: %s", (str = DRD_(vc_aprint)(&
vc2
)));
84
fprintf(stderr, "vc_lte(vc1,
vc2
) = %d, vc_lte(vc1, vc3) = %d,"
85
" vc_lte(
vc2
, vc3) = %d\nvc_lte(",
86
DRD_(vc_lte)(&vc1, &
vc2
), DRD_(vc_lte)(&vc1, &vc3),
87
DRD_(vc_lte)(&
vc2
, &vc3));
102
DRD_(vc_cleanup)(&
vc2
);
Completed in 82 milliseconds