Home
last modified time | relevance | path

Searched refs:VectorClock (Results 1 – 9 of 9) sorted by relevance

/external/valgrind/drd/
Ddrd_vc.h70 } VectorClock; typedef
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);
83 Bool DRD_(vc_ordered)(const VectorClock* const vc1,
84 const VectorClock* const vc2);
[all …]
Ddrd_vc.c36 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity);
46 void DRD_(vc_init)(VectorClock* const vc, in DRD_()
67 void DRD_(vc_cleanup)(VectorClock* const vc) in DRD_()
73 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs) in DRD_()
79 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs) in DRD_()
86 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid) in DRD_()
107 VectorClock vc2; in DRD_()
118 Bool DRD_(vc_ordered)(const VectorClock* const vc1, in DRD_()
119 const VectorClock* const vc2) in DRD_()
125 void DRD_(vc_min)(VectorClock* const result, const VectorClock* const rhs) in DRD_()
[all …]
Ddrd_thread.c882 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid) in DRD_()
916 static void DRD_(thread_compute_minimum_vc)(VectorClock* vc) in DRD_()
941 static void DRD_(thread_compute_maximum_vc)(VectorClock* vc) in DRD_()
969 VectorClock thread_vc_min; in thread_discard_ordered_segments()
978 VectorClock thread_vc_max; in thread_discard_ordered_segments()
1180 VectorClock old_vc; in DRD_()
1210 const VectorClock* const vc = &sg->vc; in thread_combine_vc_sync()
1220 VectorClock old_vc; in thread_combine_vc_sync()
1553 const VectorClock* const old_vc) in DRD_()
1555 const VectorClock* new_vc; in DRD_()
Ddrd_segment.h55 VectorClock vc;
Ddrd_thread.h186 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid);
193 const VectorClock* const old_vc);
Ddrd_hb.c196 VectorClock old_vc; in DRD_()
Ddrd_barrier.c473 VectorClock old_vc; in DRD_()
Ddrd_rwlock.c172 VectorClock old_vc; in DRD_()
/external/valgrind/drd/tests/
Dunit_vc.c58 VectorClock vc1; in vc_unittest()
60 VectorClock vc2; in vc_unittest()
62 VectorClock vc3; in vc_unittest()
64 VectorClock vc4; in vc_unittest()
66 VectorClock vc5; in vc_unittest()