Home | History | Annotate | Download | only in drd

Lines Matching refs:Segment

31  * Segments and segment lists. A segment represents information about
33 * clock associated with each segment.
43 typedef struct segment
46 struct segment* next;
47 struct segment* prev;
49 /** Reference count: number of pointers that point to this segment. */
51 /** Stack trace of the first instruction of the segment. */
53 /** Vector clock associated with the segment. */
57 * with the segment.
60 } Segment;
63 Segment* DRD_(sg_new)(const DrdThreadId creator, const DrdThreadId created);
64 static int DRD_(sg_get_refcnt)(const Segment* const sg);
65 Segment* DRD_(sg_get)(Segment* const sg);
66 void DRD_(sg_put)(Segment* const sg);
67 static struct bitmap* DRD_(sg_bm)(Segment* const sg);
68 void DRD_(sg_merge)(Segment* const sg1, Segment* const sg2);
69 void DRD_(sg_print)(Segment* const sg);
78 /** Query the reference count of the specified segment. */
79 static __inline__ int DRD_(sg_get_refcnt)(const Segment* const sg)
88 /** Return the pointer to the bitmap of the segment. */
89 static __inline__ struct bitmap* DRD_(sg_bm)(Segment* const sg)