Home | History | Annotate | Download | only in drd

Lines Matching full:segment

30  * Segments and segment lists. A segment represents information about
32 * clock associated with each segment.
42 typedef struct segment
44 struct segment* g_next;
45 struct segment* g_prev;
47 struct segment* thr_next;
48 struct segment* thr_prev;
50 /** Reference count: number of pointers that point to this segment. */
52 /** Stack trace of the first instruction of the segment. */
54 /** Vector clock associated with the segment. */
58 * with the segment.
61 } Segment;
63 extern Segment* DRD_(g_sg_list);
65 Segment* DRD_(sg_new)(const DrdThreadId creator, const DrdThreadId created);
66 static int DRD_(sg_get_refcnt)(const Segment* const sg);
67 Segment* DRD_(sg_get)(Segment* const sg);
68 void DRD_(sg_put)(Segment* const sg);
69 static struct bitmap* DRD_(sg_bm)(Segment* const sg);
70 void DRD_(sg_merge)(Segment* const sg1, Segment* const sg2);
71 void DRD_(sg_print)(Segment* const sg);
80 /** Query the reference count of the specified segment. */
81 static __inline__ int DRD_(sg_get_refcnt)(const Segment* const sg)
90 /** Return the pointer to the bitmap of the segment. */
91 static __inline__ struct bitmap* DRD_(sg_bm)(Segment* const sg)