tigerbeetle 0.0.40 → 0.17.8

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.
Files changed (293) hide show
  1. checksums.yaml +4 -4
  2. data/LICENSE +0 -25
  3. data/README.md +670 -80
  4. data/docs/migration.md +201 -0
  5. data/sig/tigerbeetle.rbs +271 -0
  6. data/src/ext/tigerbeetle/extconf.rb +47 -0
  7. data/src/ext/tigerbeetle/lib/aarch64-linux-gnu.2.27/libtb_client.so +0 -0
  8. data/src/ext/tigerbeetle/lib/aarch64-linux-musl/libtb_client.so +0 -0
  9. data/src/ext/tigerbeetle/lib/aarch64-macos/libtb_client.dylib +0 -0
  10. data/src/ext/tigerbeetle/lib/x86_64-linux-gnu.2.27/libtb_client.so +0 -0
  11. data/src/ext/tigerbeetle/lib/x86_64-linux-musl/libtb_client.so +0 -0
  12. data/src/ext/tigerbeetle/lib/x86_64-macos/libtb_client.dylib +0 -0
  13. data/src/ext/tigerbeetle/lib/x86_64-windows/tb_client.dll +0 -0
  14. data/src/ext/tigerbeetle/rb_tb_gen.h +458 -0
  15. data/{ext/tb_client/tigerbeetle/src/clients/rust/assets → src/ext/tigerbeetle}/tb_client.h +18 -16
  16. data/src/ext/tigerbeetle/tigerbeetle.c +310 -0
  17. data/src/tigerbeetle/bindings.rb +347 -0
  18. data/src/tigerbeetle/client.rb +129 -0
  19. data/src/tigerbeetle/completion_dispatcher.rb +108 -0
  20. data/src/tigerbeetle/id.rb +40 -0
  21. data/src/tigerbeetle/tb.rb +3 -0
  22. data/src/tigerbeetle/version.rb +3 -0
  23. data/src/tigerbeetle.rb +39 -0
  24. metadata +33 -350
  25. data/CHANGELOG.md +0 -162
  26. data/ext/tb_client/extconf.rb +0 -41
  27. data/ext/tb_client/tigerbeetle/LICENSE +0 -177
  28. data/ext/tb_client/tigerbeetle/build.zig +0 -2296
  29. data/ext/tb_client/tigerbeetle/src/aof.zig +0 -1000
  30. data/ext/tb_client/tigerbeetle/src/build/fetch.zig +0 -112
  31. data/ext/tb_client/tigerbeetle/src/build_multiversion.zig +0 -808
  32. data/ext/tb_client/tigerbeetle/src/cdc/amqp/protocol.zig +0 -1283
  33. data/ext/tb_client/tigerbeetle/src/cdc/amqp/spec.zig +0 -1704
  34. data/ext/tb_client/tigerbeetle/src/cdc/amqp/types.zig +0 -341
  35. data/ext/tb_client/tigerbeetle/src/cdc/amqp.zig +0 -1450
  36. data/ext/tb_client/tigerbeetle/src/cdc/runner.zig +0 -1659
  37. data/ext/tb_client/tigerbeetle/src/clients/c/samples/main.c +0 -406
  38. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/context.zig +0 -1092
  39. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/echo_client.zig +0 -286
  40. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/packet.zig +0 -158
  41. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/signal.zig +0 -229
  42. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/signal_fuzz.zig +0 -110
  43. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client.h +0 -386
  44. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client.zig +0 -34
  45. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client_exports.zig +0 -281
  46. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client_header.zig +0 -312
  47. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client_header_test.zig +0 -138
  48. data/ext/tb_client/tigerbeetle/src/clients/c/test.zig +0 -466
  49. data/ext/tb_client/tigerbeetle/src/clients/docs_samples.zig +0 -157
  50. data/ext/tb_client/tigerbeetle/src/clients/docs_types.zig +0 -90
  51. data/ext/tb_client/tigerbeetle/src/clients/dotnet/ci.zig +0 -203
  52. data/ext/tb_client/tigerbeetle/src/clients/dotnet/docs.zig +0 -79
  53. data/ext/tb_client/tigerbeetle/src/clients/dotnet/dotnet_bindings.zig +0 -542
  54. data/ext/tb_client/tigerbeetle/src/clients/go/ci.zig +0 -109
  55. data/ext/tb_client/tigerbeetle/src/clients/go/docs.zig +0 -86
  56. data/ext/tb_client/tigerbeetle/src/clients/go/go_bindings.zig +0 -370
  57. data/ext/tb_client/tigerbeetle/src/clients/go/pkg/native/tb_client.h +0 -386
  58. data/ext/tb_client/tigerbeetle/src/clients/java/ci.zig +0 -167
  59. data/ext/tb_client/tigerbeetle/src/clients/java/docs.zig +0 -126
  60. data/ext/tb_client/tigerbeetle/src/clients/java/java_bindings.zig +0 -996
  61. data/ext/tb_client/tigerbeetle/src/clients/java/src/client.zig +0 -748
  62. data/ext/tb_client/tigerbeetle/src/clients/java/src/jni.zig +0 -3238
  63. data/ext/tb_client/tigerbeetle/src/clients/java/src/jni_tests.zig +0 -1718
  64. data/ext/tb_client/tigerbeetle/src/clients/java/src/jni_thread_cleaner.zig +0 -190
  65. data/ext/tb_client/tigerbeetle/src/clients/node/ci.zig +0 -104
  66. data/ext/tb_client/tigerbeetle/src/clients/node/docs.zig +0 -75
  67. data/ext/tb_client/tigerbeetle/src/clients/node/node.zig +0 -522
  68. data/ext/tb_client/tigerbeetle/src/clients/node/node_bindings.zig +0 -267
  69. data/ext/tb_client/tigerbeetle/src/clients/node/src/c.zig +0 -3
  70. data/ext/tb_client/tigerbeetle/src/clients/node/src/translate.zig +0 -379
  71. data/ext/tb_client/tigerbeetle/src/clients/python/ci.zig +0 -131
  72. data/ext/tb_client/tigerbeetle/src/clients/python/docs.zig +0 -63
  73. data/ext/tb_client/tigerbeetle/src/clients/python/python_bindings.zig +0 -588
  74. data/ext/tb_client/tigerbeetle/src/clients/rust/ci.zig +0 -73
  75. data/ext/tb_client/tigerbeetle/src/clients/rust/docs.zig +0 -106
  76. data/ext/tb_client/tigerbeetle/src/clients/rust/rust_bindings.zig +0 -305
  77. data/ext/tb_client/tigerbeetle/src/config.zig +0 -296
  78. data/ext/tb_client/tigerbeetle/src/constants.zig +0 -790
  79. data/ext/tb_client/tigerbeetle/src/copyhound.zig +0 -202
  80. data/ext/tb_client/tigerbeetle/src/counting_allocator.zig +0 -72
  81. data/ext/tb_client/tigerbeetle/src/direction.zig +0 -120
  82. data/ext/tb_client/tigerbeetle/src/docs_website/build.zig +0 -158
  83. data/ext/tb_client/tigerbeetle/src/docs_website/src/content.zig +0 -156
  84. data/ext/tb_client/tigerbeetle/src/docs_website/src/docs.zig +0 -252
  85. data/ext/tb_client/tigerbeetle/src/docs_website/src/file_checker.zig +0 -313
  86. data/ext/tb_client/tigerbeetle/src/docs_website/src/html.zig +0 -87
  87. data/ext/tb_client/tigerbeetle/src/docs_website/src/page_writer.zig +0 -63
  88. data/ext/tb_client/tigerbeetle/src/docs_website/src/redirects.zig +0 -47
  89. data/ext/tb_client/tigerbeetle/src/docs_website/src/search_index_writer.zig +0 -28
  90. data/ext/tb_client/tigerbeetle/src/docs_website/src/service_worker_writer.zig +0 -61
  91. data/ext/tb_client/tigerbeetle/src/docs_website/src/single_page_writer.zig +0 -169
  92. data/ext/tb_client/tigerbeetle/src/docs_website/src/website.zig +0 -46
  93. data/ext/tb_client/tigerbeetle/src/ewah.zig +0 -445
  94. data/ext/tb_client/tigerbeetle/src/ewah_benchmark.zig +0 -128
  95. data/ext/tb_client/tigerbeetle/src/ewah_fuzz.zig +0 -171
  96. data/ext/tb_client/tigerbeetle/src/fuzz_tests.zig +0 -179
  97. data/ext/tb_client/tigerbeetle/src/integration_tests.zig +0 -662
  98. data/ext/tb_client/tigerbeetle/src/io/common.zig +0 -155
  99. data/ext/tb_client/tigerbeetle/src/io/darwin.zig +0 -1093
  100. data/ext/tb_client/tigerbeetle/src/io/linux.zig +0 -1880
  101. data/ext/tb_client/tigerbeetle/src/io/test.zig +0 -1005
  102. data/ext/tb_client/tigerbeetle/src/io/windows.zig +0 -1598
  103. data/ext/tb_client/tigerbeetle/src/io.zig +0 -34
  104. data/ext/tb_client/tigerbeetle/src/iops.zig +0 -134
  105. data/ext/tb_client/tigerbeetle/src/list.zig +0 -236
  106. data/ext/tb_client/tigerbeetle/src/lsm/binary_search.zig +0 -848
  107. data/ext/tb_client/tigerbeetle/src/lsm/binary_search_benchmark.zig +0 -179
  108. data/ext/tb_client/tigerbeetle/src/lsm/cache_map.zig +0 -424
  109. data/ext/tb_client/tigerbeetle/src/lsm/cache_map_fuzz.zig +0 -420
  110. data/ext/tb_client/tigerbeetle/src/lsm/compaction.zig +0 -2114
  111. data/ext/tb_client/tigerbeetle/src/lsm/composite_key.zig +0 -185
  112. data/ext/tb_client/tigerbeetle/src/lsm/forest.zig +0 -1146
  113. data/ext/tb_client/tigerbeetle/src/lsm/forest_fuzz.zig +0 -1102
  114. data/ext/tb_client/tigerbeetle/src/lsm/forest_table_iterator.zig +0 -200
  115. data/ext/tb_client/tigerbeetle/src/lsm/groove.zig +0 -1495
  116. data/ext/tb_client/tigerbeetle/src/lsm/k_way_merge.zig +0 -739
  117. data/ext/tb_client/tigerbeetle/src/lsm/k_way_merge_benchmark.zig +0 -166
  118. data/ext/tb_client/tigerbeetle/src/lsm/manifest.zig +0 -754
  119. data/ext/tb_client/tigerbeetle/src/lsm/manifest_level.zig +0 -1294
  120. data/ext/tb_client/tigerbeetle/src/lsm/manifest_level_fuzz.zig +0 -510
  121. data/ext/tb_client/tigerbeetle/src/lsm/manifest_log.zig +0 -1241
  122. data/ext/tb_client/tigerbeetle/src/lsm/manifest_log_fuzz.zig +0 -628
  123. data/ext/tb_client/tigerbeetle/src/lsm/node_pool.zig +0 -247
  124. data/ext/tb_client/tigerbeetle/src/lsm/scan_buffer.zig +0 -116
  125. data/ext/tb_client/tigerbeetle/src/lsm/scan_builder.zig +0 -543
  126. data/ext/tb_client/tigerbeetle/src/lsm/scan_fuzz.zig +0 -938
  127. data/ext/tb_client/tigerbeetle/src/lsm/scan_lookup.zig +0 -293
  128. data/ext/tb_client/tigerbeetle/src/lsm/scan_merge.zig +0 -359
  129. data/ext/tb_client/tigerbeetle/src/lsm/scan_range.zig +0 -99
  130. data/ext/tb_client/tigerbeetle/src/lsm/scan_state.zig +0 -17
  131. data/ext/tb_client/tigerbeetle/src/lsm/scan_tree.zig +0 -962
  132. data/ext/tb_client/tigerbeetle/src/lsm/schema.zig +0 -617
  133. data/ext/tb_client/tigerbeetle/src/lsm/scratch_memory.zig +0 -84
  134. data/ext/tb_client/tigerbeetle/src/lsm/segmented_array.zig +0 -1500
  135. data/ext/tb_client/tigerbeetle/src/lsm/segmented_array_benchmark.zig +0 -149
  136. data/ext/tb_client/tigerbeetle/src/lsm/segmented_array_fuzz.zig +0 -7
  137. data/ext/tb_client/tigerbeetle/src/lsm/set_associative_cache.zig +0 -865
  138. data/ext/tb_client/tigerbeetle/src/lsm/table.zig +0 -607
  139. data/ext/tb_client/tigerbeetle/src/lsm/table_memory.zig +0 -843
  140. data/ext/tb_client/tigerbeetle/src/lsm/table_value_iterator.zig +0 -90
  141. data/ext/tb_client/tigerbeetle/src/lsm/timestamp_range.zig +0 -40
  142. data/ext/tb_client/tigerbeetle/src/lsm/tree.zig +0 -629
  143. data/ext/tb_client/tigerbeetle/src/lsm/tree_fuzz.zig +0 -933
  144. data/ext/tb_client/tigerbeetle/src/lsm/zig_zag_merge.zig +0 -534
  145. data/ext/tb_client/tigerbeetle/src/message_buffer.zig +0 -469
  146. data/ext/tb_client/tigerbeetle/src/message_bus.zig +0 -1219
  147. data/ext/tb_client/tigerbeetle/src/message_bus_fuzz.zig +0 -936
  148. data/ext/tb_client/tigerbeetle/src/message_pool.zig +0 -343
  149. data/ext/tb_client/tigerbeetle/src/multiversion.zig +0 -2195
  150. data/ext/tb_client/tigerbeetle/src/queue.zig +0 -390
  151. data/ext/tb_client/tigerbeetle/src/repl/completion.zig +0 -201
  152. data/ext/tb_client/tigerbeetle/src/repl/parser.zig +0 -1356
  153. data/ext/tb_client/tigerbeetle/src/repl/terminal.zig +0 -496
  154. data/ext/tb_client/tigerbeetle/src/repl.zig +0 -1034
  155. data/ext/tb_client/tigerbeetle/src/scripts/amqp.zig +0 -973
  156. data/ext/tb_client/tigerbeetle/src/scripts/cfo.zig +0 -1866
  157. data/ext/tb_client/tigerbeetle/src/scripts/changelog.zig +0 -304
  158. data/ext/tb_client/tigerbeetle/src/scripts/ci.zig +0 -227
  159. data/ext/tb_client/tigerbeetle/src/scripts/client_readmes.zig +0 -658
  160. data/ext/tb_client/tigerbeetle/src/scripts/devhub.zig +0 -466
  161. data/ext/tb_client/tigerbeetle/src/scripts/release.zig +0 -1058
  162. data/ext/tb_client/tigerbeetle/src/scripts.zig +0 -105
  163. data/ext/tb_client/tigerbeetle/src/shell.zig +0 -1195
  164. data/ext/tb_client/tigerbeetle/src/stack.zig +0 -260
  165. data/ext/tb_client/tigerbeetle/src/state_machine/auditor.zig +0 -911
  166. data/ext/tb_client/tigerbeetle/src/state_machine/workload.zig +0 -2079
  167. data/ext/tb_client/tigerbeetle/src/state_machine.zig +0 -4872
  168. data/ext/tb_client/tigerbeetle/src/state_machine_fuzz.zig +0 -288
  169. data/ext/tb_client/tigerbeetle/src/state_machine_tests.zig +0 -3128
  170. data/ext/tb_client/tigerbeetle/src/static_allocator.zig +0 -82
  171. data/ext/tb_client/tigerbeetle/src/stdx/bit_set.zig +0 -157
  172. data/ext/tb_client/tigerbeetle/src/stdx/bounded_array.zig +0 -292
  173. data/ext/tb_client/tigerbeetle/src/stdx/debug.zig +0 -65
  174. data/ext/tb_client/tigerbeetle/src/stdx/flags.zig +0 -1414
  175. data/ext/tb_client/tigerbeetle/src/stdx/huge_page_allocator.zig +0 -115
  176. data/ext/tb_client/tigerbeetle/src/stdx/mlock.zig +0 -92
  177. data/ext/tb_client/tigerbeetle/src/stdx/prng.zig +0 -677
  178. data/ext/tb_client/tigerbeetle/src/stdx/radix.zig +0 -336
  179. data/ext/tb_client/tigerbeetle/src/stdx/ring_buffer.zig +0 -511
  180. data/ext/tb_client/tigerbeetle/src/stdx/sort_test.zig +0 -112
  181. data/ext/tb_client/tigerbeetle/src/stdx/stdx.zig +0 -1163
  182. data/ext/tb_client/tigerbeetle/src/stdx/testing/low_level_hash_vectors.zig +0 -142
  183. data/ext/tb_client/tigerbeetle/src/stdx/testing/snaptest.zig +0 -361
  184. data/ext/tb_client/tigerbeetle/src/stdx/time_units.zig +0 -275
  185. data/ext/tb_client/tigerbeetle/src/stdx/unshare.zig +0 -295
  186. data/ext/tb_client/tigerbeetle/src/stdx/vendored/aegis.zig +0 -436
  187. data/ext/tb_client/tigerbeetle/src/stdx/windows.zig +0 -48
  188. data/ext/tb_client/tigerbeetle/src/stdx/zipfian.zig +0 -402
  189. data/ext/tb_client/tigerbeetle/src/storage.zig +0 -489
  190. data/ext/tb_client/tigerbeetle/src/storage_fuzz.zig +0 -180
  191. data/ext/tb_client/tigerbeetle/src/testing/bench.zig +0 -146
  192. data/ext/tb_client/tigerbeetle/src/testing/cluster/grid_checker.zig +0 -53
  193. data/ext/tb_client/tigerbeetle/src/testing/cluster/journal_checker.zig +0 -61
  194. data/ext/tb_client/tigerbeetle/src/testing/cluster/manifest_checker.zig +0 -76
  195. data/ext/tb_client/tigerbeetle/src/testing/cluster/message_bus.zig +0 -110
  196. data/ext/tb_client/tigerbeetle/src/testing/cluster/network.zig +0 -412
  197. data/ext/tb_client/tigerbeetle/src/testing/cluster/state_checker.zig +0 -331
  198. data/ext/tb_client/tigerbeetle/src/testing/cluster/storage_checker.zig +0 -458
  199. data/ext/tb_client/tigerbeetle/src/testing/cluster.zig +0 -1198
  200. data/ext/tb_client/tigerbeetle/src/testing/exhaustigen.zig +0 -128
  201. data/ext/tb_client/tigerbeetle/src/testing/fixtures.zig +0 -181
  202. data/ext/tb_client/tigerbeetle/src/testing/fuzz.zig +0 -144
  203. data/ext/tb_client/tigerbeetle/src/testing/id.zig +0 -97
  204. data/ext/tb_client/tigerbeetle/src/testing/io.zig +0 -317
  205. data/ext/tb_client/tigerbeetle/src/testing/marks.zig +0 -126
  206. data/ext/tb_client/tigerbeetle/src/testing/packet_simulator.zig +0 -533
  207. data/ext/tb_client/tigerbeetle/src/testing/reply_sequence.zig +0 -154
  208. data/ext/tb_client/tigerbeetle/src/testing/state_machine.zig +0 -389
  209. data/ext/tb_client/tigerbeetle/src/testing/storage.zig +0 -1247
  210. data/ext/tb_client/tigerbeetle/src/testing/table.zig +0 -249
  211. data/ext/tb_client/tigerbeetle/src/testing/time.zig +0 -98
  212. data/ext/tb_client/tigerbeetle/src/testing/tmp_tigerbeetle.zig +0 -212
  213. data/ext/tb_client/tigerbeetle/src/testing/vortex/constants.zig +0 -26
  214. data/ext/tb_client/tigerbeetle/src/testing/vortex/faulty_network.zig +0 -579
  215. data/ext/tb_client/tigerbeetle/src/testing/vortex/java_driver/ci.zig +0 -39
  216. data/ext/tb_client/tigerbeetle/src/testing/vortex/logged_process.zig +0 -214
  217. data/ext/tb_client/tigerbeetle/src/testing/vortex/rust_driver/ci.zig +0 -34
  218. data/ext/tb_client/tigerbeetle/src/testing/vortex/supervisor.zig +0 -785
  219. data/ext/tb_client/tigerbeetle/src/testing/vortex/workload.zig +0 -543
  220. data/ext/tb_client/tigerbeetle/src/testing/vortex/zig_driver.zig +0 -181
  221. data/ext/tb_client/tigerbeetle/src/tidy.zig +0 -1449
  222. data/ext/tb_client/tigerbeetle/src/tigerbeetle/benchmark_driver.zig +0 -227
  223. data/ext/tb_client/tigerbeetle/src/tigerbeetle/benchmark_load.zig +0 -1069
  224. data/ext/tb_client/tigerbeetle/src/tigerbeetle/cli.zig +0 -1422
  225. data/ext/tb_client/tigerbeetle/src/tigerbeetle/inspect.zig +0 -1658
  226. data/ext/tb_client/tigerbeetle/src/tigerbeetle/inspect_integrity.zig +0 -518
  227. data/ext/tb_client/tigerbeetle/src/tigerbeetle/libtb_client.zig +0 -36
  228. data/ext/tb_client/tigerbeetle/src/tigerbeetle/main.zig +0 -646
  229. data/ext/tb_client/tigerbeetle/src/tigerbeetle.zig +0 -958
  230. data/ext/tb_client/tigerbeetle/src/time.zig +0 -236
  231. data/ext/tb_client/tigerbeetle/src/trace/event.zig +0 -745
  232. data/ext/tb_client/tigerbeetle/src/trace/statsd.zig +0 -462
  233. data/ext/tb_client/tigerbeetle/src/trace.zig +0 -556
  234. data/ext/tb_client/tigerbeetle/src/unit_tests.zig +0 -321
  235. data/ext/tb_client/tigerbeetle/src/vopr.zig +0 -1785
  236. data/ext/tb_client/tigerbeetle/src/vortex.zig +0 -101
  237. data/ext/tb_client/tigerbeetle/src/vsr/checkpoint_trailer.zig +0 -473
  238. data/ext/tb_client/tigerbeetle/src/vsr/checksum.zig +0 -208
  239. data/ext/tb_client/tigerbeetle/src/vsr/checksum_benchmark.zig +0 -43
  240. data/ext/tb_client/tigerbeetle/src/vsr/client.zig +0 -768
  241. data/ext/tb_client/tigerbeetle/src/vsr/client_replies.zig +0 -532
  242. data/ext/tb_client/tigerbeetle/src/vsr/client_sessions.zig +0 -338
  243. data/ext/tb_client/tigerbeetle/src/vsr/clock.zig +0 -1019
  244. data/ext/tb_client/tigerbeetle/src/vsr/fault_detector.zig +0 -279
  245. data/ext/tb_client/tigerbeetle/src/vsr/free_set.zig +0 -1381
  246. data/ext/tb_client/tigerbeetle/src/vsr/free_set_fuzz.zig +0 -315
  247. data/ext/tb_client/tigerbeetle/src/vsr/grid.zig +0 -1460
  248. data/ext/tb_client/tigerbeetle/src/vsr/grid_blocks_missing.zig +0 -757
  249. data/ext/tb_client/tigerbeetle/src/vsr/grid_scrubber.zig +0 -797
  250. data/ext/tb_client/tigerbeetle/src/vsr/journal.zig +0 -2586
  251. data/ext/tb_client/tigerbeetle/src/vsr/marzullo.zig +0 -308
  252. data/ext/tb_client/tigerbeetle/src/vsr/message_header.zig +0 -1777
  253. data/ext/tb_client/tigerbeetle/src/vsr/multi_batch.zig +0 -715
  254. data/ext/tb_client/tigerbeetle/src/vsr/multi_batch_fuzz.zig +0 -185
  255. data/ext/tb_client/tigerbeetle/src/vsr/repair_budget.zig +0 -333
  256. data/ext/tb_client/tigerbeetle/src/vsr/replica.zig +0 -12356
  257. data/ext/tb_client/tigerbeetle/src/vsr/replica_format.zig +0 -416
  258. data/ext/tb_client/tigerbeetle/src/vsr/replica_reformat.zig +0 -165
  259. data/ext/tb_client/tigerbeetle/src/vsr/replica_test.zig +0 -2928
  260. data/ext/tb_client/tigerbeetle/src/vsr/routing.zig +0 -1075
  261. data/ext/tb_client/tigerbeetle/src/vsr/superblock.zig +0 -1603
  262. data/ext/tb_client/tigerbeetle/src/vsr/superblock_fuzz.zig +0 -484
  263. data/ext/tb_client/tigerbeetle/src/vsr/superblock_quorums.zig +0 -405
  264. data/ext/tb_client/tigerbeetle/src/vsr/superblock_quorums_fuzz.zig +0 -355
  265. data/ext/tb_client/tigerbeetle/src/vsr/sync.zig +0 -29
  266. data/ext/tb_client/tigerbeetle/src/vsr.zig +0 -1727
  267. data/lib/tb_client/shared_lib.rb +0 -66
  268. data/lib/tb_client.rb +0 -282
  269. data/lib/tigerbeetle/account.rb +0 -38
  270. data/lib/tigerbeetle/account_balance.rb +0 -23
  271. data/lib/tigerbeetle/account_filter.rb +0 -31
  272. data/lib/tigerbeetle/atomic_counter.rb +0 -14
  273. data/lib/tigerbeetle/client.rb +0 -214
  274. data/lib/tigerbeetle/converters/account.rb +0 -63
  275. data/lib/tigerbeetle/converters/account_balance.rb +0 -31
  276. data/lib/tigerbeetle/converters/account_filter.rb +0 -32
  277. data/lib/tigerbeetle/converters/base.rb +0 -35
  278. data/lib/tigerbeetle/converters/create_accounts_result.rb +0 -21
  279. data/lib/tigerbeetle/converters/create_transfers_result.rb +0 -21
  280. data/lib/tigerbeetle/converters/query_filter.rb +0 -33
  281. data/lib/tigerbeetle/converters/time.rb +0 -23
  282. data/lib/tigerbeetle/converters/transfer.rb +0 -64
  283. data/lib/tigerbeetle/converters/uint_128.rb +0 -24
  284. data/lib/tigerbeetle/converters.rb +0 -12
  285. data/lib/tigerbeetle/error.rb +0 -4
  286. data/lib/tigerbeetle/id.rb +0 -30
  287. data/lib/tigerbeetle/platforms.rb +0 -9
  288. data/lib/tigerbeetle/query_filter.rb +0 -31
  289. data/lib/tigerbeetle/request.rb +0 -7
  290. data/lib/tigerbeetle/transfer.rb +0 -40
  291. data/lib/tigerbeetle/version.rb +0 -4
  292. data/lib/tigerbeetle.rb +0 -13
  293. data/tigerbeetle.gemspec +0 -60
@@ -1,617 +0,0 @@
1
- //! Decode grid blocks.
2
- //!
3
- //! Rather than switching between specialized decoders depending on the tree, each schema encodes
4
- //! relevant parameters directly into the block's header. This allows the decoders to not be
5
- //! generic. This is convenient for compaction, but critical for the scrubber and repair queue.
6
- //!
7
- //! Index block body schema:
8
- //! │ [value_block_count_max]u256 │ checksums of value blocks
9
- //! │ [value_block_count_max]Key │ the minimum/first key in the respective value block
10
- //! │ [value_block_count_max]Key │ the maximum/last key in the respective value block
11
- //! │ [value_block_count_max]u64 │ addresses of value blocks
12
- //! │ […]u8{0} │ padding (to end of block)
13
- //!
14
- //! Value block body schema:
15
- //! │ [≤value_count_max]Value │ At least one value (no empty tables).
16
- //! │ […]u8{0} │ padding (to end of block)
17
- //!
18
- //! ManifestNode block body schema:
19
- //! │ [entry_count]TableInfo │
20
- //! │ […]u8{0} │ padding (to end of block)
21
- const std = @import("std");
22
- const mem = std.mem;
23
- const assert = std.debug.assert;
24
-
25
- const constants = @import("../constants.zig");
26
- const vsr = @import("../vsr.zig");
27
-
28
- const stdx = @import("stdx");
29
-
30
- const BlockReference = vsr.BlockReference;
31
-
32
- const address_size = @sizeOf(u64);
33
- const checksum_size = @sizeOf(u256);
34
-
35
- const block_size = constants.block_size;
36
- const block_body_size = block_size - @sizeOf(vsr.Header);
37
-
38
- const BlockPtr = *align(constants.sector_size) [block_size]u8;
39
- const BlockPtrConst = *align(constants.sector_size) const [block_size]u8;
40
-
41
- pub inline fn header_from_block(block: BlockPtrConst) *const vsr.Header.Block {
42
- const header = mem.bytesAsValue(vsr.Header.Block, block[0..@sizeOf(vsr.Header)]);
43
- assert(header.command == .block);
44
- assert(header.address > 0);
45
- assert(header.size >= @sizeOf(vsr.Header)); // Every block has a header.
46
- assert(header.size > @sizeOf(vsr.Header)); // Every block has a non-empty body.
47
- assert(header.size <= block.len);
48
- assert(header.block_type.valid());
49
- assert(header.block_type != .reserved);
50
- assert(header.release.value > 0);
51
- return header;
52
- }
53
-
54
- /// A block's type is implicitly determined by how its address is stored (e.g. in the index block).
55
- /// BlockType is an additional check that a block has the expected type on read.
56
- ///
57
- /// The BlockType is stored in the block's `header.block_type`.
58
- pub const BlockType = enum(u8) {
59
- /// Unused; verifies that no block is written with a default 0 block type.
60
- reserved = 0,
61
-
62
- free_set = 1,
63
- client_sessions = 2,
64
- manifest = 3,
65
- index = 4,
66
- value = 5,
67
-
68
- pub fn valid(block_type: BlockType) bool {
69
- _ = std.meta.intToEnum(BlockType, @intFromEnum(block_type)) catch return false;
70
-
71
- return true;
72
- }
73
- };
74
-
75
- // TODO(zig): Once "extern struct" supports u256, change all checksums to (padded) u256.
76
- pub const Checksum = extern struct {
77
- value: u128,
78
- padding: u128 = 0,
79
- };
80
-
81
- pub const TableIndex = struct {
82
- /// Stored in every index block's header's `metadata_bytes` field.
83
- ///
84
- /// The max-counts are stored in the header despite being available (per-tree) at comptime:
85
- /// - Encoding schema parameters enables schema evolution.
86
- /// - Tables can be decoded without per-tree specialized decoders.
87
- /// (In particular, this is useful for the scrubber and the grid repair queue).
88
- pub const Metadata = extern struct {
89
- value_block_count: u32,
90
- value_block_count_max: u32,
91
- key_size: u32,
92
- tree_id: u16,
93
- reserved: [82]u8 = @splat(0),
94
-
95
- comptime {
96
- assert(stdx.no_padding(Metadata));
97
- assert(@sizeOf(Metadata) == vsr.Header.Block.metadata_size);
98
- }
99
- };
100
-
101
- key_size: u32,
102
- value_block_count_max: u32,
103
-
104
- size: u32,
105
- value_checksums_offset: u32,
106
- value_checksums_size: u32,
107
- keys_min_offset: u32,
108
- keys_max_offset: u32,
109
- keys_size: u32,
110
- value_addresses_offset: u32,
111
- value_addresses_size: u32,
112
- padding_offset: u32,
113
- padding_size: u32,
114
-
115
- const Parameters = struct {
116
- key_size: u32,
117
- value_block_count_max: u32,
118
- };
119
-
120
- pub fn init(parameters: Parameters) TableIndex {
121
- assert(parameters.key_size > 0);
122
- assert(parameters.value_block_count_max > 0);
123
- assert(parameters.value_block_count_max <= constants.lsm_table_value_blocks_max);
124
-
125
- const value_checksums_offset = @sizeOf(vsr.Header);
126
- const value_checksums_size = parameters.value_block_count_max * checksum_size;
127
-
128
- const keys_size = parameters.value_block_count_max * parameters.key_size;
129
- const keys_min_offset = value_checksums_offset + value_checksums_size;
130
- const keys_max_offset = keys_min_offset + keys_size;
131
-
132
- const value_addresses_offset = keys_max_offset + keys_size;
133
- const value_addresses_size = parameters.value_block_count_max * address_size;
134
-
135
- const padding_offset = value_addresses_offset + value_addresses_size;
136
- assert(padding_offset <= constants.block_size);
137
- const padding_size = constants.block_size - padding_offset;
138
-
139
- // `keys_size * 2` for counting both key_min and key_max:
140
- const size = @sizeOf(vsr.Header) + value_checksums_size +
141
- (keys_size * 2) + value_addresses_size;
142
- assert(size <= constants.block_size);
143
-
144
- return .{
145
- .key_size = parameters.key_size,
146
- .value_block_count_max = parameters.value_block_count_max,
147
- .size = size,
148
- .value_checksums_offset = value_checksums_offset,
149
- .value_checksums_size = value_checksums_size,
150
- .keys_min_offset = keys_min_offset,
151
- .keys_max_offset = keys_max_offset,
152
- .keys_size = keys_size,
153
- .value_addresses_offset = value_addresses_offset,
154
- .value_addresses_size = value_addresses_size,
155
- .padding_offset = padding_offset,
156
- .padding_size = padding_size,
157
- };
158
- }
159
-
160
- pub fn from(index_block: BlockPtrConst) TableIndex {
161
- const header = header_from_block(index_block);
162
- assert(header.command == .block);
163
- assert(header.block_type == .index);
164
- assert(header.address > 0);
165
- assert(header.snapshot > 0);
166
-
167
- const header_metadata = metadata(index_block);
168
- const index = TableIndex.init(.{
169
- .key_size = header_metadata.key_size,
170
- .value_block_count_max = header_metadata.value_block_count_max,
171
- });
172
-
173
- for (index.padding(index_block)) |padding_area| {
174
- assert(stdx.zeroed(index_block[padding_area.start..padding_area.end]));
175
- }
176
-
177
- return index;
178
- }
179
-
180
- pub fn metadata(index_block: BlockPtrConst) *const Metadata {
181
- const header = header_from_block(index_block);
182
- assert(header.command == .block);
183
- assert(header.block_type == .index);
184
-
185
- const header_metadata = std.mem.bytesAsValue(Metadata, &header.metadata_bytes);
186
- assert(header_metadata.value_block_count <= header_metadata.value_block_count_max);
187
- assert(stdx.zeroed(&header_metadata.reserved));
188
- return header_metadata;
189
- }
190
-
191
- pub inline fn block_metadata(
192
- schema: *const TableIndex,
193
- index_block: BlockPtrConst,
194
- ) *const Metadata {
195
- const result = metadata(index_block);
196
- assert(result.key_size == schema.key_size);
197
- assert(result.value_block_count_max == schema.value_block_count_max);
198
- return result;
199
- }
200
-
201
- pub inline fn value_addresses(index: *const TableIndex, index_block: BlockPtr) []u64 {
202
- return @alignCast(mem.bytesAsSlice(
203
- u64,
204
- index_block[index.value_addresses_offset..][0..index.value_addresses_size],
205
- ));
206
- }
207
-
208
- pub inline fn value_addresses_used(
209
- index: *const TableIndex,
210
- index_block: BlockPtrConst,
211
- ) []const u64 {
212
- const slice = mem.bytesAsSlice(
213
- u64,
214
- index_block[index.value_addresses_offset..][0..index.value_addresses_size],
215
- );
216
- return @alignCast(slice[0..index.value_blocks_used(index_block)]);
217
- }
218
-
219
- pub inline fn value_checksums(index: *const TableIndex, index_block: BlockPtr) []Checksum {
220
- return @alignCast(mem.bytesAsSlice(
221
- Checksum,
222
- index_block[index.value_checksums_offset..][0..index.value_checksums_size],
223
- ));
224
- }
225
-
226
- pub inline fn value_checksums_used(
227
- index: *const TableIndex,
228
- index_block: BlockPtrConst,
229
- ) []const Checksum {
230
- const slice = mem.bytesAsSlice(
231
- Checksum,
232
- index_block[index.value_checksums_offset..][0..index.value_checksums_size],
233
- );
234
- return @alignCast(slice[0..index.value_blocks_used(index_block)]);
235
- }
236
-
237
- pub inline fn value_blocks_used(index: *const TableIndex, index_block: BlockPtrConst) u32 {
238
- const header_metadata = block_metadata(index, index_block);
239
- assert(header_metadata.value_block_count > 0);
240
- assert(header_metadata.value_block_count <= index.value_block_count_max);
241
- return header_metadata.value_block_count;
242
- }
243
-
244
- pub fn padding(
245
- index: *const TableIndex,
246
- index_block: BlockPtrConst,
247
- ) [4]struct { start: usize, end: usize } {
248
- const value_checksums_skip = index.value_blocks_used(index_block) * checksum_size;
249
- const keys_min_skip = index.value_blocks_used(index_block) * index.key_size;
250
- const keys_max_skip = index.value_blocks_used(index_block) * index.key_size;
251
- const value_addresses_skip = index.value_blocks_used(index_block) * address_size;
252
- return .{
253
- .{
254
- .start = index.value_checksums_offset + value_checksums_skip,
255
- .end = index.value_checksums_offset + index.value_checksums_size,
256
- },
257
- .{
258
- .start = index.keys_min_offset + keys_min_skip,
259
- .end = index.keys_min_offset + index.keys_size,
260
- },
261
- .{
262
- .start = index.keys_max_offset + keys_max_skip,
263
- .end = index.keys_max_offset + index.keys_size,
264
- },
265
- .{
266
- .start = index.value_addresses_offset + value_addresses_skip,
267
- .end = index.value_addresses_offset + index.value_addresses_size,
268
- },
269
- };
270
- }
271
- };
272
-
273
- pub const TableValue = struct {
274
- /// Stored in every value block's header's `metadata_bytes` field.
275
- pub const Metadata = extern struct {
276
- value_count_max: u32,
277
- value_count: u32,
278
- value_size: u32,
279
- tree_id: u16,
280
- reserved: [82]u8 = @splat(0),
281
-
282
- comptime {
283
- assert(stdx.no_padding(Metadata));
284
- assert(@sizeOf(Metadata) == vsr.Header.Block.metadata_size);
285
- }
286
- };
287
-
288
- // @sizeOf(Table.Value)
289
- value_size: u32,
290
- // The maximum number of values in a value block.
291
- value_count_max: u32,
292
-
293
- values_offset: u32,
294
- values_size: u32,
295
-
296
- padding_offset: u32,
297
- padding_size: u32,
298
-
299
- pub const Parameters = struct {
300
- value_count_max: u32,
301
- value_size: u32,
302
- };
303
-
304
- pub fn init(parameters: Parameters) TableValue {
305
- assert(parameters.value_count_max > 0);
306
- assert(parameters.value_size > 0);
307
- assert(std.math.isPowerOfTwo(parameters.value_size));
308
-
309
- const value_count_max = parameters.value_count_max;
310
-
311
- const values_offset = @sizeOf(vsr.Header);
312
- const values_size = parameters.value_count_max * parameters.value_size;
313
-
314
- const padding_offset = values_offset + values_size;
315
- const padding_size = constants.block_size - padding_offset;
316
-
317
- return .{
318
- .value_size = parameters.value_size,
319
- .value_count_max = value_count_max,
320
- .values_offset = values_offset,
321
- .values_size = values_size,
322
- .padding_offset = padding_offset,
323
- .padding_size = padding_size,
324
- };
325
- }
326
-
327
- pub fn from(value_block: BlockPtrConst) TableValue {
328
- const header = header_from_block(value_block);
329
- assert(header.command == .block);
330
- assert(header.block_type == .value);
331
- assert(header.address > 0);
332
- assert(header.snapshot > 0);
333
-
334
- const header_metadata = metadata(value_block);
335
-
336
- return TableValue.init(.{
337
- .value_count_max = header_metadata.value_count_max,
338
- .value_size = header_metadata.value_size,
339
- });
340
- }
341
-
342
- pub fn metadata(value_block: BlockPtrConst) *const Metadata {
343
- const header = header_from_block(value_block);
344
- assert(header.command == .block);
345
- assert(header.block_type == .value);
346
-
347
- const header_metadata = std.mem.bytesAsValue(Metadata, &header.metadata_bytes);
348
- assert(header_metadata.value_size > 0);
349
- assert(header_metadata.value_count > 0);
350
- assert(header_metadata.value_count <= header_metadata.value_count_max);
351
- assert(header_metadata.tree_id > 0);
352
- assert(stdx.zeroed(&header_metadata.reserved));
353
- assert(@sizeOf(vsr.Header) + header_metadata.value_size * header_metadata.value_count ==
354
- header.size);
355
-
356
- return header_metadata;
357
- }
358
-
359
- pub inline fn block_metadata(
360
- schema: *const TableValue,
361
- value_block: BlockPtrConst,
362
- ) *const Metadata {
363
- const result = metadata(value_block);
364
- assert(result.value_size == schema.value_size);
365
- assert(result.value_count_max == schema.value_count_max);
366
- return result;
367
- }
368
-
369
- pub inline fn block_values_bytes(
370
- schema: *const TableValue,
371
- value_block: BlockPtr,
372
- ) []align(16) u8 {
373
- return @alignCast(value_block[schema.values_offset..][0..schema.values_size]);
374
- }
375
-
376
- pub inline fn block_values_bytes_const(
377
- schema: *const TableValue,
378
- value_block: BlockPtrConst,
379
- ) []align(16) const u8 {
380
- return @alignCast(value_block[schema.values_offset..][0..schema.values_size]);
381
- }
382
-
383
- pub inline fn block_values_used_bytes(
384
- schema: *const TableValue,
385
- value_block: BlockPtrConst,
386
- ) []align(16) const u8 {
387
- const header = header_from_block(value_block);
388
- assert(header.block_type == .value);
389
-
390
- const used_values: u32 = block_metadata(schema, value_block).value_count;
391
- assert(used_values > 0);
392
- assert(used_values <= schema.value_count_max);
393
-
394
- const used_bytes = used_values * schema.value_size;
395
- assert(@sizeOf(vsr.Header) + used_bytes == header.size);
396
- assert(header.size <= schema.padding_offset); // This is the maximum padding_offset
397
- return schema.block_values_bytes_const(value_block)[0..used_bytes];
398
- }
399
- };
400
-
401
- /// A TrailerNode is either a `BlockType.free_set` or `BlockType.client_sessions`.
402
- pub const TrailerNode = struct {
403
- pub const Metadata = extern struct {
404
- previous_trailer_block_checksum: u128,
405
- previous_trailer_block_checksum_padding: u128 = 0,
406
- previous_trailer_block_address: u64,
407
- reserved: [56]u8 = @splat(0),
408
-
409
- comptime {
410
- assert(stdx.no_padding(Metadata));
411
- assert(@sizeOf(Metadata) == vsr.Header.Block.metadata_size);
412
- }
413
- };
414
-
415
- pub fn metadata(free_set_block: BlockPtrConst) *const Metadata {
416
- const header = header_from_block(free_set_block);
417
- assert(header.command == .block);
418
- assert(header.block_type == .free_set or header.block_type == .client_sessions);
419
- assert(header.address > 0);
420
- assert(header.snapshot == 0);
421
-
422
- const header_metadata = std.mem.bytesAsValue(Metadata, &header.metadata_bytes);
423
- assert(header_metadata.previous_trailer_block_checksum_padding == 0);
424
- assert(stdx.zeroed(&header_metadata.reserved));
425
-
426
- if (header_metadata.previous_trailer_block_address == 0) {
427
- assert(header_metadata.previous_trailer_block_checksum == 0);
428
- }
429
-
430
- assert(header.size > @sizeOf(vsr.Header));
431
-
432
- switch (header.block_type) {
433
- .free_set => {
434
- assert((header.size - @sizeOf(vsr.Header)) % @sizeOf(u64) == 0);
435
- },
436
- .client_sessions => {
437
- assert((header.size - @sizeOf(vsr.Header)) %
438
- (@sizeOf(vsr.Header) + @sizeOf(u64)) == 0);
439
- },
440
- else => unreachable,
441
- }
442
-
443
- return header_metadata;
444
- }
445
-
446
- pub fn assert_valid_header(free_set_block: BlockPtrConst) void {
447
- _ = metadata(free_set_block);
448
- }
449
-
450
- pub fn previous(free_set_block: BlockPtrConst) ?BlockReference {
451
- const header_metadata = metadata(free_set_block);
452
-
453
- if (header_metadata.previous_trailer_block_address == 0) {
454
- assert(header_metadata.previous_trailer_block_checksum == 0);
455
- return null;
456
- } else {
457
- return .{
458
- .checksum = header_metadata.previous_trailer_block_checksum,
459
- .address = header_metadata.previous_trailer_block_address,
460
- };
461
- }
462
- }
463
-
464
- pub fn body(block: BlockPtrConst) []align(@sizeOf(vsr.Header)) const u8 {
465
- const header = header_from_block(block);
466
- return block[@sizeOf(vsr.Header)..header.size];
467
- }
468
- };
469
-
470
- /// A Manifest block's body is an array of TableInfo entries.
471
- // TODO Store snapshot in header.
472
- pub const ManifestNode = struct {
473
- const entry_size = @sizeOf(TableInfo);
474
-
475
- pub const entry_count_max = @divFloor(block_body_size, entry_size);
476
-
477
- comptime {
478
- assert(entry_count_max > 0);
479
-
480
- // Bit 7 is reserved to indicate whether the event is an insert or remove.
481
- assert(constants.lsm_levels <= std.math.maxInt(u6) + 1);
482
-
483
- assert(@sizeOf(Label) == @sizeOf(u8));
484
- assert(@alignOf(Label) == 1);
485
-
486
- // TableInfo should already be 16-byte aligned because of the leading padded key.
487
- const alignment = 16;
488
- assert(alignment <= @sizeOf(vsr.Header));
489
- assert(alignment == @alignOf(TableInfo));
490
-
491
- // For keys { 8, 16, 24, 32 } all TableInfo's should be a multiple of the alignment.
492
- assert(@sizeOf(TableInfo) % alignment == 0);
493
- }
494
-
495
- /// Stored in every manifest block's header's `metadata_bytes` field.
496
- pub const Metadata = extern struct {
497
- previous_manifest_block_checksum: u128,
498
- previous_manifest_block_checksum_padding: u128 = 0,
499
- previous_manifest_block_address: u64,
500
- entry_count: u32,
501
- reserved: [52]u8 = @splat(0),
502
-
503
- comptime {
504
- assert(stdx.no_padding(Metadata));
505
- assert(@sizeOf(Metadata) == vsr.Header.Block.metadata_size);
506
- }
507
- };
508
-
509
- /// See manifest.zig's TreeTableInfoType declaration for field documentation.
510
- pub const TableInfo = extern struct {
511
- /// All keys must fit within 32 bytes.
512
- pub const KeyPadded = [32]u8;
513
-
514
- key_min: KeyPadded,
515
- key_max: KeyPadded,
516
- checksum: u128,
517
- checksum_padding: u128 = 0,
518
- address: u64,
519
- snapshot_min: u64,
520
- snapshot_max: u64,
521
- value_count: u32,
522
- tree_id: u16,
523
- label: Label,
524
- reserved: [1]u8 = @splat(0),
525
-
526
- comptime {
527
- assert(@sizeOf(TableInfo) == 128);
528
- assert(@alignOf(TableInfo) == 16);
529
- assert(stdx.no_padding(TableInfo));
530
- }
531
- };
532
-
533
- pub const Event = enum(u2) {
534
- reserved = 0,
535
- insert = 1,
536
- update = 2,
537
- remove = 3,
538
- };
539
-
540
- pub const Label = packed struct(u8) {
541
- level: u6,
542
- event: Event,
543
-
544
- comptime {
545
- assert(@bitSizeOf(Label) == @sizeOf(Label) * 8);
546
- }
547
- };
548
-
549
- entry_count: u32,
550
-
551
- pub fn from(manifest_block: BlockPtrConst) ManifestNode {
552
- const header_metadata = metadata(manifest_block);
553
- return .{ .entry_count = header_metadata.entry_count };
554
- }
555
-
556
- pub fn metadata(manifest_block: BlockPtrConst) *const Metadata {
557
- const header = header_from_block(manifest_block);
558
- assert(header.command == .block);
559
- assert(header.block_type == .manifest);
560
- assert(header.address > 0);
561
- assert(header.snapshot == 0);
562
-
563
- const header_metadata = std.mem.bytesAsValue(Metadata, &header.metadata_bytes);
564
- assert(header_metadata.entry_count > 0);
565
- assert(header_metadata.entry_count <= entry_count_max);
566
- assert(header_metadata.entry_count ==
567
- @divExact(header.size - @sizeOf(vsr.Header), entry_size));
568
- assert(header_metadata.previous_manifest_block_checksum_padding == 0);
569
- assert(stdx.zeroed(&header_metadata.reserved));
570
-
571
- if (header_metadata.previous_manifest_block_address == 0) {
572
- assert(header_metadata.previous_manifest_block_checksum == 0);
573
- }
574
-
575
- return header_metadata;
576
- }
577
-
578
- /// Note that the returned block reference is no longer be part of the manifest if
579
- /// `manifest_block` is the oldest block in the superblock's CheckpointState.
580
- pub fn previous(manifest_block: BlockPtrConst) ?BlockReference {
581
- _ = from(manifest_block); // Validation only.
582
-
583
- const header_metadata = metadata(manifest_block);
584
- if (header_metadata.previous_manifest_block_address == 0) {
585
- assert(header_metadata.previous_manifest_block_checksum == 0);
586
-
587
- return null;
588
- } else {
589
- return .{
590
- .checksum = header_metadata.previous_manifest_block_checksum,
591
- .address = header_metadata.previous_manifest_block_address,
592
- };
593
- }
594
- }
595
-
596
- pub fn size(schema: *const ManifestNode) u32 {
597
- assert(schema.entry_count > 0);
598
- assert(schema.entry_count <= entry_count_max);
599
-
600
- const tables_size = schema.entry_count * @sizeOf(TableInfo);
601
- return @sizeOf(vsr.Header) + tables_size;
602
- }
603
-
604
- pub fn tables(schema: *const ManifestNode, block: BlockPtr) []TableInfo {
605
- return mem.bytesAsSlice(
606
- TableInfo,
607
- block[@sizeOf(vsr.Header)..][0 .. schema.entry_count * @sizeOf(TableInfo)],
608
- );
609
- }
610
-
611
- pub fn tables_const(schema: *const ManifestNode, block: BlockPtrConst) []const TableInfo {
612
- return mem.bytesAsSlice(
613
- TableInfo,
614
- block[@sizeOf(vsr.Header)..][0 .. schema.entry_count * @sizeOf(TableInfo)],
615
- );
616
- }
617
- };
@@ -1,84 +0,0 @@
1
- //! ScratchMemory is a page-aligned scratch buffer meant for situations where a buffer is required
2
- //! (e.g., radix sort) and can be shared between components.
3
- //! The buffer is page-aligned so that smaller alignments are trivially satisfied. See:
4
- //! https://ziglang.org/documentation/0.14.1/#Alignment
5
- //!
6
- const std = @import("std");
7
- const stdx = @import("stdx");
8
- const assert = std.debug.assert;
9
-
10
- buffer: []align(std.heap.page_size_min) u8,
11
- state: enum { free, busy },
12
-
13
- pub const ScratchMemory = @This();
14
-
15
- pub fn init(gpa: std.mem.Allocator, size: usize) !ScratchMemory {
16
- assert(size > 0);
17
-
18
- var scratch: ScratchMemory = .{
19
- .buffer = undefined,
20
- .state = .free,
21
- };
22
-
23
- scratch.buffer = try gpa.alignedAlloc(u8, std.heap.page_size_min, size);
24
- errdefer gpa.free(scratch.buffer);
25
-
26
- return scratch;
27
- }
28
-
29
- pub fn deinit(scratch: *ScratchMemory, gpa: std.mem.Allocator) void {
30
- assert(scratch.state == .free);
31
- gpa.free(scratch.buffer);
32
- scratch.* = undefined;
33
- }
34
-
35
- pub fn acquire(scratch: *ScratchMemory, T: type, count: usize) []T {
36
- // A pointer with a larger alignment can be cast into one with a smaller alignment.
37
- comptime assert(@alignOf(T) < std.heap.page_size_min);
38
- assert(scratch.state == .free);
39
- assert(count * @sizeOf(T) <= scratch.buffer.len);
40
- defer assert(scratch.state == .busy);
41
-
42
- scratch.state = .busy;
43
- const scratch_size = count * @sizeOf(T);
44
- const scratch_typed = stdx.bytes_as_slice(
45
- .exact,
46
- T,
47
- scratch.buffer[0..scratch_size],
48
- );
49
- assert(std.mem.isAligned(@intFromPtr(scratch_typed.ptr), @alignOf(T)));
50
- return scratch_typed;
51
- }
52
-
53
- pub fn release(scratch: *ScratchMemory, T: type, slice: []T) void {
54
- comptime assert(@alignOf(T) < std.heap.page_size_min);
55
- assert(scratch.state == .busy);
56
- assert(@intFromPtr(slice.ptr) == @intFromPtr(scratch.buffer.ptr));
57
- assert(slice.len * @sizeOf(T) <= scratch.buffer.len);
58
- assert(std.mem.isAligned(@intFromPtr(slice.ptr), @alignOf(T)));
59
- defer assert(scratch.state == .free);
60
-
61
- scratch.state = .free;
62
- }
63
-
64
- test "ScratchMemory basic" {
65
- const testing = std.testing;
66
-
67
- const gpa = testing.allocator;
68
- const size = @sizeOf(u64) * 10;
69
-
70
- var scratch: ScratchMemory = try .init(
71
- gpa,
72
- size,
73
- );
74
- defer scratch.deinit(gpa);
75
-
76
- const slice = scratch.acquire(u64, 10);
77
-
78
- for (0..10) |n| {
79
- const ptr = &slice[n];
80
- try testing.expect(std.mem.isAligned(@intFromPtr(ptr), @alignOf(u64)));
81
- ptr.* = n;
82
- }
83
- scratch.release(u64, slice);
84
- }