LabelSegment Struct Reference

Public Attributes
uint64_t	offset
uint64_t	span
uint64_t	phase

Detailed Description

Definition at line 74 of file omp_datarace_client.cpp.

Member Data Documentation

offset

uint64_t LabelSegment::offset

Definition at line 75 of file omp_datarace_client.cpp.

Referenced by HappensBefore(), IsLeftOf(), Label::Label(), Label::LabelCreateAfterBarrier(), Label::LabelCreateAfterJoin(), MaximizesExitRank(), and new_DYNAMIC_BEGIN_FN_NAME().

phase

uint64_t LabelSegment::phase

Definition at line 77 of file omp_datarace_client.cpp.

Referenced by HappensBefore(), Label::Label(), Label::LabelCreateAfterEneringOrderedSection(), Label::LabelCreateAfterExitingOrderedSection(), MaximizesExitRank(), and new_DYNAMIC_BEGIN_FN_NAME().

span

uint64_t LabelSegment::span

Definition at line 76 of file omp_datarace_client.cpp.

Referenced by HappensBefore(), IsLeftOf(), Label::Label(), Label::LabelCreateAfterBarrier(), Label::LabelCreateAfterJoin(), MaximizesExitRank(), and new_DYNAMIC_BEGIN_FN_NAME().

---

The documentation for this struct was generated from the following file:

• clients/omp_datarace_client.cpp