mirror of
				https://github.com/python/cpython.git
				synced 2025-10-31 13:41:24 +00:00 
			
		
		
		
	
		
			
	
	
		
			500 lines
		
	
	
	
		
			22 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
		
		
			
		
	
	
			500 lines
		
	
	
	
		
			22 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
|   | /* Copyright (c) 2008-2009, Google Inc.
 | ||
|  |  * All rights reserved. | ||
|  |  * | ||
|  |  * Redistribution and use in source and binary forms, with or without | ||
|  |  * modification, are permitted provided that the following conditions are | ||
|  |  * met: | ||
|  |  * | ||
|  |  *     * Redistributions of source code must retain the above copyright | ||
|  |  * notice, this list of conditions and the following disclaimer. | ||
|  |  *     * Neither the name of Google Inc. nor the names of its | ||
|  |  * contributors may be used to endorse or promote products derived from | ||
|  |  * this software without specific prior written permission. | ||
|  |  * | ||
|  |  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | ||
|  |  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | ||
|  |  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | ||
|  |  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | ||
|  |  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | ||
|  |  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | ||
|  |  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | ||
|  |  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | ||
|  |  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | ||
|  |  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | ||
|  |  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | ||
|  |  * | ||
|  |  * --- | ||
|  |  * Author: Kostya Serebryany | ||
|  |  * Copied to CPython by Jeffrey Yasskin, with all macros renamed to | ||
|  |  * start with _Py_ to avoid colliding with users embedding Python, and | ||
|  |  * with deprecated macros removed. | ||
|  |  */ | ||
|  | 
 | ||
|  | /* This file defines dynamic annotations for use with dynamic analysis
 | ||
|  |    tool such as valgrind, PIN, etc. | ||
|  | 
 | ||
|  |    Dynamic annotation is a source code annotation that affects | ||
|  |    the generated code (that is, the annotation is not a comment). | ||
|  |    Each such annotation is attached to a particular | ||
|  |    instruction and/or to a particular object (address) in the program. | ||
|  | 
 | ||
|  |    The annotations that should be used by users are macros in all upper-case | ||
|  |    (e.g., _Py_ANNOTATE_NEW_MEMORY). | ||
|  | 
 | ||
|  |    Actual implementation of these macros may differ depending on the | ||
|  |    dynamic analysis tool being used. | ||
|  | 
 | ||
|  |    See http://code.google.com/p/data-race-test/  for more information.
 | ||
|  | 
 | ||
|  |    This file supports the following dynamic analysis tools: | ||
|  |    - None (DYNAMIC_ANNOTATIONS_ENABLED is not defined or zero). | ||
|  |       Macros are defined empty. | ||
|  |    - ThreadSanitizer, Helgrind, DRD (DYNAMIC_ANNOTATIONS_ENABLED is 1). | ||
|  |       Macros are defined as calls to non-inlinable empty functions | ||
|  |       that are intercepted by Valgrind. */ | ||
|  | 
 | ||
|  | #ifndef __DYNAMIC_ANNOTATIONS_H__
 | ||
|  | #define __DYNAMIC_ANNOTATIONS_H__
 | ||
|  | 
 | ||
|  | #ifndef DYNAMIC_ANNOTATIONS_ENABLED
 | ||
|  | # define DYNAMIC_ANNOTATIONS_ENABLED 0
 | ||
|  | #endif
 | ||
|  | 
 | ||
|  | #if DYNAMIC_ANNOTATIONS_ENABLED != 0
 | ||
|  | 
 | ||
|  |   /* -------------------------------------------------------------
 | ||
|  |      Annotations useful when implementing condition variables such as CondVar, | ||
|  |      using conditional critical sections (Await/LockWhen) and when constructing | ||
|  |      user-defined synchronization mechanisms. | ||
|  | 
 | ||
|  |      The annotations _Py_ANNOTATE_HAPPENS_BEFORE() and | ||
|  |      _Py_ANNOTATE_HAPPENS_AFTER() can be used to define happens-before arcs in | ||
|  |      user-defined synchronization mechanisms: the race detector will infer an | ||
|  |      arc from the former to the latter when they share the same argument | ||
|  |      pointer. | ||
|  | 
 | ||
|  |      Example 1 (reference counting): | ||
|  | 
 | ||
|  |      void Unref() { | ||
|  |        _Py_ANNOTATE_HAPPENS_BEFORE(&refcount_); | ||
|  |        if (AtomicDecrementByOne(&refcount_) == 0) { | ||
|  |          _Py_ANNOTATE_HAPPENS_AFTER(&refcount_); | ||
|  |          delete this; | ||
|  |        } | ||
|  |      } | ||
|  | 
 | ||
|  |      Example 2 (message queue): | ||
|  | 
 | ||
|  |      void MyQueue::Put(Type *e) { | ||
|  |        MutexLock lock(&mu_); | ||
|  |        _Py_ANNOTATE_HAPPENS_BEFORE(e); | ||
|  |        PutElementIntoMyQueue(e); | ||
|  |      } | ||
|  | 
 | ||
|  |      Type *MyQueue::Get() { | ||
|  |        MutexLock lock(&mu_); | ||
|  |        Type *e = GetElementFromMyQueue(); | ||
|  |        _Py_ANNOTATE_HAPPENS_AFTER(e); | ||
|  |        return e; | ||
|  |      } | ||
|  | 
 | ||
|  |      Note: when possible, please use the existing reference counting and message | ||
|  |      queue implementations instead of inventing new ones. */ | ||
|  | 
 | ||
|  |   /* Report that wait on the condition variable at address "cv" has succeeded
 | ||
|  |      and the lock at address "lock" is held. */ | ||
|  |   #define _Py_ANNOTATE_CONDVAR_LOCK_WAIT(cv, lock) \
 | ||
|  |     AnnotateCondVarWait(__FILE__, __LINE__, cv, lock) | ||
|  | 
 | ||
|  |   /* Report that wait on the condition variable at "cv" has succeeded.  Variant
 | ||
|  |      w/o lock. */ | ||
|  |   #define _Py_ANNOTATE_CONDVAR_WAIT(cv) \
 | ||
|  |     AnnotateCondVarWait(__FILE__, __LINE__, cv, NULL) | ||
|  | 
 | ||
|  |   /* Report that we are about to signal on the condition variable at address
 | ||
|  |      "cv". */ | ||
|  |   #define _Py_ANNOTATE_CONDVAR_SIGNAL(cv) \
 | ||
|  |     AnnotateCondVarSignal(__FILE__, __LINE__, cv) | ||
|  | 
 | ||
|  |   /* Report that we are about to signal_all on the condition variable at "cv". */ | ||
|  |   #define _Py_ANNOTATE_CONDVAR_SIGNAL_ALL(cv) \
 | ||
|  |     AnnotateCondVarSignalAll(__FILE__, __LINE__, cv) | ||
|  | 
 | ||
|  |   /* Annotations for user-defined synchronization mechanisms. */ | ||
|  |   #define _Py_ANNOTATE_HAPPENS_BEFORE(obj) _Py_ANNOTATE_CONDVAR_SIGNAL(obj)
 | ||
|  |   #define _Py_ANNOTATE_HAPPENS_AFTER(obj)  _Py_ANNOTATE_CONDVAR_WAIT(obj)
 | ||
|  | 
 | ||
|  |   /* Report that the bytes in the range [pointer, pointer+size) are about
 | ||
|  |      to be published safely. The race checker will create a happens-before | ||
|  |      arc from the call _Py_ANNOTATE_PUBLISH_MEMORY_RANGE(pointer, size) to | ||
|  |      subsequent accesses to this memory. | ||
|  |      Note: this annotation may not work properly if the race detector uses | ||
|  |      sampling, i.e. does not observe all memory accesses. | ||
|  |      */ | ||
|  |   #define _Py_ANNOTATE_PUBLISH_MEMORY_RANGE(pointer, size) \
 | ||
|  |     AnnotatePublishMemoryRange(__FILE__, __LINE__, pointer, size) | ||
|  | 
 | ||
|  |   /* Instruct the tool to create a happens-before arc between mu->Unlock() and
 | ||
|  |      mu->Lock(). This annotation may slow down the race detector and hide real | ||
|  |      races. Normally it is used only when it would be difficult to annotate each | ||
|  |      of the mutex's critical sections individually using the annotations above. | ||
|  |      This annotation makes sense only for hybrid race detectors. For pure | ||
|  |      happens-before detectors this is a no-op. For more details see | ||
|  |      http://code.google.com/p/data-race-test/wiki/PureHappensBeforeVsHybrid . */
 | ||
|  |   #define _Py_ANNOTATE_PURE_HAPPENS_BEFORE_MUTEX(mu) \
 | ||
|  |     AnnotateMutexIsUsedAsCondVar(__FILE__, __LINE__, mu) | ||
|  | 
 | ||
|  |   /* -------------------------------------------------------------
 | ||
|  |      Annotations useful when defining memory allocators, or when memory that | ||
|  |      was protected in one way starts to be protected in another. */ | ||
|  | 
 | ||
|  |   /* Report that a new memory at "address" of size "size" has been allocated.
 | ||
|  |      This might be used when the memory has been retrieved from a free list and | ||
|  |      is about to be reused, or when a the locking discipline for a variable | ||
|  |      changes. */ | ||
|  |   #define _Py_ANNOTATE_NEW_MEMORY(address, size) \
 | ||
|  |     AnnotateNewMemory(__FILE__, __LINE__, address, size) | ||
|  | 
 | ||
|  |   /* -------------------------------------------------------------
 | ||
|  |      Annotations useful when defining FIFO queues that transfer data between | ||
|  |      threads. */ | ||
|  | 
 | ||
|  |   /* Report that the producer-consumer queue (such as ProducerConsumerQueue) at
 | ||
|  |      address "pcq" has been created.  The _Py_ANNOTATE_PCQ_* annotations should | ||
|  |      be used only for FIFO queues.  For non-FIFO queues use | ||
|  |      _Py_ANNOTATE_HAPPENS_BEFORE (for put) and _Py_ANNOTATE_HAPPENS_AFTER (for | ||
|  |      get). */ | ||
|  |   #define _Py_ANNOTATE_PCQ_CREATE(pcq) \
 | ||
|  |     AnnotatePCQCreate(__FILE__, __LINE__, pcq) | ||
|  | 
 | ||
|  |   /* Report that the queue at address "pcq" is about to be destroyed. */ | ||
|  |   #define _Py_ANNOTATE_PCQ_DESTROY(pcq) \
 | ||
|  |     AnnotatePCQDestroy(__FILE__, __LINE__, pcq) | ||
|  | 
 | ||
|  |   /* Report that we are about to put an element into a FIFO queue at address
 | ||
|  |      "pcq". */ | ||
|  |   #define _Py_ANNOTATE_PCQ_PUT(pcq) \
 | ||
|  |     AnnotatePCQPut(__FILE__, __LINE__, pcq) | ||
|  | 
 | ||
|  |   /* Report that we've just got an element from a FIFO queue at address "pcq". */ | ||
|  |   #define _Py_ANNOTATE_PCQ_GET(pcq) \
 | ||
|  |     AnnotatePCQGet(__FILE__, __LINE__, pcq) | ||
|  | 
 | ||
|  |   /* -------------------------------------------------------------
 | ||
|  |      Annotations that suppress errors.  It is usually better to express the | ||
|  |      program's synchronization using the other annotations, but these can | ||
|  |      be used when all else fails. */ | ||
|  | 
 | ||
|  |   /* Report that we may have a benign race at "pointer", with size
 | ||
|  |      "sizeof(*(pointer))". "pointer" must be a non-void* pointer.  Insert at the | ||
|  |      point where "pointer" has been allocated, preferably close to the point | ||
|  |      where the race happens.  See also _Py_ANNOTATE_BENIGN_RACE_STATIC. */ | ||
|  |   #define _Py_ANNOTATE_BENIGN_RACE(pointer, description) \
 | ||
|  |     AnnotateBenignRaceSized(__FILE__, __LINE__, pointer, \ | ||
|  |                             sizeof(*(pointer)), description) | ||
|  | 
 | ||
|  |   /* Same as _Py_ANNOTATE_BENIGN_RACE(address, description), but applies to
 | ||
|  |      the memory range [address, address+size). */ | ||
|  |   #define _Py_ANNOTATE_BENIGN_RACE_SIZED(address, size, description) \
 | ||
|  |     AnnotateBenignRaceSized(__FILE__, __LINE__, address, size, description) | ||
|  | 
 | ||
|  |   /* Request the analysis tool to ignore all reads in the current thread
 | ||
|  |      until _Py_ANNOTATE_IGNORE_READS_END is called. | ||
|  |      Useful to ignore intentional racey reads, while still checking | ||
|  |      other reads and all writes. | ||
|  |      See also _Py_ANNOTATE_UNPROTECTED_READ. */ | ||
|  |   #define _Py_ANNOTATE_IGNORE_READS_BEGIN() \
 | ||
|  |     AnnotateIgnoreReadsBegin(__FILE__, __LINE__) | ||
|  | 
 | ||
|  |   /* Stop ignoring reads. */ | ||
|  |   #define _Py_ANNOTATE_IGNORE_READS_END() \
 | ||
|  |     AnnotateIgnoreReadsEnd(__FILE__, __LINE__) | ||
|  | 
 | ||
|  |   /* Similar to _Py_ANNOTATE_IGNORE_READS_BEGIN, but ignore writes. */ | ||
|  |   #define _Py_ANNOTATE_IGNORE_WRITES_BEGIN() \
 | ||
|  |     AnnotateIgnoreWritesBegin(__FILE__, __LINE__) | ||
|  | 
 | ||
|  |   /* Stop ignoring writes. */ | ||
|  |   #define _Py_ANNOTATE_IGNORE_WRITES_END() \
 | ||
|  |     AnnotateIgnoreWritesEnd(__FILE__, __LINE__) | ||
|  | 
 | ||
|  |   /* Start ignoring all memory accesses (reads and writes). */ | ||
|  |   #define _Py_ANNOTATE_IGNORE_READS_AND_WRITES_BEGIN() \
 | ||
|  |     do {\ | ||
|  |       _Py_ANNOTATE_IGNORE_READS_BEGIN();\ | ||
|  |       _Py_ANNOTATE_IGNORE_WRITES_BEGIN();\ | ||
|  |     }while(0)\ | ||
|  | 
 | ||
|  |   /* Stop ignoring all memory accesses. */ | ||
|  |   #define _Py_ANNOTATE_IGNORE_READS_AND_WRITES_END() \
 | ||
|  |     do {\ | ||
|  |       _Py_ANNOTATE_IGNORE_WRITES_END();\ | ||
|  |       _Py_ANNOTATE_IGNORE_READS_END();\ | ||
|  |     }while(0)\ | ||
|  | 
 | ||
|  |   /* Similar to _Py_ANNOTATE_IGNORE_READS_BEGIN, but ignore synchronization events:
 | ||
|  |      RWLOCK* and CONDVAR*. */ | ||
|  |   #define _Py_ANNOTATE_IGNORE_SYNC_BEGIN() \
 | ||
|  |     AnnotateIgnoreSyncBegin(__FILE__, __LINE__) | ||
|  | 
 | ||
|  |   /* Stop ignoring sync events. */ | ||
|  |   #define _Py_ANNOTATE_IGNORE_SYNC_END() \
 | ||
|  |     AnnotateIgnoreSyncEnd(__FILE__, __LINE__) | ||
|  | 
 | ||
|  | 
 | ||
|  |   /* Enable (enable!=0) or disable (enable==0) race detection for all threads.
 | ||
|  |      This annotation could be useful if you want to skip expensive race analysis | ||
|  |      during some period of program execution, e.g. during initialization. */ | ||
|  |   #define _Py_ANNOTATE_ENABLE_RACE_DETECTION(enable) \
 | ||
|  |     AnnotateEnableRaceDetection(__FILE__, __LINE__, enable) | ||
|  | 
 | ||
|  |   /* -------------------------------------------------------------
 | ||
|  |      Annotations useful for debugging. */ | ||
|  | 
 | ||
|  |   /* Request to trace every access to "address". */ | ||
|  |   #define _Py_ANNOTATE_TRACE_MEMORY(address) \
 | ||
|  |     AnnotateTraceMemory(__FILE__, __LINE__, address) | ||
|  | 
 | ||
|  |   /* Report the current thread name to a race detector. */ | ||
|  |   #define _Py_ANNOTATE_THREAD_NAME(name) \
 | ||
|  |     AnnotateThreadName(__FILE__, __LINE__, name) | ||
|  | 
 | ||
|  |   /* -------------------------------------------------------------
 | ||
|  |      Annotations useful when implementing locks.  They are not | ||
|  |      normally needed by modules that merely use locks. | ||
|  |      The "lock" argument is a pointer to the lock object. */ | ||
|  | 
 | ||
|  |   /* Report that a lock has been created at address "lock". */ | ||
|  |   #define _Py_ANNOTATE_RWLOCK_CREATE(lock) \
 | ||
|  |     AnnotateRWLockCreate(__FILE__, __LINE__, lock) | ||
|  | 
 | ||
|  |   /* Report that the lock at address "lock" is about to be destroyed. */ | ||
|  |   #define _Py_ANNOTATE_RWLOCK_DESTROY(lock) \
 | ||
|  |     AnnotateRWLockDestroy(__FILE__, __LINE__, lock) | ||
|  | 
 | ||
|  |   /* Report that the lock at address "lock" has been acquired.
 | ||
|  |      is_w=1 for writer lock, is_w=0 for reader lock. */ | ||
|  |   #define _Py_ANNOTATE_RWLOCK_ACQUIRED(lock, is_w) \
 | ||
|  |     AnnotateRWLockAcquired(__FILE__, __LINE__, lock, is_w) | ||
|  | 
 | ||
|  |   /* Report that the lock at address "lock" is about to be released. */ | ||
|  |   #define _Py_ANNOTATE_RWLOCK_RELEASED(lock, is_w) \
 | ||
|  |     AnnotateRWLockReleased(__FILE__, __LINE__, lock, is_w) | ||
|  | 
 | ||
|  |   /* -------------------------------------------------------------
 | ||
|  |      Annotations useful when implementing barriers.  They are not | ||
|  |      normally needed by modules that merely use barriers. | ||
|  |      The "barrier" argument is a pointer to the barrier object. */ | ||
|  | 
 | ||
|  |   /* Report that the "barrier" has been initialized with initial "count".
 | ||
|  |    If 'reinitialization_allowed' is true, initialization is allowed to happen | ||
|  |    multiple times w/o calling barrier_destroy() */ | ||
|  |   #define _Py_ANNOTATE_BARRIER_INIT(barrier, count, reinitialization_allowed) \
 | ||
|  |     AnnotateBarrierInit(__FILE__, __LINE__, barrier, count, \ | ||
|  |                         reinitialization_allowed) | ||
|  | 
 | ||
|  |   /* Report that we are about to enter barrier_wait("barrier"). */ | ||
|  |   #define _Py_ANNOTATE_BARRIER_WAIT_BEFORE(barrier) \
 | ||
|  |     AnnotateBarrierWaitBefore(__FILE__, __LINE__, barrier) | ||
|  | 
 | ||
|  |   /* Report that we just exited barrier_wait("barrier"). */ | ||
|  |   #define _Py_ANNOTATE_BARRIER_WAIT_AFTER(barrier) \
 | ||
|  |     AnnotateBarrierWaitAfter(__FILE__, __LINE__, barrier) | ||
|  | 
 | ||
|  |   /* Report that the "barrier" has been destroyed. */ | ||
|  |   #define _Py_ANNOTATE_BARRIER_DESTROY(barrier) \
 | ||
|  |     AnnotateBarrierDestroy(__FILE__, __LINE__, barrier) | ||
|  | 
 | ||
|  |   /* -------------------------------------------------------------
 | ||
|  |      Annotations useful for testing race detectors. */ | ||
|  | 
 | ||
|  |   /* Report that we expect a race on the variable at "address".
 | ||
|  |      Use only in unit tests for a race detector. */ | ||
|  |   #define _Py_ANNOTATE_EXPECT_RACE(address, description) \
 | ||
|  |     AnnotateExpectRace(__FILE__, __LINE__, address, description) | ||
|  | 
 | ||
|  |   /* A no-op. Insert where you like to test the interceptors. */ | ||
|  |   #define _Py_ANNOTATE_NO_OP(arg) \
 | ||
|  |     AnnotateNoOp(__FILE__, __LINE__, arg) | ||
|  | 
 | ||
|  |   /* Force the race detector to flush its state. The actual effect depends on
 | ||
|  |    * the implementation of the detector. */ | ||
|  |   #define _Py_ANNOTATE_FLUSH_STATE() \
 | ||
|  |     AnnotateFlushState(__FILE__, __LINE__) | ||
|  | 
 | ||
|  | 
 | ||
|  | #else  /* DYNAMIC_ANNOTATIONS_ENABLED == 0 */
 | ||
|  | 
 | ||
|  |   #define _Py_ANNOTATE_RWLOCK_CREATE(lock) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_RWLOCK_DESTROY(lock) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_RWLOCK_ACQUIRED(lock, is_w) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_RWLOCK_RELEASED(lock, is_w) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_BARRIER_INIT(barrier, count, reinitialization_allowed) /* */
 | ||
|  |   #define _Py_ANNOTATE_BARRIER_WAIT_BEFORE(barrier) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_BARRIER_WAIT_AFTER(barrier) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_BARRIER_DESTROY(barrier) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_CONDVAR_LOCK_WAIT(cv, lock) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_CONDVAR_WAIT(cv) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_CONDVAR_SIGNAL(cv) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_CONDVAR_SIGNAL_ALL(cv) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_HAPPENS_BEFORE(obj) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_HAPPENS_AFTER(obj) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_PUBLISH_MEMORY_RANGE(address, size) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_UNPUBLISH_MEMORY_RANGE(address, size)  /* empty */
 | ||
|  |   #define _Py_ANNOTATE_SWAP_MEMORY_RANGE(address, size)  /* empty */
 | ||
|  |   #define _Py_ANNOTATE_PCQ_CREATE(pcq) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_PCQ_DESTROY(pcq) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_PCQ_PUT(pcq) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_PCQ_GET(pcq) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_NEW_MEMORY(address, size) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_EXPECT_RACE(address, description) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_BENIGN_RACE(address, description) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_BENIGN_RACE_SIZED(address, size, description) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_PURE_HAPPENS_BEFORE_MUTEX(mu) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_MUTEX_IS_USED_AS_CONDVAR(mu) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_TRACE_MEMORY(arg) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_THREAD_NAME(name) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_IGNORE_READS_BEGIN() /* empty */
 | ||
|  |   #define _Py_ANNOTATE_IGNORE_READS_END() /* empty */
 | ||
|  |   #define _Py_ANNOTATE_IGNORE_WRITES_BEGIN() /* empty */
 | ||
|  |   #define _Py_ANNOTATE_IGNORE_WRITES_END() /* empty */
 | ||
|  |   #define _Py_ANNOTATE_IGNORE_READS_AND_WRITES_BEGIN() /* empty */
 | ||
|  |   #define _Py_ANNOTATE_IGNORE_READS_AND_WRITES_END() /* empty */
 | ||
|  |   #define _Py_ANNOTATE_IGNORE_SYNC_BEGIN() /* empty */
 | ||
|  |   #define _Py_ANNOTATE_IGNORE_SYNC_END() /* empty */
 | ||
|  |   #define _Py_ANNOTATE_ENABLE_RACE_DETECTION(enable) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_NO_OP(arg) /* empty */
 | ||
|  |   #define _Py_ANNOTATE_FLUSH_STATE() /* empty */
 | ||
|  | 
 | ||
|  | #endif  /* DYNAMIC_ANNOTATIONS_ENABLED */
 | ||
|  | 
 | ||
|  | /* Use the macros above rather than using these functions directly. */ | ||
|  | #ifdef __cplusplus
 | ||
|  | extern "C" { | ||
|  | #endif
 | ||
|  | void AnnotateRWLockCreate(const char *file, int line, | ||
|  |                           const volatile void *lock); | ||
|  | void AnnotateRWLockDestroy(const char *file, int line, | ||
|  |                            const volatile void *lock); | ||
|  | void AnnotateRWLockAcquired(const char *file, int line, | ||
|  |                             const volatile void *lock, long is_w); | ||
|  | void AnnotateRWLockReleased(const char *file, int line, | ||
|  |                             const volatile void *lock, long is_w); | ||
|  | void AnnotateBarrierInit(const char *file, int line, | ||
|  |                          const volatile void *barrier, long count, | ||
|  |                          long reinitialization_allowed); | ||
|  | void AnnotateBarrierWaitBefore(const char *file, int line, | ||
|  |                                const volatile void *barrier); | ||
|  | void AnnotateBarrierWaitAfter(const char *file, int line, | ||
|  |                               const volatile void *barrier); | ||
|  | void AnnotateBarrierDestroy(const char *file, int line, | ||
|  |                             const volatile void *barrier); | ||
|  | void AnnotateCondVarWait(const char *file, int line, | ||
|  |                          const volatile void *cv, | ||
|  |                          const volatile void *lock); | ||
|  | void AnnotateCondVarSignal(const char *file, int line, | ||
|  |                            const volatile void *cv); | ||
|  | void AnnotateCondVarSignalAll(const char *file, int line, | ||
|  |                               const volatile void *cv); | ||
|  | void AnnotatePublishMemoryRange(const char *file, int line, | ||
|  |                                 const volatile void *address, | ||
|  |                                 long size); | ||
|  | void AnnotateUnpublishMemoryRange(const char *file, int line, | ||
|  |                                   const volatile void *address, | ||
|  |                                   long size); | ||
|  | void AnnotatePCQCreate(const char *file, int line, | ||
|  |                        const volatile void *pcq); | ||
|  | void AnnotatePCQDestroy(const char *file, int line, | ||
|  |                         const volatile void *pcq); | ||
|  | void AnnotatePCQPut(const char *file, int line, | ||
|  |                     const volatile void *pcq); | ||
|  | void AnnotatePCQGet(const char *file, int line, | ||
|  |                     const volatile void *pcq); | ||
|  | void AnnotateNewMemory(const char *file, int line, | ||
|  |                        const volatile void *address, | ||
|  |                        long size); | ||
|  | void AnnotateExpectRace(const char *file, int line, | ||
|  |                         const volatile void *address, | ||
|  |                         const char *description); | ||
|  | void AnnotateBenignRace(const char *file, int line, | ||
|  |                         const volatile void *address, | ||
|  |                         const char *description); | ||
|  | void AnnotateBenignRaceSized(const char *file, int line, | ||
|  |                         const volatile void *address, | ||
|  |                         long size, | ||
|  |                         const char *description); | ||
|  | void AnnotateMutexIsUsedAsCondVar(const char *file, int line, | ||
|  |                                   const volatile void *mu); | ||
|  | void AnnotateTraceMemory(const char *file, int line, | ||
|  |                          const volatile void *arg); | ||
|  | void AnnotateThreadName(const char *file, int line, | ||
|  |                         const char *name); | ||
|  | void AnnotateIgnoreReadsBegin(const char *file, int line); | ||
|  | void AnnotateIgnoreReadsEnd(const char *file, int line); | ||
|  | void AnnotateIgnoreWritesBegin(const char *file, int line); | ||
|  | void AnnotateIgnoreWritesEnd(const char *file, int line); | ||
|  | void AnnotateEnableRaceDetection(const char *file, int line, int enable); | ||
|  | void AnnotateNoOp(const char *file, int line, | ||
|  |                   const volatile void *arg); | ||
|  | void AnnotateFlushState(const char *file, int line); | ||
|  | 
 | ||
|  | /* Return non-zero value if running under valgrind.
 | ||
|  | 
 | ||
|  |   If "valgrind.h" is included into dynamic_annotations.c, | ||
|  |   the regular valgrind mechanism will be used. | ||
|  |   See http://valgrind.org/docs/manual/manual-core-adv.html about
 | ||
|  |   RUNNING_ON_VALGRIND and other valgrind "client requests". | ||
|  |   The file "valgrind.h" may be obtained by doing | ||
|  |      svn co svn://svn.valgrind.org/valgrind/trunk/include
 | ||
|  | 
 | ||
|  |   If for some reason you can't use "valgrind.h" or want to fake valgrind, | ||
|  |   there are two ways to make this function return non-zero: | ||
|  |     - Use environment variable: export RUNNING_ON_VALGRIND=1 | ||
|  |     - Make your tool intercept the function RunningOnValgrind() and | ||
|  |       change its return value. | ||
|  |  */ | ||
|  | int RunningOnValgrind(void); | ||
|  | 
 | ||
|  | #ifdef __cplusplus
 | ||
|  | } | ||
|  | #endif
 | ||
|  | 
 | ||
|  | #if DYNAMIC_ANNOTATIONS_ENABLED != 0 && defined(__cplusplus)
 | ||
|  | 
 | ||
|  |   /* _Py_ANNOTATE_UNPROTECTED_READ is the preferred way to annotate racey reads.
 | ||
|  | 
 | ||
|  |      Instead of doing | ||
|  |         _Py_ANNOTATE_IGNORE_READS_BEGIN(); | ||
|  |         ... = x; | ||
|  |         _Py_ANNOTATE_IGNORE_READS_END(); | ||
|  |      one can use | ||
|  |         ... = _Py_ANNOTATE_UNPROTECTED_READ(x); */ | ||
|  |   template <class T> | ||
|  |   inline T _Py_ANNOTATE_UNPROTECTED_READ(const volatile T &x) { | ||
|  |     _Py_ANNOTATE_IGNORE_READS_BEGIN(); | ||
|  |     T res = x; | ||
|  |     _Py_ANNOTATE_IGNORE_READS_END(); | ||
|  |     return res; | ||
|  |   } | ||
|  |   /* Apply _Py_ANNOTATE_BENIGN_RACE_SIZED to a static variable. */ | ||
|  |   #define _Py_ANNOTATE_BENIGN_RACE_STATIC(static_var, description)        \
 | ||
|  |     namespace {                                                       \ | ||
|  |       class static_var ## _annotator {                                \ | ||
|  |        public:                                                        \ | ||
|  |         static_var ## _annotator() {                                  \ | ||
|  |           _Py_ANNOTATE_BENIGN_RACE_SIZED(&static_var,                     \ | ||
|  |                                       sizeof(static_var),             \ | ||
|  |             # static_var ": " description);                           \
 | ||
|  |         }                                                             \ | ||
|  |       };                                                              \ | ||
|  |       static static_var ## _annotator the ## static_var ## _annotator;\ | ||
|  |     } | ||
|  | #else /* DYNAMIC_ANNOTATIONS_ENABLED == 0 */
 | ||
|  | 
 | ||
|  |   #define _Py_ANNOTATE_UNPROTECTED_READ(x) (x)
 | ||
|  |   #define _Py_ANNOTATE_BENIGN_RACE_STATIC(static_var, description)  /* empty */
 | ||
|  | 
 | ||
|  | #endif /* DYNAMIC_ANNOTATIONS_ENABLED */
 | ||
|  | 
 | ||
|  | #endif  /* __DYNAMIC_ANNOTATIONS_H__ */
 |