1 /* ThreadSanitizer 2 * Copyright (c) 2011, Google Inc. All rights reserved. 3 * Author: Dmitry Vyukov (dvyukov) 4 * 5 * Redistribution and use in source and binary forms, with or without 6 * modification, are permitted provided that the following conditions are met: 7 * 8 * * Redistributions of source code must retain the above copyright 9 * notice, this list of conditions and the following disclaimer. 10 * * Neither the name of Google Inc. nor the names of its 11 * contributors may be used to endorse or promote products derived from 12 * this software without specific prior written permission. 13 * 14 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 15 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 16 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 17 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 18 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 19 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 20 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 21 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 22 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 23 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 24 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 25 */ 26 27 #ifndef TS_ATOMIC_INT_H_INCLUDED 28 #define TS_ATOMIC_INT_H_INCLUDED 29 30 #include "ts_atomic.h" 31 #include "ts_util.h" 32 #include <stddef.h> 33 34 // Helper functions for atomic support 35 36 char const* tsan_atomic_to_str(tsan_memory_order mo); 37 char const* tsan_atomic_to_str(tsan_atomic_op op); 38 bool tsan_atomic_is_acquire(tsan_memory_order mo); 39 bool tsan_atomic_is_release(tsan_memory_order mo); 40 bool tsan_atomic_is_rmw(tsan_atomic_op op); 41 void tsan_atomic_verify(tsan_atomic_op op, 42 tsan_memory_order mo, 43 tsan_memory_order fail_mo, 44 size_t size, 45 void volatile* a); 46 uint64_t tsan_atomic_do_op(tsan_atomic_op op, 47 tsan_memory_order mo, 48 tsan_memory_order fail_mo, 49 size_t size, 50 void volatile* a, 51 uint64_t v, 52 uint64_t cmp, 53 uint64_t* newv, 54 uint64_t* prev); 55 56 #endif // #ifndef TS_ATOMIC_INT_H_INCLUDED 57 58
