Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 1 | //===-- tsan_flags.h --------------------------------------------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file is a part of ThreadSanitizer (TSan), a race detector. |
Alexey Samsonov | 86cdf2d | 2012-06-19 08:57:53 +0000 | [diff] [blame] | 11 | // NOTE: This file may be included into user code. |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #ifndef TSAN_FLAGS_H |
| 15 | #define TSAN_FLAGS_H |
| 16 | |
Alexey Samsonov | 86cdf2d | 2012-06-19 08:57:53 +0000 | [diff] [blame] | 17 | // ----------- ATTENTION ------------- |
| 18 | // ThreadSanitizer user may provide its implementation of weak |
| 19 | // symbol __tsan::OverrideFlags(__tsan::Flags). Therefore, this |
| 20 | // header may be included in the user code, and shouldn't include |
| 21 | // other headers from TSan or common sanitizer runtime. |
| 22 | |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 23 | namespace __tsan { |
| 24 | |
| 25 | struct Flags { |
| 26 | // Enable dynamic annotations, otherwise they are no-ops. |
| 27 | bool enable_annotations; |
| 28 | // Supress a race report if we've already output another race report |
| 29 | // with the same stack. |
| 30 | bool suppress_equal_stacks; |
| 31 | // Supress a race report if we've already output another race report |
| 32 | // on the same address. |
| 33 | bool suppress_equal_addresses; |
Dmitry Vyukov | 543b94a | 2012-11-30 17:45:53 +0000 | [diff] [blame] | 34 | // Suppress weird race reports that can be seen if JVM is embed |
| 35 | // into the process. |
| 36 | bool suppress_java; |
Dmitry Vyukov | 8a32677 | 2012-11-07 16:14:12 +0000 | [diff] [blame] | 37 | // Turns off bug reporting entirely (useful for benchmarking). |
| 38 | bool report_bugs; |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 39 | // Report thread leaks at exit? |
| 40 | bool report_thread_leaks; |
Dmitry Vyukov | fd51390 | 2012-08-16 15:12:35 +0000 | [diff] [blame] | 41 | // Report destruction of a locked mutex? |
| 42 | bool report_destroy_locked; |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 43 | // Report violations of async signal-safety |
| 44 | // (e.g. malloc() call from a signal handler). |
| 45 | bool report_signal_unsafe; |
| 46 | // If set, all atomics are effectively sequentially consistent (seq_cst), |
| 47 | // regardless of what user actually specified. |
| 48 | bool force_seq_cst_atomics; |
| 49 | // Strip that prefix from file paths in reports. |
| 50 | const char *strip_path_prefix; |
| 51 | // Suppressions filename. |
| 52 | const char *suppressions; |
| 53 | // Override exit status if something was reported. |
| 54 | int exitcode; |
Dmitry Vyukov | cec6068 | 2012-11-28 12:56:52 +0000 | [diff] [blame] | 55 | // Write logs to "log_path.pid". |
| 56 | // The special values are "stdout" and "stderr". |
| 57 | // The default is "stderr". |
Dmitry Vyukov | 92733f9 | 2012-11-30 06:50:15 +0000 | [diff] [blame] | 58 | const char *log_path; |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 59 | // Sleep in main thread before exiting for that many ms |
| 60 | // (useful to catch "at exit" races). |
| 61 | int atexit_sleep_ms; |
| 62 | // Verbosity level (0 - silent, 1 - a bit of output, 2+ - more output). |
| 63 | int verbosity; |
Dmitry Vyukov | 2612773 | 2012-05-22 11:33:03 +0000 | [diff] [blame] | 64 | // If set, periodically write memory profile to that file. |
| 65 | const char *profile_memory; |
Dmitry Vyukov | adfb650 | 2012-05-22 18:07:45 +0000 | [diff] [blame] | 66 | // Flush shadow memory every X ms. |
| 67 | int flush_memory_ms; |
| 68 | // Stops on start until __tsan_resume() is called (for debugging). |
| 69 | bool stop_on_start; |
Dmitry Vyukov | 24567d4 | 2012-05-24 09:24:45 +0000 | [diff] [blame] | 70 | // Controls whether RunningOnValgrind() returns true or false. |
| 71 | bool running_on_valgrind; |
Alexey Samsonov | 8cc1f81 | 2012-09-06 08:48:43 +0000 | [diff] [blame] | 72 | // Path to external symbolizer. |
| 73 | const char *external_symbolizer_path; |
Dmitry Vyukov | d698edc | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 74 | // Per-thread history size, controls how many previous memory accesses |
Dmitry Vyukov | 3fb70e3 | 2012-11-28 13:01:32 +0000 | [diff] [blame] | 75 | // are remembered per thread. Possible values are [0..7]. |
Dmitry Vyukov | d698edc | 2012-11-28 12:19:50 +0000 | [diff] [blame] | 76 | // history_size=0 amounts to 32K memory accesses. Each next value doubles |
| 77 | // the amount of memory accesses, up to history_size=7 that amounts to |
| 78 | // 4M memory accesses. The default value is 2 (128K memory accesses). |
| 79 | int history_size; |
Dmitry Vyukov | e3178e8 | 2012-12-18 12:20:55 +0000 | [diff] [blame] | 80 | // Controls level of synchronization implied by IO operations. |
| 81 | // 0 - no synchronization |
| 82 | // 1 - reasonable level of synchronization (write->read) |
| 83 | // 2 - global synchronization of all IO operations |
| 84 | int io_sync; |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 85 | }; |
| 86 | |
| 87 | Flags *flags(); |
| 88 | void InitializeFlags(Flags *flags, const char *env); |
Alexey Samsonov | ba5e996 | 2013-01-30 07:45:58 +0000 | [diff] [blame^] | 89 | } // namespace __tsan |
Kostya Serebryany | 7ac4148 | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 90 | |
| 91 | #endif // TSAN_FLAGS_H |