| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2011 Google Inc. All rights reserved. | 2 * Copyright (C) 2011 Google Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
| 6 * met: | 6 * met: |
| 7 * | 7 * |
| 8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * * Neither the name of Google Inc. nor the names of its | 10 * * Neither the name of Google Inc. nor the names of its |
| (...skipping 30 matching lines...) Expand all Loading... |
| 41 * In C/C++ program the annotations are represented as C macros. | 41 * In C/C++ program the annotations are represented as C macros. |
| 42 * With the default build flags, these macros are empty, hence don't affect | 42 * With the default build flags, these macros are empty, hence don't affect |
| 43 * performance of a compiled binary. | 43 * performance of a compiled binary. |
| 44 * If dynamic annotations are enabled, they just call no-op functions. | 44 * If dynamic annotations are enabled, they just call no-op functions. |
| 45 * The dynamic analysis tools can intercept these functions and replace them | 45 * The dynamic analysis tools can intercept these functions and replace them |
| 46 * with their own implementations. | 46 * with their own implementations. |
| 47 * | 47 * |
| 48 * See http://code.google.com/p/data-race-test/wiki/DynamicAnnotations for more
information. | 48 * See http://code.google.com/p/data-race-test/wiki/DynamicAnnotations for more
information. |
| 49 */ | 49 */ |
| 50 | 50 |
| 51 #include "wtf/WTFExport.h" |
| 52 |
| 51 #if USE(DYNAMIC_ANNOTATIONS) | 53 #if USE(DYNAMIC_ANNOTATIONS) |
| 52 /* Tell data race detector that we're not interested in reports on the given add
ress range. */ | 54 /* Tell data race detector that we're not interested in reports on the given add
ress range. */ |
| 53 #define WTF_ANNOTATE_BENIGN_RACE_SIZED(address, size, description) WTFAnnotateBe
nignRaceSized(__FILE__, __LINE__, address, size, description) | 55 #define WTF_ANNOTATE_BENIGN_RACE_SIZED(address, size, description) WTFAnnotateBe
nignRaceSized(__FILE__, __LINE__, address, size, description) |
| 54 #define WTF_ANNOTATE_BENIGN_RACE(pointer, description) WTFAnnotateBenignRaceSize
d(__FILE__, __LINE__, pointer, sizeof(*(pointer)), description) | 56 #define WTF_ANNOTATE_BENIGN_RACE(pointer, description) WTFAnnotateBenignRaceSize
d(__FILE__, __LINE__, pointer, sizeof(*(pointer)), description) |
| 55 | 57 |
| 56 /* Annotations for user-defined synchronization mechanisms. | 58 /* Annotations for user-defined synchronization mechanisms. |
| 57 * These annotations can be used to define happens-before arcs in user-defined | 59 * These annotations can be used to define happens-before arcs in user-defined |
| 58 * synchronization mechanisms: the race detector will infer an arc from | 60 * synchronization mechanisms: the race detector will infer an arc from |
| 59 * the former to the latter when they share the same argument pointer. | 61 * the former to the latter when they share the same argument pointer. |
| 60 * | 62 * |
| 61 * The most common case requiring annotations is atomic reference counting: | 63 * The most common case requiring annotations is atomic reference counting: |
| 62 * bool deref() { | 64 * bool deref() { |
| 63 * ANNOTATE_HAPPENS_BEFORE(&m_refCount); | 65 * ANNOTATE_HAPPENS_BEFORE(&m_refCount); |
| 64 * if (!atomicDecrement(&m_refCount)) { | 66 * if (!atomicDecrement(&m_refCount)) { |
| 65 * // m_refCount is now 0 | 67 * // m_refCount is now 0 |
| 66 * ANNOTATE_HAPPENS_AFTER(&m_refCount); | 68 * ANNOTATE_HAPPENS_AFTER(&m_refCount); |
| 67 * // "return true; happens-after each atomicDecrement of m_refCount" | 69 * // "return true; happens-after each atomicDecrement of m_refCount" |
| 68 * return true; | 70 * return true; |
| 69 * } | 71 * } |
| 70 * return false; | 72 * return false; |
| 71 * } | 73 * } |
| 72 */ | 74 */ |
| 73 #define WTF_ANNOTATE_HAPPENS_BEFORE(address) WTFAnnotateHappensBefore(__FILE__,
__LINE__, address) | 75 #define WTF_ANNOTATE_HAPPENS_BEFORE(address) WTFAnnotateHappensBefore(__FILE__,
__LINE__, address) |
| 74 #define WTF_ANNOTATE_HAPPENS_AFTER(address) WTFAnnotateHappensAfter(__FILE__, __
LINE__, address) | 76 #define WTF_ANNOTATE_HAPPENS_AFTER(address) WTFAnnotateHappensAfter(__FILE__, __
LINE__, address) |
| 75 | 77 |
| 76 #ifdef __cplusplus | 78 #ifdef __cplusplus |
| 77 extern "C" { | 79 extern "C" { |
| 78 #endif | 80 #endif |
| 79 /* Don't use these directly, use the above macros instead. */ | 81 /* Don't use these directly, use the above macros instead. */ |
| 80 void WTFAnnotateBenignRaceSized(const char* file, int line, const volatile void*
memory, long size, const char* description); | 82 WTF_EXPORT void WTFAnnotateBenignRaceSized(const char* file, int line, const vol
atile void* memory, long size, const char* description); |
| 81 void WTFAnnotateHappensBefore(const char* file, int line, const volatile void* a
ddress); | 83 WTF_EXPORT void WTFAnnotateHappensBefore(const char* file, int line, const volat
ile void* address); |
| 82 void WTFAnnotateHappensAfter(const char* file, int line, const volatile void* ad
dress); | 84 WTF_EXPORT void WTFAnnotateHappensAfter(const char* file, int line, const volati
le void* address); |
| 83 #ifdef __cplusplus | 85 #ifdef __cplusplus |
| 84 } // extern "C" | 86 } // extern "C" |
| 85 #endif | 87 #endif |
| 86 | 88 |
| 87 #else // USE(DYNAMIC_ANNOTATIONS) | 89 #else // USE(DYNAMIC_ANNOTATIONS) |
| 88 /* These macros are empty when dynamic annotations are not enabled so you can | 90 /* These macros are empty when dynamic annotations are not enabled so you can |
| 89 * use them without affecting the performance of release binaries. */ | 91 * use them without affecting the performance of release binaries. */ |
| 90 #define WTF_ANNOTATE_BENIGN_RACE_SIZED(address, size, description) | 92 #define WTF_ANNOTATE_BENIGN_RACE_SIZED(address, size, description) |
| 91 #define WTF_ANNOTATE_BENIGN_RACE(pointer, description) | 93 #define WTF_ANNOTATE_BENIGN_RACE(pointer, description) |
| 92 #define WTF_ANNOTATE_HAPPENS_BEFORE(address) | 94 #define WTF_ANNOTATE_HAPPENS_BEFORE(address) |
| 93 #define WTF_ANNOTATE_HAPPENS_AFTER(address) | 95 #define WTF_ANNOTATE_HAPPENS_AFTER(address) |
| 94 #endif // USE(DYNAMIC_ANNOTATIONS) | 96 #endif // USE(DYNAMIC_ANNOTATIONS) |
| 95 | 97 |
| 96 #endif // WTF_DynamicAnnotations_h | 98 #endif // WTF_DynamicAnnotations_h |
| OLD | NEW |