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