Cross Reference: /external/valgrind/drd/drd

Lines Matching defs:vc
415          HChar* vc;
417          vc = DRD_(vc_aprint)(DRD_(thread_get_vc)(drd_joiner));
419                        ", new vc: %s", vc);
420          VG_(free)(vc);
890    return &latest_sg->vc;
914  * @param vc pointer to a vectorclock, holds result upon return.
916 static void DRD_(thread_compute_minimum_vc)(VectorClock* vc)
928             DRD_(vc_assign)(vc, &latest_sg->vc);
930             DRD_(vc_min)(vc, &latest_sg->vc);
939  * @param vc pointer to a vectorclock, holds result upon return.
941 static void DRD_(thread_compute_maximum_vc)(VectorClock* vc)
953             DRD_(vc_assign)(vc, &latest_sg->vc);
955             DRD_(vc_combine)(vc, &latest_sg->vc);
985                    "Discarding ordered segments -- min vc is %s, max vc is %s\n",
998               && DRD_(vc_lte)(&sg->vc, &thread_vc_min);
1025  *          if (   DRD_(vc_lte)(&sg1->vc, &sg->vc)
1026  *              != DRD_(vc_lte)(&sg2->vc, &sg->vc)
1027  *              || DRD_(vc_lte)(&sg->vc, &sg1->vc)
1028  *              != DRD_(vc_lte)(&sg->vc, &sg2->vc))
1045    tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
1053             if (DRD_(vc_lte)(&sg2->vc, &sg->vc))
1055             if (DRD_(vc_lte)(&sg1->vc, &sg->vc))
1061             if (DRD_(vc_lte)(&sg->vc, &sg1->vc))
1063             if (DRD_(vc_lte)(&sg->vc, &sg2->vc))
1142       DRD_(thread_update_conflict_set)(tid, &last_sg->vc);
1210    const VectorClock* const vc = &sg->vc;
1217    tl_assert(vc);
1223       DRD_(vc_combine)(DRD_(thread_get_vc)(tid), vc);
1228          VG_(message)(Vg_DebugMsg, "thread %u: vc %s -> %s\n", tid, str1, str2);
1240       tl_assert(DRD_(vc_lte)(vc, DRD_(thread_get_vc)(tid)));
1372              * decreasing vector clocks, if q->vc <= p->vc, then
1373              * q->next->vc <= p->vc will also hold. Hence, break out of the
1376             if (DRD_(vc_lte)(&q->vc, &p->vc))
1378             if (!DRD_(vc_lte)(&p->vc, &q->vc)) {
1484                    "computing conflict set for thread %u with vc %s\n",
1494          HChar* vc;
1496          vc = DRD_(vc_aprint)(&p->vc);
1497          VG_(message)(Vg_DebugMsg, "conflict set: thread [%u] at vc %s\n",
1498                       tid, vc);
1499          VG_(free)(vc);
1507                if (!DRD_(vc_lte)(&q->vc, &p->vc)
1508                    && !DRD_(vc_lte)(&p->vc, &q->vc)) {
1512                      str = DRD_(vc_aprint)(&q->vc);
1523                      str = DRD_(vc_aprint)(&q->vc);
1570                    "updating conflict set for thread %u with vc %s\n",
1588            q && !DRD_(vc_lte)(&q->vc, new_vc);
1591             = !DRD_(vc_lte)(old_vc, &q->vc);
1593             = !DRD_(vc_lte)(new_vc, &q->vc);
1598             str = DRD_(vc_aprint)(&q->vc);
1610       for ( ; q && !DRD_(vc_lte)(&q->vc, old_vc); q = q->thr_prev) {
1612             = !DRD_(vc_lte)(old_vc, &q->vc);
1614             = !DRD_(vc_lte)(&q->vc, new_vc)
1615             && !DRD_(vc_lte)(new_vc, &q->vc);
1620             str = DRD_(vc_aprint)(&q->vc);
1640               q && !DRD_(vc_lte)(&q->vc, &p->vc);
1642             if (!DRD_(vc_lte)(&p->vc, &q->vc))