@lix-js/sdk 0.6.0-preview.5 → 0.6.1

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 (274) hide show
  1. package/README.md +76 -4
  2. package/dist/errors.d.ts +7 -0
  3. package/dist/errors.js +19 -0
  4. package/dist/index.d.ts +4 -5
  5. package/dist/index.js +3 -3
  6. package/dist/native.d.ts +1 -0
  7. package/dist/native.js +47 -0
  8. package/dist/open-lix.d.ts +38 -207
  9. package/dist/open-lix.js +59 -284
  10. package/dist/result.d.ts +18 -0
  11. package/dist/result.js +48 -0
  12. package/dist/types.d.ts +114 -1
  13. package/dist/value.d.ts +28 -0
  14. package/dist/value.js +245 -0
  15. package/package.json +38 -71
  16. package/SKILL.md +0 -507
  17. package/dist/builtin-schemas.d.ts +0 -1
  18. package/dist/builtin-schemas.js +0 -1
  19. package/dist/engine-wasm/index.d.ts +0 -87
  20. package/dist/engine-wasm/index.js +0 -339
  21. package/dist/engine-wasm/wasm/lix_engine.d.ts +0 -79
  22. package/dist/engine-wasm/wasm/lix_engine.js +0 -833
  23. package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
  24. package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +0 -27
  25. package/dist/generated/builtin-schemas.d.ts +0 -427
  26. package/dist/generated/builtin-schemas.js +0 -643
  27. package/dist/sqlite/index.d.ts +0 -12
  28. package/dist/sqlite/index.js +0 -359
  29. package/dist-engine-src/README.md +0 -18
  30. package/dist-engine-src/src/backend/capabilities.rs +0 -67
  31. package/dist-engine-src/src/backend/conformance/baseline.rs +0 -1127
  32. package/dist-engine-src/src/backend/conformance/factory.rs +0 -93
  33. package/dist-engine-src/src/backend/conformance/failure_tests.rs +0 -608
  34. package/dist-engine-src/src/backend/conformance/fixtures.rs +0 -26
  35. package/dist-engine-src/src/backend/conformance/mod.rs +0 -75
  36. package/dist-engine-src/src/backend/conformance/model.rs +0 -28
  37. package/dist-engine-src/src/backend/conformance/model_based.rs +0 -257
  38. package/dist-engine-src/src/backend/conformance/persistence.rs +0 -204
  39. package/dist-engine-src/src/backend/conformance/projection.rs +0 -21
  40. package/dist-engine-src/src/backend/conformance/pushdown.rs +0 -24
  41. package/dist-engine-src/src/backend/conformance/runner.rs +0 -90
  42. package/dist-engine-src/src/backend/conformance/scan.rs +0 -24
  43. package/dist-engine-src/src/backend/conformance/write.rs +0 -16
  44. package/dist-engine-src/src/backend/error.rs +0 -94
  45. package/dist-engine-src/src/backend/in_memory.rs +0 -670
  46. package/dist-engine-src/src/backend/mod.rs +0 -39
  47. package/dist-engine-src/src/backend/predicate.rs +0 -80
  48. package/dist-engine-src/src/backend/traits.rs +0 -260
  49. package/dist-engine-src/src/backend/types.rs +0 -239
  50. package/dist-engine-src/src/binary_cas/chunking.rs +0 -31
  51. package/dist-engine-src/src/binary_cas/codec.rs +0 -346
  52. package/dist-engine-src/src/binary_cas/context.rs +0 -139
  53. package/dist-engine-src/src/binary_cas/kv.rs +0 -1038
  54. package/dist-engine-src/src/binary_cas/mod.rs +0 -11
  55. package/dist-engine-src/src/binary_cas/types.rs +0 -121
  56. package/dist-engine-src/src/branch/context.rs +0 -40
  57. package/dist-engine-src/src/branch/lifecycle.rs +0 -221
  58. package/dist-engine-src/src/branch/mod.rs +0 -13
  59. package/dist-engine-src/src/branch/refs.rs +0 -321
  60. package/dist-engine-src/src/branch/stage_rows.rs +0 -67
  61. package/dist-engine-src/src/branch/types.rs +0 -21
  62. package/dist-engine-src/src/catalog/context.rs +0 -412
  63. package/dist-engine-src/src/catalog/mod.rs +0 -10
  64. package/dist-engine-src/src/catalog/schema.rs +0 -4
  65. package/dist-engine-src/src/catalog/snapshot.rs +0 -1114
  66. package/dist-engine-src/src/cel/context.rs +0 -86
  67. package/dist-engine-src/src/cel/error.rs +0 -19
  68. package/dist-engine-src/src/cel/mod.rs +0 -8
  69. package/dist-engine-src/src/cel/provider.rs +0 -9
  70. package/dist-engine-src/src/cel/runtime.rs +0 -167
  71. package/dist-engine-src/src/cel/value.rs +0 -50
  72. package/dist-engine-src/src/changelog/bench_support.rs +0 -785
  73. package/dist-engine-src/src/changelog/change.rs +0 -1
  74. package/dist-engine-src/src/changelog/codec.rs +0 -497
  75. package/dist-engine-src/src/changelog/commit.rs +0 -1
  76. package/dist-engine-src/src/changelog/context.rs +0 -1614
  77. package/dist-engine-src/src/changelog/mod.rs +0 -29
  78. package/dist-engine-src/src/changelog/store.rs +0 -163
  79. package/dist-engine-src/src/changelog/test_support.rs +0 -54
  80. package/dist-engine-src/src/changelog/types.rs +0 -213
  81. package/dist-engine-src/src/commit_graph/context.rs +0 -944
  82. package/dist-engine-src/src/commit_graph/mod.rs +0 -9
  83. package/dist-engine-src/src/commit_graph/types.rs +0 -89
  84. package/dist-engine-src/src/commit_graph/walker.rs +0 -786
  85. package/dist-engine-src/src/common/error.rs +0 -347
  86. package/dist-engine-src/src/common/fingerprint.rs +0 -3
  87. package/dist-engine-src/src/common/fs_path.rs +0 -1336
  88. package/dist-engine-src/src/common/identity.rs +0 -145
  89. package/dist-engine-src/src/common/json_pointer.rs +0 -67
  90. package/dist-engine-src/src/common/metadata.rs +0 -40
  91. package/dist-engine-src/src/common/mod.rs +0 -23
  92. package/dist-engine-src/src/common/types.rs +0 -105
  93. package/dist-engine-src/src/common/wire.rs +0 -222
  94. package/dist-engine-src/src/domain.rs +0 -320
  95. package/dist-engine-src/src/engine.rs +0 -203
  96. package/dist-engine-src/src/entity_pk.rs +0 -402
  97. package/dist-engine-src/src/functions/context.rs +0 -296
  98. package/dist-engine-src/src/functions/deterministic.rs +0 -113
  99. package/dist-engine-src/src/functions/mod.rs +0 -18
  100. package/dist-engine-src/src/functions/provider.rs +0 -130
  101. package/dist-engine-src/src/functions/state.rs +0 -335
  102. package/dist-engine-src/src/functions/types.rs +0 -37
  103. package/dist-engine-src/src/init.rs +0 -692
  104. package/dist-engine-src/src/json_store/compression.rs +0 -77
  105. package/dist-engine-src/src/json_store/context.rs +0 -172
  106. package/dist-engine-src/src/json_store/encoded.rs +0 -15
  107. package/dist-engine-src/src/json_store/mod.rs +0 -38
  108. package/dist-engine-src/src/json_store/store.rs +0 -494
  109. package/dist-engine-src/src/json_store/types.rs +0 -212
  110. package/dist-engine-src/src/lib.rs +0 -92
  111. package/dist-engine-src/src/live_state/context.rs +0 -1883
  112. package/dist-engine-src/src/live_state/mod.rs +0 -21
  113. package/dist-engine-src/src/live_state/overlay.rs +0 -75
  114. package/dist-engine-src/src/live_state/reader.rs +0 -23
  115. package/dist-engine-src/src/live_state/types.rs +0 -231
  116. package/dist-engine-src/src/live_state/visibility.rs +0 -666
  117. package/dist-engine-src/src/plugin/archive.rs +0 -438
  118. package/dist-engine-src/src/plugin/component.rs +0 -183
  119. package/dist-engine-src/src/plugin/install.rs +0 -619
  120. package/dist-engine-src/src/plugin/manifest.rs +0 -516
  121. package/dist-engine-src/src/plugin/materializer.rs +0 -202
  122. package/dist-engine-src/src/plugin/mod.rs +0 -33
  123. package/dist-engine-src/src/plugin/plugin_manifest.json +0 -119
  124. package/dist-engine-src/src/plugin/storage.rs +0 -74
  125. package/dist-engine-src/src/schema/annotations/defaults.rs +0 -275
  126. package/dist-engine-src/src/schema/annotations/mod.rs +0 -1
  127. package/dist-engine-src/src/schema/builtin/lix_account.json +0 -21
  128. package/dist-engine-src/src/schema/builtin/lix_active_account.json +0 -29
  129. package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +0 -29
  130. package/dist-engine-src/src/schema/builtin/lix_branch_descriptor.json +0 -34
  131. package/dist-engine-src/src/schema/builtin/lix_branch_ref.json +0 -48
  132. package/dist-engine-src/src/schema/builtin/lix_change.json +0 -63
  133. package/dist-engine-src/src/schema/builtin/lix_change_author.json +0 -45
  134. package/dist-engine-src/src/schema/builtin/lix_commit.json +0 -24
  135. package/dist-engine-src/src/schema/builtin/lix_commit_edge.json +0 -53
  136. package/dist-engine-src/src/schema/builtin/lix_directory_descriptor.json +0 -52
  137. package/dist-engine-src/src/schema/builtin/lix_file_descriptor.json +0 -52
  138. package/dist-engine-src/src/schema/builtin/lix_key_value.json +0 -40
  139. package/dist-engine-src/src/schema/builtin/lix_label.json +0 -29
  140. package/dist-engine-src/src/schema/builtin/lix_label_assignment.json +0 -74
  141. package/dist-engine-src/src/schema/builtin/lix_registered_schema.json +0 -25
  142. package/dist-engine-src/src/schema/builtin/mod.rs +0 -220
  143. package/dist-engine-src/src/schema/compatibility.rs +0 -787
  144. package/dist-engine-src/src/schema/definition.json +0 -187
  145. package/dist-engine-src/src/schema/definition.rs +0 -742
  146. package/dist-engine-src/src/schema/key.rs +0 -138
  147. package/dist-engine-src/src/schema/mod.rs +0 -20
  148. package/dist-engine-src/src/schema/seed.rs +0 -14
  149. package/dist-engine-src/src/schema/tests.rs +0 -780
  150. package/dist-engine-src/src/session/context.rs +0 -1059
  151. package/dist-engine-src/src/session/create_branch.rs +0 -94
  152. package/dist-engine-src/src/session/execute.rs +0 -681
  153. package/dist-engine-src/src/session/merge/analysis.rs +0 -108
  154. package/dist-engine-src/src/session/merge/branch.rs +0 -417
  155. package/dist-engine-src/src/session/merge/conflicts.rs +0 -63
  156. package/dist-engine-src/src/session/merge/mod.rs +0 -10
  157. package/dist-engine-src/src/session/merge/stats.rs +0 -61
  158. package/dist-engine-src/src/session/mod.rs +0 -30
  159. package/dist-engine-src/src/session/switch_branch.rs +0 -113
  160. package/dist-engine-src/src/session/transaction.rs +0 -557
  161. package/dist-engine-src/src/sql2/bind/classify.rs +0 -102
  162. package/dist-engine-src/src/sql2/bind/error.rs +0 -5
  163. package/dist-engine-src/src/sql2/bind/expr.rs +0 -29
  164. package/dist-engine-src/src/sql2/bind/mod.rs +0 -12
  165. package/dist-engine-src/src/sql2/bind/public_udf.rs +0 -306
  166. package/dist-engine-src/src/sql2/bind/read.rs +0 -65
  167. package/dist-engine-src/src/sql2/bind/statement.rs +0 -2236
  168. package/dist-engine-src/src/sql2/bind/table.rs +0 -273
  169. package/dist-engine-src/src/sql2/bind/write.rs +0 -86
  170. package/dist-engine-src/src/sql2/branch_scope.rs +0 -436
  171. package/dist-engine-src/src/sql2/catalog/capability.rs +0 -20
  172. package/dist-engine-src/src/sql2/catalog/entity_surface.rs +0 -296
  173. package/dist-engine-src/src/sql2/catalog/mod.rs +0 -15
  174. package/dist-engine-src/src/sql2/catalog/registry.rs +0 -556
  175. package/dist-engine-src/src/sql2/catalog/schema.rs +0 -88
  176. package/dist-engine-src/src/sql2/catalog/surface.rs +0 -41
  177. package/dist-engine-src/src/sql2/change_materialization.rs +0 -122
  178. package/dist-engine-src/src/sql2/context.rs +0 -317
  179. package/dist-engine-src/src/sql2/dml.rs +0 -148
  180. package/dist-engine-src/src/sql2/error.rs +0 -215
  181. package/dist-engine-src/src/sql2/exec/bound_public_write.rs +0 -1593
  182. package/dist-engine-src/src/sql2/exec/datafusion.rs +0 -5266
  183. package/dist-engine-src/src/sql2/exec/fast_write.rs +0 -82
  184. package/dist-engine-src/src/sql2/exec/mod.rs +0 -24
  185. package/dist-engine-src/src/sql2/exec/write.rs +0 -661
  186. package/dist-engine-src/src/sql2/filesystem_planner.rs +0 -1485
  187. package/dist-engine-src/src/sql2/filesystem_predicates.rs +0 -159
  188. package/dist-engine-src/src/sql2/filesystem_visibility.rs +0 -383
  189. package/dist-engine-src/src/sql2/history_projection.rs +0 -56
  190. package/dist-engine-src/src/sql2/history_route.rs +0 -661
  191. package/dist-engine-src/src/sql2/mod.rs +0 -52
  192. package/dist-engine-src/src/sql2/optimize/datafusion.rs +0 -1
  193. package/dist-engine-src/src/sql2/optimize/mod.rs +0 -2
  194. package/dist-engine-src/src/sql2/optimize/simple_write.rs +0 -116
  195. package/dist-engine-src/src/sql2/parse/mod.rs +0 -69
  196. package/dist-engine-src/src/sql2/parse/normalize.rs +0 -1
  197. package/dist-engine-src/src/sql2/plan/branch_scope.rs +0 -24
  198. package/dist-engine-src/src/sql2/plan/mod.rs +0 -5
  199. package/dist-engine-src/src/sql2/plan/predicate.rs +0 -22
  200. package/dist-engine-src/src/sql2/plan/write.rs +0 -147
  201. package/dist-engine-src/src/sql2/predicate_typecheck.rs +0 -504
  202. package/dist-engine-src/src/sql2/providers/branch.rs +0 -1206
  203. package/dist-engine-src/src/sql2/providers/change.rs +0 -445
  204. package/dist-engine-src/src/sql2/providers/directory.rs +0 -2422
  205. package/dist-engine-src/src/sql2/providers/directory_history.rs +0 -645
  206. package/dist-engine-src/src/sql2/providers/entity.rs +0 -1484
  207. package/dist-engine-src/src/sql2/providers/entity_history.rs +0 -452
  208. package/dist-engine-src/src/sql2/providers/file.rs +0 -3686
  209. package/dist-engine-src/src/sql2/providers/file_history.rs +0 -924
  210. package/dist-engine-src/src/sql2/providers/history.rs +0 -426
  211. package/dist-engine-src/src/sql2/providers/lix_state.rs +0 -2542
  212. package/dist-engine-src/src/sql2/providers/mod.rs +0 -508
  213. package/dist-engine-src/src/sql2/read_only.rs +0 -63
  214. package/dist-engine-src/src/sql2/record_batch.rs +0 -17
  215. package/dist-engine-src/src/sql2/result_metadata.rs +0 -29
  216. package/dist-engine-src/src/sql2/runtime.rs +0 -60
  217. package/dist-engine-src/src/sql2/session.rs +0 -83
  218. package/dist-engine-src/src/sql2/storage/constraints.rs +0 -1
  219. package/dist-engine-src/src/sql2/storage/mod.rs +0 -1
  220. package/dist-engine-src/src/sql2/test_support/differential.rs +0 -712
  221. package/dist-engine-src/src/sql2/test_support/generators.rs +0 -354
  222. package/dist-engine-src/src/sql2/test_support/mod.rs +0 -2
  223. package/dist-engine-src/src/sql2/udfs/common.rs +0 -295
  224. package/dist-engine-src/src/sql2/udfs/lix_active_branch_commit_id.rs +0 -53
  225. package/dist-engine-src/src/sql2/udfs/lix_empty_blob.rs +0 -47
  226. package/dist-engine-src/src/sql2/udfs/lix_json.rs +0 -100
  227. package/dist-engine-src/src/sql2/udfs/lix_json_get.rs +0 -99
  228. package/dist-engine-src/src/sql2/udfs/lix_json_get_text.rs +0 -99
  229. package/dist-engine-src/src/sql2/udfs/lix_text_decode.rs +0 -82
  230. package/dist-engine-src/src/sql2/udfs/lix_text_encode.rs +0 -85
  231. package/dist-engine-src/src/sql2/udfs/lix_timestamp.rs +0 -76
  232. package/dist-engine-src/src/sql2/udfs/lix_uuid_v7.rs +0 -76
  233. package/dist-engine-src/src/sql2/udfs/mod.rs +0 -86
  234. package/dist-engine-src/src/sql2/write_normalization.rs +0 -368
  235. package/dist-engine-src/src/storage/conformance.rs +0 -399
  236. package/dist-engine-src/src/storage/context.rs +0 -620
  237. package/dist-engine-src/src/storage/mod.rs +0 -52
  238. package/dist-engine-src/src/storage/point.rs +0 -440
  239. package/dist-engine-src/src/storage/read_scope.rs +0 -67
  240. package/dist-engine-src/src/storage/reader.rs +0 -867
  241. package/dist-engine-src/src/storage/scan.rs +0 -784
  242. package/dist-engine-src/src/storage/spaces.rs +0 -236
  243. package/dist-engine-src/src/storage/stats.rs +0 -80
  244. package/dist-engine-src/src/storage/write_set.rs +0 -962
  245. package/dist-engine-src/src/storage_bench.rs +0 -171
  246. package/dist-engine-src/src/test_support.rs +0 -450
  247. package/dist-engine-src/src/tracked_state/bench_support.rs +0 -394
  248. package/dist-engine-src/src/tracked_state/codec.rs +0 -1183
  249. package/dist-engine-src/src/tracked_state/commit_root_rebuild.rs +0 -358
  250. package/dist-engine-src/src/tracked_state/context.rs +0 -2801
  251. package/dist-engine-src/src/tracked_state/diff.rs +0 -2140
  252. package/dist-engine-src/src/tracked_state/merge.rs +0 -478
  253. package/dist-engine-src/src/tracked_state/mod.rs +0 -35
  254. package/dist-engine-src/src/tracked_state/row_materialization.rs +0 -275
  255. package/dist-engine-src/src/tracked_state/storage.rs +0 -427
  256. package/dist-engine-src/src/tracked_state/tree.rs +0 -3063
  257. package/dist-engine-src/src/tracked_state/types.rs +0 -238
  258. package/dist-engine-src/src/transaction/bench_support.rs +0 -407
  259. package/dist-engine-src/src/transaction/commit.rs +0 -1592
  260. package/dist-engine-src/src/transaction/context.rs +0 -1653
  261. package/dist-engine-src/src/transaction/mod.rs +0 -24
  262. package/dist-engine-src/src/transaction/normalization.rs +0 -877
  263. package/dist-engine-src/src/transaction/prep.rs +0 -37
  264. package/dist-engine-src/src/transaction/schema_resolver.rs +0 -163
  265. package/dist-engine-src/src/transaction/staging.rs +0 -1525
  266. package/dist-engine-src/src/transaction/types.rs +0 -403
  267. package/dist-engine-src/src/transaction/validation.rs +0 -5766
  268. package/dist-engine-src/src/untracked_state/codec.rs +0 -615
  269. package/dist-engine-src/src/untracked_state/context.rs +0 -98
  270. package/dist-engine-src/src/untracked_state/materialization.rs +0 -63
  271. package/dist-engine-src/src/untracked_state/mod.rs +0 -15
  272. package/dist-engine-src/src/untracked_state/storage.rs +0 -898
  273. package/dist-engine-src/src/untracked_state/types.rs +0 -146
  274. package/dist-engine-src/src/wasm/mod.rs +0 -60
@@ -1,80 +0,0 @@
1
- use std::ops::Bound;
2
-
3
- use bytes::Bytes;
4
-
5
- use crate::backend::{Key, KeyRange, Prefix};
6
-
7
- #[derive(Clone, Debug, PartialEq, Eq)]
8
- pub struct BackendPredicate {
9
- pub id: PredicateId,
10
- pub expr: PredicateExpr,
11
- }
12
-
13
- #[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
14
- pub struct PredicateId(pub u32);
15
-
16
- #[derive(Clone, Debug, PartialEq, Eq)]
17
- pub enum PredicateExpr {
18
- Key(KeyPredicate),
19
- Header(HeaderPredicate),
20
- Refs(RefsPredicate),
21
- }
22
-
23
- #[derive(Clone, Debug, PartialEq, Eq)]
24
- pub enum KeyPredicate {
25
- Eq(Key),
26
- StartsWith(Prefix),
27
- Range(KeyRange),
28
- }
29
-
30
- #[derive(Clone, Debug, PartialEq, Eq)]
31
- pub enum HeaderPredicate {
32
- FieldEq {
33
- field: HeaderFieldId,
34
- value: ScalarValue,
35
- },
36
- FieldIn {
37
- field: HeaderFieldId,
38
- values: Vec<ScalarValue>,
39
- },
40
- FieldRange {
41
- field: HeaderFieldId,
42
- lower: Bound<ScalarValue>,
43
- upper: Bound<ScalarValue>,
44
- },
45
- IsDeleted(bool),
46
- }
47
-
48
- #[derive(Clone, Debug, PartialEq, Eq)]
49
- pub enum RefsPredicate {
50
- HasRef { kind: RefKind, value: Bytes },
51
- }
52
-
53
- #[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
54
- pub struct HeaderFieldId(pub u16);
55
-
56
- #[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
57
- pub struct RefKind(pub u16);
58
-
59
- #[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord)]
60
- pub enum ScalarValue {
61
- Bool(bool),
62
- U64(u64),
63
- I64(i64),
64
- Bytes(Bytes),
65
- }
66
-
67
- #[derive(Clone, Copy, Debug, PartialEq, Eq)]
68
- pub enum Support {
69
- Exact,
70
- Inexact,
71
- Unsupported,
72
- }
73
-
74
- #[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
75
- pub enum PredicateSupportLevel {
76
- #[default]
77
- None,
78
- Inexact,
79
- Exact,
80
- }
@@ -1,260 +0,0 @@
1
- use crate::backend::{
2
- BackendCapabilities, BackendError, CommitResult, GetManyResult, GetOptions, Key, KeyRange,
3
- KeyRef, ProjectedValue, ProjectedValueRef, PutBatch, ReadEntry, ReadOptions, ScanOptions,
4
- ScanResult, WriteOptions,
5
- };
6
- use std::sync::Arc;
7
-
8
- /// Process-local write lane for one backend durable target.
9
- ///
10
- /// This type intentionally hides the async mutex implementation from the
11
- /// public `Backend` contract while preserving a cloneable handle that backend
12
- /// implementations can share across cloned or reopened handles.
13
- #[derive(Clone)]
14
- pub struct DurableWriteLock {
15
- inner: Arc<tokio::sync::Mutex<()>>,
16
- }
17
-
18
- impl std::fmt::Debug for DurableWriteLock {
19
- fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
20
- f.debug_struct("DurableWriteLock").finish_non_exhaustive()
21
- }
22
- }
23
-
24
- impl DurableWriteLock {
25
- pub fn new() -> Self {
26
- Self {
27
- inner: Arc::new(tokio::sync::Mutex::new(())),
28
- }
29
- }
30
-
31
- pub async fn lock_owned(&self) -> DurableWriteGuard {
32
- DurableWriteGuard {
33
- _guard: Arc::clone(&self.inner).lock_owned().await,
34
- }
35
- }
36
-
37
- pub fn ptr_eq(&self, other: &Self) -> bool {
38
- Arc::ptr_eq(&self.inner, &other.inner)
39
- }
40
- }
41
-
42
- impl Default for DurableWriteLock {
43
- fn default() -> Self {
44
- Self::new()
45
- }
46
- }
47
-
48
- pub struct DurableWriteGuard {
49
- _guard: tokio::sync::OwnedMutexGuard<()>,
50
- }
51
-
52
- pub trait Backend {
53
- type Read<'a>: BackendRead + 'a
54
- where
55
- Self: 'a;
56
-
57
- type Write<'a>: BackendWrite + 'a
58
- where
59
- Self: 'a;
60
-
61
- fn capabilities(&self) -> BackendCapabilities;
62
-
63
- fn begin_read(&self, opts: ReadOptions) -> Result<Self::Read<'_>, BackendError>;
64
-
65
- fn begin_write(&self, opts: WriteOptions) -> Result<Self::Write<'_>, BackendError>;
66
-
67
- /// Serializes engine-level durable writes for this backend's durable target.
68
- ///
69
- /// Clones or independently opened handles for the same durable target must
70
- /// return the same lock. Handles for independent targets may return
71
- /// independent locks.
72
- ///
73
- /// This lock is a process-local write lane, not a durability mechanism.
74
- /// Crash recovery, fsync policy, and cross-process serialization are backend
75
- /// responsibilities in the MVP.
76
- fn durable_write_lock(&self) -> DurableWriteLock;
77
- }
78
-
79
- pub trait BackendRead {
80
- type RangeScan<'cursor>: BackendRangeScan;
81
-
82
- fn visit_keys<V>(
83
- &self,
84
- keys: &[Key],
85
- opts: GetOptions<'_>,
86
- visitor: &mut V,
87
- ) -> Result<(), BackendError>
88
- where
89
- V: PointVisitor + ?Sized;
90
-
91
- fn with_range_scan<T, F>(
92
- &self,
93
- range: KeyRange,
94
- opts: ScanOptions<'_>,
95
- f: F,
96
- ) -> Result<T, BackendError>
97
- where
98
- F: FnOnce(&mut Self::RangeScan<'_>) -> Result<T, BackendError>;
99
-
100
- fn close(self) -> Result<(), BackendError>
101
- where
102
- Self: Sized,
103
- {
104
- Ok(())
105
- }
106
- }
107
-
108
- pub trait ScanVisitor {
109
- fn visit(&mut self, key: KeyRef<'_>, value: ProjectedValueRef<'_>) -> Result<(), BackendError>;
110
- }
111
-
112
- pub trait BackendRangeScan {
113
- fn visit_next<V>(
114
- &mut self,
115
- limit_rows: usize,
116
- visitor: &mut V,
117
- ) -> Result<ScanResult, BackendError>
118
- where
119
- V: ScanVisitor + ?Sized;
120
- }
121
-
122
- #[derive(Clone, Debug, Default)]
123
- pub struct BufferedRangeScan {
124
- rows: Vec<ReadEntry>,
125
- position: usize,
126
- }
127
-
128
- impl BufferedRangeScan {
129
- pub fn new(rows: Vec<ReadEntry>) -> Self {
130
- Self { rows, position: 0 }
131
- }
132
- }
133
-
134
- impl BackendRangeScan for BufferedRangeScan {
135
- fn visit_next<V>(
136
- &mut self,
137
- limit_rows: usize,
138
- visitor: &mut V,
139
- ) -> Result<ScanResult, BackendError>
140
- where
141
- V: ScanVisitor + ?Sized,
142
- {
143
- if limit_rows == 0 {
144
- return Ok(ScanResult::default());
145
- }
146
-
147
- let mut emitted = 0usize;
148
- while emitted < limit_rows {
149
- let Some(entry) = self.rows.get(self.position) else {
150
- break;
151
- };
152
- visitor.visit(entry.key.as_ref(), entry.value.as_ref())?;
153
- self.position += 1;
154
- emitted += 1;
155
- }
156
-
157
- Ok(ScanResult {
158
- emitted,
159
- has_more: self.position < self.rows.len(),
160
- })
161
- }
162
- }
163
-
164
- pub trait PointVisitor {
165
- fn visit(
166
- &mut self,
167
- index: usize,
168
- key: &Key,
169
- value: Option<ProjectedValueRef<'_>>,
170
- ) -> Result<(), BackendError>;
171
- }
172
-
173
- pub fn get_many<R>(
174
- read: &R,
175
- keys: &[Key],
176
- opts: GetOptions<'_>,
177
- ) -> Result<GetManyResult, BackendError>
178
- where
179
- R: BackendRead + ?Sized,
180
- {
181
- struct MaterializingPointVisitor<'a> {
182
- values: &'a mut [Option<ProjectedValue>],
183
- }
184
-
185
- impl PointVisitor for MaterializingPointVisitor<'_> {
186
- fn visit(
187
- &mut self,
188
- index: usize,
189
- _key: &Key,
190
- value: Option<ProjectedValueRef<'_>>,
191
- ) -> Result<(), BackendError> {
192
- if let Some(slot) = self.values.get_mut(index) {
193
- *slot = value.map(|value| value.to_owned());
194
- }
195
- Ok(())
196
- }
197
- }
198
-
199
- let mut values = vec![None::<ProjectedValue>; keys.len()];
200
- read.visit_keys(
201
- keys,
202
- opts,
203
- &mut MaterializingPointVisitor {
204
- values: values.as_mut_slice(),
205
- },
206
- )?;
207
- Ok(GetManyResult::new(values))
208
- }
209
-
210
- pub fn visit_range<R>(
211
- read: &R,
212
- range: KeyRange,
213
- opts: ScanOptions<'_>,
214
- visitor: &mut dyn ScanVisitor,
215
- ) -> Result<ScanResult, BackendError>
216
- where
217
- R: BackendRead,
218
- {
219
- let limit_rows = opts.limit_rows;
220
- read.with_range_scan(range, opts, |cursor| cursor.visit_next(limit_rows, visitor))
221
- }
222
-
223
- impl<F> ScanVisitor for F
224
- where
225
- F: for<'a> FnMut(KeyRef<'a>, ProjectedValueRef<'a>) -> Result<(), BackendError>,
226
- {
227
- fn visit(&mut self, key: KeyRef<'_>, value: ProjectedValueRef<'_>) -> Result<(), BackendError> {
228
- self(key, value)
229
- }
230
- }
231
-
232
- impl<F> PointVisitor for F
233
- where
234
- F: for<'a> FnMut(usize, &Key, Option<ProjectedValueRef<'a>>) -> Result<(), BackendError>,
235
- {
236
- fn visit(
237
- &mut self,
238
- index: usize,
239
- key: &Key,
240
- value: Option<ProjectedValueRef<'_>>,
241
- ) -> Result<(), BackendError> {
242
- self(index, key, value)
243
- }
244
- }
245
-
246
- pub trait BackendWrite {
247
- fn put_many(&mut self, entries: PutBatch) -> Result<(), BackendError>;
248
-
249
- fn delete_many(&mut self, keys: &[Key]) -> Result<(), BackendError>;
250
-
251
- fn delete_range(&mut self, range: KeyRange) -> Result<(), BackendError>;
252
-
253
- fn commit(self) -> Result<CommitResult, BackendError>
254
- where
255
- Self: Sized;
256
-
257
- fn rollback(self) -> Result<(), BackendError>
258
- where
259
- Self: Sized;
260
- }
@@ -1,239 +0,0 @@
1
- use std::ops::Bound;
2
-
3
- use bytes::Bytes;
4
-
5
- use crate::backend::BackendError;
6
-
7
- #[derive(Clone, Copy, Debug, PartialEq, Eq, Hash, PartialOrd, Ord)]
8
- pub struct SpaceId(pub u32);
9
-
10
- #[derive(Clone, Debug, PartialEq, Eq, Hash, PartialOrd, Ord)]
11
- pub struct Key(pub Bytes);
12
-
13
- #[derive(Clone, Copy, Debug, PartialEq, Eq, Hash, PartialOrd, Ord)]
14
- pub struct KeyRef<'a>(pub &'a [u8]);
15
-
16
- #[derive(Clone, Debug, PartialEq, Eq)]
17
- pub struct Value(pub Bytes);
18
-
19
- #[derive(Clone, Debug, PartialEq, Eq)]
20
- pub struct ReadEntry {
21
- pub key: Key,
22
- pub value: ProjectedValue,
23
- }
24
-
25
- #[derive(Clone, Debug, PartialEq, Eq)]
26
- pub struct PutEntry {
27
- pub key: Key,
28
- pub value: StoredValue,
29
- }
30
-
31
- #[derive(Clone, Debug, Default, PartialEq, Eq)]
32
- pub struct PutBatch {
33
- pub entries: Vec<PutEntry>,
34
- }
35
-
36
- #[derive(Clone, Debug, PartialEq, Eq)]
37
- pub struct StoredValue {
38
- pub bytes: Bytes,
39
- }
40
-
41
- #[derive(Clone, Debug, PartialEq, Eq)]
42
- pub struct KeyRange {
43
- pub lower: Bound<Key>,
44
- pub upper: Bound<Key>,
45
- }
46
-
47
- #[derive(Clone, Debug, PartialEq, Eq)]
48
- pub struct Prefix {
49
- pub bytes: Bytes,
50
- }
51
-
52
- #[derive(Clone, Copy, Debug, PartialEq, Eq)]
53
- pub struct GetOptions<'a> {
54
- pub projection: CoreProjection,
55
- pub _reserved: std::marker::PhantomData<&'a ()>,
56
- }
57
-
58
- #[derive(Clone, Copy, Debug, PartialEq, Eq)]
59
- pub struct ScanOptions<'a> {
60
- pub projection: CoreProjection,
61
- pub limit_rows: usize,
62
- pub resume_after: Option<&'a Key>,
63
- }
64
-
65
- #[derive(Clone, Debug, PartialEq, Eq)]
66
- pub struct ScanChunk {
67
- pub entries: Vec<ReadEntry>,
68
- pub has_more: bool,
69
- }
70
-
71
- #[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
72
- pub struct ScanResult {
73
- pub emitted: usize,
74
- pub has_more: bool,
75
- }
76
-
77
- #[derive(Clone, Debug, PartialEq, Eq)]
78
- pub struct GetManyResult {
79
- /// One slot per key passed to `get_many`, in caller order.
80
- ///
81
- /// Duplicates are preserved. `None` means the requested key was missing.
82
- pub values: Vec<Option<ProjectedValue>>,
83
- }
84
-
85
- #[derive(Clone, Copy, Debug, PartialEq, Eq)]
86
- pub enum CoreProjection {
87
- KeyOnly,
88
- FullValue,
89
- }
90
-
91
- #[derive(Clone, Debug, PartialEq, Eq)]
92
- pub enum ProjectedValue {
93
- KeyOnly,
94
- FullValue(Bytes),
95
- }
96
-
97
- #[derive(Clone, Copy, Debug, PartialEq, Eq)]
98
- pub enum ProjectedValueRef<'a> {
99
- KeyOnly,
100
- FullValue(&'a [u8]),
101
- }
102
-
103
- impl ProjectedValueRef<'_> {
104
- pub fn to_owned(self) -> ProjectedValue {
105
- match self {
106
- ProjectedValueRef::KeyOnly => ProjectedValue::KeyOnly,
107
- ProjectedValueRef::FullValue(value) => {
108
- ProjectedValue::FullValue(Bytes::copy_from_slice(value))
109
- }
110
- }
111
- }
112
- }
113
-
114
- impl ProjectedValue {
115
- pub fn as_ref(&self) -> ProjectedValueRef<'_> {
116
- match self {
117
- ProjectedValue::KeyOnly => ProjectedValueRef::KeyOnly,
118
- ProjectedValue::FullValue(value) => ProjectedValueRef::FullValue(value.as_ref()),
119
- }
120
- }
121
- }
122
-
123
- impl<'a> KeyRef<'a> {
124
- pub fn as_bytes(self) -> &'a [u8] {
125
- self.0
126
- }
127
-
128
- pub fn to_owned_key(self) -> Key {
129
- Key(Bytes::copy_from_slice(self.0))
130
- }
131
- }
132
-
133
- impl Key {
134
- pub fn as_ref(&self) -> KeyRef<'_> {
135
- KeyRef(self.0.as_ref())
136
- }
137
- }
138
-
139
- #[derive(Clone, Debug, Default, PartialEq, Eq)]
140
- pub struct ReadOptions {
141
- pub snapshot: Option<SnapshotRef>,
142
- pub consistency: ReadConsistency,
143
- }
144
-
145
- #[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
146
- pub enum ReadConsistency {
147
- #[default]
148
- Snapshot,
149
- StaleOk,
150
- Latest,
151
- }
152
-
153
- #[derive(Clone, Debug, Default, PartialEq, Eq)]
154
- pub struct WriteOptions {
155
- pub base_snapshot: Option<SnapshotRef>,
156
- pub durability: Durability,
157
- pub idempotency_key: Option<Bytes>,
158
- }
159
-
160
- #[derive(Clone, Debug, PartialEq, Eq)]
161
- pub struct SnapshotRef(pub Bytes);
162
-
163
- #[derive(Clone, Copy, Debug, Default, PartialEq, Eq)]
164
- pub enum Durability {
165
- #[default]
166
- Durable,
167
- }
168
-
169
- #[derive(Clone, Debug, Default, PartialEq, Eq)]
170
- pub struct WriteStats {
171
- pub put_entries: u64,
172
- pub deleted_entries: u64,
173
- pub deleted_ranges: u64,
174
- pub written_bytes: u64,
175
- pub backend_calls: u64,
176
- }
177
-
178
- #[derive(Clone, Debug, PartialEq, Eq)]
179
- pub struct CommitResult {
180
- pub commit_id: Option<Bytes>,
181
- pub stats: WriteStats,
182
- }
183
-
184
- impl Prefix {
185
- pub fn to_range(&self) -> Result<KeyRange, BackendError> {
186
- let lower = Key(self.bytes.clone());
187
- let mut upper = self.bytes.to_vec();
188
-
189
- while let Some(last) = upper.last_mut() {
190
- if *last == u8::MAX {
191
- upper.pop();
192
- } else {
193
- *last += 1;
194
- return Ok(KeyRange {
195
- lower: Bound::Included(lower),
196
- upper: Bound::Excluded(Key(Bytes::from(upper))),
197
- });
198
- }
199
- }
200
-
201
- Ok(KeyRange {
202
- lower: Bound::Included(lower),
203
- upper: Bound::Unbounded,
204
- })
205
- }
206
- }
207
-
208
- impl Default for GetOptions<'_> {
209
- fn default() -> Self {
210
- Self {
211
- projection: CoreProjection::FullValue,
212
- _reserved: std::marker::PhantomData,
213
- }
214
- }
215
- }
216
-
217
- impl GetManyResult {
218
- pub fn new(values: Vec<Option<ProjectedValue>>) -> Self {
219
- Self { values }
220
- }
221
-
222
- pub fn entries_for_requested_keys(&self, keys: &[Key]) -> Vec<ReadEntry> {
223
- keys.iter()
224
- .cloned()
225
- .zip(self.values.iter().cloned())
226
- .filter_map(|(key, value)| value.map(|value| ReadEntry { key, value }))
227
- .collect()
228
- }
229
- }
230
-
231
- impl Default for ScanOptions<'_> {
232
- fn default() -> Self {
233
- Self {
234
- projection: CoreProjection::FullValue,
235
- limit_rows: 1024,
236
- resume_after: None,
237
- }
238
- }
239
- }
@@ -1,31 +0,0 @@
1
- const FASTCDC_MIN_CHUNK_BYTES: usize = 16 * 1024;
2
- const FASTCDC_AVG_CHUNK_BYTES: usize = 64 * 1024;
3
- const FASTCDC_MAX_CHUNK_BYTES: usize = 256 * 1024;
4
- const SINGLE_CHUNK_FAST_PATH_MAX_BYTES: usize = 64 * 1024;
5
-
6
- #[allow(dead_code)]
7
- pub(crate) fn should_materialize_chunk_cas(data: &[u8]) -> bool {
8
- data.len() > SINGLE_CHUNK_FAST_PATH_MAX_BYTES
9
- }
10
-
11
- pub(crate) fn fastcdc_chunk_ranges(data: &[u8]) -> Vec<(usize, usize)> {
12
- if data.is_empty() {
13
- return Vec::new();
14
- }
15
- if data.len() <= SINGLE_CHUNK_FAST_PATH_MAX_BYTES {
16
- return vec![(0, data.len())];
17
- }
18
-
19
- fastcdc::v2020::FastCDC::new(
20
- data,
21
- FASTCDC_MIN_CHUNK_BYTES as u32,
22
- FASTCDC_AVG_CHUNK_BYTES as u32,
23
- FASTCDC_MAX_CHUNK_BYTES as u32,
24
- )
25
- .map(|chunk| {
26
- let start = chunk.offset as usize;
27
- let end = start + (chunk.length as usize);
28
- (start, end)
29
- })
30
- .collect()
31
- }