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 71 } VectorClock;
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)
    [all...]
drd_vc.c 37 void DRD_(vc_reserve)(VectorClock* const vc, const unsigned new_capacity);
47 void DRD_(vc_init)(VectorClock* const vc,
65 void DRD_(vc_cleanup)(VectorClock* const vc)
71 void DRD_(vc_copy)(VectorClock* const new, const VectorClock* const rhs)
77 void DRD_(vc_assign)(VectorClock* const lhs, const VectorClock* const rhs)
84 void DRD_(vc_increment)(VectorClock* const vc, DrdThreadId const tid)
105 VectorClock vc2;
116 Bool DRD_(vc_ordered)(const VectorClock* const vc1
    [all...]
drd_segment.h 54 VectorClock vc;
drd_thread.c 756 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid)
782 * @param vc pointer to a vectorclock, holds result upon return.
784 static void DRD_(thread_compute_minimum_vc)(VectorClock* vc)
808 * @param vc pointer to a vectorclock, holds result upon return.
810 static void DRD_(thread_compute_maximum_vc)(VectorClock* vc)
839 VectorClock thread_vc_min;
848 VectorClock thread_vc_max;
    [all...]
drd_thread.h 165 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid);
172 const VectorClock* const old_vc);
drd_hb.c 201 VectorClock old_vc;
drd_barrier.c 468 VectorClock old_vc;
drd_rwlock.c 173 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 147 milliseconds