1 /* -*- mode: C; c-basic-offset: 3; indent-tabs-mode: nil; -*- */
2 /*
3 This file is part of drd, a thread error detector.
4
5 Copyright (C) 2006-2011 Bart Van Assche <bvanassche@acm.org>.
6
7 This program is free software; you can redistribute it and/or
8 modify it under the terms of the GNU General Public License as
9 published by the Free Software Foundation; either version 2 of the
10 License, or (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
20 02111-1307, USA.
21
22 The GNU General Public License is contained in the file COPYING.
23 */
24
25
26 #include "drd_suppression.h"
27 #include "pub_drd_bitmap.h"
28 #include "pub_tool_libcassert.h" // tl_assert()
29 #include "pub_tool_stacktrace.h" // VG_(get_and_pp_StackTrace)()
30 #include "pub_tool_threadstate.h" // VG_(get_running_tid)()
31 #include "pub_tool_libcprint.h" // Vg_DebugMsg
32
33
34 /* Global variables. */
35
36 Bool DRD_(g_any_address_traced) = False;
37
38
39 /* Local variables. */
40
41 static struct bitmap* DRD_(s_suppressed);
42 static struct bitmap* DRD_(s_traced);
43 static Bool DRD_(s_trace_suppression);
44
45
46 /* Function definitions. */
47
DRD_(suppression_set_trace)48 void DRD_(suppression_set_trace)(const Bool trace_suppression)
49 {
50 DRD_(s_trace_suppression) = trace_suppression;
51 }
52
DRD_(suppression_init)53 void DRD_(suppression_init)(void)
54 {
55 tl_assert(DRD_(s_suppressed) == 0);
56 tl_assert(DRD_(s_traced) == 0);
57 DRD_(s_suppressed) = DRD_(bm_new)();
58 DRD_(s_traced) = DRD_(bm_new)();
59 tl_assert(DRD_(s_suppressed));
60 tl_assert(DRD_(s_traced));
61 }
62
DRD_(start_suppression)63 void DRD_(start_suppression)(const Addr a1, const Addr a2,
64 const char* const reason)
65 {
66 if (DRD_(s_trace_suppression))
67 {
68 VG_(message)(Vg_DebugMsg, "start suppression of 0x%lx sz %ld (%s)\n",
69 a1, a2 - a1, reason);
70 }
71
72 tl_assert(a1 <= a2);
73 DRD_(bm_access_range_store)(DRD_(s_suppressed), a1, a2);
74 }
75
DRD_(finish_suppression)76 void DRD_(finish_suppression)(const Addr a1, const Addr a2)
77 {
78 if (DRD_(s_trace_suppression))
79 {
80 VG_(message)(Vg_DebugMsg, "finish suppression of 0x%lx sz %ld\n",
81 a1, a2 - a1);
82 VG_(get_and_pp_StackTrace)(VG_(get_running_tid)(), 12);
83 }
84
85 tl_assert(a1 <= a2);
86 DRD_(bm_clear_store)(DRD_(s_suppressed), a1, a2);
87 }
88
89 /**
90 * Return true if data race detection suppression has been requested for all
91 * bytes in the range a1 .. a2 - 1 inclusive. Return false in case the range
92 * is only partially suppressed or not suppressed at all.
93 */
DRD_(is_suppressed)94 Bool DRD_(is_suppressed)(const Addr a1, const Addr a2)
95 {
96 return DRD_(bm_has)(DRD_(s_suppressed), a1, a2, eStore);
97 }
98
99 /**
100 * Return true if data race detection suppression has been requested for any
101 * of the bytes in the range a1 .. a2 - 1 inclusive. Return false in case none
102 * of the bytes in the specified range is suppressed.
103 */
DRD_(is_any_suppressed)104 Bool DRD_(is_any_suppressed)(const Addr a1, const Addr a2)
105 {
106 return DRD_(bm_has_any_store)(DRD_(s_suppressed), a1, a2);
107 }
108
DRD_(mark_hbvar)109 void DRD_(mark_hbvar)(const Addr a1)
110 {
111 DRD_(bm_access_range_load)(DRD_(s_suppressed), a1, a1 + 1);
112 }
113
DRD_(range_contains_suppression_or_hbvar)114 Bool DRD_(range_contains_suppression_or_hbvar)(const Addr a1, const Addr a2)
115 {
116 return DRD_(bm_has_any_access)(DRD_(s_suppressed), a1, a2);
117 }
118
DRD_(start_tracing_address_range)119 void DRD_(start_tracing_address_range)(const Addr a1, const Addr a2)
120 {
121 tl_assert(a1 <= a2);
122
123 DRD_(bm_access_range_load)(DRD_(s_traced), a1, a2);
124 if (! DRD_(g_any_address_traced))
125 {
126 DRD_(g_any_address_traced) = True;
127 }
128 }
129
DRD_(stop_tracing_address_range)130 void DRD_(stop_tracing_address_range)(const Addr a1, const Addr a2)
131 {
132 tl_assert(a1 <= a2);
133
134 DRD_(bm_clear_load)(DRD_(s_traced), a1, a2);
135 if (DRD_(g_any_address_traced))
136 {
137 DRD_(g_any_address_traced)
138 = DRD_(bm_has_any_load)(DRD_(s_traced), 0, ~(Addr)0);
139 }
140 }
141
DRD_(is_any_traced)142 Bool DRD_(is_any_traced)(const Addr a1, const Addr a2)
143 {
144 return DRD_(bm_has_any_load)(DRD_(s_traced), a1, a2);
145 }
146
DRD_(suppression_stop_using_mem)147 void DRD_(suppression_stop_using_mem)(const Addr a1, const Addr a2)
148 {
149 if (DRD_(s_trace_suppression))
150 {
151 Addr b;
152 for (b = a1; b < a2; b++)
153 {
154 if (DRD_(bm_has_1)(DRD_(s_suppressed), b, eStore))
155 {
156 VG_(message)(Vg_DebugMsg,
157 "stop_using_mem(0x%lx, %ld) finish suppression of"
158 " 0x%lx\n", a1, a2 - a1, b);
159 }
160 }
161 }
162 tl_assert(a1);
163 tl_assert(a1 <= a2);
164 DRD_(bm_clear)(DRD_(s_suppressed), a1, a2);
165 DRD_(bm_clear)(DRD_(s_traced), a1, a2);
166 }
167