Lines Matching refs:Segment
39 Segment* DRD_(g_sg_list);
62 static void sg_init(Segment* const sg,
66 Segment* creator_sg;
100 VG_(message)(Vg_DebugMsg, "New segment for thread %u with vc %s\n",
107 static void DRD_(sg_cleanup)(Segment* const sg)
116 /** Allocate and initialize a new segment. */
117 Segment* DRD_(sg_new)(const DrdThreadId creator, const DrdThreadId created)
119 Segment* sg;
126 sg = VG_(malloc)("drd.segment.sn.1", sizeof(*sg));
136 static void DRD_(sg_delete)(Segment* const sg)
143 VG_(message)(Vg_DebugMsg, "Discarding the segment with vector clock %s\n",
161 /** Increment the reference count of the specified segment. */
162 Segment* DRD_(sg_get)(Segment* const sg)
171 * Decrement the reference count of the specified segment and deallocate the
172 * segment if the reference count became zero.
174 void DRD_(sg_put)(Segment* const sg)
185 "Decrementing segment reference count %d -> %d with vc %s\n",
199 void DRD_(sg_merge)(Segment* const sg1, Segment* const sg2)
227 /** Print the vector clock and the bitmap of the specified segment. */
228 void DRD_(sg_print)(Segment* const sg)
237 /** Query whether segment tracing has been enabled. */
243 /** Enable or disable segment tracing. */
