1349cc55cSDimitry Andric //===-- sanitizer_flat_map.h ------------------------------------*- C++ -*-===// 2349cc55cSDimitry Andric // 3349cc55cSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4349cc55cSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5349cc55cSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6349cc55cSDimitry Andric // 7349cc55cSDimitry Andric //===----------------------------------------------------------------------===// 8349cc55cSDimitry Andric // 9349cc55cSDimitry Andric // Part of the Sanitizer Allocator. 10349cc55cSDimitry Andric // 11349cc55cSDimitry Andric //===----------------------------------------------------------------------===// 12349cc55cSDimitry Andric 13349cc55cSDimitry Andric #ifndef SANITIZER_FLAT_MAP_H 14349cc55cSDimitry Andric #define SANITIZER_FLAT_MAP_H 15349cc55cSDimitry Andric 16349cc55cSDimitry Andric #include "sanitizer_atomic.h" 17349cc55cSDimitry Andric #include "sanitizer_common.h" 18349cc55cSDimitry Andric #include "sanitizer_internal_defs.h" 19349cc55cSDimitry Andric #include "sanitizer_local_address_space_view.h" 20349cc55cSDimitry Andric #include "sanitizer_mutex.h" 21349cc55cSDimitry Andric 22349cc55cSDimitry Andric namespace __sanitizer { 23349cc55cSDimitry Andric 24349cc55cSDimitry Andric // Maps integers in rage [0, kSize) to values. 25349cc55cSDimitry Andric template <typename T, u64 kSize, 26349cc55cSDimitry Andric typename AddressSpaceViewTy = LocalAddressSpaceView> 27349cc55cSDimitry Andric class FlatMap { 28349cc55cSDimitry Andric public: 29349cc55cSDimitry Andric using AddressSpaceView = AddressSpaceViewTy; Init()30349cc55cSDimitry Andric void Init() { internal_memset(map_, 0, sizeof(map_)); } 31349cc55cSDimitry Andric size()32349cc55cSDimitry Andric constexpr uptr size() const { return kSize; } 33349cc55cSDimitry Andric contains(uptr idx)34349cc55cSDimitry Andric bool contains(uptr idx) const { 35349cc55cSDimitry Andric CHECK_LT(idx, kSize); 36349cc55cSDimitry Andric return true; 37349cc55cSDimitry Andric } 38349cc55cSDimitry Andric 39349cc55cSDimitry Andric T &operator[](uptr idx) { 40349cc55cSDimitry Andric DCHECK_LT(idx, kSize); 41349cc55cSDimitry Andric return map_[idx]; 42349cc55cSDimitry Andric } 43349cc55cSDimitry Andric 44349cc55cSDimitry Andric const T &operator[](uptr idx) const { 45349cc55cSDimitry Andric DCHECK_LT(idx, kSize); 46349cc55cSDimitry Andric return map_[idx]; 47349cc55cSDimitry Andric } 48349cc55cSDimitry Andric 49349cc55cSDimitry Andric private: 50349cc55cSDimitry Andric T map_[kSize]; 51349cc55cSDimitry Andric }; 52349cc55cSDimitry Andric 53349cc55cSDimitry Andric // TwoLevelMap maps integers in range [0, kSize1*kSize2) to values. 54349cc55cSDimitry Andric // It is implemented as a two-dimensional array: array of kSize1 pointers 55349cc55cSDimitry Andric // to kSize2-byte arrays. The secondary arrays are mmaped on demand. 56349cc55cSDimitry Andric // Each value is initially zero and can be set to something else only once. 57349cc55cSDimitry Andric // Setting and getting values from multiple threads is safe w/o extra locking. 58349cc55cSDimitry Andric template <typename T, u64 kSize1, u64 kSize2, 5906c3fb27SDimitry Andric typename AddressSpaceViewTy = LocalAddressSpaceView> 60349cc55cSDimitry Andric class TwoLevelMap { 61349cc55cSDimitry Andric static_assert(IsPowerOfTwo(kSize2), "Use a power of two for performance."); 62349cc55cSDimitry Andric 63349cc55cSDimitry Andric public: 64349cc55cSDimitry Andric using AddressSpaceView = AddressSpaceViewTy; Init()65349cc55cSDimitry Andric void Init() { 66349cc55cSDimitry Andric mu_.Init(); 67349cc55cSDimitry Andric internal_memset(map1_, 0, sizeof(map1_)); 68349cc55cSDimitry Andric } 69349cc55cSDimitry Andric TestOnlyUnmap()70349cc55cSDimitry Andric void TestOnlyUnmap() { 71349cc55cSDimitry Andric for (uptr i = 0; i < kSize1; i++) { 72349cc55cSDimitry Andric T *p = Get(i); 73349cc55cSDimitry Andric if (!p) 74349cc55cSDimitry Andric continue; 75349cc55cSDimitry Andric UnmapOrDie(p, kSize2); 76349cc55cSDimitry Andric } 77349cc55cSDimitry Andric Init(); 78349cc55cSDimitry Andric } 79349cc55cSDimitry Andric MemoryUsage()80349cc55cSDimitry Andric uptr MemoryUsage() const { 81349cc55cSDimitry Andric uptr res = 0; 82349cc55cSDimitry Andric for (uptr i = 0; i < kSize1; i++) { 83349cc55cSDimitry Andric T *p = Get(i); 84349cc55cSDimitry Andric if (!p) 85349cc55cSDimitry Andric continue; 86349cc55cSDimitry Andric res += MmapSize(); 87349cc55cSDimitry Andric } 88349cc55cSDimitry Andric return res; 89349cc55cSDimitry Andric } 90349cc55cSDimitry Andric size()91349cc55cSDimitry Andric constexpr uptr size() const { return kSize1 * kSize2; } size1()92349cc55cSDimitry Andric constexpr uptr size1() const { return kSize1; } size2()93349cc55cSDimitry Andric constexpr uptr size2() const { return kSize2; } 94349cc55cSDimitry Andric contains(uptr idx)95349cc55cSDimitry Andric bool contains(uptr idx) const { 96349cc55cSDimitry Andric CHECK_LT(idx, kSize1 * kSize2); 97349cc55cSDimitry Andric return Get(idx / kSize2); 98349cc55cSDimitry Andric } 99349cc55cSDimitry Andric 100349cc55cSDimitry Andric const T &operator[](uptr idx) const { 101349cc55cSDimitry Andric DCHECK_LT(idx, kSize1 * kSize2); 102349cc55cSDimitry Andric T *map2 = GetOrCreate(idx / kSize2); 103349cc55cSDimitry Andric return *AddressSpaceView::Load(&map2[idx % kSize2]); 104349cc55cSDimitry Andric } 105349cc55cSDimitry Andric 106349cc55cSDimitry Andric T &operator[](uptr idx) { 107349cc55cSDimitry Andric DCHECK_LT(idx, kSize1 * kSize2); 108349cc55cSDimitry Andric T *map2 = GetOrCreate(idx / kSize2); 109349cc55cSDimitry Andric return *AddressSpaceView::LoadWritable(&map2[idx % kSize2]); 110349cc55cSDimitry Andric } 111349cc55cSDimitry Andric Lock()112*647cbc5dSDimitry Andric void Lock() SANITIZER_NO_THREAD_SAFETY_ANALYSIS { mu_.Lock(); } 113*647cbc5dSDimitry Andric Unlock()114*647cbc5dSDimitry Andric void Unlock() SANITIZER_NO_THREAD_SAFETY_ANALYSIS { mu_.Unlock(); } 115*647cbc5dSDimitry Andric 116349cc55cSDimitry Andric private: MmapSize()117349cc55cSDimitry Andric constexpr uptr MmapSize() const { 118349cc55cSDimitry Andric return RoundUpTo(kSize2 * sizeof(T), GetPageSizeCached()); 119349cc55cSDimitry Andric } 120349cc55cSDimitry Andric Get(uptr idx)121349cc55cSDimitry Andric T *Get(uptr idx) const { 122349cc55cSDimitry Andric DCHECK_LT(idx, kSize1); 123349cc55cSDimitry Andric return reinterpret_cast<T *>( 124349cc55cSDimitry Andric atomic_load(&map1_[idx], memory_order_acquire)); 125349cc55cSDimitry Andric } 126349cc55cSDimitry Andric GetOrCreate(uptr idx)127349cc55cSDimitry Andric T *GetOrCreate(uptr idx) const { 128349cc55cSDimitry Andric DCHECK_LT(idx, kSize1); 129349cc55cSDimitry Andric // This code needs to use memory_order_acquire/consume, but we use 130349cc55cSDimitry Andric // memory_order_relaxed for performance reasons (matters for arm64). We 131349cc55cSDimitry Andric // expect memory_order_relaxed to be effectively equivalent to 132349cc55cSDimitry Andric // memory_order_consume in this case for all relevant architectures: all 133349cc55cSDimitry Andric // dependent data is reachable only by dereferencing the resulting pointer. 134349cc55cSDimitry Andric // If relaxed load fails to see stored ptr, the code will fall back to 135349cc55cSDimitry Andric // Create() and reload the value again with locked mutex as a memory 136349cc55cSDimitry Andric // barrier. 137349cc55cSDimitry Andric T *res = reinterpret_cast<T *>(atomic_load_relaxed(&map1_[idx])); 138349cc55cSDimitry Andric if (LIKELY(res)) 139349cc55cSDimitry Andric return res; 140349cc55cSDimitry Andric return Create(idx); 141349cc55cSDimitry Andric } 142349cc55cSDimitry Andric Create(uptr idx)143349cc55cSDimitry Andric NOINLINE T *Create(uptr idx) const { 144349cc55cSDimitry Andric SpinMutexLock l(&mu_); 145349cc55cSDimitry Andric T *res = Get(idx); 146349cc55cSDimitry Andric if (!res) { 147349cc55cSDimitry Andric res = reinterpret_cast<T *>(MmapOrDie(MmapSize(), "TwoLevelMap")); 148349cc55cSDimitry Andric atomic_store(&map1_[idx], reinterpret_cast<uptr>(res), 149349cc55cSDimitry Andric memory_order_release); 150349cc55cSDimitry Andric } 151349cc55cSDimitry Andric return res; 152349cc55cSDimitry Andric } 153349cc55cSDimitry Andric 154349cc55cSDimitry Andric mutable StaticSpinMutex mu_; 155349cc55cSDimitry Andric mutable atomic_uintptr_t map1_[kSize1]; 156349cc55cSDimitry Andric }; 157349cc55cSDimitry Andric 158349cc55cSDimitry Andric template <u64 kSize, typename AddressSpaceViewTy = LocalAddressSpaceView> 159349cc55cSDimitry Andric using FlatByteMap = FlatMap<u8, kSize, AddressSpaceViewTy>; 160349cc55cSDimitry Andric 161349cc55cSDimitry Andric template <u64 kSize1, u64 kSize2, 16206c3fb27SDimitry Andric typename AddressSpaceViewTy = LocalAddressSpaceView> 16306c3fb27SDimitry Andric using TwoLevelByteMap = TwoLevelMap<u8, kSize1, kSize2, AddressSpaceViewTy>; 164349cc55cSDimitry Andric } // namespace __sanitizer 165349cc55cSDimitry Andric 166349cc55cSDimitry Andric #endif 167