tigerbeetle 0.0.34 → 0.0.37
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/CHANGELOG.md +10 -0
- data/ext/tb_client/extconf.rb +13 -13
- data/ext/tb_client/tigerbeetle/LICENSE +177 -0
- data/ext/tb_client/tigerbeetle/build.zig +2327 -0
- data/ext/tb_client/tigerbeetle/src/aof.zig +1000 -0
- data/ext/tb_client/tigerbeetle/src/build_multiversion.zig +808 -0
- data/ext/tb_client/tigerbeetle/src/cdc/amqp/protocol.zig +1283 -0
- data/ext/tb_client/tigerbeetle/src/cdc/amqp/spec.zig +1704 -0
- data/ext/tb_client/tigerbeetle/src/cdc/amqp/types.zig +341 -0
- data/ext/tb_client/tigerbeetle/src/cdc/amqp.zig +1450 -0
- data/ext/tb_client/tigerbeetle/src/cdc/runner.zig +1659 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/samples/main.c +406 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/context.zig +1084 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/echo_client.zig +286 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/packet.zig +158 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/signal.zig +229 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/signal_fuzz.zig +110 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client.h +386 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client.zig +34 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client_exports.zig +281 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client_header.zig +312 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/tb_client_header_test.zig +138 -0
- data/ext/tb_client/tigerbeetle/src/clients/c/test.zig +466 -0
- data/ext/tb_client/tigerbeetle/src/clients/docs_samples.zig +157 -0
- data/ext/tb_client/tigerbeetle/src/clients/docs_types.zig +90 -0
- data/ext/tb_client/tigerbeetle/src/clients/dotnet/ci.zig +203 -0
- data/ext/tb_client/tigerbeetle/src/clients/dotnet/docs.zig +79 -0
- data/ext/tb_client/tigerbeetle/src/clients/dotnet/dotnet_bindings.zig +542 -0
- data/ext/tb_client/tigerbeetle/src/clients/go/ci.zig +109 -0
- data/ext/tb_client/tigerbeetle/src/clients/go/docs.zig +86 -0
- data/ext/tb_client/tigerbeetle/src/clients/go/go_bindings.zig +370 -0
- data/ext/tb_client/tigerbeetle/src/clients/go/pkg/native/tb_client.h +386 -0
- data/ext/tb_client/tigerbeetle/src/clients/java/ci.zig +167 -0
- data/ext/tb_client/tigerbeetle/src/clients/java/docs.zig +126 -0
- data/ext/tb_client/tigerbeetle/src/clients/java/java_bindings.zig +996 -0
- data/ext/tb_client/tigerbeetle/src/clients/java/src/client.zig +748 -0
- data/ext/tb_client/tigerbeetle/src/clients/java/src/jni.zig +3238 -0
- data/ext/tb_client/tigerbeetle/src/clients/java/src/jni_tests.zig +1718 -0
- data/ext/tb_client/tigerbeetle/src/clients/java/src/jni_thread_cleaner.zig +190 -0
- data/ext/tb_client/tigerbeetle/src/clients/node/ci.zig +104 -0
- data/ext/tb_client/tigerbeetle/src/clients/node/docs.zig +75 -0
- data/ext/tb_client/tigerbeetle/src/clients/node/node.zig +522 -0
- data/ext/tb_client/tigerbeetle/src/clients/node/node_bindings.zig +267 -0
- data/ext/tb_client/tigerbeetle/src/clients/node/src/c.zig +3 -0
- data/ext/tb_client/tigerbeetle/src/clients/node/src/translate.zig +379 -0
- data/ext/tb_client/tigerbeetle/src/clients/python/ci.zig +131 -0
- data/ext/tb_client/tigerbeetle/src/clients/python/docs.zig +63 -0
- data/ext/tb_client/tigerbeetle/src/clients/python/python_bindings.zig +588 -0
- data/ext/tb_client/tigerbeetle/src/clients/rust/assets/tb_client.h +386 -0
- data/ext/tb_client/tigerbeetle/src/clients/rust/ci.zig +73 -0
- data/ext/tb_client/tigerbeetle/src/clients/rust/docs.zig +106 -0
- data/ext/tb_client/tigerbeetle/src/clients/rust/rust_bindings.zig +305 -0
- data/ext/tb_client/tigerbeetle/src/config.zig +296 -0
- data/ext/tb_client/tigerbeetle/src/constants.zig +790 -0
- data/ext/tb_client/tigerbeetle/src/copyhound.zig +202 -0
- data/ext/tb_client/tigerbeetle/src/counting_allocator.zig +72 -0
- data/ext/tb_client/tigerbeetle/src/direction.zig +11 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/build.zig +158 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/content.zig +156 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/docs.zig +252 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/file_checker.zig +313 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/html.zig +87 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/page_writer.zig +63 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/redirects.zig +47 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/search_index_writer.zig +28 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/service_worker_writer.zig +61 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/single_page_writer.zig +169 -0
- data/ext/tb_client/tigerbeetle/src/docs_website/src/website.zig +46 -0
- data/ext/tb_client/tigerbeetle/src/ewah.zig +445 -0
- data/ext/tb_client/tigerbeetle/src/ewah_benchmark.zig +128 -0
- data/ext/tb_client/tigerbeetle/src/ewah_fuzz.zig +171 -0
- data/ext/tb_client/tigerbeetle/src/fuzz_tests.zig +179 -0
- data/ext/tb_client/tigerbeetle/src/integration_tests.zig +662 -0
- data/ext/tb_client/tigerbeetle/src/io/common.zig +155 -0
- data/ext/tb_client/tigerbeetle/src/io/darwin.zig +1093 -0
- data/ext/tb_client/tigerbeetle/src/io/linux.zig +1880 -0
- data/ext/tb_client/tigerbeetle/src/io/test.zig +1005 -0
- data/ext/tb_client/tigerbeetle/src/io/windows.zig +1598 -0
- data/ext/tb_client/tigerbeetle/src/io.zig +34 -0
- data/ext/tb_client/tigerbeetle/src/iops.zig +134 -0
- data/ext/tb_client/tigerbeetle/src/list.zig +236 -0
- data/ext/tb_client/tigerbeetle/src/lsm/binary_search.zig +848 -0
- data/ext/tb_client/tigerbeetle/src/lsm/binary_search_benchmark.zig +179 -0
- data/ext/tb_client/tigerbeetle/src/lsm/cache_map.zig +424 -0
- data/ext/tb_client/tigerbeetle/src/lsm/cache_map_fuzz.zig +420 -0
- data/ext/tb_client/tigerbeetle/src/lsm/compaction.zig +2117 -0
- data/ext/tb_client/tigerbeetle/src/lsm/composite_key.zig +182 -0
- data/ext/tb_client/tigerbeetle/src/lsm/forest.zig +1119 -0
- data/ext/tb_client/tigerbeetle/src/lsm/forest_fuzz.zig +1102 -0
- data/ext/tb_client/tigerbeetle/src/lsm/forest_table_iterator.zig +200 -0
- data/ext/tb_client/tigerbeetle/src/lsm/groove.zig +1495 -0
- data/ext/tb_client/tigerbeetle/src/lsm/k_way_merge.zig +739 -0
- data/ext/tb_client/tigerbeetle/src/lsm/k_way_merge_benchmark.zig +166 -0
- data/ext/tb_client/tigerbeetle/src/lsm/manifest.zig +754 -0
- data/ext/tb_client/tigerbeetle/src/lsm/manifest_level.zig +1294 -0
- data/ext/tb_client/tigerbeetle/src/lsm/manifest_level_fuzz.zig +510 -0
- data/ext/tb_client/tigerbeetle/src/lsm/manifest_log.zig +1263 -0
- data/ext/tb_client/tigerbeetle/src/lsm/manifest_log_fuzz.zig +628 -0
- data/ext/tb_client/tigerbeetle/src/lsm/node_pool.zig +247 -0
- data/ext/tb_client/tigerbeetle/src/lsm/scan_buffer.zig +116 -0
- data/ext/tb_client/tigerbeetle/src/lsm/scan_builder.zig +543 -0
- data/ext/tb_client/tigerbeetle/src/lsm/scan_fuzz.zig +938 -0
- data/ext/tb_client/tigerbeetle/src/lsm/scan_lookup.zig +293 -0
- data/ext/tb_client/tigerbeetle/src/lsm/scan_merge.zig +362 -0
- data/ext/tb_client/tigerbeetle/src/lsm/scan_range.zig +99 -0
- data/ext/tb_client/tigerbeetle/src/lsm/scan_state.zig +17 -0
- data/ext/tb_client/tigerbeetle/src/lsm/scan_tree.zig +1036 -0
- data/ext/tb_client/tigerbeetle/src/lsm/schema.zig +617 -0
- data/ext/tb_client/tigerbeetle/src/lsm/scratch_memory.zig +84 -0
- data/ext/tb_client/tigerbeetle/src/lsm/segmented_array.zig +1500 -0
- data/ext/tb_client/tigerbeetle/src/lsm/segmented_array_benchmark.zig +149 -0
- data/ext/tb_client/tigerbeetle/src/lsm/segmented_array_fuzz.zig +7 -0
- data/ext/tb_client/tigerbeetle/src/lsm/set_associative_cache.zig +865 -0
- data/ext/tb_client/tigerbeetle/src/lsm/table.zig +607 -0
- data/ext/tb_client/tigerbeetle/src/lsm/table_memory.zig +843 -0
- data/ext/tb_client/tigerbeetle/src/lsm/table_value_iterator.zig +105 -0
- data/ext/tb_client/tigerbeetle/src/lsm/timestamp_range.zig +40 -0
- data/ext/tb_client/tigerbeetle/src/lsm/tree.zig +630 -0
- data/ext/tb_client/tigerbeetle/src/lsm/tree_fuzz.zig +933 -0
- data/ext/tb_client/tigerbeetle/src/lsm/zig_zag_merge.zig +557 -0
- data/ext/tb_client/tigerbeetle/src/message_buffer.zig +469 -0
- data/ext/tb_client/tigerbeetle/src/message_bus.zig +1214 -0
- data/ext/tb_client/tigerbeetle/src/message_bus_fuzz.zig +936 -0
- data/ext/tb_client/tigerbeetle/src/message_pool.zig +343 -0
- data/ext/tb_client/tigerbeetle/src/multiversion.zig +2195 -0
- data/ext/tb_client/tigerbeetle/src/queue.zig +390 -0
- data/ext/tb_client/tigerbeetle/src/repl/completion.zig +201 -0
- data/ext/tb_client/tigerbeetle/src/repl/parser.zig +1356 -0
- data/ext/tb_client/tigerbeetle/src/repl/terminal.zig +496 -0
- data/ext/tb_client/tigerbeetle/src/repl.zig +1034 -0
- data/ext/tb_client/tigerbeetle/src/scripts/amqp.zig +973 -0
- data/ext/tb_client/tigerbeetle/src/scripts/cfo.zig +1866 -0
- data/ext/tb_client/tigerbeetle/src/scripts/changelog.zig +304 -0
- data/ext/tb_client/tigerbeetle/src/scripts/ci.zig +227 -0
- data/ext/tb_client/tigerbeetle/src/scripts/client_readmes.zig +658 -0
- data/ext/tb_client/tigerbeetle/src/scripts/devhub.zig +466 -0
- data/ext/tb_client/tigerbeetle/src/scripts/release.zig +1058 -0
- data/ext/tb_client/tigerbeetle/src/scripts.zig +105 -0
- data/ext/tb_client/tigerbeetle/src/shell.zig +1195 -0
- data/ext/tb_client/tigerbeetle/src/stack.zig +260 -0
- data/ext/tb_client/tigerbeetle/src/state_machine/auditor.zig +911 -0
- data/ext/tb_client/tigerbeetle/src/state_machine/workload.zig +2079 -0
- data/ext/tb_client/tigerbeetle/src/state_machine.zig +4872 -0
- data/ext/tb_client/tigerbeetle/src/state_machine_fuzz.zig +288 -0
- data/ext/tb_client/tigerbeetle/src/state_machine_tests.zig +3128 -0
- data/ext/tb_client/tigerbeetle/src/static_allocator.zig +82 -0
- data/ext/tb_client/tigerbeetle/src/stdx/bit_set.zig +157 -0
- data/ext/tb_client/tigerbeetle/src/stdx/bounded_array.zig +292 -0
- data/ext/tb_client/tigerbeetle/src/stdx/debug.zig +65 -0
- data/ext/tb_client/tigerbeetle/src/stdx/flags.zig +1414 -0
- data/ext/tb_client/tigerbeetle/src/stdx/mlock.zig +92 -0
- data/ext/tb_client/tigerbeetle/src/stdx/prng.zig +677 -0
- data/ext/tb_client/tigerbeetle/src/stdx/radix.zig +336 -0
- data/ext/tb_client/tigerbeetle/src/stdx/ring_buffer.zig +511 -0
- data/ext/tb_client/tigerbeetle/src/stdx/sort_test.zig +112 -0
- data/ext/tb_client/tigerbeetle/src/stdx/stdx.zig +1160 -0
- data/ext/tb_client/tigerbeetle/src/stdx/testing/low_level_hash_vectors.zig +142 -0
- data/ext/tb_client/tigerbeetle/src/stdx/testing/snaptest.zig +361 -0
- data/ext/tb_client/tigerbeetle/src/stdx/time_units.zig +275 -0
- data/ext/tb_client/tigerbeetle/src/stdx/unshare.zig +295 -0
- data/ext/tb_client/tigerbeetle/src/stdx/vendored/aegis.zig +436 -0
- data/ext/tb_client/tigerbeetle/src/stdx/windows.zig +48 -0
- data/ext/tb_client/tigerbeetle/src/stdx/zipfian.zig +402 -0
- data/ext/tb_client/tigerbeetle/src/storage.zig +489 -0
- data/ext/tb_client/tigerbeetle/src/storage_fuzz.zig +180 -0
- data/ext/tb_client/tigerbeetle/src/testing/bench.zig +146 -0
- data/ext/tb_client/tigerbeetle/src/testing/cluster/grid_checker.zig +53 -0
- data/ext/tb_client/tigerbeetle/src/testing/cluster/journal_checker.zig +61 -0
- data/ext/tb_client/tigerbeetle/src/testing/cluster/manifest_checker.zig +76 -0
- data/ext/tb_client/tigerbeetle/src/testing/cluster/message_bus.zig +110 -0
- data/ext/tb_client/tigerbeetle/src/testing/cluster/network.zig +412 -0
- data/ext/tb_client/tigerbeetle/src/testing/cluster/state_checker.zig +331 -0
- data/ext/tb_client/tigerbeetle/src/testing/cluster/storage_checker.zig +458 -0
- data/ext/tb_client/tigerbeetle/src/testing/cluster.zig +1198 -0
- data/ext/tb_client/tigerbeetle/src/testing/exhaustigen.zig +128 -0
- data/ext/tb_client/tigerbeetle/src/testing/fixtures.zig +181 -0
- data/ext/tb_client/tigerbeetle/src/testing/fuzz.zig +144 -0
- data/ext/tb_client/tigerbeetle/src/testing/id.zig +97 -0
- data/ext/tb_client/tigerbeetle/src/testing/io.zig +317 -0
- data/ext/tb_client/tigerbeetle/src/testing/marks.zig +126 -0
- data/ext/tb_client/tigerbeetle/src/testing/packet_simulator.zig +533 -0
- data/ext/tb_client/tigerbeetle/src/testing/reply_sequence.zig +154 -0
- data/ext/tb_client/tigerbeetle/src/testing/state_machine.zig +389 -0
- data/ext/tb_client/tigerbeetle/src/testing/storage.zig +1247 -0
- data/ext/tb_client/tigerbeetle/src/testing/table.zig +249 -0
- data/ext/tb_client/tigerbeetle/src/testing/time.zig +98 -0
- data/ext/tb_client/tigerbeetle/src/testing/tmp_tigerbeetle.zig +212 -0
- data/ext/tb_client/tigerbeetle/src/testing/vortex/constants.zig +26 -0
- data/ext/tb_client/tigerbeetle/src/testing/vortex/faulty_network.zig +580 -0
- data/ext/tb_client/tigerbeetle/src/testing/vortex/java_driver/ci.zig +39 -0
- data/ext/tb_client/tigerbeetle/src/testing/vortex/logged_process.zig +214 -0
- data/ext/tb_client/tigerbeetle/src/testing/vortex/rust_driver/ci.zig +34 -0
- data/ext/tb_client/tigerbeetle/src/testing/vortex/supervisor.zig +766 -0
- data/ext/tb_client/tigerbeetle/src/testing/vortex/workload.zig +543 -0
- data/ext/tb_client/tigerbeetle/src/testing/vortex/zig_driver.zig +181 -0
- data/ext/tb_client/tigerbeetle/src/tidy.zig +1448 -0
- data/ext/tb_client/tigerbeetle/src/tigerbeetle/benchmark_driver.zig +227 -0
- data/ext/tb_client/tigerbeetle/src/tigerbeetle/benchmark_load.zig +1069 -0
- data/ext/tb_client/tigerbeetle/src/tigerbeetle/cli.zig +1422 -0
- data/ext/tb_client/tigerbeetle/src/tigerbeetle/inspect.zig +1658 -0
- data/ext/tb_client/tigerbeetle/src/tigerbeetle/inspect_integrity.zig +518 -0
- data/ext/tb_client/tigerbeetle/src/tigerbeetle/libtb_client.zig +36 -0
- data/ext/tb_client/tigerbeetle/src/tigerbeetle/main.zig +646 -0
- data/ext/tb_client/tigerbeetle/src/tigerbeetle.zig +958 -0
- data/ext/tb_client/tigerbeetle/src/time.zig +236 -0
- data/ext/tb_client/tigerbeetle/src/trace/event.zig +745 -0
- data/ext/tb_client/tigerbeetle/src/trace/statsd.zig +462 -0
- data/ext/tb_client/tigerbeetle/src/trace.zig +556 -0
- data/ext/tb_client/tigerbeetle/src/unit_tests.zig +321 -0
- data/ext/tb_client/tigerbeetle/src/vopr.zig +1785 -0
- data/ext/tb_client/tigerbeetle/src/vortex.zig +101 -0
- data/ext/tb_client/tigerbeetle/src/vsr/checkpoint_trailer.zig +473 -0
- data/ext/tb_client/tigerbeetle/src/vsr/checksum.zig +208 -0
- data/ext/tb_client/tigerbeetle/src/vsr/checksum_benchmark.zig +43 -0
- data/ext/tb_client/tigerbeetle/src/vsr/client.zig +768 -0
- data/ext/tb_client/tigerbeetle/src/vsr/client_replies.zig +532 -0
- data/ext/tb_client/tigerbeetle/src/vsr/client_sessions.zig +338 -0
- data/ext/tb_client/tigerbeetle/src/vsr/clock.zig +1019 -0
- data/ext/tb_client/tigerbeetle/src/vsr/fault_detector.zig +279 -0
- data/ext/tb_client/tigerbeetle/src/vsr/free_set.zig +1381 -0
- data/ext/tb_client/tigerbeetle/src/vsr/free_set_fuzz.zig +315 -0
- data/ext/tb_client/tigerbeetle/src/vsr/grid.zig +1460 -0
- data/ext/tb_client/tigerbeetle/src/vsr/grid_blocks_missing.zig +757 -0
- data/ext/tb_client/tigerbeetle/src/vsr/grid_scrubber.zig +797 -0
- data/ext/tb_client/tigerbeetle/src/vsr/journal.zig +2586 -0
- data/ext/tb_client/tigerbeetle/src/vsr/marzullo.zig +308 -0
- data/ext/tb_client/tigerbeetle/src/vsr/message_header.zig +1777 -0
- data/ext/tb_client/tigerbeetle/src/vsr/multi_batch.zig +715 -0
- data/ext/tb_client/tigerbeetle/src/vsr/multi_batch_fuzz.zig +185 -0
- data/ext/tb_client/tigerbeetle/src/vsr/repair_budget.zig +333 -0
- data/ext/tb_client/tigerbeetle/src/vsr/replica.zig +12355 -0
- data/ext/tb_client/tigerbeetle/src/vsr/replica_format.zig +416 -0
- data/ext/tb_client/tigerbeetle/src/vsr/replica_reformat.zig +165 -0
- data/ext/tb_client/tigerbeetle/src/vsr/replica_test.zig +2910 -0
- data/ext/tb_client/tigerbeetle/src/vsr/routing.zig +1075 -0
- data/ext/tb_client/tigerbeetle/src/vsr/superblock.zig +1603 -0
- data/ext/tb_client/tigerbeetle/src/vsr/superblock_fuzz.zig +484 -0
- data/ext/tb_client/tigerbeetle/src/vsr/superblock_quorums.zig +405 -0
- data/ext/tb_client/tigerbeetle/src/vsr/superblock_quorums_fuzz.zig +355 -0
- data/ext/tb_client/tigerbeetle/src/vsr/sync.zig +29 -0
- data/ext/tb_client/tigerbeetle/src/vsr.zig +1727 -0
- data/lib/tb_client/shared_lib.rb +12 -5
- data/lib/tigerbeetle/client.rb +1 -1
- data/lib/tigerbeetle/platforms.rb +9 -0
- data/lib/tigerbeetle/version.rb +2 -2
- data/tigerbeetle.gemspec +22 -5
- metadata +242 -3
- data/ext/tb_client/pkg.tar.gz +0 -0
|
@@ -0,0 +1,293 @@
|
|
|
1
|
+
const std = @import("std");
|
|
2
|
+
const assert = std.debug.assert;
|
|
3
|
+
|
|
4
|
+
const GridType = @import("../vsr/grid.zig").GridType;
|
|
5
|
+
|
|
6
|
+
pub const ScanLookupStatus = enum {
|
|
7
|
+
idle,
|
|
8
|
+
scan,
|
|
9
|
+
lookup,
|
|
10
|
+
buffer_finished,
|
|
11
|
+
scan_finished,
|
|
12
|
+
};
|
|
13
|
+
|
|
14
|
+
/// Implements the lookup logic for loading objects from scans.
|
|
15
|
+
pub fn ScanLookupType(
|
|
16
|
+
comptime Groove: type,
|
|
17
|
+
comptime Scan: type,
|
|
18
|
+
comptime Storage: type,
|
|
19
|
+
) type {
|
|
20
|
+
return struct {
|
|
21
|
+
const ScanLookup = @This();
|
|
22
|
+
const Grid = GridType(Storage);
|
|
23
|
+
const Object = Groove.ObjectTree.Table.Value;
|
|
24
|
+
|
|
25
|
+
pub const Callback = *const fn (*ScanLookup, []const Object) void;
|
|
26
|
+
|
|
27
|
+
const LookupWorker = struct {
|
|
28
|
+
index: u8,
|
|
29
|
+
scan_lookup: *ScanLookup,
|
|
30
|
+
lookup_context: Groove.ObjectTree.LookupContext = undefined,
|
|
31
|
+
object_index: ?u32 = null,
|
|
32
|
+
};
|
|
33
|
+
|
|
34
|
+
groove: *Groove,
|
|
35
|
+
scan: *Scan,
|
|
36
|
+
scan_context: Scan.Context = .{ .callback = &scan_read_callback },
|
|
37
|
+
|
|
38
|
+
object_buffer: ?[]Object,
|
|
39
|
+
object_count: ?u32,
|
|
40
|
+
state: ScanLookupStatus,
|
|
41
|
+
callback: ?Callback,
|
|
42
|
+
|
|
43
|
+
workers: [Grid.read_iops_max]LookupWorker = undefined,
|
|
44
|
+
/// The number of workers that are currently running in parallel.
|
|
45
|
+
workers_pending: u32 = 0,
|
|
46
|
+
|
|
47
|
+
pub fn init(
|
|
48
|
+
groove: *Groove,
|
|
49
|
+
scan: *Scan,
|
|
50
|
+
) ScanLookup {
|
|
51
|
+
return .{
|
|
52
|
+
.groove = groove,
|
|
53
|
+
.scan = scan,
|
|
54
|
+
.object_buffer = null,
|
|
55
|
+
.object_count = null,
|
|
56
|
+
.callback = null,
|
|
57
|
+
.state = .idle,
|
|
58
|
+
};
|
|
59
|
+
}
|
|
60
|
+
|
|
61
|
+
pub fn read(
|
|
62
|
+
self: *ScanLookup,
|
|
63
|
+
object_buffer: []Object,
|
|
64
|
+
callback: Callback,
|
|
65
|
+
) void {
|
|
66
|
+
assert(object_buffer.len > 0);
|
|
67
|
+
assert(self.state == .idle or
|
|
68
|
+
// `read()` can be called multiple times when the buffer has finished,
|
|
69
|
+
// but the scan still yields.
|
|
70
|
+
self.state == .buffer_finished);
|
|
71
|
+
assert(self.callback == null);
|
|
72
|
+
assert(self.workers_pending == 0);
|
|
73
|
+
assert(self.object_buffer == null);
|
|
74
|
+
assert(self.object_count == null);
|
|
75
|
+
|
|
76
|
+
self.* = .{
|
|
77
|
+
.groove = self.groove,
|
|
78
|
+
.scan = self.scan,
|
|
79
|
+
.object_buffer = object_buffer,
|
|
80
|
+
.object_count = 0,
|
|
81
|
+
.callback = callback,
|
|
82
|
+
.state = .scan,
|
|
83
|
+
};
|
|
84
|
+
|
|
85
|
+
self.groove.objects.table_mutable.sort();
|
|
86
|
+
self.scan.read(&self.scan_context);
|
|
87
|
+
}
|
|
88
|
+
|
|
89
|
+
fn slice(self: *const ScanLookup) []const Object {
|
|
90
|
+
assert(self.state == .buffer_finished or self.state == .scan_finished);
|
|
91
|
+
assert(self.workers_pending == 0);
|
|
92
|
+
return self.object_buffer.?[0..self.object_count.?];
|
|
93
|
+
}
|
|
94
|
+
|
|
95
|
+
fn scan_read_callback(context: *Scan.Context, scan: *Scan) void {
|
|
96
|
+
var self: *ScanLookup = @alignCast(@fieldParentPtr("scan_context", context));
|
|
97
|
+
assert(self.state == .scan);
|
|
98
|
+
assert(self.scan == scan);
|
|
99
|
+
|
|
100
|
+
self.lookup_start();
|
|
101
|
+
}
|
|
102
|
+
|
|
103
|
+
fn lookup_start(self: *ScanLookup) void {
|
|
104
|
+
assert(self.state == .scan);
|
|
105
|
+
assert(self.workers_pending == 0);
|
|
106
|
+
|
|
107
|
+
// Track an extra "worker" that will be decremented at the end.
|
|
108
|
+
// This prevents the callback from being called during the loop
|
|
109
|
+
// if all workers finish synchronously.
|
|
110
|
+
// After the callback, the `self` reference is no longer valid.
|
|
111
|
+
self.workers_pending += 1;
|
|
112
|
+
defer {
|
|
113
|
+
assert(self.workers_pending > 0);
|
|
114
|
+
self.workers_pending -= 1;
|
|
115
|
+
|
|
116
|
+
// It's safe to call the callback synchronously here since this function
|
|
117
|
+
// is always called by `scan_read_callback`.
|
|
118
|
+
if (self.workers_pending == 0) {
|
|
119
|
+
self.lookup_finished();
|
|
120
|
+
}
|
|
121
|
+
}
|
|
122
|
+
|
|
123
|
+
self.groove.grid.trace.start(.{
|
|
124
|
+
.lookup = .{ .tree = @enumFromInt(self.groove.objects.config.id) },
|
|
125
|
+
});
|
|
126
|
+
|
|
127
|
+
self.state = .lookup;
|
|
128
|
+
|
|
129
|
+
for (&self.workers, 0..) |*worker, index| {
|
|
130
|
+
assert(self.workers_pending == index + 1);
|
|
131
|
+
|
|
132
|
+
worker.* = .{
|
|
133
|
+
.index = @intCast(index),
|
|
134
|
+
.scan_lookup = self,
|
|
135
|
+
};
|
|
136
|
+
self.workers_pending += 1;
|
|
137
|
+
|
|
138
|
+
self.groove.grid.trace.start(
|
|
139
|
+
.{ .lookup_worker = .{
|
|
140
|
+
.index = worker.index,
|
|
141
|
+
.tree = @enumFromInt(self.groove.objects.config.id),
|
|
142
|
+
} },
|
|
143
|
+
);
|
|
144
|
+
|
|
145
|
+
self.lookup_worker_next(worker);
|
|
146
|
+
|
|
147
|
+
// If the worker finished synchronously (e.g `workers_pending`
|
|
148
|
+
// decreased), we don't need to start new ones.
|
|
149
|
+
if (self.workers_pending == index + 1) break;
|
|
150
|
+
}
|
|
151
|
+
}
|
|
152
|
+
|
|
153
|
+
fn lookup_worker_next(self: *ScanLookup, worker: *LookupWorker) void {
|
|
154
|
+
assert(self == worker.scan_lookup);
|
|
155
|
+
assert(self.state == .lookup);
|
|
156
|
+
|
|
157
|
+
while (self.state == .lookup) {
|
|
158
|
+
if (self.object_count.? == self.object_buffer.?.len) {
|
|
159
|
+
// The provided buffer was exhausted.
|
|
160
|
+
self.state = .buffer_finished;
|
|
161
|
+
break;
|
|
162
|
+
}
|
|
163
|
+
|
|
164
|
+
const timestamp = self.scan.next() catch |err| switch (err) {
|
|
165
|
+
error.Pending => {
|
|
166
|
+
// The scan needs to be buffered again.
|
|
167
|
+
self.state = .scan;
|
|
168
|
+
break;
|
|
169
|
+
},
|
|
170
|
+
} orelse {
|
|
171
|
+
// Reached the end of the scan.
|
|
172
|
+
self.state = .scan_finished;
|
|
173
|
+
break;
|
|
174
|
+
};
|
|
175
|
+
|
|
176
|
+
// Incrementing the produced len once we are sure that
|
|
177
|
+
// there is an object to lookup for that position.
|
|
178
|
+
worker.object_index = self.object_count.?;
|
|
179
|
+
self.object_count = self.object_count.? + 1;
|
|
180
|
+
|
|
181
|
+
const objects = &self.groove.objects;
|
|
182
|
+
// TODO We currently assume that the snapshot passed in is the current snapshot.
|
|
183
|
+
// This must be changed when persistent snapshots are implemented.
|
|
184
|
+
if (objects.table_mutable.get(timestamp) orelse
|
|
185
|
+
objects.table_immutable.get(timestamp)) |object|
|
|
186
|
+
{
|
|
187
|
+
// Object present in table mutable/immutable,
|
|
188
|
+
// continue the loop to fetch the next one.
|
|
189
|
+
self.object_buffer.?[worker.object_index.?] = object.*;
|
|
190
|
+
continue;
|
|
191
|
+
} else switch (objects.lookup_from_levels_cache(
|
|
192
|
+
self.scan.snapshot(),
|
|
193
|
+
timestamp,
|
|
194
|
+
)) {
|
|
195
|
+
// Since the scan already found the key,
|
|
196
|
+
// we don't expect `negative` here.
|
|
197
|
+
.negative => unreachable,
|
|
198
|
+
|
|
199
|
+
// Object is cached in memory,
|
|
200
|
+
// continue the loop to fetch the next one.
|
|
201
|
+
.positive => |object| {
|
|
202
|
+
self.object_buffer.?[worker.object_index.?] = object.*;
|
|
203
|
+
continue;
|
|
204
|
+
},
|
|
205
|
+
|
|
206
|
+
// The object needs to be loaded from storage, returning now,
|
|
207
|
+
// the iteration will be resumed when we receive the callback.
|
|
208
|
+
.possible => |level_min| {
|
|
209
|
+
objects.lookup_from_levels_storage(.{
|
|
210
|
+
.callback = lookup_worker_callback,
|
|
211
|
+
.context = &worker.lookup_context,
|
|
212
|
+
.snapshot = self.scan.snapshot(),
|
|
213
|
+
.key = timestamp,
|
|
214
|
+
.level_min = level_min,
|
|
215
|
+
});
|
|
216
|
+
return;
|
|
217
|
+
},
|
|
218
|
+
}
|
|
219
|
+
}
|
|
220
|
+
|
|
221
|
+
// The worker finished synchronously by reading from cache.
|
|
222
|
+
switch (self.state) {
|
|
223
|
+
.idle, .lookup => unreachable,
|
|
224
|
+
.scan, .buffer_finished, .scan_finished => self.lookup_worker_finished(worker),
|
|
225
|
+
}
|
|
226
|
+
}
|
|
227
|
+
|
|
228
|
+
fn lookup_worker_callback(
|
|
229
|
+
completion: *Groove.ObjectTree.LookupContext,
|
|
230
|
+
result: ?*const Object,
|
|
231
|
+
) void {
|
|
232
|
+
// Since the scan produced a valid key, it's expected to be found here.
|
|
233
|
+
assert(result != null);
|
|
234
|
+
|
|
235
|
+
const worker: *LookupWorker = @fieldParentPtr("lookup_context", completion);
|
|
236
|
+
const self: *ScanLookup = worker.scan_lookup;
|
|
237
|
+
|
|
238
|
+
assert(worker.object_index != null);
|
|
239
|
+
assert(worker.object_index.? < self.object_count.?);
|
|
240
|
+
|
|
241
|
+
worker.lookup_context = undefined;
|
|
242
|
+
self.object_buffer.?[worker.object_index.?] = result.?.*;
|
|
243
|
+
|
|
244
|
+
switch (self.state) {
|
|
245
|
+
.idle => unreachable,
|
|
246
|
+
.lookup => self.lookup_worker_next(worker),
|
|
247
|
+
.scan, .scan_finished, .buffer_finished => self.lookup_worker_finished(worker),
|
|
248
|
+
}
|
|
249
|
+
}
|
|
250
|
+
|
|
251
|
+
fn lookup_worker_finished(self: *ScanLookup, worker: *const LookupWorker) void {
|
|
252
|
+
// One worker may have been finished, but the overall state cannot be narrowed
|
|
253
|
+
// until all workers have finished.
|
|
254
|
+
assert(self.state != .idle);
|
|
255
|
+
assert(self.workers_pending > 0);
|
|
256
|
+
|
|
257
|
+
self.groove.grid.trace.stop(
|
|
258
|
+
.{ .lookup_worker = .{
|
|
259
|
+
.index = worker.index,
|
|
260
|
+
.tree = @enumFromInt(self.groove.objects.config.id),
|
|
261
|
+
} },
|
|
262
|
+
);
|
|
263
|
+
|
|
264
|
+
self.workers_pending -= 1;
|
|
265
|
+
if (self.workers_pending == 0) {
|
|
266
|
+
self.lookup_finished();
|
|
267
|
+
}
|
|
268
|
+
}
|
|
269
|
+
|
|
270
|
+
fn lookup_finished(self: *ScanLookup) void {
|
|
271
|
+
assert(self.workers_pending == 0);
|
|
272
|
+
self.groove.grid.trace.stop(.{
|
|
273
|
+
.lookup = .{ .tree = @enumFromInt(self.groove.objects.config.id) },
|
|
274
|
+
});
|
|
275
|
+
|
|
276
|
+
switch (self.state) {
|
|
277
|
+
.idle, .lookup => unreachable,
|
|
278
|
+
// The scan's buffer was consumed and it needs to read again:
|
|
279
|
+
.scan => self.scan.read(&self.scan_context),
|
|
280
|
+
// Either the lookup buffer was filled, or the scan reached the end:
|
|
281
|
+
.buffer_finished, .scan_finished => {
|
|
282
|
+
const callback = self.callback.?;
|
|
283
|
+
const results = self.slice();
|
|
284
|
+
self.object_buffer = null;
|
|
285
|
+
self.object_count = null;
|
|
286
|
+
self.callback = null;
|
|
287
|
+
|
|
288
|
+
callback(self, results);
|
|
289
|
+
},
|
|
290
|
+
}
|
|
291
|
+
}
|
|
292
|
+
};
|
|
293
|
+
}
|
|
@@ -0,0 +1,362 @@
|
|
|
1
|
+
const std = @import("std");
|
|
2
|
+
const assert = std.debug.assert;
|
|
3
|
+
const maybe = stdx.maybe;
|
|
4
|
+
|
|
5
|
+
const stdx = @import("stdx");
|
|
6
|
+
const constants = @import("../constants.zig");
|
|
7
|
+
|
|
8
|
+
const ScanState = @import("scan_state.zig").ScanState;
|
|
9
|
+
const Direction = @import("../direction.zig").Direction;
|
|
10
|
+
const KWayMergeIteratorType = @import("k_way_merge.zig").KWayMergeIteratorType;
|
|
11
|
+
const ZigZagMergeIteratorType = @import("zig_zag_merge.zig").ZigZagMergeIteratorType;
|
|
12
|
+
const ScanType = @import("scan_builder.zig").ScanType;
|
|
13
|
+
const Pending = error{Pending};
|
|
14
|
+
|
|
15
|
+
/// Union ∪ operation over an array of non-specialized `Scan` instances.
|
|
16
|
+
/// At a high level, this is an ordered iterator over the set-union of the timestamps of
|
|
17
|
+
/// each of the component Scans.
|
|
18
|
+
pub fn ScanMergeUnionType(comptime Groove: type, comptime Storage: type) type {
|
|
19
|
+
return ScanMergeType(Groove, Storage, .merge_union);
|
|
20
|
+
}
|
|
21
|
+
|
|
22
|
+
/// Intersection ∩ operation over an array of non-specialized `Scan` instances.
|
|
23
|
+
pub fn ScanMergeIntersectionType(comptime Groove: type, comptime Storage: type) type {
|
|
24
|
+
return ScanMergeType(Groove, Storage, .merge_intersection);
|
|
25
|
+
}
|
|
26
|
+
|
|
27
|
+
/// Difference (minus) operation over two non-specialized `Scan` instances.
|
|
28
|
+
pub fn ScanMergeDifferenceType(comptime Groove: type, comptime Storage: type) type {
|
|
29
|
+
return ScanMergeType(Groove, Storage, .merge_intersection);
|
|
30
|
+
}
|
|
31
|
+
|
|
32
|
+
fn ScanMergeType(
|
|
33
|
+
comptime Groove: type,
|
|
34
|
+
comptime Storage: type,
|
|
35
|
+
comptime merge: enum {
|
|
36
|
+
merge_union,
|
|
37
|
+
merge_intersection,
|
|
38
|
+
merge_difference,
|
|
39
|
+
},
|
|
40
|
+
) type {
|
|
41
|
+
return struct {
|
|
42
|
+
const ScanMerge = @This();
|
|
43
|
+
const Scan = ScanType(Groove, Storage);
|
|
44
|
+
|
|
45
|
+
pub const Callback = *const fn (context: *Scan.Context, self: *ScanMerge) void;
|
|
46
|
+
|
|
47
|
+
/// Adapts the `Scan` interface into a peek/pop stream required by the merge iterator.
|
|
48
|
+
const MergeScanStream = struct {
|
|
49
|
+
scan: *Scan,
|
|
50
|
+
current: ?u64 = null,
|
|
51
|
+
|
|
52
|
+
fn peek(self: *MergeScanStream) Pending!?u64 {
|
|
53
|
+
if (self.current == null) {
|
|
54
|
+
self.current = try self.scan.next();
|
|
55
|
+
}
|
|
56
|
+
maybe(self.current == null);
|
|
57
|
+
return self.current;
|
|
58
|
+
}
|
|
59
|
+
|
|
60
|
+
fn pop(self: *MergeScanStream) u64 {
|
|
61
|
+
assert(self.current != null);
|
|
62
|
+
defer self.current = null;
|
|
63
|
+
|
|
64
|
+
return self.current.?;
|
|
65
|
+
}
|
|
66
|
+
|
|
67
|
+
fn probe(self: *MergeScanStream, timestamp: u64) void {
|
|
68
|
+
if (self.current != null and
|
|
69
|
+
switch (self.scan.direction()) {
|
|
70
|
+
.ascending => self.current.? >= timestamp,
|
|
71
|
+
.descending => self.current.? <= timestamp,
|
|
72
|
+
})
|
|
73
|
+
{
|
|
74
|
+
// The scan may be in a key ahead of the probe key.
|
|
75
|
+
// E.g. `WHERE P AND (A OR B) ORDER BY ASC`:
|
|
76
|
+
// - `P` yields key 2, which is the probe key;
|
|
77
|
+
// - `A` yields key 1;
|
|
78
|
+
// - `B` yields key 10
|
|
79
|
+
// - `KWayMerge(A,B)` yields key 1 and it is probed with key 2 from `P`;
|
|
80
|
+
// - `A` needs to move to a key >= 2;
|
|
81
|
+
// - `B` is already positioned at key >= 2, no probing is required;
|
|
82
|
+
assert(self.scan.state() == .seeking);
|
|
83
|
+
return;
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
self.current = null;
|
|
87
|
+
self.scan.probe(timestamp);
|
|
88
|
+
}
|
|
89
|
+
};
|
|
90
|
+
|
|
91
|
+
const KWayMergeIterator = KWayMergeIteratorType(
|
|
92
|
+
ScanMerge,
|
|
93
|
+
u64,
|
|
94
|
+
u64,
|
|
95
|
+
.{
|
|
96
|
+
.streams_max = constants.lsm_scans_max,
|
|
97
|
+
.deduplicate = true,
|
|
98
|
+
},
|
|
99
|
+
key_from_value,
|
|
100
|
+
merge_stream_peek,
|
|
101
|
+
merge_stream_pop,
|
|
102
|
+
);
|
|
103
|
+
|
|
104
|
+
const ZigZagMergeIterator = ZigZagMergeIteratorType(
|
|
105
|
+
ScanMerge,
|
|
106
|
+
u64,
|
|
107
|
+
u64,
|
|
108
|
+
key_from_value,
|
|
109
|
+
constants.lsm_scans_max,
|
|
110
|
+
merge_stream_peek,
|
|
111
|
+
merge_stream_pop,
|
|
112
|
+
merge_stream_probe,
|
|
113
|
+
);
|
|
114
|
+
|
|
115
|
+
direction: Direction,
|
|
116
|
+
snapshot: u64,
|
|
117
|
+
scan_context: Scan.Context = .{ .callback = &scan_read_callback },
|
|
118
|
+
|
|
119
|
+
state: union(ScanState) {
|
|
120
|
+
/// The scan has not been executed yet.
|
|
121
|
+
/// The underlying scans are still uninitialized or in the state `.idle`.
|
|
122
|
+
idle,
|
|
123
|
+
|
|
124
|
+
/// The scan is at a valid position and ready to yield values, e.g. calling `next()`.
|
|
125
|
+
/// All underlying scans are in the state `.seeking`.
|
|
126
|
+
seeking,
|
|
127
|
+
|
|
128
|
+
/// The scan needs to load data from the underlying scans, e.g. calling `read()`.
|
|
129
|
+
/// At least one underlying scan is in the state `.needs_data`, while other ones may
|
|
130
|
+
/// be in the state `.seeking`.
|
|
131
|
+
needs_data,
|
|
132
|
+
|
|
133
|
+
/// The scan is attempting to load data from the underlying scans,
|
|
134
|
+
/// e.g. in between calling `read()` and receiving the callback.
|
|
135
|
+
/// The underlying scans are either in the state `.buffering` or `.seeking`.
|
|
136
|
+
buffering: struct {
|
|
137
|
+
context: *Scan.Context,
|
|
138
|
+
callback: Callback,
|
|
139
|
+
pending_count: u32,
|
|
140
|
+
},
|
|
141
|
+
|
|
142
|
+
/// The scan was aborted and will not yield any more values.
|
|
143
|
+
aborted,
|
|
144
|
+
},
|
|
145
|
+
streams: stdx.BoundedArrayType(MergeScanStream, constants.lsm_scans_max),
|
|
146
|
+
|
|
147
|
+
merge_iterator: ?switch (merge) {
|
|
148
|
+
.merge_union => KWayMergeIterator,
|
|
149
|
+
.merge_intersection => ZigZagMergeIterator,
|
|
150
|
+
.merge_difference => stdx.unimplemented("merge_difference"),
|
|
151
|
+
},
|
|
152
|
+
|
|
153
|
+
pub fn init(scans: []const *Scan) ScanMerge {
|
|
154
|
+
assert(scans.len > 0);
|
|
155
|
+
assert(scans.len <= constants.lsm_scans_max);
|
|
156
|
+
|
|
157
|
+
const direction_first = scans[0].direction();
|
|
158
|
+
const snapshot_first = scans[0].snapshot();
|
|
159
|
+
|
|
160
|
+
if (scans.len > 1) for (scans[1..]) |scan| {
|
|
161
|
+
// Merge can be applied only in scans that yield timestamps sorted in the
|
|
162
|
+
// same direction.
|
|
163
|
+
assert(scan.direction() == direction_first);
|
|
164
|
+
|
|
165
|
+
// All scans must have the same snapshot.
|
|
166
|
+
assert(scan.snapshot() == snapshot_first);
|
|
167
|
+
};
|
|
168
|
+
|
|
169
|
+
var self = ScanMerge{
|
|
170
|
+
.direction = direction_first,
|
|
171
|
+
.snapshot = snapshot_first,
|
|
172
|
+
.state = .idle,
|
|
173
|
+
.streams = .{},
|
|
174
|
+
.merge_iterator = null,
|
|
175
|
+
};
|
|
176
|
+
|
|
177
|
+
for (scans) |scan| {
|
|
178
|
+
assert(scan.assigned == false);
|
|
179
|
+
assert(scan.state() == .idle);
|
|
180
|
+
|
|
181
|
+
// Mark this scan as `assigned`, so it can't be used to compose other merges.
|
|
182
|
+
scan.assigned = true;
|
|
183
|
+
self.streams.push(.{ .scan = scan });
|
|
184
|
+
}
|
|
185
|
+
|
|
186
|
+
return self;
|
|
187
|
+
}
|
|
188
|
+
|
|
189
|
+
pub fn read(self: *ScanMerge, context: *Scan.Context, callback: Callback) void {
|
|
190
|
+
assert(self.state == .idle or self.state == .needs_data);
|
|
191
|
+
assert(self.streams.count() > 0);
|
|
192
|
+
|
|
193
|
+
const state_before = self.state;
|
|
194
|
+
self.state = .{
|
|
195
|
+
.buffering = .{
|
|
196
|
+
.context = context,
|
|
197
|
+
.callback = callback,
|
|
198
|
+
.pending_count = 0,
|
|
199
|
+
},
|
|
200
|
+
};
|
|
201
|
+
|
|
202
|
+
for (self.streams.slice()) |*stream| {
|
|
203
|
+
switch (stream.scan.state()) {
|
|
204
|
+
.idle => assert(state_before == .idle),
|
|
205
|
+
.seeking => continue,
|
|
206
|
+
.needs_data => assert(state_before == .needs_data),
|
|
207
|
+
.buffering, .aborted => unreachable,
|
|
208
|
+
}
|
|
209
|
+
|
|
210
|
+
self.state.buffering.pending_count += 1;
|
|
211
|
+
stream.scan.read(&self.scan_context);
|
|
212
|
+
}
|
|
213
|
+
assert(self.state.buffering.pending_count > 0);
|
|
214
|
+
}
|
|
215
|
+
|
|
216
|
+
/// Moves the iterator to the next position and returns its `Value` or `null` if the
|
|
217
|
+
/// iterator has no more values to iterate.
|
|
218
|
+
/// May return `error.Pending` if the scan needs to be loaded, in this case
|
|
219
|
+
/// call `read()` and resume the iteration after the read callback.
|
|
220
|
+
pub fn next(self: *ScanMerge) Pending!?u64 {
|
|
221
|
+
switch (self.state) {
|
|
222
|
+
.idle => {
|
|
223
|
+
assert(self.merge_iterator == null);
|
|
224
|
+
return error.Pending;
|
|
225
|
+
},
|
|
226
|
+
.seeking => return self.merge_iterator.?.pop() catch |err| switch (err) {
|
|
227
|
+
error.Pending => {
|
|
228
|
+
self.state = .needs_data;
|
|
229
|
+
return error.Pending;
|
|
230
|
+
},
|
|
231
|
+
},
|
|
232
|
+
.needs_data => return error.Pending,
|
|
233
|
+
.buffering, .aborted => unreachable,
|
|
234
|
+
}
|
|
235
|
+
}
|
|
236
|
+
|
|
237
|
+
pub fn probe(self: *ScanMerge, timestamp: u64) void {
|
|
238
|
+
switch (self.state) {
|
|
239
|
+
.idle, .seeking, .needs_data => {
|
|
240
|
+
// Forwards the `probe` call to the underlying streams,
|
|
241
|
+
// leaving the merge state unchanged.
|
|
242
|
+
// That is, `probe` changes the range key_min/key_max of the scan, but the key
|
|
243
|
+
// may have already been buffered, so the state can be preserved since fetching
|
|
244
|
+
// data from storage is not always required after a `probe`.
|
|
245
|
+
for (self.streams.slice()) |*stream| {
|
|
246
|
+
stream.probe(timestamp);
|
|
247
|
+
}
|
|
248
|
+
|
|
249
|
+
if (self.merge_iterator) |*merge_iterator| {
|
|
250
|
+
if (merge_iterator.key_popped) |key_popped| {
|
|
251
|
+
// The new timestamp may lag behind the merge_iterator's latest key.
|
|
252
|
+
//
|
|
253
|
+
// Suppose there is a query:
|
|
254
|
+
// (index_0 AND (index_1 OR (index_2 AND index_3)))
|
|
255
|
+
// with the listed timestamps in each index:
|
|
256
|
+
//
|
|
257
|
+
// zig_zag_merge₁: [ 13, 13 ]
|
|
258
|
+
// tree₀: [ 12, 12, 13 ]
|
|
259
|
+
// k_way_merge₁: [ 2, 2, 3, 12, 13, 14 ]
|
|
260
|
+
// tree₁: [ 2, 2, 3, ]
|
|
261
|
+
// zig_zag_merge₂: [ 13, 13, 14 ]
|
|
262
|
+
// tree₂: [ 2, 2, 3, 12, 13, 14 ]
|
|
263
|
+
// tree₃: [ 13, 13, 14 ]
|
|
264
|
+
//
|
|
265
|
+
// 1. While peeking the first key from zig_zag_merge₁, we peek 12 from
|
|
266
|
+
// tree₀ and 1 from k_way_merge₁. So we probe k_way_merge₁ with 12.
|
|
267
|
+
// 2. k_way_merge₁ relays 11 to its streams (tree₁ + zig_zag_merge₂).
|
|
268
|
+
// 3. Probing zig_zag_merge₂ with 12 trips the assert, because tree₃ has
|
|
269
|
+
// already produced a higher key (11 < 12).
|
|
270
|
+
switch (self.direction) {
|
|
271
|
+
.ascending => maybe(key_popped < timestamp),
|
|
272
|
+
.descending => maybe(key_popped > timestamp),
|
|
273
|
+
}
|
|
274
|
+
}
|
|
275
|
+
|
|
276
|
+
// Once the underlying streams have been changed, the merge iterator needs
|
|
277
|
+
// to reset its state, otherwise it may have dirty keys buffered.
|
|
278
|
+
merge_iterator.reset();
|
|
279
|
+
} else {
|
|
280
|
+
assert(self.state == .idle);
|
|
281
|
+
}
|
|
282
|
+
},
|
|
283
|
+
.buffering => unreachable,
|
|
284
|
+
.aborted => return,
|
|
285
|
+
}
|
|
286
|
+
}
|
|
287
|
+
|
|
288
|
+
fn scan_read_callback(context: *Scan.Context, scan: *Scan) void {
|
|
289
|
+
const self: *ScanMerge = @alignCast(@fieldParentPtr("scan_context", context));
|
|
290
|
+
assert(self.state == .buffering);
|
|
291
|
+
assert(self.state.buffering.pending_count > 0);
|
|
292
|
+
assert(self.state.buffering.pending_count <= self.streams.count());
|
|
293
|
+
|
|
294
|
+
if (constants.verify) {
|
|
295
|
+
assert(found: {
|
|
296
|
+
for (self.streams.const_slice()) |*stream| {
|
|
297
|
+
if (stream.scan == scan) break :found true;
|
|
298
|
+
} else break :found false;
|
|
299
|
+
});
|
|
300
|
+
}
|
|
301
|
+
|
|
302
|
+
self.state.buffering.pending_count -= 1;
|
|
303
|
+
if (self.state.buffering.pending_count == 0) {
|
|
304
|
+
const context_outer = self.state.buffering.context;
|
|
305
|
+
const callback = self.state.buffering.callback;
|
|
306
|
+
self.state = .seeking;
|
|
307
|
+
|
|
308
|
+
if (self.merge_iterator == null) {
|
|
309
|
+
self.merge_iterator = switch (merge) {
|
|
310
|
+
.merge_union => KWayMergeIterator.init(
|
|
311
|
+
self,
|
|
312
|
+
@intCast(self.streams.count()),
|
|
313
|
+
self.direction,
|
|
314
|
+
),
|
|
315
|
+
.merge_intersection => ZigZagMergeIterator.init(
|
|
316
|
+
self,
|
|
317
|
+
@intCast(self.streams.count()),
|
|
318
|
+
self.direction,
|
|
319
|
+
),
|
|
320
|
+
.merge_difference => unreachable,
|
|
321
|
+
};
|
|
322
|
+
}
|
|
323
|
+
callback(context_outer, self);
|
|
324
|
+
}
|
|
325
|
+
}
|
|
326
|
+
|
|
327
|
+
inline fn key_from_value(value: *const u64) u64 {
|
|
328
|
+
return value.*;
|
|
329
|
+
}
|
|
330
|
+
|
|
331
|
+
fn merge_stream_peek(
|
|
332
|
+
self: *ScanMerge,
|
|
333
|
+
stream_index: u32,
|
|
334
|
+
) Pending!?u64 {
|
|
335
|
+
assert(stream_index < self.streams.count());
|
|
336
|
+
|
|
337
|
+
var stream = &self.streams.slice()[stream_index];
|
|
338
|
+
return stream.peek();
|
|
339
|
+
}
|
|
340
|
+
|
|
341
|
+
fn merge_stream_pop(
|
|
342
|
+
self: *ScanMerge,
|
|
343
|
+
stream_index: u32,
|
|
344
|
+
) u64 {
|
|
345
|
+
assert(stream_index < self.streams.count());
|
|
346
|
+
|
|
347
|
+
var stream = &self.streams.slice()[stream_index];
|
|
348
|
+
return stream.pop();
|
|
349
|
+
}
|
|
350
|
+
|
|
351
|
+
fn merge_stream_probe(
|
|
352
|
+
self: *ScanMerge,
|
|
353
|
+
stream_index: u32,
|
|
354
|
+
timestamp: u64,
|
|
355
|
+
) void {
|
|
356
|
+
assert(stream_index < self.streams.count());
|
|
357
|
+
|
|
358
|
+
var stream = &self.streams.slice()[stream_index];
|
|
359
|
+
stream.probe(timestamp);
|
|
360
|
+
}
|
|
361
|
+
};
|
|
362
|
+
}
|