Alexey Samsonov | 3b2f9f4 | 2012-06-04 13:55:19 +0000 | [diff] [blame] | 1 | //===-- tsan_mman.cc ------------------------------------------------------===// |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 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. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
Alexey Samsonov | 91e1a7e | 2012-06-07 11:54:08 +0000 | [diff] [blame] | 13 | #include "sanitizer_common/sanitizer_common.h" |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 14 | #include "tsan_mman.h" |
| 15 | #include "tsan_allocator.h" |
| 16 | #include "tsan_rtl.h" |
| 17 | #include "tsan_report.h" |
| 18 | #include "tsan_flags.h" |
| 19 | |
| 20 | namespace __tsan { |
| 21 | |
| 22 | static void SignalUnsafeCall(ThreadState *thr, uptr pc) { |
| 23 | if (!thr->in_signal_handler || !flags()->report_signal_unsafe) |
| 24 | return; |
| 25 | StackTrace stack; |
| 26 | stack.ObtainCurrent(thr, pc); |
| 27 | ScopedReport rep(ReportTypeSignalUnsafe); |
| 28 | rep.AddStack(&stack); |
Dmitry Vyukov | 665ce2a | 2012-05-14 15:28:03 +0000 | [diff] [blame] | 29 | OutputReport(rep, rep.GetReport()->stacks[0]); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 30 | } |
| 31 | |
| 32 | void *user_alloc(ThreadState *thr, uptr pc, uptr sz) { |
| 33 | CHECK_GT(thr->in_rtl, 0); |
Dmitry Vyukov | f64046c | 2012-05-18 09:41:52 +0000 | [diff] [blame] | 34 | if (sz + sizeof(MBlock) < sz) |
| 35 | return 0; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 36 | MBlock *b = (MBlock*)Alloc(sz + sizeof(MBlock)); |
Dmitry Vyukov | 9d2229f | 2012-05-21 06:46:27 +0000 | [diff] [blame] | 37 | if (b == 0) |
| 38 | return 0; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 39 | b->size = sz; |
| 40 | void *p = b + 1; |
| 41 | if (CTX() && CTX()->initialized) { |
| 42 | MemoryResetRange(thr, pc, (uptr)p, sz); |
| 43 | } |
Alexey Samsonov | 51ae983 | 2012-06-06 13:11:29 +0000 | [diff] [blame] | 44 | DPrintf("#%d: alloc(%zu) = %p\n", thr->tid, sz, p); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 45 | SignalUnsafeCall(thr, pc); |
| 46 | return p; |
| 47 | } |
| 48 | |
| 49 | void user_free(ThreadState *thr, uptr pc, void *p) { |
| 50 | CHECK_GT(thr->in_rtl, 0); |
| 51 | CHECK_NE(p, (void*)0); |
| 52 | DPrintf("#%d: free(%p)\n", thr->tid, p); |
| 53 | MBlock *b = user_mblock(thr, p); |
| 54 | p = b + 1; |
| 55 | if (CTX() && CTX()->initialized && thr->in_rtl == 1) { |
| 56 | MemoryRangeFreed(thr, pc, (uptr)p, b->size); |
| 57 | } |
| 58 | Free(b); |
| 59 | SignalUnsafeCall(thr, pc); |
| 60 | } |
| 61 | |
| 62 | void *user_realloc(ThreadState *thr, uptr pc, void *p, uptr sz) { |
| 63 | CHECK_GT(thr->in_rtl, 0); |
| 64 | void *p2 = 0; |
| 65 | // FIXME: Handle "shrinking" more efficiently, |
| 66 | // it seems that some software actually does this. |
| 67 | if (sz) { |
| 68 | p2 = user_alloc(thr, pc, sz); |
Dmitry Vyukov | 9d2229f | 2012-05-21 06:46:27 +0000 | [diff] [blame] | 69 | if (p2 == 0) |
| 70 | return 0; |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 71 | if (p) { |
| 72 | MBlock *b = user_mblock(thr, p); |
| 73 | internal_memcpy(p2, p, min(b->size, sz)); |
| 74 | } |
| 75 | } |
| 76 | if (p) { |
| 77 | user_free(thr, pc, p); |
| 78 | } |
| 79 | return p2; |
| 80 | } |
| 81 | |
| 82 | void *user_alloc_aligned(ThreadState *thr, uptr pc, uptr sz, uptr align) { |
| 83 | CHECK_GT(thr->in_rtl, 0); |
| 84 | void *p = user_alloc(thr, pc, sz + align); |
| 85 | void *pa = RoundUp(p, align); |
| 86 | DCHECK_LE((uptr)pa + sz, (uptr)p + sz + align); |
| 87 | return pa; |
| 88 | } |
| 89 | |
| 90 | MBlock *user_mblock(ThreadState *thr, void *p) { |
| 91 | CHECK_GT(thr->in_rtl, 0); |
| 92 | CHECK_NE(p, (void*)0); |
| 93 | MBlock *b = (MBlock*)AllocBlock(p); |
| 94 | // FIXME: Output a warning, it's a user error. |
| 95 | if (p < (char*)(b + 1) || p > (char*)(b + 1) + b->size) { |
Alexey Samsonov | 51ae983 | 2012-06-06 13:11:29 +0000 | [diff] [blame] | 96 | TsanPrintf("user_mblock p=%p b=%p size=%zu beg=%p end=%p\n", |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 97 | p, b, b->size, (char*)(b + 1), (char*)(b + 1) + b->size); |
| 98 | CHECK_GE(p, (char*)(b + 1)); |
| 99 | CHECK_LE(p, (char*)(b + 1) + b->size); |
| 100 | } |
| 101 | return b; |
| 102 | } |
| 103 | |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 104 | void *internal_alloc(MBlockType typ, uptr sz) { |
| 105 | ThreadState *thr = cur_thread(); |
| 106 | CHECK_GT(thr->in_rtl, 0); |
Dmitry Vyukov | de1fd1c | 2012-06-22 11:08:55 +0000 | [diff] [blame^] | 107 | if (thr->nomalloc) { |
| 108 | thr->nomalloc = 0; // CHECK calls internal_malloc(). |
| 109 | CHECK(0); |
| 110 | } |
Alexey Samsonov | 91e1a7e | 2012-06-07 11:54:08 +0000 | [diff] [blame] | 111 | return InternalAlloc(sz); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 112 | } |
| 113 | |
| 114 | void internal_free(void *p) { |
| 115 | ThreadState *thr = cur_thread(); |
| 116 | CHECK_GT(thr->in_rtl, 0); |
Dmitry Vyukov | de1fd1c | 2012-06-22 11:08:55 +0000 | [diff] [blame^] | 117 | if (thr->nomalloc) { |
| 118 | thr->nomalloc = 0; // CHECK calls internal_malloc(). |
| 119 | CHECK(0); |
| 120 | } |
Alexey Samsonov | 91e1a7e | 2012-06-07 11:54:08 +0000 | [diff] [blame] | 121 | InternalFree(p); |
Kostya Serebryany | 4ad375f | 2012-05-10 13:48:04 +0000 | [diff] [blame] | 122 | } |
| 123 | |
| 124 | } // namespace __tsan |