HomeSort by relevance Sort by last modified time
    Searched refs:VectorClock (Results 1 - 9 of 9) sorted by null

  /external/valgrind/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,
67 void DRD_(vc_cleanup)(VectorClock* const vc)
73 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs)
79 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs)
86 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid)
107 VectorClock vc2;
118 Bool DRD_(vc_ordered)(const VectorClock* const vc1
    [all...]
drd_segment.h 55 VectorClock vc;
drd_thread.h 186 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid);
193 const VectorClock* const old_vc);
drd_thread.c 882 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid)
914 * @param vc pointer to a vectorclock, holds result upon return.
916 static void DRD_(thread_compute_minimum_vc)(VectorClock* vc)
939 * @param vc pointer to a vectorclock, holds result upon return.
941 static void DRD_(thread_compute_maximum_vc)(VectorClock* vc)
969 VectorClock thread_vc_min;
978 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/drd/tests/
unit_vc.c 58 VectorClock vc1;
60 VectorClock vc2;
62 VectorClock vc3;
64 VectorClock vc4;
66 VectorClock vc5;

Completed in 315 milliseconds