Lines Matching refs:Segment
50 static void thread_append_segment(const DrdThreadId tid, Segment* const sg);
51 static void thread_discard_segment(const DrdThreadId tid, Segment* const sg);
117 /** Enables/disables segment merging. */
124 /** Get the segment merging interval. */
130 /** Set the segment merging interval. */
245 Segment* p;
264 * Create the first segment for a newly started thread.
288 /* Create an initial segment for the newly created thread. */
455 Segment* sg;
456 Segment* sg_prev;
699 /** Append a new segment at the end of the segment list. */
701 void thread_append_segment(const DrdThreadId tid, Segment* const sg)
724 * Remove a segment from the segment list of thread threadid, and free the
728 void thread_discard_segment(const DrdThreadId tid, Segment* const sg)
753 * Returns a pointer to the vector clock of the most recent segment associated
765 * Return the latest segment of thread 'tid' and increment its reference count.
767 void DRD_(thread_get_latest_segment)(Segment** sg, const DrdThreadId tid)
788 Segment* latest_sg;
814 Segment* latest_sg;
864 Segment* sg;
865 Segment* sg_next;
882 * DRD the set CS consists of the latest segment of each thread combined with
888 * Segment* sg;
906 Segment* const sg1,
907 Segment* const sg2)
918 Segment* sg;
946 * or discarding real data races. For the theoretical background of segment
948 * and Koen De Bosschere. Bounding the number of segment histories during
955 * every time a new segment is created. The property equiv(s1, s2) is defined
960 * segment s is the latest segment of a thread or because it can become the
961 * immediate predecessor of a new segment due to a synchronization operation.
971 Segment* sg;
998 * Create a new segment for the specified thread, and discard any segments
1003 Segment* last_sg;
1004 Segment* new_sg;
1079 * Update the vector clock of the last segment of thread tid with the
1080 * the vector clock of segment sg.
1082 static void thread_combine_vc_sync(DrdThreadId tid, const Segment* sg)
1122 * Create a new segment for thread tid and update the vector clock of the last
1123 * segment of this thread with the the vector clock of segment sg. Call this
1125 * until the memory accesses in the segment sg finished.
1127 void DRD_(thread_new_segment_and_combine_vc)(DrdThreadId tid, const Segment* sg)
1161 Segment* p;
1215 * Print the segment information for all threads.
1222 Segment* p;
1278 const Segment* const p)
1290 Segment* q;
1307 show_call_stack(i, "Other segment start",
1309 show_call_stack(i, "Other segment end",
1324 Segment* p;
1372 * accesses of all segments that are unordered to the current segment of the
1378 Segment* p;
1429 Segment* q;
1441 "conflict set: [%d] merging segment %s\n",
1455 "conflict set: [%d] ignoring segment %s\n",
1480 * updated from old_vc to its current value, either because a new segment has
1487 Segment* p;
1513 Segment* q;
1534 "conflict set: [%d] merging segment %s\n", j, str);
1547 "conflict set: [%d] ignoring segment %s\n", j, str);
1562 Segment* q;
1615 * because a new segment has been created.
