#ifndef TSAN_TRACE_H
#define TSAN_TRACE_H
#include "tsan_defs.h"
#include "tsan_mutex.h"
#include "tsan_stack_trace.h"
#include "tsan_mutexset.h"
namespace __tsan {
const int kTracePartSizeBits = 14;
const int kTracePartSize = 1 << kTracePartSizeBits;
const int kTraceParts = 4 * 1024 * 1024 / kTracePartSize;
const int kTraceSize = kTracePartSize * kTraceParts;
enum EventType {
EventTypeMop,
EventTypeFuncEnter,
EventTypeFuncExit,
EventTypeLock,
EventTypeUnlock,
EventTypeRLock,
EventTypeRUnlock
};
typedef u64 Event;
struct TraceHeader {
StackTrace stack0; u64 epoch0; MutexSet mset0;
#ifndef TSAN_GO
uptr stack0buf[kTraceStackSize];
#endif
TraceHeader()
#ifndef TSAN_GO
: stack0(stack0buf, kTraceStackSize)
#else
: stack0()
#endif
, epoch0() {
}
};
struct Trace {
TraceHeader headers[kTraceParts];
Mutex mtx;
#ifndef TSAN_GO
uptr shadow_stack[kShadowStackSize];
#endif
Trace()
: mtx(MutexTypeTrace, StatMtxTrace) {
}
};
}
#endif // TSAN_TRACE_H