HomeSort by relevance Sort by last modified time
    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 29 milliseconds