1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
|
#pragma once
#include <Common/FST.h>
#include <Core/Block.h>
#include <Disks/IDisk.h>
#include <IO/ReadBufferFromFileBase.h>
#include <IO/WriteBufferFromFileBase.h>
#include <Storages/MergeTree/IDataPartStorage.h>
#include <roaring.hh>
#include <array>
#include <mutex>
#include <unordered_map>
#include <vector>
/// GinIndexStore manages the generalized inverted index ("gin") for a data part, and it is made up of one or more immutable
/// index segments.
///
/// There are 4 types of index files in a store:
/// 1. Segment ID file(.gin_sid): it contains one byte for version followed by the next available segment ID.
/// 2. Segment Metadata file(.gin_seg): it contains index segment metadata.
/// - Its file format is an array of GinIndexSegment as defined in this file.
/// - postings_start_offset points to the file(.gin_post) starting position for the segment's postings list.
/// - dict_start_offset points to the file(.gin_dict) starting position for the segment's dictionaries.
/// 3. Dictionary file(.gin_dict): it contains dictionaries.
/// - It contains an array of (FST_size, FST_blob) which has size and actual data of FST.
/// 4. Postings Lists(.gin_post): it contains postings lists data.
/// - It contains an array of serialized postings lists.
///
/// During the searching in the segment, the segment's meta data can be found in .gin_seg file. From the meta data,
/// the starting position of its dictionary is used to locate its FST. Then FST is read into memory.
/// By using the term and FST, the offset("output" in FST) of the postings list for the term
/// in FST is found. The offset plus the postings_start_offset is the file location in .gin_post file
/// for its postings list.
namespace DB
{
/// GinIndexPostingsList which uses 32-bit Roaring
using GinIndexPostingsList = roaring::Roaring;
using GinIndexPostingsListPtr = std::shared_ptr<GinIndexPostingsList>;
/// Build a postings list for a term
class GinIndexPostingsBuilder
{
public:
explicit GinIndexPostingsBuilder(UInt64 limit);
/// Check whether a row_id is already added
bool contains(UInt32 row_id) const;
/// Add a row_id into the builder
void add(UInt32 row_id);
/// Serialize the content of builder to given WriteBuffer, returns the bytes of serialized data
UInt64 serialize(WriteBuffer & buffer) const;
/// Deserialize the postings list data from given ReadBuffer, return a pointer to the GinIndexPostingsList created by deserialization
static GinIndexPostingsListPtr deserialize(ReadBuffer & buffer);
private:
constexpr static int MIN_SIZE_FOR_ROARING_ENCODING = 16;
/// When the list length is no greater than MIN_SIZE_FOR_ROARING_ENCODING, array 'rowid_lst' is used
/// As a special case, rowid_lst[0] == CONTAINS_ALL encodes that all rowids are set.
std::array<UInt32, MIN_SIZE_FOR_ROARING_ENCODING> rowid_lst;
/// When the list length is greater than MIN_SIZE_FOR_ROARING_ENCODING, roaring bitmap 'rowid_bitmap' is used
roaring::Roaring rowid_bitmap;
/// rowid_lst_length stores the number of row IDs in 'rowid_lst' array, can also be a flag(0xFF) indicating that roaring bitmap is used
UInt8 rowid_lst_length = 0;
/// Indicates that all rowids are contained, see 'rowid_lst'
static constexpr UInt32 CONTAINS_ALL = std::numeric_limits<UInt32>::max();
/// Indicates that roaring bitmap is used, see 'rowid_lst_length'.
static constexpr UInt8 USES_BIT_MAP = 0xFF;
/// Clear the postings list and reset it with MATCHALL flags when the size of the postings list is beyond the limit
UInt64 size_limit;
/// Check whether the builder is using roaring bitmap
bool useRoaring() const { return rowid_lst_length == USES_BIT_MAP; }
/// Check whether the postings list has been flagged to contain all row ids
bool containsAllRows() const { return rowid_lst[0] == CONTAINS_ALL; }
};
using GinIndexPostingsBuilderPtr = std::shared_ptr<GinIndexPostingsBuilder>;
/// Gin index segment descriptor, which contains:
struct GinIndexSegment
{
/// Segment ID retrieved from next available ID from file .gin_sid
UInt32 segment_id = 0;
/// Start row ID for this segment
UInt32 next_row_id = 1;
/// .gin_post file offset of this segment's postings lists
UInt64 postings_start_offset = 0;
/// .gin_dict file offset of this segment's dictionaries
UInt64 dict_start_offset = 0;
};
struct GinSegmentDictionary
{
/// .gin_post file offset of this segment's postings lists
UInt64 postings_start_offset;
/// .gin_dict file offset of this segment's dictionaries
UInt64 dict_start_offset;
/// (Minimized) Finite State Transducer, which can be viewed as a map of <term, offset>, where offset is the
/// offset to the term's posting list in postings list file
FST::FiniteStateTransducer offsets;
};
using GinSegmentDictionaryPtr = std::shared_ptr<GinSegmentDictionary>;
/// Gin index store which has gin index meta data for the corresponding column data part
class GinIndexStore
{
public:
/// Container for all term's Gin Index Postings List Builder
using GinIndexPostingsBuilderContainer = std::unordered_map<std::string, GinIndexPostingsBuilderPtr>;
GinIndexStore(const String & name_, DataPartStoragePtr storage_);
GinIndexStore(const String & name_, DataPartStoragePtr storage_, MutableDataPartStoragePtr data_part_storage_builder_, UInt64 max_digestion_size_);
/// Check existence by checking the existence of file .gin_sid
bool exists() const;
/// Get a range of next 'numIDs'-many available row IDs
UInt32 getNextRowIDRange(size_t numIDs);
/// Get next available segment ID by updating file .gin_sid
UInt32 getNextSegmentID();
/// Get total number of segments in the store
UInt32 getNumOfSegments();
/// Get current postings list builder
const GinIndexPostingsBuilderContainer & getPostingsListBuilder() const { return current_postings; }
/// Set postings list builder for given term
void setPostingsBuilder(const String & term, GinIndexPostingsBuilderPtr builder) { current_postings[term] = builder; }
/// Check if we need to write segment to Gin index files
bool needToWrite() const;
/// Accumulate the size of text data which has been digested
void incrementCurrentSizeBy(UInt64 sz) { current_size += sz; }
UInt32 getCurrentSegmentID() const { return current_segment.segment_id; }
/// Do last segment writing
void finalize();
/// Method for writing segment data to Gin index files
void writeSegment();
const String & getName() const { return name; }
private:
friend class GinIndexStoreDeserializer;
/// Initialize all indexing files for this store
void initFileStreams();
/// Get a range of next available segment IDs by updating file .gin_sid
UInt32 getNextSegmentIDRange(const String & file_name, size_t n);
String name;
DataPartStoragePtr storage;
MutableDataPartStoragePtr data_part_storage_builder;
UInt32 cached_segment_num = 0;
std::mutex mutex;
/// Dictionaries indexed by segment ID
using GinSegmentDictionaries = std::unordered_map<UInt32, GinSegmentDictionaryPtr>;
/// Term's dictionaries which are loaded from .gin_dict files
GinSegmentDictionaries segment_dictionaries;
/// Container for building postings lists during index construction
GinIndexPostingsBuilderContainer current_postings;
/// For the segmentation of Gin indexes
GinIndexSegment current_segment;
UInt64 current_size = 0;
const UInt64 max_digestion_size = 0;
/// File streams for segment, dictionaries and postings lists
std::unique_ptr<WriteBufferFromFileBase> metadata_file_stream;
std::unique_ptr<WriteBufferFromFileBase> dict_file_stream;
std::unique_ptr<WriteBufferFromFileBase> postings_file_stream;
static constexpr auto GIN_SEGMENT_ID_FILE_TYPE = ".gin_sid";
static constexpr auto GIN_SEGMENT_METADATA_FILE_TYPE = ".gin_seg";
static constexpr auto GIN_DICTIONARY_FILE_TYPE = ".gin_dict";
static constexpr auto GIN_POSTINGS_FILE_TYPE = ".gin_post";
enum class Format : uint8_t
{
v0 = 0,
v1 = 1, /// Initial version
};
static constexpr auto CURRENT_GIN_FILE_FORMAT_VERSION = Format::v0;
};
using GinIndexStorePtr = std::shared_ptr<GinIndexStore>;
/// Container for postings lists for each segment
using GinSegmentedPostingsListContainer = std::unordered_map<UInt32, GinIndexPostingsListPtr>;
/// Postings lists and terms built from query string
using GinPostingsCache = std::unordered_map<std::string, GinSegmentedPostingsListContainer>;
using GinPostingsCachePtr = std::shared_ptr<GinPostingsCache>;
/// Gin index store reader which helps to read segments, dictionaries and postings list
class GinIndexStoreDeserializer : private boost::noncopyable
{
public:
explicit GinIndexStoreDeserializer(const GinIndexStorePtr & store_);
/// Read segment information from .gin_seg files
void readSegments();
/// Read all dictionaries from .gin_dict files
void readSegmentDictionaries();
/// Read dictionary for given segment id
void readSegmentDictionary(UInt32 segment_id);
/// Read postings lists for the term
GinSegmentedPostingsListContainer readSegmentedPostingsLists(const String & term);
/// Read postings lists for terms (which are created by tokenzing query string)
GinPostingsCachePtr createPostingsCacheFromTerms(const std::vector<String> & terms);
private:
/// Initialize gin index files
void initFileStreams();
/// The store for the reader
GinIndexStorePtr store;
/// File streams for reading Gin Index
std::unique_ptr<ReadBufferFromFileBase> metadata_file_stream;
std::unique_ptr<ReadBufferFromFileBase> dict_file_stream;
std::unique_ptr<ReadBufferFromFileBase> postings_file_stream;
/// Current segment, used in building index
GinIndexSegment current_segment;
};
/// PostingsCacheForStore contains postings lists from 'store' which are retrieved from Gin index files for the terms in query strings
/// GinPostingsCache is per query string (one query can have multiple query strings): when skipping index (row ID ranges) is used for the part during the
/// query, the postings cache is created and associated with the store where postings lists are read
/// for the tokenized query string. The postings caches are released automatically when the query is done.
struct PostingsCacheForStore
{
/// Which store to retrieve postings lists
GinIndexStorePtr store;
/// map of <query, postings lists>
std::unordered_map<String, GinPostingsCachePtr> cache;
/// Get postings lists for query string, return nullptr if not found
GinPostingsCachePtr getPostings(const String & query_string) const;
};
/// A singleton for storing GinIndexStores
class GinIndexStoreFactory : private boost::noncopyable
{
public:
/// Get singleton of GinIndexStoreFactory
static GinIndexStoreFactory & instance();
/// Get GinIndexStore by using index name, disk and part_path (which are combined to create key in stores)
GinIndexStorePtr get(const String & name, DataPartStoragePtr storage);
/// Remove all Gin index files which are under the same part_path
void remove(const String & part_path);
/// GinIndexStores indexed by part file path
using GinIndexStores = std::unordered_map<std::string, GinIndexStorePtr>;
private:
GinIndexStores stores;
std::mutex mutex;
};
}
|