mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-30 03:56:06 +00:00

to reflect the new license. We understand that people may be surprised that we're moving the header entirely to discuss the new license. We checked this carefully with the Foundation's lawyer and we believe this is the correct approach. Essentially, all code in the project is now made available by the LLVM project under our new license, so you will see that the license headers include that license only. Some of our contributors have contributed code under our old license, and accordingly, we have retained a copy of our old license notice in the top-level files in each project and repository. llvm-svn: 351636
347 lines
11 KiB
C++
347 lines
11 KiB
C++
//===- 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
|