-
Notifications
You must be signed in to change notification settings - Fork 23
/
Copy pathtkrzw_dbm_shard.h
598 lines (531 loc) · 22.6 KB
/
tkrzw_dbm_shard.h
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
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
/*************************************************************************************************
* Sharding database manager adapter
*
* Copyright 2020 Google LLC
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file
* except in compliance with the License. You may obtain a copy of the License at
* https://www.apache.org/licenses/LICENSE-2.0
* Unless required by applicable law or agreed to in writing, software distributed under the
* License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
* either express or implied. See the License for the specific language governing permissions
* and limitations under the License.
*************************************************************************************************/
#ifndef _TKRZW_DBM_SHARD_H
#define _TKRZW_DBM_SHARD_H
#include <map>
#include <memory>
#include <string>
#include <string_view>
#include <utility>
#include <vector>
#include <cinttypes>
#include "tkrzw_dbm.h"
#include "tkrzw_dbm_ulog.h"
#include "tkrzw_file.h"
#include "tkrzw_key_comparators.h"
#include "tkrzw_lib_common.h"
#include "tkrzw_dbm_poly.h"
#include "tkrzw_str_util.h"
namespace tkrzw {
/**
* Sharding database manager adapter.
* @details All operations except for Open and Close are thread-safe; Multiple threads can
* access the same database concurrently. Every opened database must be closed explicitly to
* avoid data corruption.
* @details This class is a wrapper of PolyDBM for sharding the database into multiple instances.
*/
class ShardDBM final : public ParamDBM {
public:
/**
* Iterator for each record.
* @details When the database is updated, some iterators may or may not be invalided.
* Operations with invalidated iterators fails gracefully with NOT_FOUND_ERROR. One iterator
* cannot be shared by multiple threads.
*/
class Iterator final : public DBM::Iterator {
friend class ShardDBM;
public:
/**
* Destructor.
*/
virtual ~Iterator();
/**
* Copy and assignment are disabled.
*/
explicit Iterator(const Iterator& rhs) = delete;
Iterator& operator =(const Iterator& rhs) = delete;
/**
* Initializes the iterator to indicate the first record.
* @return The result status.
* @details Even if there's no record, the operation doesn't fail.
*/
Status First() override;
/**
* Initializes the iterator to indicate the last record.
* @return The result status.
* @details Even if there's no record, the operation doesn't fail. This method is suppoerted
* only by ordered databases.
*/
Status Last() override;
/**
* Initializes the iterator to indicate a specific record.
* @param key The key of the record to look for.
* @return The result status.
* @details Ordered databases can support "lower bound" jump; If there's no record with the
* same key, the iterator refers to the first record whose key is greater than the given key.
* The operation fails with unordered databases if there's no record with the same key.
*/
Status Jump(std::string_view key) override;
/**
* Initializes the iterator to indicate the last record whose key is lower than a given key.
* @param key The key to compare with.
* @param inclusive If true, the considtion is inclusive: equal to or lower than the key.
* @return The result status.
* @details Even if there's no matching record, the operation doesn't fail. This method is
* suppoerted only by ordered databases.
*/
Status JumpLower(std::string_view key, bool inclusive = false) override;
/**
* Initializes the iterator to indicate the first record whose key is upper than a given key.
* @param key The key to compare with.
* @param inclusive If true, the considtion is inclusive: equal to or upper than the key.
* @return The result status.
* @details Even if there's no matching record, the operation doesn't fail. This method is
* suppoerted only by ordered databases.
*/
Status JumpUpper(std::string_view key, bool inclusive = false) override;
/**
* Moves the iterator to the next record.
* @return The result status.
* @details If the current record is missing, the operation fails. Even if there's no next
* record, the operation doesn't fail.
*/
Status Next() override;
/**
* Moves the iterator to the previous record.
* @return The result status.
* @details If the current record is missing, the operation fails. Even if there's no previous
* record, the operation doesn't fail. This method is suppoerted only by ordered databases.
*/
Status Previous() override;
/**
* Processes the current record with a processor.
* @param proc The pointer to the processor object.
* @param writable True if the processor can edit the record.
* @return The result status.
* @details If the current record exists, the ProcessFull of the processor is called.
* Otherwise, this method fails and no method of the processor is called. If the current
* record is removed, the iterator is moved to the next record.
*/
Status Process(RecordProcessor* proc, bool writable) override;
/**
* Gets the key and the value of the current record of the iterator.
* @param key The pointer to a string object to contain the record key. If it is nullptr,
* the key data is ignored.
* @param value The pointer to a string object to contain the record value. If it is nullptr,
* the value data is ignored.
* @return The result status.
*/
Status Get(std::string* key = nullptr, std::string* value = nullptr) override;
/**
* Sets the value of the current record.
* @param value The value of the record.
* @param old_key The pointer to a string object to contain the old key. If it is
* nullptr, it is ignored.
* @param old_value The pointer to a string object to contain the old value. If it is
* nullptr, it is ignored.
* @return The result status.
*/
Status Set(std::string_view value, std::string* old_key = nullptr,
std::string* old_value = nullptr) override;
/**
* Removes the current record.
* @param old_key The pointer to a string object to contain the old key. If it is
* nullptr, it is ignored.
* @param old_value The pointer to a string object to contain the old value. If it is
* nullptr, it is ignored.
* @return The result status.
* @details If possible, the iterator moves to the next record.
*/
Status Remove(std::string* old_key = nullptr, std::string* old_value = nullptr) override;
private:
/**
* Structure of a sharding slot.
*/
struct ShardSlot final {
/** The last retrieved key. */
std::string key;
/** The last retrieved value. */
std::string value;
/** The iterator object, owned */
DBM::Iterator* iter;
/** Constructor. */
ShardSlot() : key(), value(), iter(nullptr) {}
};
/**
* Ascending comparator for sharding slots.
*/
struct ShardSlotComparator final {
/** The key comparator. */
KeyComparator comp;
/** Whether the oder is ascending. */
bool asc;
/**
* Constructor.
* @param comp The key comparator.
* @param asc True for ascending order and false for descending order.
*/
ShardSlotComparator(KeyComparator comp, bool asc) : comp(comp), asc(asc) {}
/**
* Compares two sorting slots.
* @param lhs The first sorting slot.
* @param rhs The second other sorting slot.
* @param True if the first one is greater.
*/
bool operator ()(const ShardSlot* lhs, const ShardSlot* rhs) const {
return asc ? comp(lhs->key, rhs->key) > 0 : comp(lhs->key, rhs->key) < 0;
}
};
/**
* Constructor.
* @param dbms The internal database objects.
*/
explicit Iterator(std::vector<std::shared_ptr<PolyDBM>>* dbms);
/** The shard slots. */
std::vector<ShardSlot> slots_;
/** The heap to get the mimimum record. */
std::vector<ShardSlot*> heap_;
/** The key comparator. */
KeyComparator comp_;
/** Whether the oder is ascending. */
bool asc_;
};
/**
* Default constructor.
*/
explicit ShardDBM();
/**
* Destructor.
*/
virtual ~ShardDBM();
/**
* Copy and assignment are disabled.
*/
explicit ShardDBM(const ShardDBM& rhs) = delete;
ShardDBM& operator =(const ShardDBM& rhs) = delete;
/**
* Opens a database file.
* @param path A path of the file.
* @param writable If true, the file is writable. If false, it is read-only.
* @param options Bit-sum options of File::OpenOption enums for opening the file.
* @return The result status.
*/
Status Open(const std::string& path, bool writable,
int32_t options = File::OPEN_DEFAULT) override {
return OpenAdvanced(path, writable, options);
}
/**
* Opens a database file, in an advanced way.
* @param path A path of the file.
* @param writable If true, the file is writable. If false, it is read-only.
* @param options Bit-sum options for opening the file.
* @param params Optional parameters. All parameters for PolyDBM::OpenAdvanced are supported.
* Moreover, the parameter "num_shards" specifies the number of shards. Each shard file has a
* suffix like "-00003-of-00015". If the number of shards is not specified and existing files
* match the path, it is implicitly specified. If there are no matching files, 1 is implicitly
* set.
* @return The result status.
*/
Status OpenAdvanced(const std::string& path, bool writable,
int32_t options = File::OPEN_DEFAULT,
const std::map<std::string, std::string>& params = {}) override;
/**
* Closes the database file.
* @return The result status.
*/
Status Close() override;
/**
* Processes a record with a processor.
* @param key The key of the record.
* @param proc The pointer to the processor object.
* @param writable True if the processor can edit the record.
* @return The result status.
* @details If the specified record exists, the ProcessFull of the processor is called.
* Otherwise, the ProcessEmpty of the processor is called.
*/
Status Process(std::string_view key, RecordProcessor* proc, bool writable) override;
/**
* Gets the value of a record of a key.
* @param key The key of the record.
* @param value The pointer to a string object to contain the result value. If it is nullptr,
* the value data is ignored.
* @return The result status. If there's no matching record, NOT_FOUND_ERROR is returned.
*/
Status Get(std::string_view key, std::string* value = nullptr) override;
/**
* Sets a record of a key and a value.
* @param key The key of the record.
* @param value The value of the record.
* @param overwrite Whether to overwrite the existing value if there's a record with the same
* key. If true, the existing value is overwritten by the new value. If false, the operation
* is given up and an error status is returned.
* @param old_value The pointer to a string object to contain the old value. Assignment is done
* even on the duplication error. If it is nullptr, it is ignored.
* @return The result status. If overwriting is abandoned, DUPLICATION_ERROR is returned.
*/
Status Set(std::string_view key, std::string_view value, bool overwrite = true,
std::string* old_value = nullptr) override;
/**
* Removes a record of a key.
* @param key The key of the record.
* @param old_value The pointer to a string object to contain the old value. If it is nullptr,
* it is ignored.
* @return The result status. If there's no matching record, NOT_FOUND_ERROR is returned.
*/
Status Remove(std::string_view key, std::string* old_value = nullptr) override;
/**
* Appends data at the end of a record of a key.
* @param key The key of the record.
* @param value The value to append.
* @param delim The delimiter to put after the existing record.
* @return The result status.
* @details If there's no existing record, the value is set without the delimiter.
*/
Status Append(
std::string_view key, std::string_view value, std::string_view delim = "") override;
/**
* Processes the first record with a processor.
* @param proc The pointer to the processor object.
* @param writable True if the processor can edit the record.
* @return The result status.
* @details If the first record exists, the ProcessFull of the processor is called.
* Otherwise, this method fails and no method of the processor is called. Whereas ordered
* databases have efficient implementations of this method, unordered databases have
* inefficient implementations.
*/
Status ProcessFirst(RecordProcessor* proc, bool writable) override;
/**
* Processes multiple records with processors.
* @param key_proc_pairs Pairs of the keys and their processor objects.
* @param writable True if the processors can edit the records.
* @return The result status.
* @details Precondition: The database is opened. The writable parameter should be
* consistent to the open mode.
* @details If the specified record exists, the ProcessFull of the processor is called.
* Otherwise, the ProcessEmpty of the processor is called.
* @details ShardDBM has a special implementation to assure isolation of transactions in
* multi-threading environments. The given keys are locked in the space of the first shard so
* that isolation is assured among ProcessMulti even if actual keys belongs to different shards.
* In other words, other methods such as Get, Set, and Remove are executed without exclusive
* control.
*/
Status ProcessMulti(
const std::vector<std::pair<std::string_view, DBM::RecordProcessor*>>& key_proc_pairs,
bool writable) override;
/**
* Compares the values of records and exchanges if the condition meets.
* @param expected The record keys and their expected values. If the value is nullptr, no
* existing record is expected. If the value is ANY_DATA, an existing record with any value is
* expacted.
* @param desired The record keys and their desired values. If the value is nullptr, the
* record is to be removed.
* @return The result status. If the condition doesn't meet, INFEASIBLE_ERROR is returned.
* @details ShardDBM has a special implementation to assure isolation of transactions in
* multi-threading environments. In contrast to the ProcessMulti method, isolation of
* CompareExchangeMulti is assured among all kinds of methods.
*/
Status CompareExchangeMulti(
const std::vector<std::pair<std::string_view, std::string_view>>& expected,
const std::vector<std::pair<std::string_view, std::string_view>>& desired) override;
/**
* Processes each and every record in the database with a processor.
* @param proc The pointer to the processor object.
* @param writable True if the processor can edit the record.
* @return The result status.
* @details The ProcessFull of the processor is called repeatedly for each record. The
* ProcessEmpty of the processor is called once before the iteration and once after the
* iteration.
*/
Status ProcessEach(RecordProcessor* proc, bool writable) override;
/**
* Gets the number of records.
* @param count The pointer to an integer object to contain the result count.
* @return The result status.
*/
Status Count(int64_t* count) override;
/**
* Gets the current file size of the database.
* @param size The pointer to an integer object to contain the result size.
* @return The result status.
*/
Status GetFileSize(int64_t* size) override;
/**
* Gets the path of the database file.
* @param path The pointer to a string object to contain the result path.
* @return The result status.
*/
Status GetFilePath(std::string* path) override;
/**
* Gets the timestamp in seconds of the last modified time.
* @param timestamp The pointer to a double object to contain the timestamp.
* @return The result status.
*/
Status GetTimestamp(double* timestamp) override;
/**
* Removes all records.
* @return The result status.
*/
Status Clear() override;
/**
* Rebuilds the entire database.
* @return The result status.
*/
Status Rebuild() override {
return RebuildAdvanced();
}
/**
* Rebuilds the entire database, in an advanced way.
* @param params Optional parameters.
* @return The result status.
* @details The parameters work in the same way as with PolyDBM::RebuildAdvanced.
*/
Status RebuildAdvanced(const std::map<std::string, std::string>& params = {}) override;
/**
* Checks whether the database should be rebuilt.
* @param tobe The pointer to a boolean object to contain the result decision.
* @return The result status.
*/
Status ShouldBeRebuilt(bool* tobe) override;
/**
* Synchronizes the content of the database to the file system.
* @param hard True to do physical synchronization with the hardware or false to do only
* logical synchronization with the file system.
* @param proc The pointer to the file processor object, whose Process method is called while
* the content of the file is synchronized. If it is nullptr, it is ignored.
* @return The result status.
*/
Status Synchronize(bool hard, FileProcessor* proc = nullptr) override {
return SynchronizeAdvanced(hard, proc);
}
/**
* Synchronizes the content of the database to the file system, in an advanced way.
* @param hard True to do physical synchronization with the hardware or false to do only
* logical synchronization with the file system.
* @param proc The pointer to the file processor object, whose Process method is called while
* the content of the file is synchronized. If it is nullptr, it is ignored.
* @param params Optional parameters.
* @return The result status.
* @details The parameters work in the same way as with PolyDBM::OpenAdvanced.
*/
Status SynchronizeAdvanced(bool hard, FileProcessor* proc = nullptr,
const std::map<std::string, std::string>& params = {}) override;
/**
* Copies the content of the database files to other files.
* @param dest_path A path prefix to the destination files.
* @param sync_hard True to do physical synchronization with the hardware.
* @return The result status.
* @details Copying is done while the content is synchronized and stable. So, this method is
* suitable for making a backup file while running a database service. Each shard file is
* copied and the destination file also has the same suffix.
*/
Status CopyFileData(const std::string& dest_path, bool sync_hard = false) override;
/**
* Inspects the database.
* @return A vector of pairs of a property name and its value.
*/
std::vector<std::pair<std::string, std::string>> Inspect() override;
/**
* Checks whether the database is open.
* @return True if the database is open, or false if not.
*/
bool IsOpen() const override;
/**
* Checks whether the database is writable.
* @return True if the database is writable, or false if not.
*/
bool IsWritable() const override;
/**
* Checks whether the database condition is healthy.
* @return True if the database condition is healthy, or false if not.
*/
bool IsHealthy() const override;
/**
* Checks whether ordered operations are supported.
* @return True if ordered operations are supported, or false if not.
*/
bool IsOrdered() const override;
/**
* Makes an iterator for each record.
* @return The iterator for each record.
*/
std::unique_ptr<DBM::Iterator> MakeIterator() override;
/**
* Makes a new DBM object of the same concrete class.
* @return The new DBM object.
*/
std::unique_ptr<DBM> MakeDBM() const override;
/**
* Gets the logger to write all update operations.
* @return The update logger if it has been set or nullptr if it hasn't.
*/
UpdateLogger* GetUpdateLogger() const override;
/**
* Sets the logger to write all update operations.
* @param update_logger The pointer to the update logger object. Ownership is not taken.
* If it is nullptr, no logger is used.
*/
void SetUpdateLogger(UpdateLogger* update_logger) override;
/**
* Gets the pointer to the first internal database object.
* @return The pointer to the first internal database object, or nullptr on failure.
*/
DBM* GetInternalDBM() const;
/**
* Gets the number of shards of a database.
* @param path The database path.
* @param num_shards The pointer to a variable to store the result.
* @return The result status.
* @details If there are multiple candidates, this function report a failure.
*/
static Status GetNumberOfShards(const std::string& path, int32_t* num_shards);
/**
* Restores a broken database as a new healthy database.
* @param old_file_path The path of the broken database.
* @param new_file_path The path of the new database to be created.
* @param class_name The name of the database class. If it is empty, the class is guessed from
* the file extension.
* @param end_offset The exclusive end offset of records to read. Negative means unlimited.
* 0 means the size when the database is synched or closed properly. Using a positive value
* is not meaningful if the number of shards is more than one.
* @param cipher_key The encryption key for cipher compressors.
* @return The result status.
*/
static Status RestoreDatabase(
const std::string& old_file_path, const std::string& new_file_path,
const std::string& class_name = "", int64_t end_offset = -1,
std::string_view cipher_key = "");
/**
* Renames all files of a database to ones of another name.
* @param old_file_path The path of the database.
* @param new_file_path The path of the new database.
* @return The result status.
*/
static Status RenameDatabase(
const std::string& old_file_path, const std::string& new_file_path);
private:
/** The internal database objects. */
std::vector<std::shared_ptr<PolyDBM>> dbms_;
/** The owned message queue for the update logger. */
std::unique_ptr<MessageQueue> ulog_mq_;
/** The owned update logger. */
std::unique_ptr<DBM::UpdateLogger> ulog_;
/** Whether the internal databases are open. */
bool open_;
/** The stem name of the file paths of the internal databases. */
std::string path_;
/** The logger for the second shard and later. */
DBMUpdateLoggerSecondShard ulog_second_;
};
} // namespace tkrzw
#endif // _TKRZW_DBM_SHARD_H
// END OF FILE