Cross Reference: /external/valgrind/main/helgrind/libhb

Lines Matching defs:viR
281    /* Current VTSs for this thread.  They change as we go along.  viR
285          VtsID__cmpLEQ(viW,viR) == True
286       that is, viW must be the same, or lagging behind, viR. */
287    VtsID viR;
297       do not expect to see any uses of .viR or .viW, so it is safe to
339    VtsID viR; /* r-clock of sender */
1926    been joined with.  This should ensure that its local clocks (.viR
2447       need to look at this thread's ::viR or ::viW.  Set them to
2452    VtsID__rcdec(thr->viR);
2454    thr->viR = VtsID_INVALID;
3043       /* Threads that are listed in the prunable set have their viR
3046          tl_assert(hbthr->viR == VtsID_INVALID);
3051       remap_VtsID( vts_tab, new_tab, &hbthr->viR );
3059       if (so->viR != VtsID_INVALID)
3060          remap_VtsID( vts_tab, new_tab, &so->viR );
3666    thr->viR = VtsID_INVALID;
4966       VtsID tviR  = acc_thr->viR;
6001    so->viR   = VtsID_INVALID;
6022    if (so->viR == VtsID_INVALID) {
6026       VtsID__rcdec(so->viR);
6051    if (t->viR == t->viW) {
6052       VG_(printf)("thr \"%s\" %p has vi* %u==", str, t, t->viR );
6053       VtsID__pp( t->viR );
6056       VG_(printf)("thr \"%s\" %p has viR %u==", str, t, t->viR );
6057       VtsID__pp( t->viR );
6120    thr->viR = vi;
6122    VtsID__rcinc(thr->viR);
6138    child->viR = VtsID__tick( parent->viR, child );
6141    VtsID__rcinc(child->viR);
6147    tl_assert(VtsID__indexAt( child->viR, child ) == 1);
6151    VtsID__rcdec(parent->viR);
6153    parent->viR = VtsID__tick( parent->viR, parent );
6156    VtsID__rcinc(parent->viR);
6335    references to its vector clocks (Thr::viR and Thr::viW). */
6375    { Bool leq = VtsID__cmpLEQ(thr->viW, thr->viR);
6381    if (so->viR == VtsID_INVALID) {
6383       so->viR = thr->viR;
6385       VtsID__rcinc(so->viR);
6392       VtsID__rcdec(so->viR);
6394       so->viR = strong_send ? thr->viR : VtsID__join2( so->viR, thr->viR );
6396       VtsID__rcinc(so->viR);
6401    VtsID__rcdec(thr->viR);
6403    thr->viR = VtsID__tick( thr->viR, thr );
6409    VtsID__rcinc(thr->viR);
6423    if (so->viR != VtsID_INVALID) {
6429       VtsID__rcdec(thr->viR);
6430       thr->viR = VtsID__join2( thr->viR, so->viR );
6431       VtsID__rcinc(thr->viR);
6438       //VtsID__rcdec(thr->viR);
6439       //thr->viR = VtsID__tick( thr->viR, thr );
6440       //VtsID__rcinc(thr->viR);
6475    if (so->viR == VtsID_INVALID) {