Cross Reference: /external/valgrind/main/drd/drd

Lines Matching refs:vc
389          HChar* vc;
391          vc = DRD_(vc_aprint)(DRD_(thread_get_vc)(drd_joiner));
393                        ", new vc: %s", vc);
394          VG_(free)(vc);
809    return &latest_sg->vc;
833  * @param vc pointer to a vectorclock, holds result upon return.
835 static void DRD_(thread_compute_minimum_vc)(VectorClock* vc)
847             DRD_(vc_assign)(vc, &latest_sg->vc);
849             DRD_(vc_min)(vc, &latest_sg->vc);
858  * @param vc pointer to a vectorclock, holds result upon return.
860 static void DRD_(thread_compute_maximum_vc)(VectorClock* vc)
872             DRD_(vc_assign)(vc, &latest_sg->vc);
874             DRD_(vc_combine)(vc, &latest_sg->vc);
904                    "Discarding ordered segments -- min vc is %s, max vc is %s\n",
917               && DRD_(vc_lte)(&sg->vc, &thread_vc_min);
944  *          if (   DRD_(vc_lte)(&sg1->vc, &sg->vc)
945  *              != DRD_(vc_lte)(&sg2->vc, &sg->vc)
946  *              || DRD_(vc_lte)(&sg->vc, &sg1->vc)
947  *              != DRD_(vc_lte)(&sg->vc, &sg2->vc))
964    tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
972             if (DRD_(vc_lte)(&sg2->vc, &sg->vc))
974             if (DRD_(vc_lte)(&sg1->vc, &sg->vc))
980             if (DRD_(vc_lte)(&sg->vc, &sg1->vc))
982             if (DRD_(vc_lte)(&sg->vc, &sg2->vc))
1061       DRD_(thread_update_conflict_set)(tid, &last_sg->vc);
1129    const VectorClock* const vc = &sg->vc;
1136    tl_assert(vc);
1142       DRD_(vc_combine)(DRD_(thread_get_vc)(tid), vc);
1147          VG_(message)(Vg_DebugMsg, "thread %d: vc %s -> %s\n", tid, str1, str2);
1159       tl_assert(DRD_(vc_lte)(vc, DRD_(thread_get_vc)(tid)));
1291              * decreasing vector clocks, if q->vc <= p->vc, then
1292              * q->next->vc <= p->vc will also hold. Hence, break out of the
1295             if (DRD_(vc_lte)(&q->vc, &p->vc))
1297             if (!DRD_(vc_lte)(&p->vc, &q->vc)) {
1407                    "computing conflict set for thread %d with vc %s\n",
1417          HChar* vc;
1419          vc = DRD_(vc_aprint)(&p->vc);
1420          VG_(message)(Vg_DebugMsg, "conflict set: thread [%d] at vc %s\n",
1421                       tid, vc);
1422          VG_(free)(vc);
1430                if (!DRD_(vc_lte)(&q->vc, &p->vc)
1431                    && !DRD_(vc_lte)(&p->vc, &q->vc)) {
1435                      str = DRD_(vc_aprint)(&q->vc);
1446                      str = DRD_(vc_aprint)(&q->vc);
1493                    "updating conflict set for thread %d with vc %s\n",
1511            q && !DRD_(vc_lte)(&q->vc, new_vc);
1514             = !DRD_(vc_lte)(old_vc, &q->vc);
1516             = !DRD_(vc_lte)(new_vc, &q->vc);
1521             str = DRD_(vc_aprint)(&q->vc);
1533       for ( ; q && !DRD_(vc_lte)(&q->vc, old_vc); q = q->thr_prev) {
1535             = !DRD_(vc_lte)(old_vc, &q->vc);
1537             = !DRD_(vc_lte)(&q->vc, new_vc)
1538             && !DRD_(vc_lte)(new_vc, &q->vc);
1543             str = DRD_(vc_aprint)(&q->vc);
1563               q && !DRD_(vc_lte)(&q->vc, &p->vc);
1565             if (!DRD_(vc_lte)(&p->vc, &q->vc))