sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 1 | |
sewardj | 141383e | 2009-01-22 20:46:51 +0000 | [diff] [blame] | 2 | # FIXME 22 Jan 09: helgrind-glibc2X-005 overlaps with a lot of |
| 3 | # other stuff. They should be removed. |
| 4 | |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 5 | ##----------------------------------------------------------------------## |
| 6 | # Suppressions for the Helgrind tool when using |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 7 | # a glibc-2.{3,4,5,6,7,8,9} system |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 8 | |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 9 | #################################################### |
| 10 | # glibc-2.X specific |
| 11 | # These are generic cover-alls which catch a lot of stuff |
| 12 | # in various combinations of ld, libc and libpthread |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 13 | # |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 14 | # Note this is heavyhanded and not very clever: |
| 15 | # |
| 16 | # - suppress anything that has its top frame in ld.so |
| 17 | # That's fine, since it's mostly dynamic linking stuff, |
| 18 | # which has various deliberate (harmless) races |
| 19 | # |
| 20 | # - suppress anything that has its top frame in libc.so. |
| 21 | # This really isn't clever, since it could hide some |
| 22 | # legitimate races. But the problem is, if we don't do |
| 23 | # this, then loads of errors to do with stdio are reported, because |
| 24 | # H fails to see glibc's internal locking/unlocking of FILE*s |
| 25 | # as required by POSIX. A better solution is needed. |
mjw | 653256c | 2015-09-04 10:52:01 +0000 | [diff] [blame] | 26 | # |
| 27 | # - some of the stdio functions in newer glibc manipulate stdio |
| 28 | # FILE*s state through mempcpy, which we intercept, so we also need |
| 29 | # to suppress such manipulations. |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 30 | |
sewardj | a0eee32 | 2009-07-31 08:46:35 +0000 | [diff] [blame] | 31 | #{ |
| 32 | # helgrind-glibc2X-001 |
| 33 | # Helgrind:Race |
tom | 7299d84 | 2012-02-23 12:54:50 +0000 | [diff] [blame] | 34 | # obj:*/lib*/ld-2.*so* |
sewardj | a0eee32 | 2009-07-31 08:46:35 +0000 | [diff] [blame] | 35 | #} |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 36 | |
sewardj | 4f75be3 | 2008-12-29 14:46:26 +0000 | [diff] [blame] | 37 | # helgrind-glibc2X-002 was merged into helgrind-glibc2X-001 |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 38 | |
sewardj | 4f75be3 | 2008-12-29 14:46:26 +0000 | [diff] [blame] | 39 | # helgrind-glibc2X-003 was merged into helgrind-glibc2X-001 |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 40 | |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 41 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 42 | helgrind-glibc2X-004 |
sewardj | 963286e | 2007-11-10 12:44:56 +0000 | [diff] [blame] | 43 | Helgrind:Race |
tom | 7299d84 | 2012-02-23 12:54:50 +0000 | [diff] [blame] | 44 | obj:*/lib*/libc-2.*so* |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 45 | } |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 46 | |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 47 | { |
mjw | 653256c | 2015-09-04 10:52:01 +0000 | [diff] [blame] | 48 | helgrind-glibc-io-xsputn-mempcpy |
| 49 | Helgrind:Race |
| 50 | fun:__GI_mempcpy |
| 51 | fun:_IO_*xsputn* |
| 52 | obj:*/lib*/libc-2.*so* |
| 53 | } |
| 54 | |
| 55 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 56 | helgrind-glibc2X-005 |
sewardj | 963286e | 2007-11-10 12:44:56 +0000 | [diff] [blame] | 57 | Helgrind:Race |
tom | 7299d84 | 2012-02-23 12:54:50 +0000 | [diff] [blame] | 58 | obj:*/lib*/libpthread-2.*so* |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 59 | } |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 60 | |
| 61 | # helgrind-glibc2X-006 was merged into helgrind-glibc2X-005 |
| 62 | |
sewardj | 4f75be3 | 2008-12-29 14:46:26 +0000 | [diff] [blame] | 63 | # helgrind-glibc2X-007 was merged into helgrind-glibc2X-001 |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 64 | |
sewardj | a2e66b8 | 2009-02-01 20:15:32 +0000 | [diff] [blame] | 65 | # helgrind-glibc2X-008 was merged into helgrind-glibc2X-004 |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 66 | |
| 67 | # helgrind-glibc2X-009 was merged into helgrind-glibc2X-004 |
| 68 | |
sewardj | 4f75be3 | 2008-12-29 14:46:26 +0000 | [diff] [blame] | 69 | # helgrind-glibc2X-010 was merged into helgrind-glibc2X-001 |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 70 | |
| 71 | # helgrind-glibc2X-011 was merged into helgrind-glibc2X-004 |
| 72 | |
sewardj | 4f75be3 | 2008-12-29 14:46:26 +0000 | [diff] [blame] | 73 | # helgrind-glibc2X-012 was merged into helgrind-glibc2X-001 |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 74 | |
sewardj | 4f75be3 | 2008-12-29 14:46:26 +0000 | [diff] [blame] | 75 | # helgrind-glibc2X-013 was merged into helgrind-glibc2X-001 |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 76 | |
sewardj | 4f75be3 | 2008-12-29 14:46:26 +0000 | [diff] [blame] | 77 | # helgrind-glibc2X-014 was merged into helgrind-glibc2X-001 |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 78 | |
| 79 | # helgrind-glibc2X-015 was merged into helgrind-glibc2X-004 |
| 80 | |
sewardj | a2e66b8 | 2009-02-01 20:15:32 +0000 | [diff] [blame] | 81 | # helgrind-glibc2X-016 was merged into helgrind-glibc2X-004 |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 82 | |
| 83 | # These are very ugly. They are needed to suppress errors inside (eg) |
| 84 | # NPTL's pthread_cond_signal. Why only one stack frame -- at least we |
| 85 | # should see the wrapper calling the real functions, right? |
| 86 | # Unfortunately, no: the real functions are handwritten assembly (in |
| 87 | # the glibc-2.5 sources) and does not create a proper stack frame. |
| 88 | # Therefore it's only one level of unwinding before we're back out in |
| 89 | # user code rather than the 2 levels you'd expect. |
| 90 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 91 | helgrind-glibc2X-101 |
sewardj | 963286e | 2007-11-10 12:44:56 +0000 | [diff] [blame] | 92 | Helgrind:Race |
tom | 7299d84 | 2012-02-23 12:54:50 +0000 | [diff] [blame] | 93 | obj:*/lib*/libpthread-2.*so* |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 94 | fun:pthread_* |
| 95 | } |
| 96 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 97 | helgrind-glibc2X-102 |
sewardj | 963286e | 2007-11-10 12:44:56 +0000 | [diff] [blame] | 98 | Helgrind:Race |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 99 | fun:mythread_wrapper |
tom | 7299d84 | 2012-02-23 12:54:50 +0000 | [diff] [blame] | 100 | obj:*/lib*/libpthread-2.*so* |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 101 | } |
| 102 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 103 | helgrind-glibc2X-103 |
sewardj | 963286e | 2007-11-10 12:44:56 +0000 | [diff] [blame] | 104 | Helgrind:Race |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 105 | fun:pthread_cond_*@@GLIBC_2.* |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 106 | } |
| 107 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 108 | helgrind-glibc2X-104 |
sewardj | 963286e | 2007-11-10 12:44:56 +0000 | [diff] [blame] | 109 | Helgrind:Race |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 110 | fun:__lll_mutex_* |
| 111 | } |
| 112 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 113 | helgrind-glibc2X-105 |
sewardj | 963286e | 2007-11-10 12:44:56 +0000 | [diff] [blame] | 114 | Helgrind:Race |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 115 | fun:pthread_rwlock_*lock* |
| 116 | } |
sewardj | b9354be | 2007-11-18 01:40:14 +0000 | [diff] [blame] | 117 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 118 | helgrind-glibc2X-106 |
sewardj | 963286e | 2007-11-10 12:44:56 +0000 | [diff] [blame] | 119 | Helgrind:Race |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 120 | fun:__lll_lock_wait |
| 121 | } |
sewardj | a8e939e | 2007-11-13 20:51:26 +0000 | [diff] [blame] | 122 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 123 | helgrind-glibc2X-107 |
sewardj | a8e939e | 2007-11-13 20:51:26 +0000 | [diff] [blame] | 124 | Helgrind:Race |
tom | 7299d84 | 2012-02-23 12:54:50 +0000 | [diff] [blame] | 125 | obj:*/lib*/libpthread-2.*so* |
sewardj | a8e939e | 2007-11-13 20:51:26 +0000 | [diff] [blame] | 126 | fun:sem_* |
| 127 | } |
sewardj | a1c0df3 | 2007-11-18 18:22:50 +0000 | [diff] [blame] | 128 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 129 | helgrind-glibc2X-108 |
sewardj | a1c0df3 | 2007-11-18 18:22:50 +0000 | [diff] [blame] | 130 | Helgrind:Race |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 131 | fun:clone |
sewardj | a1c0df3 | 2007-11-18 18:22:50 +0000 | [diff] [blame] | 132 | } |
| 133 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 134 | helgrind-glibc2X-109 |
sewardj | a1c0df3 | 2007-11-18 18:22:50 +0000 | [diff] [blame] | 135 | Helgrind:Race |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 136 | fun:start_thread |
sewardj | a1c0df3 | 2007-11-18 18:22:50 +0000 | [diff] [blame] | 137 | } |
| 138 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 139 | helgrind-glibc2X-110 |
sewardj | a1c0df3 | 2007-11-18 18:22:50 +0000 | [diff] [blame] | 140 | Helgrind:Race |
tom | 7299d84 | 2012-02-23 12:54:50 +0000 | [diff] [blame] | 141 | obj:*/lib*/libc-2.*so* |
sewardj | a1c0df3 | 2007-11-18 18:22:50 +0000 | [diff] [blame] | 142 | fun:pthread_* |
| 143 | } |
| 144 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 145 | helgrind-glibc2X-111 |
sewardj | a1c0df3 | 2007-11-18 18:22:50 +0000 | [diff] [blame] | 146 | Helgrind:Race |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 147 | fun:__lll_*lock_* |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 148 | } |
| 149 | { |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 150 | helgrind-glibc2X-113 |
sewardj | 1990d5d | 2007-12-06 01:58:05 +0000 | [diff] [blame] | 151 | Helgrind:Race |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 152 | fun:pthread_barrier_wait* |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 153 | } |
| 154 | |
sewardj | 13ca8a6 | 2008-12-20 09:20:33 +0000 | [diff] [blame] | 155 | |
| 156 | #################################################### |
sewardj | f721815 | 2008-12-22 20:21:38 +0000 | [diff] [blame] | 157 | # qt4 specific (GNU mangling) |
| 158 | # |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 159 | { |
sewardj | 0f7a029 | 2008-11-19 10:41:55 +0000 | [diff] [blame] | 160 | helgrind-qt4---QMutex::lock()-QMutex::lock() |
sewardj | 963286e | 2007-11-10 12:44:56 +0000 | [diff] [blame] | 161 | Helgrind:Race |
sewardj | dcfac13 | 2009-02-25 21:28:38 +0000 | [diff] [blame] | 162 | ... |
sewardj | 95386ae | 2007-11-09 22:50:55 +0000 | [diff] [blame] | 163 | fun:_ZN6QMutex4lockEv |
| 164 | fun:_ZN6QMutex4lockEv |
| 165 | } |
sewardj | 0f7a029 | 2008-11-19 10:41:55 +0000 | [diff] [blame] | 166 | |
sewardj | 13ca8a6 | 2008-12-20 09:20:33 +0000 | [diff] [blame] | 167 | { |
| 168 | helgrind-qt4---QMutex::unlock()-QMutex::unlock() |
| 169 | Helgrind:Race |
sewardj | dcfac13 | 2009-02-25 21:28:38 +0000 | [diff] [blame] | 170 | ... |
sewardj | 13ca8a6 | 2008-12-20 09:20:33 +0000 | [diff] [blame] | 171 | fun:_ZN6QMutex6unlockEv |
| 172 | fun:_ZN6QMutex6unlockEv |
| 173 | } |
| 174 | |
sewardj | 0f7a029 | 2008-11-19 10:41:55 +0000 | [diff] [blame] | 175 | { |
| 176 | helgrind-qt4---pthread_setspecific-QThreadPrivate::start(void*) |
| 177 | Helgrind:Race |
| 178 | fun:pthread_setspecific |
| 179 | fun:_ZN14QThreadPrivate5startEPv |
| 180 | } |
| 181 | |
sewardj | 357cb16 | 2008-12-13 01:18:38 +0000 | [diff] [blame] | 182 | |
| 183 | #################################################### |
| 184 | # Other stuff. |
| 185 | # |
| 186 | # pthread_exit apparently calls some kind of unwind |
| 187 | # mechanism - maybe to remove some number of frames |
| 188 | # from the thread's stack, so as to get back to the |
| 189 | # outermost frame for the thread? Anyway.. |
| 190 | |
| 191 | { |
| 192 | helgrind---*Unwind*-...-pthread_exit |
| 193 | Helgrind:Race |
| 194 | fun:*Unwind* |
| 195 | ... |
| 196 | fun:pthread_exit |
| 197 | } |
| 198 | |
| 199 | { |
| 200 | helgrind---...-*Unwind*-*pthread_unwind* |
| 201 | Helgrind:Race |
| 202 | ... |
| 203 | fun:*Unwind* |
| 204 | fun:*pthread_unwind* |
| 205 | } |
sewardj | 13ca8a6 | 2008-12-20 09:20:33 +0000 | [diff] [blame] | 206 | |
sewardj | 4b03c42 | 2008-12-23 11:12:40 +0000 | [diff] [blame] | 207 | { |
| 208 | helgrind---...-*Unwind*-*pthread_unwind* |
| 209 | Helgrind:Race |
| 210 | ... |
| 211 | fun:_Unwind* |
| 212 | ... |
| 213 | fun:_Unwind_Backtrace |
| 214 | } |
| 215 | |
| 216 | |
| 217 | |
sewardj | 13ca8a6 | 2008-12-20 09:20:33 +0000 | [diff] [blame] | 218 | |
| 219 | #################################################### |
| 220 | # To do with thread stack allocation and deallocation? |
| 221 | # |
| 222 | { |
| 223 | helgrind---free_stacks-__deallocate_stack |
| 224 | Helgrind:Race |
| 225 | fun:free_stacks |
| 226 | fun:__deallocate_stack |
| 227 | } |
| 228 | |
| 229 | { |
| 230 | helgrind---__deallocate_stack-start_thread-clone |
| 231 | Helgrind:Race |
| 232 | fun:__deallocate_stack |
| 233 | fun:start_thread |
| 234 | fun:clone |
| 235 | } |
| 236 | |
| 237 | |
| 238 | #################################################### |
| 239 | # To do with pthread_{set,get}specific |
| 240 | # |
| 241 | { |
| 242 | helgrind---pthread_setspecific |
| 243 | Helgrind:Race |
| 244 | fun:pthread_setspecific |
| 245 | } |
| 246 | |
| 247 | { |
| 248 | helgrind---pthread_getspecific |
| 249 | Helgrind:Race |
| 250 | fun:pthread_getspecific |
| 251 | } |
| 252 | |
| 253 | |
| 254 | #################################################### |
| 255 | # To do with dynamic linking |
| 256 | # |
sewardj | 4f75be3 | 2008-12-29 14:46:26 +0000 | [diff] [blame] | 257 | # helgrind---ld.so-...-dlsym was merged into helgrind-glibc2X-001 |
sewardj | 94a9b24 | 2009-01-02 23:17:02 +0000 | [diff] [blame] | 258 | |
bart | c64bbdd | 2013-12-02 15:13:05 +0000 | [diff] [blame] | 259 | { |
| 260 | helgrind---_dl_allocate_tls |
| 261 | Helgrind:Race |
| 262 | fun:mempcpy |
| 263 | fun:_dl_allocate_tls_init |
philippe | 7efa165 | 2014-09-02 20:03:34 +0000 | [diff] [blame] | 264 | ... |
bart | c64bbdd | 2013-12-02 15:13:05 +0000 | [diff] [blame] | 265 | fun:pthread_create@@GLIBC_2.2* |
| 266 | fun:pthread_create_WRK |
| 267 | fun:pthread_create@* |
| 268 | } |
sewardj | a2e66b8 | 2009-02-01 20:15:32 +0000 | [diff] [blame] | 269 | |
| 270 | #################################################### |
| 271 | # To do with GNU libgomp |
| 272 | # |
| 273 | { |
| 274 | helgrind---libgomp43-1 |
| 275 | Helgrind:Race |
| 276 | fun:gomp_ordered_sync |
| 277 | } |
| 278 | |
| 279 | { |
| 280 | helgrind---libgomp43-1 |
| 281 | Helgrind:Race |
| 282 | fun:gomp_ordered_next |
| 283 | } |
| 284 | |
| 285 | { |
| 286 | helgrind---libgomp43-1 |
| 287 | Helgrind:Race |
| 288 | fun:gomp_ordered_last |
| 289 | } |