xref: /aosp_15_r20/external/clang/lib/Serialization/MultiOnDiskHashTable.h (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li //===--- MultiOnDiskHashTable.h - Merged set of hash tables -----*- C++ -*-===//
2*67e74705SXin Li //
3*67e74705SXin Li //                     The LLVM Compiler Infrastructure
4*67e74705SXin Li //
5*67e74705SXin Li // This file is distributed under the University of Illinois Open Source
6*67e74705SXin Li // License. See LICENSE.TXT for details.
7*67e74705SXin Li //
8*67e74705SXin Li //===----------------------------------------------------------------------===//
9*67e74705SXin Li //
10*67e74705SXin Li //  This file provides a hash table data structure suitable for incremental and
11*67e74705SXin Li //  distributed storage across a set of files.
12*67e74705SXin Li //
13*67e74705SXin Li //  Multiple hash tables from different files are implicitly merged to improve
14*67e74705SXin Li //  performance, and on reload the merged table will override those from other
15*67e74705SXin Li //  files.
16*67e74705SXin Li //
17*67e74705SXin Li //===----------------------------------------------------------------------===//
18*67e74705SXin Li #ifndef LLVM_CLANG_LIB_SERIALIZATION_MULTIONDISKHASHTABLE_H
19*67e74705SXin Li #define LLVM_CLANG_LIB_SERIALIZATION_MULTIONDISKHASHTABLE_H
20*67e74705SXin Li 
21*67e74705SXin Li #include "llvm/ADT/PointerUnion.h"
22*67e74705SXin Li #include "llvm/Support/EndianStream.h"
23*67e74705SXin Li #include "llvm/Support/OnDiskHashTable.h"
24*67e74705SXin Li 
25*67e74705SXin Li namespace clang {
26*67e74705SXin Li namespace serialization {
27*67e74705SXin Li 
28*67e74705SXin Li class ModuleFile;
29*67e74705SXin Li 
30*67e74705SXin Li /// \brief A collection of on-disk hash tables, merged when relevant for performance.
31*67e74705SXin Li template<typename Info> class MultiOnDiskHashTable {
32*67e74705SXin Li public:
33*67e74705SXin Li   /// A handle to a file, used when overriding tables.
34*67e74705SXin Li   typedef typename Info::file_type file_type;
35*67e74705SXin Li   /// A pointer to an on-disk representation of the hash table.
36*67e74705SXin Li   typedef const unsigned char *storage_type;
37*67e74705SXin Li 
38*67e74705SXin Li   typedef typename Info::external_key_type external_key_type;
39*67e74705SXin Li   typedef typename Info::internal_key_type internal_key_type;
40*67e74705SXin Li   typedef typename Info::data_type data_type;
41*67e74705SXin Li   typedef typename Info::data_type_builder data_type_builder;
42*67e74705SXin Li   typedef unsigned hash_value_type;
43*67e74705SXin Li 
44*67e74705SXin Li private:
45*67e74705SXin Li   /// \brief A hash table stored on disk.
46*67e74705SXin Li   struct OnDiskTable {
47*67e74705SXin Li     typedef llvm::OnDiskIterableChainedHashTable<Info> HashTable;
48*67e74705SXin Li 
49*67e74705SXin Li     file_type File;
50*67e74705SXin Li     HashTable Table;
51*67e74705SXin Li 
OnDiskTableOnDiskTable52*67e74705SXin Li     OnDiskTable(file_type File, unsigned NumBuckets, unsigned NumEntries,
53*67e74705SXin Li                 storage_type Buckets, storage_type Payload, storage_type Base,
54*67e74705SXin Li                 const Info &InfoObj)
55*67e74705SXin Li         : File(File),
56*67e74705SXin Li           Table(NumBuckets, NumEntries, Buckets, Payload, Base, InfoObj) {}
57*67e74705SXin Li   };
58*67e74705SXin Li 
59*67e74705SXin Li   struct MergedTable {
60*67e74705SXin Li     std::vector<file_type> Files;
61*67e74705SXin Li     llvm::DenseMap<internal_key_type, data_type> Data;
62*67e74705SXin Li   };
63*67e74705SXin Li 
64*67e74705SXin Li   typedef llvm::PointerUnion<OnDiskTable*, MergedTable*> Table;
65*67e74705SXin Li   typedef llvm::TinyPtrVector<void*> TableVector;
66*67e74705SXin Li 
67*67e74705SXin Li   /// \brief The current set of on-disk and merged tables.
68*67e74705SXin Li   /// We manually store the opaque value of the Table because TinyPtrVector
69*67e74705SXin Li   /// can't cope with holding a PointerUnion directly.
70*67e74705SXin Li   /// There can be at most one MergedTable in this vector, and if present,
71*67e74705SXin Li   /// it is the first table.
72*67e74705SXin Li   TableVector Tables;
73*67e74705SXin Li 
74*67e74705SXin Li   /// \brief Files corresponding to overridden tables that we've not yet
75*67e74705SXin Li   /// discarded.
76*67e74705SXin Li   llvm::TinyPtrVector<file_type> PendingOverrides;
77*67e74705SXin Li 
78*67e74705SXin Li   struct AsOnDiskTable {
79*67e74705SXin Li     typedef OnDiskTable *result_type;
operatorAsOnDiskTable80*67e74705SXin Li     result_type operator()(void *P) const {
81*67e74705SXin Li       return Table::getFromOpaqueValue(P).template get<OnDiskTable *>();
82*67e74705SXin Li     }
83*67e74705SXin Li   };
84*67e74705SXin Li   typedef llvm::mapped_iterator<TableVector::iterator, AsOnDiskTable>
85*67e74705SXin Li       table_iterator;
86*67e74705SXin Li   typedef llvm::iterator_range<table_iterator> table_range;
87*67e74705SXin Li 
88*67e74705SXin Li   /// \brief The current set of on-disk tables.
tables()89*67e74705SXin Li   table_range tables() {
90*67e74705SXin Li     auto Begin = Tables.begin(), End = Tables.end();
91*67e74705SXin Li     if (getMergedTable())
92*67e74705SXin Li       ++Begin;
93*67e74705SXin Li     return llvm::make_range(llvm::map_iterator(Begin, AsOnDiskTable()),
94*67e74705SXin Li                             llvm::map_iterator(End, AsOnDiskTable()));
95*67e74705SXin Li   }
96*67e74705SXin Li 
getMergedTable()97*67e74705SXin Li   MergedTable *getMergedTable() const {
98*67e74705SXin Li     // If we already have a merged table, it's the first one.
99*67e74705SXin Li     return Tables.empty() ? nullptr : Table::getFromOpaqueValue(*Tables.begin())
100*67e74705SXin Li                                           .template dyn_cast<MergedTable*>();
101*67e74705SXin Li   }
102*67e74705SXin Li 
103*67e74705SXin Li   /// \brief Delete all our current on-disk tables.
clear()104*67e74705SXin Li   void clear() {
105*67e74705SXin Li     for (auto *T : tables())
106*67e74705SXin Li       delete T;
107*67e74705SXin Li     if (auto *M = getMergedTable())
108*67e74705SXin Li       delete M;
109*67e74705SXin Li     Tables.clear();
110*67e74705SXin Li   }
111*67e74705SXin Li 
removeOverriddenTables()112*67e74705SXin Li   void removeOverriddenTables() {
113*67e74705SXin Li     llvm::DenseSet<file_type> Files;
114*67e74705SXin Li     Files.insert(PendingOverrides.begin(), PendingOverrides.end());
115*67e74705SXin Li     // Explicitly capture Files to work around an MSVC 2015 rejects-valid bug.
116*67e74705SXin Li     auto ShouldRemove = [&Files](void *T) -> bool {
117*67e74705SXin Li       auto *ODT = Table::getFromOpaqueValue(T).template get<OnDiskTable *>();
118*67e74705SXin Li       bool Remove = Files.count(ODT->File);
119*67e74705SXin Li       if (Remove)
120*67e74705SXin Li         delete ODT;
121*67e74705SXin Li       return Remove;
122*67e74705SXin Li     };
123*67e74705SXin Li     Tables.erase(std::remove_if(tables().begin().getCurrent(), Tables.end(),
124*67e74705SXin Li                                 ShouldRemove),
125*67e74705SXin Li                  Tables.end());
126*67e74705SXin Li     PendingOverrides.clear();
127*67e74705SXin Li   }
128*67e74705SXin Li 
condense()129*67e74705SXin Li   void condense() {
130*67e74705SXin Li     MergedTable *Merged = getMergedTable();
131*67e74705SXin Li     if (!Merged)
132*67e74705SXin Li       Merged = new MergedTable;
133*67e74705SXin Li 
134*67e74705SXin Li     // Read in all the tables and merge them together.
135*67e74705SXin Li     // FIXME: Be smarter about which tables we merge.
136*67e74705SXin Li     for (auto *ODT : tables()) {
137*67e74705SXin Li       auto &HT = ODT->Table;
138*67e74705SXin Li       Info &InfoObj = HT.getInfoObj();
139*67e74705SXin Li 
140*67e74705SXin Li       for (auto I = HT.data_begin(), E = HT.data_end(); I != E; ++I) {
141*67e74705SXin Li         auto *LocalPtr = I.getItem();
142*67e74705SXin Li 
143*67e74705SXin Li         // FIXME: Don't rely on the OnDiskHashTable format here.
144*67e74705SXin Li         auto L = InfoObj.ReadKeyDataLength(LocalPtr);
145*67e74705SXin Li         const internal_key_type &Key = InfoObj.ReadKey(LocalPtr, L.first);
146*67e74705SXin Li         data_type_builder ValueBuilder(Merged->Data[Key]);
147*67e74705SXin Li         InfoObj.ReadDataInto(Key, LocalPtr + L.first, L.second,
148*67e74705SXin Li                              ValueBuilder);
149*67e74705SXin Li       }
150*67e74705SXin Li 
151*67e74705SXin Li       Merged->Files.push_back(ODT->File);
152*67e74705SXin Li       delete ODT;
153*67e74705SXin Li     }
154*67e74705SXin Li 
155*67e74705SXin Li     Tables.clear();
156*67e74705SXin Li     Tables.push_back(Table(Merged).getOpaqueValue());
157*67e74705SXin Li   }
158*67e74705SXin Li 
159*67e74705SXin Li   /// The generator is permitted to read our merged table.
160*67e74705SXin Li   template<typename ReaderInfo, typename WriterInfo>
161*67e74705SXin Li   friend class MultiOnDiskHashTableGenerator;
162*67e74705SXin Li 
163*67e74705SXin Li public:
MultiOnDiskHashTable()164*67e74705SXin Li   MultiOnDiskHashTable() {}
MultiOnDiskHashTable(MultiOnDiskHashTable && O)165*67e74705SXin Li   MultiOnDiskHashTable(MultiOnDiskHashTable &&O)
166*67e74705SXin Li       : Tables(std::move(O.Tables)),
167*67e74705SXin Li         PendingOverrides(std::move(O.PendingOverrides)) {
168*67e74705SXin Li     O.Tables.clear();
169*67e74705SXin Li   }
170*67e74705SXin Li   MultiOnDiskHashTable &operator=(MultiOnDiskHashTable &&O) {
171*67e74705SXin Li     if (&O == this)
172*67e74705SXin Li       return *this;
173*67e74705SXin Li     clear();
174*67e74705SXin Li     Tables = std::move(O.Tables);
175*67e74705SXin Li     O.Tables.clear();
176*67e74705SXin Li     PendingOverrides = std::move(O.PendingOverrides);
177*67e74705SXin Li     return *this;
178*67e74705SXin Li   }
~MultiOnDiskHashTable()179*67e74705SXin Li   ~MultiOnDiskHashTable() { clear(); }
180*67e74705SXin Li 
181*67e74705SXin Li   /// \brief Add the table \p Data loaded from file \p File.
182*67e74705SXin Li   void add(file_type File, storage_type Data, Info InfoObj = Info()) {
183*67e74705SXin Li     using namespace llvm::support;
184*67e74705SXin Li     storage_type Ptr = Data;
185*67e74705SXin Li 
186*67e74705SXin Li     uint32_t BucketOffset = endian::readNext<uint32_t, little, unaligned>(Ptr);
187*67e74705SXin Li 
188*67e74705SXin Li     // Read the list of overridden files.
189*67e74705SXin Li     uint32_t NumFiles = endian::readNext<uint32_t, little, unaligned>(Ptr);
190*67e74705SXin Li     // FIXME: Add a reserve() to TinyPtrVector so that we don't need to make
191*67e74705SXin Li     // an additional copy.
192*67e74705SXin Li     llvm::SmallVector<file_type, 16> OverriddenFiles;
193*67e74705SXin Li     OverriddenFiles.reserve(NumFiles);
194*67e74705SXin Li     for (/**/; NumFiles != 0; --NumFiles)
195*67e74705SXin Li       OverriddenFiles.push_back(InfoObj.ReadFileRef(Ptr));
196*67e74705SXin Li     PendingOverrides.insert(PendingOverrides.end(), OverriddenFiles.begin(),
197*67e74705SXin Li                             OverriddenFiles.end());
198*67e74705SXin Li 
199*67e74705SXin Li     // Read the OnDiskChainedHashTable header.
200*67e74705SXin Li     storage_type Buckets = Data + BucketOffset;
201*67e74705SXin Li     auto NumBucketsAndEntries =
202*67e74705SXin Li         OnDiskTable::HashTable::readNumBucketsAndEntries(Buckets);
203*67e74705SXin Li 
204*67e74705SXin Li     // Register the table.
205*67e74705SXin Li     Table NewTable = new OnDiskTable(File, NumBucketsAndEntries.first,
206*67e74705SXin Li                                      NumBucketsAndEntries.second,
207*67e74705SXin Li                                      Buckets, Ptr, Data, std::move(InfoObj));
208*67e74705SXin Li     Tables.push_back(NewTable.getOpaqueValue());
209*67e74705SXin Li   }
210*67e74705SXin Li 
211*67e74705SXin Li   /// \brief Find and read the lookup results for \p EKey.
find(const external_key_type & EKey)212*67e74705SXin Li   data_type find(const external_key_type &EKey) {
213*67e74705SXin Li     data_type Result;
214*67e74705SXin Li 
215*67e74705SXin Li     if (!PendingOverrides.empty())
216*67e74705SXin Li       removeOverriddenTables();
217*67e74705SXin Li 
218*67e74705SXin Li     if (Tables.size() > static_cast<unsigned>(Info::MaxTables))
219*67e74705SXin Li       condense();
220*67e74705SXin Li 
221*67e74705SXin Li     internal_key_type Key = Info::GetInternalKey(EKey);
222*67e74705SXin Li     auto KeyHash = Info::ComputeHash(Key);
223*67e74705SXin Li 
224*67e74705SXin Li     if (MergedTable *M = getMergedTable()) {
225*67e74705SXin Li       auto It = M->Data.find(Key);
226*67e74705SXin Li       if (It != M->Data.end())
227*67e74705SXin Li         Result = It->second;
228*67e74705SXin Li     }
229*67e74705SXin Li 
230*67e74705SXin Li     data_type_builder ResultBuilder(Result);
231*67e74705SXin Li 
232*67e74705SXin Li     for (auto *ODT : tables()) {
233*67e74705SXin Li       auto &HT = ODT->Table;
234*67e74705SXin Li       auto It = HT.find_hashed(Key, KeyHash);
235*67e74705SXin Li       if (It != HT.end())
236*67e74705SXin Li         HT.getInfoObj().ReadDataInto(Key, It.getDataPtr(), It.getDataLen(),
237*67e74705SXin Li                                      ResultBuilder);
238*67e74705SXin Li     }
239*67e74705SXin Li 
240*67e74705SXin Li     return Result;
241*67e74705SXin Li   }
242*67e74705SXin Li 
243*67e74705SXin Li   /// \brief Read all the lookup results into a single value. This only makes
244*67e74705SXin Li   /// sense if merging values across keys is meaningful.
findAll()245*67e74705SXin Li   data_type findAll() {
246*67e74705SXin Li     data_type Result;
247*67e74705SXin Li     data_type_builder ResultBuilder(Result);
248*67e74705SXin Li 
249*67e74705SXin Li     if (!PendingOverrides.empty())
250*67e74705SXin Li       removeOverriddenTables();
251*67e74705SXin Li 
252*67e74705SXin Li     if (MergedTable *M = getMergedTable()) {
253*67e74705SXin Li       for (auto &KV : M->Data)
254*67e74705SXin Li         Info::MergeDataInto(KV.second, ResultBuilder);
255*67e74705SXin Li     }
256*67e74705SXin Li 
257*67e74705SXin Li     for (auto *ODT : tables()) {
258*67e74705SXin Li       auto &HT = ODT->Table;
259*67e74705SXin Li       Info &InfoObj = HT.getInfoObj();
260*67e74705SXin Li       for (auto I = HT.data_begin(), E = HT.data_end(); I != E; ++I) {
261*67e74705SXin Li         auto *LocalPtr = I.getItem();
262*67e74705SXin Li 
263*67e74705SXin Li         // FIXME: Don't rely on the OnDiskHashTable format here.
264*67e74705SXin Li         auto L = InfoObj.ReadKeyDataLength(LocalPtr);
265*67e74705SXin Li         const internal_key_type &Key = InfoObj.ReadKey(LocalPtr, L.first);
266*67e74705SXin Li         InfoObj.ReadDataInto(Key, LocalPtr + L.first, L.second, ResultBuilder);
267*67e74705SXin Li       }
268*67e74705SXin Li     }
269*67e74705SXin Li 
270*67e74705SXin Li     return Result;
271*67e74705SXin Li   }
272*67e74705SXin Li };
273*67e74705SXin Li 
274*67e74705SXin Li /// \brief Writer for the on-disk hash table.
275*67e74705SXin Li template<typename ReaderInfo, typename WriterInfo>
276*67e74705SXin Li class MultiOnDiskHashTableGenerator {
277*67e74705SXin Li   typedef MultiOnDiskHashTable<ReaderInfo> BaseTable;
278*67e74705SXin Li   typedef llvm::OnDiskChainedHashTableGenerator<WriterInfo> Generator;
279*67e74705SXin Li 
280*67e74705SXin Li   Generator Gen;
281*67e74705SXin Li 
282*67e74705SXin Li public:
MultiOnDiskHashTableGenerator()283*67e74705SXin Li   MultiOnDiskHashTableGenerator() : Gen() {}
284*67e74705SXin Li 
insert(typename WriterInfo::key_type_ref Key,typename WriterInfo::data_type_ref Data,WriterInfo & Info)285*67e74705SXin Li   void insert(typename WriterInfo::key_type_ref Key,
286*67e74705SXin Li               typename WriterInfo::data_type_ref Data, WriterInfo &Info) {
287*67e74705SXin Li     Gen.insert(Key, Data, Info);
288*67e74705SXin Li   }
289*67e74705SXin Li 
emit(llvm::SmallVectorImpl<char> & Out,WriterInfo & Info,const BaseTable * Base)290*67e74705SXin Li   void emit(llvm::SmallVectorImpl<char> &Out, WriterInfo &Info,
291*67e74705SXin Li             const BaseTable *Base) {
292*67e74705SXin Li     using namespace llvm::support;
293*67e74705SXin Li     llvm::raw_svector_ostream OutStream(Out);
294*67e74705SXin Li 
295*67e74705SXin Li     // Write our header information.
296*67e74705SXin Li     {
297*67e74705SXin Li       endian::Writer<little> Writer(OutStream);
298*67e74705SXin Li 
299*67e74705SXin Li       // Reserve four bytes for the bucket offset.
300*67e74705SXin Li       Writer.write<uint32_t>(0);
301*67e74705SXin Li 
302*67e74705SXin Li       if (auto *Merged = Base ? Base->getMergedTable() : nullptr) {
303*67e74705SXin Li         // Write list of overridden files.
304*67e74705SXin Li         Writer.write<uint32_t>(Merged->Files.size());
305*67e74705SXin Li         for (const auto &F : Merged->Files)
306*67e74705SXin Li           Info.EmitFileRef(OutStream, F);
307*67e74705SXin Li 
308*67e74705SXin Li         // Add all merged entries from Base to the generator.
309*67e74705SXin Li         for (auto &KV : Merged->Data) {
310*67e74705SXin Li           if (!Gen.contains(KV.first, Info))
311*67e74705SXin Li             Gen.insert(KV.first, Info.ImportData(KV.second), Info);
312*67e74705SXin Li         }
313*67e74705SXin Li       } else {
314*67e74705SXin Li         Writer.write<uint32_t>(0);
315*67e74705SXin Li       }
316*67e74705SXin Li     }
317*67e74705SXin Li 
318*67e74705SXin Li     // Write the table itself.
319*67e74705SXin Li     uint32_t BucketOffset = Gen.Emit(OutStream, Info);
320*67e74705SXin Li 
321*67e74705SXin Li     // Replace the first four bytes with the bucket offset.
322*67e74705SXin Li     endian::write32le(Out.data(), BucketOffset);
323*67e74705SXin Li   }
324*67e74705SXin Li };
325*67e74705SXin Li 
326*67e74705SXin Li } // end namespace clang::serialization
327*67e74705SXin Li } // end namespace clang
328*67e74705SXin Li 
329*67e74705SXin Li 
330*67e74705SXin Li #endif
331