Home | History | Annotate | Download | only in drd

Lines Matching refs:old_vc

1052       VectorClock old_vc;
1054 DRD_(vc_copy)(&old_vc, &DRD_(g_threadinfo)[joiner].last->vc);
1057 DRD_(thread_update_conflict_set)(joiner, &old_vc);
1059 DRD_(vc_cleanup)(&old_vc);
1094 VectorClock old_vc;
1096 DRD_(vc_copy)(&old_vc, &DRD_(g_threadinfo)[tid].last->vc);
1101 str1 = DRD_(vc_aprint)(&old_vc);
1110 DRD_(thread_update_conflict_set)(tid, &old_vc);
1113 DRD_(vc_cleanup)(&old_vc);
1480 * updated from old_vc to its current value, either because a new segment has
1484 const VectorClock* const old_vc)
1492 tl_assert(old_vc);
1521 = ! DRD_(vc_lte)(&q->vc, old_vc)
1522 && ! DRD_(vc_lte)(old_vc, &q->vc);