2017-04-29 François Dumont <fdumont@gcc.gnu.org>
[official-gcc.git] / libsanitizer / tsan / tsan_trace.h
blob1ea733bfd07a19f7ea417c33664febdab12c5f4f
1 //===-- tsan_trace.h --------------------------------------------*- C++ -*-===//
2 //
3 // This file is distributed under the University of Illinois Open Source
4 // License. See LICENSE.TXT for details.
5 //
6 //===----------------------------------------------------------------------===//
7 //
8 // This file is a part of ThreadSanitizer (TSan), a race detector.
9 //
10 //===----------------------------------------------------------------------===//
11 #ifndef TSAN_TRACE_H
12 #define TSAN_TRACE_H
14 #include "tsan_defs.h"
15 #include "tsan_mutex.h"
16 #include "tsan_stack_trace.h"
17 #include "tsan_mutexset.h"
19 namespace __tsan {
21 const int kTracePartSizeBits = 13;
22 const int kTracePartSize = 1 << kTracePartSizeBits;
23 const int kTraceParts = 2 * 1024 * 1024 / kTracePartSize;
24 const int kTraceSize = kTracePartSize * kTraceParts;
26 // Must fit into 3 bits.
27 enum EventType {
28 EventTypeMop,
29 EventTypeFuncEnter,
30 EventTypeFuncExit,
31 EventTypeLock,
32 EventTypeUnlock,
33 EventTypeRLock,
34 EventTypeRUnlock
37 // Represents a thread event (from most significant bit):
38 // u64 typ : 3; // EventType.
39 // u64 addr : 61; // Associated pc.
40 typedef u64 Event;
42 struct TraceHeader {
43 #if !SANITIZER_GO
44 BufferedStackTrace stack0; // Start stack for the trace.
45 #else
46 VarSizeStackTrace stack0;
47 #endif
48 u64 epoch0; // Start epoch for the trace.
49 MutexSet mset0;
51 TraceHeader() : stack0(), epoch0() {}
54 struct Trace {
55 Mutex mtx;
56 #if !SANITIZER_GO
57 // Must be last to catch overflow as paging fault.
58 // Go shadow stack is dynamically allocated.
59 uptr shadow_stack[kShadowStackSize];
60 #endif
61 // Must be the last field, because we unmap the unused part in
62 // CreateThreadContext.
63 TraceHeader headers[kTraceParts];
65 Trace()
66 : mtx(MutexTypeTrace, StatMtxTrace) {
70 } // namespace __tsan
72 #endif // TSAN_TRACE_H