Lines Matching full: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 %d 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));
137 static void DRD_(sg_delete)(Segment* const sg)
144 VG_(message)(Vg_DebugMsg, "Discarding the segment with vector clock %s\n",
162 /** Increment the reference count of the specified segment. */
163 Segment* DRD_(sg_get)(Segment* const sg)
172 * Decrement the reference count of the specified segment and deallocate the
173 * segment if the reference count became zero.
175 void DRD_(sg_put)(Segment* const sg)
186 "Decrementing segment reference count %d -> %d with vc %s\n",
200 void DRD_(sg_merge)(Segment* const sg1, Segment* const sg2)
228 /** Print the vector clock and the bitmap of the specified segment. */
229 void DRD_(sg_print)(Segment* const sg)
238 /** Query whether segment tracing has been enabled. */
244 /** Enable or disable segment tracing. */
