xref: /freebsd-src/contrib/llvm-project/compiler-rt/lib/sanitizer_common/sanitizer_flat_map.h (revision 647cbc5de815c5651677bf8582797f716ec7b48d)
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