Searched refs:VectorClock (Results 1 – 10 of 10) sorted by relevance
| /external/valgrind/main/drd/ |
| D | drd_vc.h | 71 } VectorClock; typedef
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);
84 Bool DRD_(vc_ordered)(const VectorClock* const vc1,
85 const VectorClock* const vc2);
[all …]
|
| D | drd_vc.c | 37 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity);
47 void DRD_(vc_init)(VectorClock* const vc, in DRD_()
65 void DRD_(vc_cleanup)(VectorClock* const vc) in DRD_()
71 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs) in DRD_()
77 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs) in DRD_()
84 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid) in DRD_()
105 VectorClock vc2; in DRD_()
116 Bool DRD_(vc_ordered)(const VectorClock* const vc1, in DRD_()
117 const VectorClock* const vc2) in DRD_()
123 void DRD_(vc_min)(VectorClock* const result, const VectorClock* const rhs) in DRD_()
[all …]
|
| D | drd_thread.c | 792 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid) in DRD_()
820 static void DRD_(thread_compute_minimum_vc)(VectorClock* vc) in DRD_()
846 static void DRD_(thread_compute_maximum_vc)(VectorClock* vc) in DRD_()
875 VectorClock thread_vc_min; in thread_discard_ordered_segments()
884 VectorClock thread_vc_max; in thread_discard_ordered_segments()
1088 VectorClock old_vc; in DRD_()
1120 const VectorClock* const vc = &sg->vc; in thread_combine_vc_sync()
1130 VectorClock old_vc; in thread_combine_vc_sync()
1491 const VectorClock* const old_vc) in DRD_()
1493 const VectorClock* new_vc; in DRD_()
|
| D | drd_segment.h | 54 VectorClock vc;
|
| D | drd_thread.h | 170 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid);
177 const VectorClock* const old_vc);
|
| D | drd_hb.c | 197 VectorClock old_vc; in DRD_()
|
| D | drd_barrier.c | 474 VectorClock old_vc; in DRD_()
|
| D | drd_rwlock.c | 173 VectorClock old_vc; in DRD_()
|
| /external/valgrind/main/drd/tests/ |
| D | unit_vc.c | 58 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()
|
| /external/valgrind/tsan/ |
| D | thread_sanitizer.cc | 1461 class VectorClock { class
1463 VectorClock() in VectorClock() function in VectorClock
5327 VectorClock last_seen;
|