50 static void DRD_(hb_cleanup)(struct hb_info* p);
55 static Bool DRD_(s_trace_hb);
60 void DRD_(hb_set_trace)(const Bool trace_hb)  in DRD_()  function
62    DRD_(s_trace_hb) = trace_hb;  in DRD_()
69 void DRD_(hb_thread_initialize)(struct hb_thread_info* const p,  in DRD_()  function
79 static void DRD_(hb_thread_destroy)(struct hb_thread_info* const p)  in DRD_()  function
82    DRD_(sg_put)(p->sg);  in DRD_()
86 void DRD_(hb_initialize)(struct hb_info* const p, const Addr hb)  in DRD_()  function
92    p->cleanup       = (void(*)(DrdClientobj*))(DRD_(hb_cleanup));  in DRD_()
102 static void DRD_(hb_cleanup)(struct hb_info* p)  in DRD_()  function
109       DRD_(hb_thread_destroy)(r);  in DRD_()
120       .tid  = DRD_(thread_get_running_tid)(),  in wrong_type()
130 struct hb_info* DRD_(hb_get_or_allocate)(const Addr hb)  in DRD_()  function
135    p = &(DRD_(clientobj_get)(hb, ClientHbvar)->hb);  in DRD_()
139    if (DRD_(clientobj_present)(hb, hb + 1))  in DRD_()
145    p = &(DRD_(clientobj_add)(hb, ClientHbvar)->hb);  in DRD_()
146    DRD_(hb_initialize)(p, hb);  in DRD_()
150 struct hb_info* DRD_(hb_get)(const Addr hb)  in DRD_()  function
153    return &(DRD_(clientobj_get)(hb, ClientHbvar)->hb);  in DRD_()
157 void DRD_(hb_happens_before)(const DrdThreadId tid, Addr const hb)  in DRD_()  function
160    const DrdThreadId drd_tid = DRD_(VgThreadIdToDrdThreadId)(vg_tid);  in DRD_()
165    p = DRD_(hb_get_or_allocate)(hb);  in DRD_()
166    if (DRD_(s_trace_hb))  in DRD_()
167       DRD_(trace_msg)("[%u] happens_before 0x%lx",  in DRD_()
168                       DRD_(thread_get_running_tid)(), hb);  in DRD_()
178       DRD_(hb_thread_initialize)(q, tid);  in DRD_()
187    DRD_(thread_get_latest_segment)(&q->sg, tid);  in DRD_()
188    DRD_(thread_new_segment)(drd_tid);  in DRD_()
192 void DRD_(hb_happens_after)(const DrdThreadId tid, const Addr hb)  in DRD_()  function
198    p = DRD_(hb_get_or_allocate)(hb);  in DRD_()
200    if (DRD_(s_trace_hb))  in DRD_()
201       DRD_(trace_msg)("[%u] happens_after  0x%lx",  in DRD_()
202                       DRD_(thread_get_running_tid)(), hb);  in DRD_()
207    DRD_(thread_new_segment)(tid);  in DRD_()
213    DRD_(vc_copy)(&old_vc, DRD_(thread_get_vc)(tid));  in DRD_()
220          DRD_(vc_combine)(DRD_(thread_get_vc)(tid), &q->sg->vc);  in DRD_()
223    DRD_(thread_update_conflict_set)(tid, &old_vc);  in DRD_()
224    DRD_(vc_cleanup)(&old_vc);  in DRD_()
228 void DRD_(hb_happens_done)(const DrdThreadId tid, const Addr hb)  in DRD_()  function
232    if (DRD_(s_trace_hb))  in DRD_()
233       DRD_(trace_msg)("[%u] happens_done  0x%lx",  in DRD_()
234                       DRD_(thread_get_running_tid)(), hb);  in DRD_()
236    p = DRD_(hb_get)(hb);  in DRD_()
240 	 .tid = DRD_(thread_get_running_tid)(),  in DRD_()
251    DRD_(clientobj_remove)(p->a1, ClientHbvar);  in DRD_()