123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346 |
- //===- MultiOnDiskHashTable.h - Merged set of hash tables -------*- C++ -*-===//
- //
- // 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 provides a hash table data structure suitable for incremental and
- // distributed storage across a set of files.
- //
- // Multiple hash tables from different files are implicitly merged to improve
- // performance, and on reload the merged table will override those from other
- // files.
- //
- //===----------------------------------------------------------------------===//
- #ifndef LLVM_CLANG_LIB_SERIALIZATION_MULTIONDISKHASHTABLE_H
- #define LLVM_CLANG_LIB_SERIALIZATION_MULTIONDISKHASHTABLE_H
- #include "llvm/ADT/DenseMap.h"
- #include "llvm/ADT/DenseSet.h"
- #include "llvm/ADT/PointerUnion.h"
- #include "llvm/ADT/STLExtras.h"
- #include "llvm/ADT/SmallVector.h"
- #include "llvm/ADT/TinyPtrVector.h"
- #include "llvm/ADT/iterator_range.h"
- #include "llvm/Support/Endian.h"
- #include "llvm/Support/EndianStream.h"
- #include "llvm/Support/OnDiskHashTable.h"
- #include "llvm/Support/raw_ostream.h"
- #include <algorithm>
- #include <cstdint>
- #include <vector>
- namespace clang {
- namespace serialization {
- /// A collection of on-disk hash tables, merged when relevant for performance.
- template<typename Info> class MultiOnDiskHashTable {
- public:
- /// A handle to a file, used when overriding tables.
- using file_type = typename Info::file_type;
- /// A pointer to an on-disk representation of the hash table.
- using storage_type = const unsigned char *;
- using external_key_type = typename Info::external_key_type;
- using internal_key_type = typename Info::internal_key_type;
- using data_type = typename Info::data_type;
- using data_type_builder = typename Info::data_type_builder;
- using hash_value_type = unsigned;
- private:
- /// The generator is permitted to read our merged table.
- template<typename ReaderInfo, typename WriterInfo>
- friend class MultiOnDiskHashTableGenerator;
- /// A hash table stored on disk.
- struct OnDiskTable {
- using HashTable = llvm::OnDiskIterableChainedHashTable<Info>;
- file_type File;
- HashTable Table;
- OnDiskTable(file_type File, unsigned NumBuckets, unsigned NumEntries,
- storage_type Buckets, storage_type Payload, storage_type Base,
- const Info &InfoObj)
- : File(File),
- Table(NumBuckets, NumEntries, Buckets, Payload, Base, InfoObj) {}
- };
- struct MergedTable {
- std::vector<file_type> Files;
- llvm::DenseMap<internal_key_type, data_type> Data;
- };
- using Table = llvm::PointerUnion<OnDiskTable *, MergedTable *>;
- using TableVector = llvm::TinyPtrVector<void *>;
- /// The current set of on-disk and merged tables.
- /// We manually store the opaque value of the Table because TinyPtrVector
- /// can't cope with holding a PointerUnion directly.
- /// There can be at most one MergedTable in this vector, and if present,
- /// it is the first table.
- TableVector Tables;
- /// Files corresponding to overridden tables that we've not yet
- /// discarded.
- llvm::TinyPtrVector<file_type> PendingOverrides;
- struct AsOnDiskTable {
- using result_type = OnDiskTable *;
- result_type operator()(void *P) const {
- return Table::getFromOpaqueValue(P).template get<OnDiskTable *>();
- }
- };
- using table_iterator =
- llvm::mapped_iterator<TableVector::iterator, AsOnDiskTable>;
- using table_range = llvm::iterator_range<table_iterator>;
- /// The current set of on-disk tables.
- table_range tables() {
- auto Begin = Tables.begin(), End = Tables.end();
- if (getMergedTable())
- ++Begin;
- return llvm::make_range(llvm::map_iterator(Begin, AsOnDiskTable()),
- llvm::map_iterator(End, AsOnDiskTable()));
- }
- MergedTable *getMergedTable() const {
- // If we already have a merged table, it's the first one.
- return Tables.empty() ? nullptr : Table::getFromOpaqueValue(*Tables.begin())
- .template dyn_cast<MergedTable*>();
- }
- /// Delete all our current on-disk tables.
- void clear() {
- for (auto *T : tables())
- delete T;
- if (auto *M = getMergedTable())
- delete M;
- Tables.clear();
- }
- void removeOverriddenTables() {
- llvm::DenseSet<file_type> Files;
- Files.insert(PendingOverrides.begin(), PendingOverrides.end());
- // Explicitly capture Files to work around an MSVC 2015 rejects-valid bug.
- auto ShouldRemove = [&Files](void *T) -> bool {
- auto *ODT = Table::getFromOpaqueValue(T).template get<OnDiskTable *>();
- bool Remove = Files.count(ODT->File);
- if (Remove)
- delete ODT;
- return Remove;
- };
- Tables.erase(std::remove_if(tables().begin().getCurrent(), Tables.end(),
- ShouldRemove),
- Tables.end());
- PendingOverrides.clear();
- }
- void condense() {
- MergedTable *Merged = getMergedTable();
- if (!Merged)
- Merged = new MergedTable;
- // Read in all the tables and merge them together.
- // FIXME: Be smarter about which tables we merge.
- for (auto *ODT : tables()) {
- auto &HT = ODT->Table;
- Info &InfoObj = HT.getInfoObj();
- for (auto I = HT.data_begin(), E = HT.data_end(); I != E; ++I) {
- auto *LocalPtr = I.getItem();
- // FIXME: Don't rely on the OnDiskHashTable format here.
- auto L = InfoObj.ReadKeyDataLength(LocalPtr);
- const internal_key_type &Key = InfoObj.ReadKey(LocalPtr, L.first);
- data_type_builder ValueBuilder(Merged->Data[Key]);
- InfoObj.ReadDataInto(Key, LocalPtr + L.first, L.second,
- ValueBuilder);
- }
- Merged->Files.push_back(ODT->File);
- delete ODT;
- }
- Tables.clear();
- Tables.push_back(Table(Merged).getOpaqueValue());
- }
- public:
- MultiOnDiskHashTable() = default;
- MultiOnDiskHashTable(MultiOnDiskHashTable &&O)
- : Tables(std::move(O.Tables)),
- PendingOverrides(std::move(O.PendingOverrides)) {
- O.Tables.clear();
- }
- MultiOnDiskHashTable &operator=(MultiOnDiskHashTable &&O) {
- if (&O == this)
- return *this;
- clear();
- Tables = std::move(O.Tables);
- O.Tables.clear();
- PendingOverrides = std::move(O.PendingOverrides);
- return *this;
- }
- ~MultiOnDiskHashTable() { clear(); }
- /// Add the table \p Data loaded from file \p File.
- void add(file_type File, storage_type Data, Info InfoObj = Info()) {
- using namespace llvm::support;
- storage_type Ptr = Data;
- uint32_t BucketOffset = endian::readNext<uint32_t, little, unaligned>(Ptr);
- // Read the list of overridden files.
- uint32_t NumFiles = endian::readNext<uint32_t, little, unaligned>(Ptr);
- // FIXME: Add a reserve() to TinyPtrVector so that we don't need to make
- // an additional copy.
- llvm::SmallVector<file_type, 16> OverriddenFiles;
- OverriddenFiles.reserve(NumFiles);
- for (/**/; NumFiles != 0; --NumFiles)
- OverriddenFiles.push_back(InfoObj.ReadFileRef(Ptr));
- PendingOverrides.insert(PendingOverrides.end(), OverriddenFiles.begin(),
- OverriddenFiles.end());
- // Read the OnDiskChainedHashTable header.
- storage_type Buckets = Data + BucketOffset;
- auto NumBucketsAndEntries =
- OnDiskTable::HashTable::readNumBucketsAndEntries(Buckets);
- // Register the table.
- Table NewTable = new OnDiskTable(File, NumBucketsAndEntries.first,
- NumBucketsAndEntries.second,
- Buckets, Ptr, Data, std::move(InfoObj));
- Tables.push_back(NewTable.getOpaqueValue());
- }
- /// Find and read the lookup results for \p EKey.
- data_type find(const external_key_type &EKey) {
- data_type Result;
- if (!PendingOverrides.empty())
- removeOverriddenTables();
- if (Tables.size() > static_cast<unsigned>(Info::MaxTables))
- condense();
- internal_key_type Key = Info::GetInternalKey(EKey);
- auto KeyHash = Info::ComputeHash(Key);
- if (MergedTable *M = getMergedTable()) {
- auto It = M->Data.find(Key);
- if (It != M->Data.end())
- Result = It->second;
- }
- data_type_builder ResultBuilder(Result);
- for (auto *ODT : tables()) {
- auto &HT = ODT->Table;
- auto It = HT.find_hashed(Key, KeyHash);
- if (It != HT.end())
- HT.getInfoObj().ReadDataInto(Key, It.getDataPtr(), It.getDataLen(),
- ResultBuilder);
- }
- return Result;
- }
- /// Read all the lookup results into a single value. This only makes
- /// sense if merging values across keys is meaningful.
- data_type findAll() {
- data_type Result;
- data_type_builder ResultBuilder(Result);
- if (!PendingOverrides.empty())
- removeOverriddenTables();
- if (MergedTable *M = getMergedTable()) {
- for (auto &KV : M->Data)
- Info::MergeDataInto(KV.second, ResultBuilder);
- }
- for (auto *ODT : tables()) {
- auto &HT = ODT->Table;
- Info &InfoObj = HT.getInfoObj();
- for (auto I = HT.data_begin(), E = HT.data_end(); I != E; ++I) {
- auto *LocalPtr = I.getItem();
- // FIXME: Don't rely on the OnDiskHashTable format here.
- auto L = InfoObj.ReadKeyDataLength(LocalPtr);
- const internal_key_type &Key = InfoObj.ReadKey(LocalPtr, L.first);
- InfoObj.ReadDataInto(Key, LocalPtr + L.first, L.second, ResultBuilder);
- }
- }
- return Result;
- }
- };
- /// Writer for the on-disk hash table.
- template<typename ReaderInfo, typename WriterInfo>
- class MultiOnDiskHashTableGenerator {
- using BaseTable = MultiOnDiskHashTable<ReaderInfo>;
- using Generator = llvm::OnDiskChainedHashTableGenerator<WriterInfo>;
- Generator Gen;
- public:
- MultiOnDiskHashTableGenerator() : Gen() {}
- void insert(typename WriterInfo::key_type_ref Key,
- typename WriterInfo::data_type_ref Data, WriterInfo &Info) {
- Gen.insert(Key, Data, Info);
- }
- void emit(llvm::SmallVectorImpl<char> &Out, WriterInfo &Info,
- const BaseTable *Base) {
- using namespace llvm::support;
- llvm::raw_svector_ostream OutStream(Out);
- // Write our header information.
- {
- endian::Writer Writer(OutStream, little);
- // Reserve four bytes for the bucket offset.
- Writer.write<uint32_t>(0);
- if (auto *Merged = Base ? Base->getMergedTable() : nullptr) {
- // Write list of overridden files.
- Writer.write<uint32_t>(Merged->Files.size());
- for (const auto &F : Merged->Files)
- Info.EmitFileRef(OutStream, F);
- // Add all merged entries from Base to the generator.
- for (auto &KV : Merged->Data) {
- if (!Gen.contains(KV.first, Info))
- Gen.insert(KV.first, Info.ImportData(KV.second), Info);
- }
- } else {
- Writer.write<uint32_t>(0);
- }
- }
- // Write the table itself.
- uint32_t BucketOffset = Gen.Emit(OutStream, Info);
- // Replace the first four bytes with the bucket offset.
- endian::write32le(Out.data(), BucketOffset);
- }
- };
- } // namespace serialization
- } // namespace clang
- #endif // LLVM_CLANG_LIB_SERIALIZATION_MULTIONDISKHASHTABLE_H
|