tigerbeetle 0.0.36 → 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.
Files changed (247) hide show
  1. checksums.yaml +4 -4
  2. data/ext/tb_client/extconf.rb +13 -13
  3. data/ext/tb_client/tigerbeetle/LICENSE +177 -0
  4. data/ext/tb_client/tigerbeetle/build.zig +2327 -0
  5. data/ext/tb_client/tigerbeetle/src/aof.zig +1000 -0
  6. data/ext/tb_client/tigerbeetle/src/build_multiversion.zig +808 -0
  7. data/ext/tb_client/tigerbeetle/src/cdc/amqp/protocol.zig +1283 -0
  8. data/ext/tb_client/tigerbeetle/src/cdc/amqp/spec.zig +1704 -0
  9. data/ext/tb_client/tigerbeetle/src/cdc/amqp/types.zig +341 -0
  10. data/ext/tb_client/tigerbeetle/src/cdc/amqp.zig +1450 -0
  11. data/ext/tb_client/tigerbeetle/src/cdc/runner.zig +1659 -0
  12. data/ext/tb_client/tigerbeetle/src/clients/c/samples/main.c +406 -0
  13. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/context.zig +1084 -0
  14. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/echo_client.zig +286 -0
  15. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/packet.zig +158 -0
  16. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/signal.zig +229 -0
  17. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client/signal_fuzz.zig +110 -0
  18. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client.h +386 -0
  19. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client.zig +34 -0
  20. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client_exports.zig +281 -0
  21. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client_header.zig +312 -0
  22. data/ext/tb_client/tigerbeetle/src/clients/c/tb_client_header_test.zig +138 -0
  23. data/ext/tb_client/tigerbeetle/src/clients/c/test.zig +466 -0
  24. data/ext/tb_client/tigerbeetle/src/clients/docs_samples.zig +157 -0
  25. data/ext/tb_client/tigerbeetle/src/clients/docs_types.zig +90 -0
  26. data/ext/tb_client/tigerbeetle/src/clients/dotnet/ci.zig +203 -0
  27. data/ext/tb_client/tigerbeetle/src/clients/dotnet/docs.zig +79 -0
  28. data/ext/tb_client/tigerbeetle/src/clients/dotnet/dotnet_bindings.zig +542 -0
  29. data/ext/tb_client/tigerbeetle/src/clients/go/ci.zig +109 -0
  30. data/ext/tb_client/tigerbeetle/src/clients/go/docs.zig +86 -0
  31. data/ext/tb_client/tigerbeetle/src/clients/go/go_bindings.zig +370 -0
  32. data/ext/tb_client/tigerbeetle/src/clients/go/pkg/native/tb_client.h +386 -0
  33. data/ext/tb_client/tigerbeetle/src/clients/java/ci.zig +167 -0
  34. data/ext/tb_client/tigerbeetle/src/clients/java/docs.zig +126 -0
  35. data/ext/tb_client/tigerbeetle/src/clients/java/java_bindings.zig +996 -0
  36. data/ext/tb_client/tigerbeetle/src/clients/java/src/client.zig +748 -0
  37. data/ext/tb_client/tigerbeetle/src/clients/java/src/jni.zig +3238 -0
  38. data/ext/tb_client/tigerbeetle/src/clients/java/src/jni_tests.zig +1718 -0
  39. data/ext/tb_client/tigerbeetle/src/clients/java/src/jni_thread_cleaner.zig +190 -0
  40. data/ext/tb_client/tigerbeetle/src/clients/node/ci.zig +104 -0
  41. data/ext/tb_client/tigerbeetle/src/clients/node/docs.zig +75 -0
  42. data/ext/tb_client/tigerbeetle/src/clients/node/node.zig +522 -0
  43. data/ext/tb_client/tigerbeetle/src/clients/node/node_bindings.zig +267 -0
  44. data/ext/tb_client/tigerbeetle/src/clients/node/src/c.zig +3 -0
  45. data/ext/tb_client/tigerbeetle/src/clients/node/src/translate.zig +379 -0
  46. data/ext/tb_client/tigerbeetle/src/clients/python/ci.zig +131 -0
  47. data/ext/tb_client/tigerbeetle/src/clients/python/docs.zig +63 -0
  48. data/ext/tb_client/tigerbeetle/src/clients/python/python_bindings.zig +588 -0
  49. data/ext/tb_client/tigerbeetle/src/clients/rust/assets/tb_client.h +386 -0
  50. data/ext/tb_client/tigerbeetle/src/clients/rust/ci.zig +73 -0
  51. data/ext/tb_client/tigerbeetle/src/clients/rust/docs.zig +106 -0
  52. data/ext/tb_client/tigerbeetle/src/clients/rust/rust_bindings.zig +305 -0
  53. data/ext/tb_client/tigerbeetle/src/config.zig +296 -0
  54. data/ext/tb_client/tigerbeetle/src/constants.zig +790 -0
  55. data/ext/tb_client/tigerbeetle/src/copyhound.zig +202 -0
  56. data/ext/tb_client/tigerbeetle/src/counting_allocator.zig +72 -0
  57. data/ext/tb_client/tigerbeetle/src/direction.zig +11 -0
  58. data/ext/tb_client/tigerbeetle/src/docs_website/build.zig +158 -0
  59. data/ext/tb_client/tigerbeetle/src/docs_website/src/content.zig +156 -0
  60. data/ext/tb_client/tigerbeetle/src/docs_website/src/docs.zig +252 -0
  61. data/ext/tb_client/tigerbeetle/src/docs_website/src/file_checker.zig +313 -0
  62. data/ext/tb_client/tigerbeetle/src/docs_website/src/html.zig +87 -0
  63. data/ext/tb_client/tigerbeetle/src/docs_website/src/page_writer.zig +63 -0
  64. data/ext/tb_client/tigerbeetle/src/docs_website/src/redirects.zig +47 -0
  65. data/ext/tb_client/tigerbeetle/src/docs_website/src/search_index_writer.zig +28 -0
  66. data/ext/tb_client/tigerbeetle/src/docs_website/src/service_worker_writer.zig +61 -0
  67. data/ext/tb_client/tigerbeetle/src/docs_website/src/single_page_writer.zig +169 -0
  68. data/ext/tb_client/tigerbeetle/src/docs_website/src/website.zig +46 -0
  69. data/ext/tb_client/tigerbeetle/src/ewah.zig +445 -0
  70. data/ext/tb_client/tigerbeetle/src/ewah_benchmark.zig +128 -0
  71. data/ext/tb_client/tigerbeetle/src/ewah_fuzz.zig +171 -0
  72. data/ext/tb_client/tigerbeetle/src/fuzz_tests.zig +179 -0
  73. data/ext/tb_client/tigerbeetle/src/integration_tests.zig +662 -0
  74. data/ext/tb_client/tigerbeetle/src/io/common.zig +155 -0
  75. data/ext/tb_client/tigerbeetle/src/io/darwin.zig +1093 -0
  76. data/ext/tb_client/tigerbeetle/src/io/linux.zig +1880 -0
  77. data/ext/tb_client/tigerbeetle/src/io/test.zig +1005 -0
  78. data/ext/tb_client/tigerbeetle/src/io/windows.zig +1598 -0
  79. data/ext/tb_client/tigerbeetle/src/io.zig +34 -0
  80. data/ext/tb_client/tigerbeetle/src/iops.zig +134 -0
  81. data/ext/tb_client/tigerbeetle/src/list.zig +236 -0
  82. data/ext/tb_client/tigerbeetle/src/lsm/binary_search.zig +848 -0
  83. data/ext/tb_client/tigerbeetle/src/lsm/binary_search_benchmark.zig +179 -0
  84. data/ext/tb_client/tigerbeetle/src/lsm/cache_map.zig +424 -0
  85. data/ext/tb_client/tigerbeetle/src/lsm/cache_map_fuzz.zig +420 -0
  86. data/ext/tb_client/tigerbeetle/src/lsm/compaction.zig +2117 -0
  87. data/ext/tb_client/tigerbeetle/src/lsm/composite_key.zig +182 -0
  88. data/ext/tb_client/tigerbeetle/src/lsm/forest.zig +1119 -0
  89. data/ext/tb_client/tigerbeetle/src/lsm/forest_fuzz.zig +1102 -0
  90. data/ext/tb_client/tigerbeetle/src/lsm/forest_table_iterator.zig +200 -0
  91. data/ext/tb_client/tigerbeetle/src/lsm/groove.zig +1495 -0
  92. data/ext/tb_client/tigerbeetle/src/lsm/k_way_merge.zig +739 -0
  93. data/ext/tb_client/tigerbeetle/src/lsm/k_way_merge_benchmark.zig +166 -0
  94. data/ext/tb_client/tigerbeetle/src/lsm/manifest.zig +754 -0
  95. data/ext/tb_client/tigerbeetle/src/lsm/manifest_level.zig +1294 -0
  96. data/ext/tb_client/tigerbeetle/src/lsm/manifest_level_fuzz.zig +510 -0
  97. data/ext/tb_client/tigerbeetle/src/lsm/manifest_log.zig +1263 -0
  98. data/ext/tb_client/tigerbeetle/src/lsm/manifest_log_fuzz.zig +628 -0
  99. data/ext/tb_client/tigerbeetle/src/lsm/node_pool.zig +247 -0
  100. data/ext/tb_client/tigerbeetle/src/lsm/scan_buffer.zig +116 -0
  101. data/ext/tb_client/tigerbeetle/src/lsm/scan_builder.zig +543 -0
  102. data/ext/tb_client/tigerbeetle/src/lsm/scan_fuzz.zig +938 -0
  103. data/ext/tb_client/tigerbeetle/src/lsm/scan_lookup.zig +293 -0
  104. data/ext/tb_client/tigerbeetle/src/lsm/scan_merge.zig +362 -0
  105. data/ext/tb_client/tigerbeetle/src/lsm/scan_range.zig +99 -0
  106. data/ext/tb_client/tigerbeetle/src/lsm/scan_state.zig +17 -0
  107. data/ext/tb_client/tigerbeetle/src/lsm/scan_tree.zig +1036 -0
  108. data/ext/tb_client/tigerbeetle/src/lsm/schema.zig +617 -0
  109. data/ext/tb_client/tigerbeetle/src/lsm/scratch_memory.zig +84 -0
  110. data/ext/tb_client/tigerbeetle/src/lsm/segmented_array.zig +1500 -0
  111. data/ext/tb_client/tigerbeetle/src/lsm/segmented_array_benchmark.zig +149 -0
  112. data/ext/tb_client/tigerbeetle/src/lsm/segmented_array_fuzz.zig +7 -0
  113. data/ext/tb_client/tigerbeetle/src/lsm/set_associative_cache.zig +865 -0
  114. data/ext/tb_client/tigerbeetle/src/lsm/table.zig +607 -0
  115. data/ext/tb_client/tigerbeetle/src/lsm/table_memory.zig +843 -0
  116. data/ext/tb_client/tigerbeetle/src/lsm/table_value_iterator.zig +105 -0
  117. data/ext/tb_client/tigerbeetle/src/lsm/timestamp_range.zig +40 -0
  118. data/ext/tb_client/tigerbeetle/src/lsm/tree.zig +630 -0
  119. data/ext/tb_client/tigerbeetle/src/lsm/tree_fuzz.zig +933 -0
  120. data/ext/tb_client/tigerbeetle/src/lsm/zig_zag_merge.zig +557 -0
  121. data/ext/tb_client/tigerbeetle/src/message_buffer.zig +469 -0
  122. data/ext/tb_client/tigerbeetle/src/message_bus.zig +1214 -0
  123. data/ext/tb_client/tigerbeetle/src/message_bus_fuzz.zig +936 -0
  124. data/ext/tb_client/tigerbeetle/src/message_pool.zig +343 -0
  125. data/ext/tb_client/tigerbeetle/src/multiversion.zig +2195 -0
  126. data/ext/tb_client/tigerbeetle/src/queue.zig +390 -0
  127. data/ext/tb_client/tigerbeetle/src/repl/completion.zig +201 -0
  128. data/ext/tb_client/tigerbeetle/src/repl/parser.zig +1356 -0
  129. data/ext/tb_client/tigerbeetle/src/repl/terminal.zig +496 -0
  130. data/ext/tb_client/tigerbeetle/src/repl.zig +1034 -0
  131. data/ext/tb_client/tigerbeetle/src/scripts/amqp.zig +973 -0
  132. data/ext/tb_client/tigerbeetle/src/scripts/cfo.zig +1866 -0
  133. data/ext/tb_client/tigerbeetle/src/scripts/changelog.zig +304 -0
  134. data/ext/tb_client/tigerbeetle/src/scripts/ci.zig +227 -0
  135. data/ext/tb_client/tigerbeetle/src/scripts/client_readmes.zig +658 -0
  136. data/ext/tb_client/tigerbeetle/src/scripts/devhub.zig +466 -0
  137. data/ext/tb_client/tigerbeetle/src/scripts/release.zig +1058 -0
  138. data/ext/tb_client/tigerbeetle/src/scripts.zig +105 -0
  139. data/ext/tb_client/tigerbeetle/src/shell.zig +1195 -0
  140. data/ext/tb_client/tigerbeetle/src/stack.zig +260 -0
  141. data/ext/tb_client/tigerbeetle/src/state_machine/auditor.zig +911 -0
  142. data/ext/tb_client/tigerbeetle/src/state_machine/workload.zig +2079 -0
  143. data/ext/tb_client/tigerbeetle/src/state_machine.zig +4872 -0
  144. data/ext/tb_client/tigerbeetle/src/state_machine_fuzz.zig +288 -0
  145. data/ext/tb_client/tigerbeetle/src/state_machine_tests.zig +3128 -0
  146. data/ext/tb_client/tigerbeetle/src/static_allocator.zig +82 -0
  147. data/ext/tb_client/tigerbeetle/src/stdx/bit_set.zig +157 -0
  148. data/ext/tb_client/tigerbeetle/src/stdx/bounded_array.zig +292 -0
  149. data/ext/tb_client/tigerbeetle/src/stdx/debug.zig +65 -0
  150. data/ext/tb_client/tigerbeetle/src/stdx/flags.zig +1414 -0
  151. data/ext/tb_client/tigerbeetle/src/stdx/mlock.zig +92 -0
  152. data/ext/tb_client/tigerbeetle/src/stdx/prng.zig +677 -0
  153. data/ext/tb_client/tigerbeetle/src/stdx/radix.zig +336 -0
  154. data/ext/tb_client/tigerbeetle/src/stdx/ring_buffer.zig +511 -0
  155. data/ext/tb_client/tigerbeetle/src/stdx/sort_test.zig +112 -0
  156. data/ext/tb_client/tigerbeetle/src/stdx/stdx.zig +1160 -0
  157. data/ext/tb_client/tigerbeetle/src/stdx/testing/low_level_hash_vectors.zig +142 -0
  158. data/ext/tb_client/tigerbeetle/src/stdx/testing/snaptest.zig +361 -0
  159. data/ext/tb_client/tigerbeetle/src/stdx/time_units.zig +275 -0
  160. data/ext/tb_client/tigerbeetle/src/stdx/unshare.zig +295 -0
  161. data/ext/tb_client/tigerbeetle/src/stdx/vendored/aegis.zig +436 -0
  162. data/ext/tb_client/tigerbeetle/src/stdx/windows.zig +48 -0
  163. data/ext/tb_client/tigerbeetle/src/stdx/zipfian.zig +402 -0
  164. data/ext/tb_client/tigerbeetle/src/storage.zig +489 -0
  165. data/ext/tb_client/tigerbeetle/src/storage_fuzz.zig +180 -0
  166. data/ext/tb_client/tigerbeetle/src/testing/bench.zig +146 -0
  167. data/ext/tb_client/tigerbeetle/src/testing/cluster/grid_checker.zig +53 -0
  168. data/ext/tb_client/tigerbeetle/src/testing/cluster/journal_checker.zig +61 -0
  169. data/ext/tb_client/tigerbeetle/src/testing/cluster/manifest_checker.zig +76 -0
  170. data/ext/tb_client/tigerbeetle/src/testing/cluster/message_bus.zig +110 -0
  171. data/ext/tb_client/tigerbeetle/src/testing/cluster/network.zig +412 -0
  172. data/ext/tb_client/tigerbeetle/src/testing/cluster/state_checker.zig +331 -0
  173. data/ext/tb_client/tigerbeetle/src/testing/cluster/storage_checker.zig +458 -0
  174. data/ext/tb_client/tigerbeetle/src/testing/cluster.zig +1198 -0
  175. data/ext/tb_client/tigerbeetle/src/testing/exhaustigen.zig +128 -0
  176. data/ext/tb_client/tigerbeetle/src/testing/fixtures.zig +181 -0
  177. data/ext/tb_client/tigerbeetle/src/testing/fuzz.zig +144 -0
  178. data/ext/tb_client/tigerbeetle/src/testing/id.zig +97 -0
  179. data/ext/tb_client/tigerbeetle/src/testing/io.zig +317 -0
  180. data/ext/tb_client/tigerbeetle/src/testing/marks.zig +126 -0
  181. data/ext/tb_client/tigerbeetle/src/testing/packet_simulator.zig +533 -0
  182. data/ext/tb_client/tigerbeetle/src/testing/reply_sequence.zig +154 -0
  183. data/ext/tb_client/tigerbeetle/src/testing/state_machine.zig +389 -0
  184. data/ext/tb_client/tigerbeetle/src/testing/storage.zig +1247 -0
  185. data/ext/tb_client/tigerbeetle/src/testing/table.zig +249 -0
  186. data/ext/tb_client/tigerbeetle/src/testing/time.zig +98 -0
  187. data/ext/tb_client/tigerbeetle/src/testing/tmp_tigerbeetle.zig +212 -0
  188. data/ext/tb_client/tigerbeetle/src/testing/vortex/constants.zig +26 -0
  189. data/ext/tb_client/tigerbeetle/src/testing/vortex/faulty_network.zig +580 -0
  190. data/ext/tb_client/tigerbeetle/src/testing/vortex/java_driver/ci.zig +39 -0
  191. data/ext/tb_client/tigerbeetle/src/testing/vortex/logged_process.zig +214 -0
  192. data/ext/tb_client/tigerbeetle/src/testing/vortex/rust_driver/ci.zig +34 -0
  193. data/ext/tb_client/tigerbeetle/src/testing/vortex/supervisor.zig +766 -0
  194. data/ext/tb_client/tigerbeetle/src/testing/vortex/workload.zig +543 -0
  195. data/ext/tb_client/tigerbeetle/src/testing/vortex/zig_driver.zig +181 -0
  196. data/ext/tb_client/tigerbeetle/src/tidy.zig +1448 -0
  197. data/ext/tb_client/tigerbeetle/src/tigerbeetle/benchmark_driver.zig +227 -0
  198. data/ext/tb_client/tigerbeetle/src/tigerbeetle/benchmark_load.zig +1069 -0
  199. data/ext/tb_client/tigerbeetle/src/tigerbeetle/cli.zig +1422 -0
  200. data/ext/tb_client/tigerbeetle/src/tigerbeetle/inspect.zig +1658 -0
  201. data/ext/tb_client/tigerbeetle/src/tigerbeetle/inspect_integrity.zig +518 -0
  202. data/ext/tb_client/tigerbeetle/src/tigerbeetle/libtb_client.zig +36 -0
  203. data/ext/tb_client/tigerbeetle/src/tigerbeetle/main.zig +646 -0
  204. data/ext/tb_client/tigerbeetle/src/tigerbeetle.zig +958 -0
  205. data/ext/tb_client/tigerbeetle/src/time.zig +236 -0
  206. data/ext/tb_client/tigerbeetle/src/trace/event.zig +745 -0
  207. data/ext/tb_client/tigerbeetle/src/trace/statsd.zig +462 -0
  208. data/ext/tb_client/tigerbeetle/src/trace.zig +556 -0
  209. data/ext/tb_client/tigerbeetle/src/unit_tests.zig +321 -0
  210. data/ext/tb_client/tigerbeetle/src/vopr.zig +1785 -0
  211. data/ext/tb_client/tigerbeetle/src/vortex.zig +101 -0
  212. data/ext/tb_client/tigerbeetle/src/vsr/checkpoint_trailer.zig +473 -0
  213. data/ext/tb_client/tigerbeetle/src/vsr/checksum.zig +208 -0
  214. data/ext/tb_client/tigerbeetle/src/vsr/checksum_benchmark.zig +43 -0
  215. data/ext/tb_client/tigerbeetle/src/vsr/client.zig +768 -0
  216. data/ext/tb_client/tigerbeetle/src/vsr/client_replies.zig +532 -0
  217. data/ext/tb_client/tigerbeetle/src/vsr/client_sessions.zig +338 -0
  218. data/ext/tb_client/tigerbeetle/src/vsr/clock.zig +1019 -0
  219. data/ext/tb_client/tigerbeetle/src/vsr/fault_detector.zig +279 -0
  220. data/ext/tb_client/tigerbeetle/src/vsr/free_set.zig +1381 -0
  221. data/ext/tb_client/tigerbeetle/src/vsr/free_set_fuzz.zig +315 -0
  222. data/ext/tb_client/tigerbeetle/src/vsr/grid.zig +1460 -0
  223. data/ext/tb_client/tigerbeetle/src/vsr/grid_blocks_missing.zig +757 -0
  224. data/ext/tb_client/tigerbeetle/src/vsr/grid_scrubber.zig +797 -0
  225. data/ext/tb_client/tigerbeetle/src/vsr/journal.zig +2586 -0
  226. data/ext/tb_client/tigerbeetle/src/vsr/marzullo.zig +308 -0
  227. data/ext/tb_client/tigerbeetle/src/vsr/message_header.zig +1777 -0
  228. data/ext/tb_client/tigerbeetle/src/vsr/multi_batch.zig +715 -0
  229. data/ext/tb_client/tigerbeetle/src/vsr/multi_batch_fuzz.zig +185 -0
  230. data/ext/tb_client/tigerbeetle/src/vsr/repair_budget.zig +333 -0
  231. data/ext/tb_client/tigerbeetle/src/vsr/replica.zig +12355 -0
  232. data/ext/tb_client/tigerbeetle/src/vsr/replica_format.zig +416 -0
  233. data/ext/tb_client/tigerbeetle/src/vsr/replica_reformat.zig +165 -0
  234. data/ext/tb_client/tigerbeetle/src/vsr/replica_test.zig +2910 -0
  235. data/ext/tb_client/tigerbeetle/src/vsr/routing.zig +1075 -0
  236. data/ext/tb_client/tigerbeetle/src/vsr/superblock.zig +1603 -0
  237. data/ext/tb_client/tigerbeetle/src/vsr/superblock_fuzz.zig +484 -0
  238. data/ext/tb_client/tigerbeetle/src/vsr/superblock_quorums.zig +405 -0
  239. data/ext/tb_client/tigerbeetle/src/vsr/superblock_quorums_fuzz.zig +355 -0
  240. data/ext/tb_client/tigerbeetle/src/vsr/sync.zig +29 -0
  241. data/ext/tb_client/tigerbeetle/src/vsr.zig +1727 -0
  242. data/lib/tb_client/shared_lib.rb +12 -5
  243. data/lib/tigerbeetle/platforms.rb +9 -0
  244. data/lib/tigerbeetle/version.rb +1 -1
  245. data/tigerbeetle.gemspec +22 -5
  246. metadata +242 -3
  247. data/ext/tb_client/pkg.tar.gz +0 -0
@@ -0,0 +1,128 @@
1
+ //! An utility for exhaustive generation of arbitrary data
2
+ //! <https://matklad.github.io/2021/11/07/generate-all-the-things.html>
3
+ test "generate all permutations" {
4
+ var g: Gen = .{};
5
+ var permutation_count: u32 = 0;
6
+
7
+ // This loop imperatively generates all permutations of "abcd":
8
+ while (!g.done()) {
9
+ var pool_buffer: [4]u8 = "abcd".*;
10
+ var permutation: [4]u8 = undefined;
11
+
12
+ for (0..permutation.len) |i| {
13
+ const pool = pool_buffer[0 .. pool_buffer.len - i];
14
+
15
+ // Pick a "random" number from the pool, append it to the permutation,
16
+ // and swap-remove it from the pool.
17
+ const pool_index = g.index(pool);
18
+ permutation[i] = pool[pool_index];
19
+ pool[pool_index] = pool[pool.len - 1];
20
+ }
21
+ // Here, `permutation` enumerates all permutations of `abcd`:
22
+ // std.debug.print("permutation: {s}\n", .{permutation});
23
+ permutation_count += 1;
24
+ }
25
+
26
+ // Verify that we indeed generated n! permutations.
27
+ var factorial: usize = 1;
28
+ for (1..5) |n| factorial *= n;
29
+
30
+ assert(permutation_count == factorial);
31
+ }
32
+
33
+ const std = @import("std");
34
+ const assert = std.debug.assert;
35
+
36
+ // The implementation is tricky, refer to the post for details.
37
+ //
38
+ // On each iteration of `while (!g.done())` loop, Gen generates a sequence of numbers.
39
+ // Internally, it remembers this sequence together with bounds the user requested:
40
+ //
41
+ // value: 3 1 4 4
42
+ // bound: 5 4 4 4
43
+ //
44
+ // To advance to the next iteration, Gen finds the smallest sequence of values which is larger than
45
+ // the current one, but still satisfies all the bounds. "Smallest" means that Gen tries to increment
46
+ // the rightmost number.
47
+ //
48
+ // In the above example, the last two "4"s already match the bound, so we can't increment them.
49
+ // However, we can increment the second number, "1", to get 3 2 4 4. This isn’t the smallest
50
+ // sequence though, 3 2 0 0 is be smaller. So, after incrementing the rightmost number possible,
51
+ // we zero the rest.
52
+ const Gen = @This();
53
+
54
+ started: bool = false,
55
+ v: [32]struct { value: u32, bound: u32 } = undefined,
56
+ p: usize = 0,
57
+ p_max: usize = 0,
58
+
59
+ pub fn done(g: *@This()) bool {
60
+ if (!g.started) {
61
+ g.started = true;
62
+ return false;
63
+ }
64
+ var i = g.p_max;
65
+ while (i > 0) {
66
+ i -= 1;
67
+ if (g.v[i].value < g.v[i].bound) {
68
+ g.v[i].value += 1;
69
+ g.p_max = i + 1;
70
+ g.p = 0;
71
+ return false;
72
+ }
73
+ }
74
+ return true;
75
+ }
76
+
77
+ fn gen(g: *Gen, bound: u32) u32 {
78
+ assert(g.p < g.v.len);
79
+ if (g.p == g.p_max) {
80
+ g.v[g.p] = .{ .value = 0, .bound = 0 };
81
+ g.p_max += 1;
82
+ }
83
+ g.p += 1;
84
+ g.v[g.p - 1].bound = bound;
85
+ return g.v[g.p - 1].value;
86
+ }
87
+
88
+ pub fn int_inclusive(g: *Gen, Int: type, bound: Int) Int {
89
+ return @intCast(g.gen(@intCast(bound)));
90
+ }
91
+
92
+ pub fn range_inclusive(g: *Gen, Int: type, min: Int, max: Int) Int {
93
+ comptime assert(@typeInfo(Int).int.signedness == .unsigned);
94
+ assert(min <= max);
95
+ return min + g.int_inclusive(Int, max - min);
96
+ }
97
+
98
+ pub fn shuffle(g: *Gen, T: type, slice: []T) void {
99
+ for (0..slice.len) |i| {
100
+ const j = g.int_inclusive(u64, i);
101
+ std.mem.swap(T, &slice[i], &slice[j]);
102
+ }
103
+ }
104
+
105
+ test shuffle {
106
+ var n_factorial: u32 = 1;
107
+ inline for (0..5) |n| {
108
+ var g: Gen = .{};
109
+ var count: u32 = 0;
110
+ while (!g.done()) {
111
+ var array: [n]u8 = @splat(0);
112
+ g.shuffle(u8, &array);
113
+ count += 1;
114
+ }
115
+ assert(count == n_factorial);
116
+ n_factorial *= (n + 1);
117
+ }
118
+ }
119
+
120
+ pub fn index(g: *Gen, slice: anytype) usize {
121
+ assert(slice.len > 0);
122
+ return g.int_inclusive(usize, slice.len - 1);
123
+ }
124
+
125
+ pub fn enum_value(g: *Gen, Enum: type) Enum {
126
+ const values = std.enums.values(Enum);
127
+ return values[g.index(values)];
128
+ }
@@ -0,0 +1,181 @@
1
+ //! Convenient constructs for TigerBeetle components, for fuzzing and testing.
2
+ //!
3
+ //! Consider the Grid. In the actual database, there is only single call to Grid.init.
4
+ //! However, Grid is needed for most of our tests and fuzzers. If the init call is repeated
5
+ //! in every fuzzer, changing Storage creation flow becomes hard. To solve this, all fuzzers create
6
+ //! Grid through this file, such that we have one production and one test call to Grid.init.
7
+ //!
8
+ //! Design:
9
+ //!
10
+ //! - All functions take struct options as a last argument, even if it starts out as empty.
11
+ //! All call-sites pass at least .{}, which makes adding new options cheap.
12
+ //! - Most options should have defaults. This is intentional deviation from TigerStyle, as, for
13
+ //! tests, we gain a useful property: all options that are set are meaningful for a particular
14
+ //! test.
15
+ //! - All dependent fixtures are passed in positionally because they can't be defaulted and their
16
+ //! types are unique.
17
+ //! - It could be convenient to export types themselves, in addition to constructors, but we avoid
18
+ //! introducing two ways to import something.
19
+ const std = @import("std");
20
+ const vsr = @import("../vsr.zig");
21
+ const constants = @import("../constants.zig");
22
+ const assert = std.debug.assert;
23
+
24
+ const Time = @import("../time.zig").Time;
25
+ const OffsetType = @import("./time.zig").OffsetType;
26
+ const Tracer = @import("../trace.zig").Tracer;
27
+ const Storage = @import("./storage.zig").Storage;
28
+ const SuperBlock = vsr.SuperBlockType(Storage);
29
+ const Grid = vsr.GridType(Storage);
30
+
31
+ const TimeSim = @import("./time.zig").TimeSim;
32
+
33
+ pub const cluster: u128 = 0;
34
+ pub const replica: u8 = 0;
35
+ pub const replica_count: u8 = 6;
36
+
37
+ pub fn init_time(options: struct {
38
+ resolution: u64 = constants.tick_ms * std.time.ns_per_ms,
39
+ offset_type: OffsetType = .linear,
40
+ offset_coefficient_A: i64 = 0,
41
+ offset_coefficient_B: i64 = 0,
42
+ offset_coefficient_C: u32 = 0,
43
+ }) TimeSim {
44
+ const result: TimeSim = .{
45
+ .resolution = options.resolution,
46
+ .offset_type = options.offset_type,
47
+ .offset_coefficient_A = options.offset_coefficient_A,
48
+ .offset_coefficient_B = options.offset_coefficient_B,
49
+ .offset_coefficient_C = options.offset_coefficient_C,
50
+ };
51
+ return result;
52
+ }
53
+
54
+ pub fn init_tracer(gpa: std.mem.Allocator, init: Time, options: struct {
55
+ writer: ?std.io.AnyWriter = null,
56
+ process_id: Tracer.ProcessID = .{ .replica = .{ .cluster = cluster, .replica = replica } },
57
+ }) !Tracer {
58
+ return Tracer.init(gpa, init, options.process_id, .{ .writer = options.writer });
59
+ }
60
+
61
+ pub fn init_storage(gpa: std.mem.Allocator, options: Storage.Options) !Storage {
62
+ return try Storage.init(gpa, options);
63
+ }
64
+
65
+ pub fn storage_format(
66
+ gpa: std.mem.Allocator,
67
+ storage: *Storage,
68
+ options: struct {
69
+ cluster: u128 = cluster,
70
+ replica: u8 = replica,
71
+ replica_count: u8 = replica_count,
72
+ release: vsr.Release = vsr.Release.minimum,
73
+ },
74
+ ) !void {
75
+ assert(storage.reads.count() == 0);
76
+ assert(storage.writes.count() == 0);
77
+
78
+ var superblock = try init_superblock(gpa, storage, .{});
79
+ defer superblock.deinit(gpa);
80
+
81
+ const Context = struct {
82
+ superblock_context: SuperBlock.Context = undefined,
83
+ done: bool = false,
84
+ fn callback(superblock_context: *SuperBlock.Context) void {
85
+ const self: *@This() = @fieldParentPtr("superblock_context", superblock_context);
86
+ assert(!self.done);
87
+ self.done = true;
88
+ }
89
+ };
90
+ var context: Context = .{};
91
+
92
+ superblock.format(Context.callback, &context.superblock_context, .{
93
+ .cluster = options.cluster,
94
+ .replica = options.replica,
95
+ .replica_count = options.replica_count,
96
+ .release = options.release,
97
+ .view = null,
98
+ });
99
+ for (0..10_000) |_| {
100
+ if (context.done) break;
101
+ storage.run();
102
+ } else @panic("superblock format loop stuck");
103
+ assert(storage.reads.count() == 0);
104
+ assert(storage.writes.count() == 0);
105
+ }
106
+
107
+ pub fn init_superblock(gpa: std.mem.Allocator, storage: *Storage, options: struct {
108
+ storage_size_limit: ?u64 = null,
109
+ }) !SuperBlock {
110
+ return try SuperBlock.init(gpa, storage, .{
111
+ .storage_size_limit = options.storage_size_limit orelse storage.size,
112
+ });
113
+ }
114
+
115
+ pub fn init_grid(gpa: std.mem.Allocator, trace: *Tracer, superblock: *SuperBlock, options: struct {
116
+ missing_blocks_max: u64 = 0,
117
+ missing_tables_max: u64 = 0,
118
+ blocks_released_prior_checkpoint_durability_max: u64 = 0,
119
+ }) !Grid {
120
+ return try Grid.init(gpa, .{
121
+ .superblock = superblock,
122
+ .trace = trace,
123
+ .missing_blocks_max = options.missing_blocks_max,
124
+ .missing_tables_max = options.missing_tables_max,
125
+ .blocks_released_prior_checkpoint_durability_max = //
126
+ options.blocks_released_prior_checkpoint_durability_max,
127
+ });
128
+ }
129
+
130
+ pub fn open_superblock(superblock: *SuperBlock) void {
131
+ const storage: *Storage = superblock.storage;
132
+ assert(storage.reads.count() == 0);
133
+ assert(storage.writes.count() == 0);
134
+ defer assert(storage.reads.count() == 0);
135
+ defer assert(storage.writes.count() == 0);
136
+
137
+ const Context = struct {
138
+ superblock_context: SuperBlock.Context = undefined,
139
+ pending: bool = false,
140
+
141
+ fn callback(superblock_context: *SuperBlock.Context) void {
142
+ const self: *@This() = @fieldParentPtr("superblock_context", superblock_context);
143
+ assert(self.pending);
144
+ self.pending = false;
145
+ }
146
+ };
147
+ var context: Context = .{};
148
+
149
+ context.pending = true;
150
+ superblock.open(Context.callback, &context.superblock_context);
151
+ for (0..10_000) |_| {
152
+ storage.run();
153
+ if (!context.pending) break;
154
+ } else @panic("open superblock stuck");
155
+ }
156
+
157
+ pub fn open_grid(grid: *Grid) void {
158
+ const storage: *Storage = grid.superblock.storage;
159
+ assert(storage.reads.count() == 0);
160
+ assert(storage.writes.count() == 0);
161
+ defer assert(storage.reads.count() == 0);
162
+ defer assert(storage.writes.count() == 0);
163
+
164
+ const Context = struct {
165
+ pending: bool = false,
166
+ // NB: This lacks in elegance and robustness, but is good enough for testing.
167
+ var global: @This() = .{};
168
+ fn callback(_: *Grid) void {
169
+ assert(@This().global.pending);
170
+ @This().global.pending = false;
171
+ }
172
+ };
173
+
174
+ assert(!Context.global.pending);
175
+ Context.global.pending = true;
176
+ grid.open(Context.callback);
177
+ for (0..10_000) |_| {
178
+ storage.run();
179
+ if (!Context.global.pending) break;
180
+ } else @panic("open grid stuck");
181
+ }
@@ -0,0 +1,144 @@
1
+ //! Utils functions for writing fuzzers.
2
+
3
+ const builtin = @import("builtin");
4
+ const std = @import("std");
5
+ const stdx = @import("stdx");
6
+ const assert = std.debug.assert;
7
+ const PRNG = stdx.PRNG;
8
+ const Duration = stdx.Duration;
9
+
10
+ const GiB = stdx.GiB;
11
+
12
+ const log = std.log.scoped(.fuzz);
13
+
14
+ /// Returns an integer of type `T` with an exponential distribution of rate `avg`.
15
+ /// Note: If you specify a very high rate then `std.math.maxInt(T)` may be over-represented.
16
+ pub fn random_int_exponential(prng: *stdx.PRNG, comptime T: type, avg: T) T {
17
+ comptime {
18
+ const info = @typeInfo(T);
19
+ assert(info == .int);
20
+ assert(info.int.signedness == .unsigned);
21
+ }
22
+ // Note: we use floats and rely on std implementation. Ideally, we should do neither, but I
23
+ // wasn't able to find a quick way to generate geometrically distributed integers using only
24
+ // integer arithmetic.
25
+ const random = std.Random.init(prng, stdx.PRNG.fill);
26
+ const exp = random.floatExp(f64) * @as(f64, @floatFromInt(avg));
27
+ return std.math.lossyCast(T, exp);
28
+ }
29
+
30
+ /// Return a distribution for use with `random_enum`.
31
+ ///
32
+ /// This is swarm testing: some variants are disabled completely,
33
+ /// and the rest have wildly different probabilities.
34
+ pub fn random_enum_weights(
35
+ prng: *stdx.PRNG,
36
+ comptime Enum: type,
37
+ ) stdx.PRNG.EnumWeightsType(Enum) {
38
+ const fields = comptime std.meta.fieldNames(Enum);
39
+
40
+ var combination = stdx.PRNG.Combination.init(.{
41
+ .total = fields.len,
42
+ .sample = prng.range_inclusive(u32, 1, fields.len),
43
+ });
44
+ defer assert(combination.done());
45
+
46
+ var weights: PRNG.EnumWeightsType(Enum) = undefined;
47
+ inline for (fields) |field| {
48
+ @field(weights, field) = if (combination.take(prng))
49
+ prng.range_inclusive(u64, 1, 100)
50
+ else
51
+ 0;
52
+ }
53
+
54
+ return weights;
55
+ }
56
+
57
+ /// We have two opposing desires for prng ids:
58
+ /// 1. We want to cause many collisions.
59
+ /// 2. We want to generate enough ids that various caches can't hold them all.
60
+ ///
61
+ /// So, flip a coin and pick an an ID either from a small, or from a large set.
62
+ pub fn random_id(prng: *stdx.PRNG, comptime Int: type, options: struct {
63
+ average_hot: Int,
64
+ average_cold: Int,
65
+ }) Int {
66
+ assert(options.average_hot < options.average_cold);
67
+ const average: Int = if (prng.boolean()) options.average_hot else options.average_cold;
68
+ return random_int_exponential(prng, Int, average);
69
+ }
70
+
71
+ pub fn range_inclusive_ms(prng: *stdx.PRNG, min: anytype, max: anytype) Duration {
72
+ const min_ns = switch (@TypeOf(min)) {
73
+ comptime_int, u64 => min * std.time.ns_per_ms,
74
+ Duration => min.ns,
75
+ else => comptime unreachable,
76
+ };
77
+ const max_ns = switch (@TypeOf(max)) {
78
+ comptime_int, u64 => max * std.time.ns_per_ms,
79
+ Duration => max.ns,
80
+ else => comptime unreachable,
81
+ };
82
+ return .{ .ns = prng.range_inclusive(u64, min_ns, max_ns) };
83
+ }
84
+
85
+ pub const FuzzArgs = struct {
86
+ seed: u64,
87
+ events_max: ?usize,
88
+ };
89
+
90
+ pub fn parse_seed(bytes: []const u8) u64 {
91
+ if (bytes.len == 40) {
92
+ // Normally, a seed is specified as a base-10 integer. However, as a special case, we allow
93
+ // using a Git hash (a hex string 40 character long). This is used by our CI, which passes
94
+ // current commit hash as a seed --- that way, we run simulator on CI, we run it with
95
+ // different, "random" seeds, but the failures remain reproducible just from the commit
96
+ // hash!
97
+ const commit_hash = std.fmt.parseUnsigned(u160, bytes, 16) catch |err| switch (err) {
98
+ error.Overflow => unreachable,
99
+ error.InvalidCharacter => @panic("commit hash seed contains an invalid character"),
100
+ };
101
+ return @truncate(commit_hash);
102
+ }
103
+
104
+ return std.fmt.parseUnsigned(u64, bytes, 10) catch |err| switch (err) {
105
+ error.Overflow => @panic("seed exceeds a 64-bit unsigned integer"),
106
+ error.InvalidCharacter => @panic("seed contains an invalid character"),
107
+ };
108
+ }
109
+
110
+ // Like `std.meta.DeclEnum`, but allows excluding specific things. Feed the result into
111
+ // random_enum_weights for swarm testing public API of a data structure.
112
+ pub fn DeclEnumExcludingType(T: type, exclude: []const std.meta.DeclEnum(T)) type {
113
+ const base = @typeInfo(std.meta.DeclEnum(T)).@"enum";
114
+ assert(exclude.len > 0); // Use plain std.meta.DeclEnum.
115
+ assert(exclude.len < base.fields.len);
116
+ var fields_filtered: [base.fields.len - exclude.len]std.builtin.Type.EnumField = undefined;
117
+ var i: usize = 0;
118
+ next_field: for (base.fields) |field| {
119
+ for (exclude) |excluded| {
120
+ if (std.mem.eql(u8, field.name, @tagName(excluded))) continue :next_field;
121
+ }
122
+ fields_filtered[i] = field;
123
+ i += 1;
124
+ }
125
+ assert(i == fields_filtered.len);
126
+
127
+ return @Type(.{ .@"enum" = .{
128
+ .tag_type = base.tag_type,
129
+ .fields = &fields_filtered,
130
+ .decls = &.{},
131
+ .is_exhaustive = true,
132
+ } });
133
+ }
134
+
135
+ pub fn limit_ram() void {
136
+ if (builtin.target.os.tag != .linux) return;
137
+
138
+ std.posix.setrlimit(.AS, .{
139
+ .cur = 20 * GiB,
140
+ .max = 20 * GiB,
141
+ }) catch |err| {
142
+ log.warn("failed to setrlimit address space: {}", .{err});
143
+ };
144
+ }
@@ -0,0 +1,97 @@
1
+ const std = @import("std");
2
+ const stdx = @import("stdx");
3
+
4
+ /// Permute indices (or other encoded data) into ids to:
5
+ ///
6
+ /// * test different patterns of ids (e.g. random, ascending, descending), and
7
+ /// * allow the original index to recovered from the id, enabling less stateful testing.
8
+ ///
9
+ pub const IdPermutation = union(enum) {
10
+ /// Ascending indices become ascending ids.
11
+ identity: void,
12
+
13
+ /// Ascending indices become descending ids.
14
+ inversion: void,
15
+
16
+ /// Ascending indices alternate between ascending/descending (e.g. 1,100,3,98,…).
17
+ zigzag: void,
18
+
19
+ /// Ascending indices become pseudo-UUIDs.
20
+ ///
21
+ /// Sandwich the index "data" between random bits — this randomizes the id's prefix and suffix,
22
+ /// but the index is easily recovered:
23
+ ///
24
+ /// * id_bits[_0.._32] = random
25
+ /// * id_bits[32.._96] = data
26
+ /// * id_bits[96..128] = random
27
+ random: u64,
28
+
29
+ pub fn encode(self: *const IdPermutation, data: usize) u128 {
30
+ return switch (self.*) {
31
+ .identity => data,
32
+ .inversion => std.math.maxInt(u128) - @as(u128, data),
33
+ .zigzag => {
34
+ if (data % 2 == 0) {
35
+ return data;
36
+ } else {
37
+ // -1 to stay odd.
38
+ return std.math.maxInt(u128) - @as(u128, data) -% 1;
39
+ }
40
+ },
41
+ .random => |seed| {
42
+ var prng = stdx.PRNG.from_seed(seed +% data);
43
+ const random_mask = ~@as(u128, std.math.maxInt(u64) << 32);
44
+ const random_bits = random_mask & prng.int(u128);
45
+ return @as(u128, data) << 32 | random_bits;
46
+ },
47
+ };
48
+ }
49
+
50
+ pub fn decode(self: *const IdPermutation, id: u128) usize {
51
+ return switch (self.*) {
52
+ .identity => @intCast(id),
53
+ .inversion => @intCast(std.math.maxInt(u128) - id),
54
+ .zigzag => {
55
+ if (id % 2 == 0) {
56
+ return @intCast(id);
57
+ } else {
58
+ // -1 to stay odd.
59
+ return @intCast(std.math.maxInt(u128) - id -% 1);
60
+ }
61
+ },
62
+ .random => @truncate(id >> 32),
63
+ };
64
+ }
65
+
66
+ pub fn generate(prng: *stdx.PRNG) IdPermutation {
67
+ return switch (prng.enum_uniform(std.meta.Tag(IdPermutation))) {
68
+ .identity => .{ .identity = {} },
69
+ .inversion => .{ .inversion = {} },
70
+ .zigzag => .{ .zigzag = {} },
71
+ .random => .{ .random = prng.int(u64) },
72
+ };
73
+ }
74
+ };
75
+
76
+ test "IdPermutation" {
77
+ var prng = stdx.PRNG.from_seed_testing();
78
+
79
+ for ([_]IdPermutation{
80
+ .{ .identity = {} },
81
+ .{ .inversion = {} },
82
+ .{ .zigzag = {} },
83
+ .{ .random = prng.int(u64) },
84
+ }) |permutation| {
85
+ var i: usize = 0;
86
+ while (i < 20) : (i += 1) {
87
+ const r = prng.int(usize);
88
+ try test_id_permutation(permutation, r);
89
+ try test_id_permutation(permutation, i);
90
+ try test_id_permutation(permutation, std.math.maxInt(usize) - i);
91
+ }
92
+ }
93
+ }
94
+
95
+ fn test_id_permutation(permutation: IdPermutation, value: usize) !void {
96
+ try std.testing.expectEqual(value, permutation.decode(permutation.encode(value)));
97
+ }