Lines Matching refs:Segment
58 static void sg_init(Segment* const sg,
62 Segment* creator_sg;
94 VG_(message)(Vg_DebugMsg, "New segment for thread %d with vc %s\n",
101 static void DRD_(sg_cleanup)(Segment* const sg)
110 /** Allocate and initialize a new segment. */
111 Segment* DRD_(sg_new)(const DrdThreadId creator, const DrdThreadId created)
113 Segment* sg;
120 sg = VG_(malloc)("drd.segment.sn.1", sizeof(*sg));
126 static void DRD_(sg_delete)(Segment* const sg)
133 VG_(message)(Vg_DebugMsg, "Discarding the segment with vector clock %s\n",
145 /** Increment the reference count of the specified segment. */
146 Segment* DRD_(sg_get)(Segment* const sg)
155 * Decrement the reference count of the specified segment and deallocate the
156 * segment if the reference count became zero.
158 void DRD_(sg_put)(Segment* const sg)
169 "Decrementing segment reference count %d -> %d with vc %s\n",
183 void DRD_(sg_merge)(Segment* const sg1, Segment* const sg2)
211 /** Print the vector clock and the bitmap of the specified segment. */
212 void DRD_(sg_print)(Segment* const sg)
221 /** Query whether segment tracing has been enabled. */
227 /** Enable or disable segment tracing. */
