Home | History | Annotate | Download | only in drd

Lines Matching refs:VectorClock

878 VectorClock* DRD_(thread_get_vc)(const DrdThreadId tid)
910  * @param vc pointer to a vectorclock, holds result upon return.
912 static void DRD_(thread_compute_minimum_vc)(VectorClock* vc)
935  * @param vc pointer to a vectorclock, holds result upon return.
937 static void DRD_(thread_compute_maximum_vc)(VectorClock* vc)
965    VectorClock thread_vc_min;
974       VectorClock thread_vc_max;
1176       VectorClock old_vc;
1206    const VectorClock* const vc = &sg->vc;
1216       VectorClock old_vc;
1549                                       const VectorClock* const old_vc)
1551    const VectorClock* new_vc;