head 1.1; branch 1.1.1; access; symbols netbsd-11-0-RC4:1.1.1.1 netbsd-11-0-RC3:1.1.1.1 netbsd-11-0-RC2:1.1.1.1 netbsd-11-0-RC1:1.1.1.1 gcc-14-3-0:1.1.1.1 perseant-exfatfs-base-20250801:1.1.1.1 netbsd-11:1.1.1.1.0.4 netbsd-11-base:1.1.1.1 gcc-12-5-0:1.1.1.1 perseant-exfatfs-base-20240630:1.1.1.1 gcc-12-4-0:1.1.1.1 perseant-exfatfs:1.1.1.1.0.2 perseant-exfatfs-base:1.1.1.1 gcc-12-3-0:1.1.1.1 FSF:1.1.1; locks; strict; comment @// @; 1.1 date 2023.07.30.05.20.41; author mrg; state Exp; branches 1.1.1.1; next ; commitid tk6nV4mbc9nVEMyE; 1.1.1.1 date 2023.07.30.05.20.41; author mrg; state Exp; branches; next ; commitid tk6nV4mbc9nVEMyE; desc @@ 1.1 log @Initial revision @ text @//===-- tsan_vector_clock.cpp ---------------------------------------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // // This file is a part of ThreadSanitizer (TSan), a race detector. // //===----------------------------------------------------------------------===// #include "tsan_vector_clock.h" #include "sanitizer_common/sanitizer_placement_new.h" #include "tsan_mman.h" namespace __tsan { #if TSAN_VECTORIZE const uptr kVectorClockSize = kThreadSlotCount * sizeof(Epoch) / sizeof(m128); #endif VectorClock::VectorClock() { Reset(); } void VectorClock::Reset() { #if !TSAN_VECTORIZE for (uptr i = 0; i < kThreadSlotCount; i++) clk_[i] = kEpochZero; #else m128 z = _mm_setzero_si128(); m128* vclk = reinterpret_cast(clk_); for (uptr i = 0; i < kVectorClockSize; i++) _mm_store_si128(&vclk[i], z); #endif } void VectorClock::Acquire(const VectorClock* src) { if (!src) return; #if !TSAN_VECTORIZE for (uptr i = 0; i < kThreadSlotCount; i++) clk_[i] = max(clk_[i], src->clk_[i]); #else m128* __restrict vdst = reinterpret_cast(clk_); m128 const* __restrict vsrc = reinterpret_cast(src->clk_); for (uptr i = 0; i < kVectorClockSize; i++) { m128 s = _mm_load_si128(&vsrc[i]); m128 d = _mm_load_si128(&vdst[i]); m128 m = _mm_max_epu16(s, d); _mm_store_si128(&vdst[i], m); } #endif } static VectorClock* AllocClock(VectorClock** dstp) { if (UNLIKELY(!*dstp)) *dstp = New(); return *dstp; } void VectorClock::Release(VectorClock** dstp) const { VectorClock* dst = AllocClock(dstp); dst->Acquire(this); } void VectorClock::ReleaseStore(VectorClock** dstp) const { VectorClock* dst = AllocClock(dstp); *dst = *this; } VectorClock& VectorClock::operator=(const VectorClock& other) { #if !TSAN_VECTORIZE for (uptr i = 0; i < kThreadSlotCount; i++) clk_[i] = other.clk_[i]; #else m128* __restrict vdst = reinterpret_cast(clk_); m128 const* __restrict vsrc = reinterpret_cast(other.clk_); for (uptr i = 0; i < kVectorClockSize; i++) { m128 s = _mm_load_si128(&vsrc[i]); _mm_store_si128(&vdst[i], s); } #endif return *this; } void VectorClock::ReleaseStoreAcquire(VectorClock** dstp) { VectorClock* dst = AllocClock(dstp); #if !TSAN_VECTORIZE for (uptr i = 0; i < kThreadSlotCount; i++) { Epoch tmp = dst->clk_[i]; dst->clk_[i] = clk_[i]; clk_[i] = max(clk_[i], tmp); } #else m128* __restrict vdst = reinterpret_cast(dst->clk_); m128* __restrict vclk = reinterpret_cast(clk_); for (uptr i = 0; i < kVectorClockSize; i++) { m128 t = _mm_load_si128(&vdst[i]); m128 c = _mm_load_si128(&vclk[i]); m128 m = _mm_max_epu16(c, t); _mm_store_si128(&vdst[i], c); _mm_store_si128(&vclk[i], m); } #endif } void VectorClock::ReleaseAcquire(VectorClock** dstp) { VectorClock* dst = AllocClock(dstp); #if !TSAN_VECTORIZE for (uptr i = 0; i < kThreadSlotCount; i++) { dst->clk_[i] = max(dst->clk_[i], clk_[i]); clk_[i] = dst->clk_[i]; } #else m128* __restrict vdst = reinterpret_cast(dst->clk_); m128* __restrict vclk = reinterpret_cast(clk_); for (uptr i = 0; i < kVectorClockSize; i++) { m128 c = _mm_load_si128(&vclk[i]); m128 d = _mm_load_si128(&vdst[i]); m128 m = _mm_max_epu16(c, d); _mm_store_si128(&vdst[i], m); _mm_store_si128(&vclk[i], m); } #endif } } // namespace __tsan @ 1.1.1.1 log @initial import of GCC 12.3.0. major changes in GCC 11 included: - The default mode for C++ is now -std=gnu++17 instead of -std=gnu++14. - When building GCC itself, the host compiler must now support C++11, rather than C++98. - Some short options of the gcov tool have been renamed: -i to -j and -j to -H. - ThreadSanitizer improvements. - Introduce Hardware-assisted AddressSanitizer support. - For targets that produce DWARF debugging information GCC now defaults to DWARF version 5. This can produce up to 25% more compact debug information compared to earlier versions. - Many optimisations. - The existing malloc attribute has been extended so that it can be used to identify allocator/deallocator API pairs. A pair of new -Wmismatched-dealloc and -Wmismatched-new-delete warnings are added. - Other new warnings: -Wsizeof-array-div, enabled by -Wall, warns about divisions of two sizeof operators when the first one is applied to an array and the divisor does not equal the size of the array element. -Wstringop-overread, enabled by default, warns about calls to string functions reading past the end of the arrays passed to them as arguments. -Wtsan, enabled by default, warns about unsupported features in ThreadSanitizer (currently std::atomic_thread_fence). - Enchanced warnings: -Wfree-nonheap-object detects many more instances of calls to deallocation functions with pointers not returned from a dynamic memory allocation function. -Wmaybe-uninitialized diagnoses passing pointers or references to uninitialized memory to functions taking const-qualified arguments. -Wuninitialized detects reads from uninitialized dynamically allocated memory. -Warray-parameter warns about functions with inconsistent array forms. -Wvla-parameter warns about functions with inconsistent VLA forms. - Several new features from the upcoming C2X revision of the ISO C standard are supported with -std=c2x and -std=gnu2x. - Several C++20 features have been implemented. - The C++ front end has experimental support for some of the upcoming C++23 draft. - Several new C++ warnings. - Enhanced Arm, AArch64, x86, and RISC-V CPU support. - The implementation of how program state is tracked within -fanalyzer has been completely rewritten with many enhancements. see https://gcc.gnu.org/gcc-11/changes.html for a full list. major changes in GCC 12 include: - An ABI incompatibility between C and C++ when passing or returning by value certain aggregates containing zero width bit-fields has been discovered on various targets. x86-64, ARM and AArch64 will always ignore them (so there is a C ABI incompatibility between GCC 11 and earlier with GCC 12 or later), PowerPC64 ELFv2 always take them into account (so there is a C++ ABI incompatibility, GCC 4.4 and earlier compatible with GCC 12 or later, incompatible with GCC 4.5 through GCC 11). RISC-V has changed the handling of these already starting with GCC 10. As the ABI requires, MIPS takes them into account handling function return values so there is a C++ ABI incompatibility with GCC 4.5 through 11. - STABS: Support for emitting the STABS debugging format is deprecated and will be removed in the next release. All ports now default to emit DWARF (version 2 or later) debugging info or are obsoleted. - Vectorization is enabled at -O2 which is now equivalent to the original -O2 -ftree-vectorize -fvect-cost-model=very-cheap. - GCC now supports the ShadowCallStack sanitizer. - Support for __builtin_shufflevector compatible with the clang language extension was added. - Support for attribute unavailable was added. - Support for __builtin_dynamic_object_size compatible with the clang language extension was added. - New warnings: -Wbidi-chars warns about potentially misleading UTF-8 bidirectional control characters. -Warray-compare warns about comparisons between two operands of array type. - Some new features from the upcoming C2X revision of the ISO C standard are supported with -std=c2x and -std=gnu2x. - Several C++23 features have been implemented. - Many C++ enhancements across warnings and -f options. see https://gcc.gnu.org/gcc-12/changes.html for a full list. @ text @@