@lix-js/sdk 0.6.0-preview.1 → 0.6.0-preview.3

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 (205) hide show
  1. package/SKILL.md +304 -320
  2. package/dist/engine-wasm/wasm/lix_engine.d.ts +5 -0
  3. package/dist/engine-wasm/wasm/lix_engine.js +9 -13
  4. package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
  5. package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +1 -0
  6. package/dist/generated/builtin-schemas.d.ts +87 -162
  7. package/dist/generated/builtin-schemas.js +139 -236
  8. package/dist/open-lix.d.ts +103 -14
  9. package/dist/open-lix.js +3 -0
  10. package/dist/sqlite/index.js +99 -22
  11. package/dist-engine-src/README.md +18 -0
  12. package/dist-engine-src/src/backend/kv.rs +358 -0
  13. package/dist-engine-src/src/backend/mod.rs +12 -0
  14. package/dist-engine-src/src/backend/testing.rs +658 -0
  15. package/dist-engine-src/src/backend/types.rs +96 -0
  16. package/dist-engine-src/src/binary_cas/chunking.rs +31 -0
  17. package/dist-engine-src/src/binary_cas/codec.rs +346 -0
  18. package/dist-engine-src/src/binary_cas/context.rs +139 -0
  19. package/dist-engine-src/src/binary_cas/kv.rs +1063 -0
  20. package/dist-engine-src/src/binary_cas/mod.rs +11 -0
  21. package/dist-engine-src/src/binary_cas/types.rs +121 -0
  22. package/dist-engine-src/src/catalog/context.rs +412 -0
  23. package/dist-engine-src/src/catalog/mod.rs +10 -0
  24. package/dist-engine-src/src/catalog/schema.rs +4 -0
  25. package/dist-engine-src/src/catalog/snapshot.rs +1114 -0
  26. package/dist-engine-src/src/cel/context.rs +86 -0
  27. package/dist-engine-src/src/cel/error.rs +19 -0
  28. package/dist-engine-src/src/cel/mod.rs +8 -0
  29. package/dist-engine-src/src/cel/provider.rs +9 -0
  30. package/dist-engine-src/src/cel/runtime.rs +167 -0
  31. package/dist-engine-src/src/cel/value.rs +50 -0
  32. package/dist-engine-src/src/commit_graph/context.rs +901 -0
  33. package/dist-engine-src/src/commit_graph/mod.rs +11 -0
  34. package/dist-engine-src/src/commit_graph/types.rs +109 -0
  35. package/dist-engine-src/src/commit_graph/walker.rs +756 -0
  36. package/dist-engine-src/src/commit_store/codec.rs +887 -0
  37. package/dist-engine-src/src/commit_store/context.rs +944 -0
  38. package/dist-engine-src/src/commit_store/materialization.rs +84 -0
  39. package/dist-engine-src/src/commit_store/mod.rs +16 -0
  40. package/dist-engine-src/src/commit_store/storage.rs +600 -0
  41. package/dist-engine-src/src/commit_store/types.rs +215 -0
  42. package/dist-engine-src/src/common/error.rs +313 -0
  43. package/dist-engine-src/src/common/fingerprint.rs +3 -0
  44. package/dist-engine-src/src/common/fs_path.rs +1336 -0
  45. package/dist-engine-src/src/common/identity.rs +145 -0
  46. package/dist-engine-src/src/common/json_pointer.rs +67 -0
  47. package/dist-engine-src/src/common/metadata.rs +40 -0
  48. package/dist-engine-src/src/common/mod.rs +23 -0
  49. package/dist-engine-src/src/common/types.rs +105 -0
  50. package/dist-engine-src/src/common/wire.rs +222 -0
  51. package/dist-engine-src/src/domain.rs +324 -0
  52. package/dist-engine-src/src/engine.rs +225 -0
  53. package/dist-engine-src/src/entity_identity.rs +405 -0
  54. package/dist-engine-src/src/functions/context.rs +292 -0
  55. package/dist-engine-src/src/functions/deterministic.rs +113 -0
  56. package/dist-engine-src/src/functions/mod.rs +18 -0
  57. package/dist-engine-src/src/functions/provider.rs +130 -0
  58. package/dist-engine-src/src/functions/state.rs +336 -0
  59. package/dist-engine-src/src/functions/types.rs +37 -0
  60. package/dist-engine-src/src/init.rs +558 -0
  61. package/dist-engine-src/src/json_store/compression.rs +77 -0
  62. package/dist-engine-src/src/json_store/context.rs +423 -0
  63. package/dist-engine-src/src/json_store/encoded.rs +15 -0
  64. package/dist-engine-src/src/json_store/mod.rs +12 -0
  65. package/dist-engine-src/src/json_store/store.rs +1109 -0
  66. package/dist-engine-src/src/json_store/types.rs +217 -0
  67. package/dist-engine-src/src/lib.rs +62 -0
  68. package/dist-engine-src/src/live_state/context.rs +2019 -0
  69. package/dist-engine-src/src/live_state/mod.rs +15 -0
  70. package/dist-engine-src/src/live_state/overlay.rs +75 -0
  71. package/dist-engine-src/src/live_state/reader.rs +23 -0
  72. package/dist-engine-src/src/live_state/types.rs +222 -0
  73. package/dist-engine-src/src/live_state/visibility.rs +223 -0
  74. package/dist-engine-src/src/plugin/archive.rs +438 -0
  75. package/dist-engine-src/src/plugin/component.rs +183 -0
  76. package/dist-engine-src/src/plugin/install.rs +619 -0
  77. package/dist-engine-src/src/plugin/manifest.rs +516 -0
  78. package/dist-engine-src/src/plugin/materializer.rs +477 -0
  79. package/dist-engine-src/src/plugin/mod.rs +33 -0
  80. package/dist-engine-src/src/plugin/plugin_manifest.json +118 -0
  81. package/dist-engine-src/src/plugin/storage.rs +74 -0
  82. package/dist-engine-src/src/schema/annotations/defaults.rs +275 -0
  83. package/dist-engine-src/src/schema/annotations/mod.rs +1 -0
  84. package/dist-engine-src/src/schema/builtin/lix_account.json +21 -0
  85. package/dist-engine-src/src/schema/builtin/lix_active_account.json +29 -0
  86. package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +29 -0
  87. package/dist-engine-src/src/schema/builtin/lix_change.json +63 -0
  88. package/dist-engine-src/src/schema/builtin/lix_change_author.json +45 -0
  89. package/dist-engine-src/src/schema/builtin/lix_commit.json +24 -0
  90. package/dist-engine-src/src/schema/builtin/lix_commit_edge.json +53 -0
  91. package/dist-engine-src/src/schema/builtin/lix_directory_descriptor.json +52 -0
  92. package/dist-engine-src/src/schema/builtin/lix_file_descriptor.json +52 -0
  93. package/dist-engine-src/src/schema/builtin/lix_key_value.json +40 -0
  94. package/dist-engine-src/src/schema/builtin/lix_label.json +29 -0
  95. package/dist-engine-src/src/schema/builtin/lix_label_assignment.json +74 -0
  96. package/dist-engine-src/src/schema/builtin/lix_registered_schema.json +25 -0
  97. package/dist-engine-src/src/schema/builtin/lix_version_descriptor.json +34 -0
  98. package/dist-engine-src/src/schema/builtin/lix_version_ref.json +48 -0
  99. package/dist-engine-src/src/schema/builtin/mod.rs +222 -0
  100. package/dist-engine-src/src/schema/compatibility.rs +787 -0
  101. package/dist-engine-src/src/schema/definition.json +187 -0
  102. package/dist-engine-src/src/schema/definition.rs +742 -0
  103. package/dist-engine-src/src/schema/key.rs +138 -0
  104. package/dist-engine-src/src/schema/mod.rs +20 -0
  105. package/dist-engine-src/src/schema/seed.rs +14 -0
  106. package/dist-engine-src/src/schema/tests.rs +780 -0
  107. package/dist-engine-src/src/session/context.rs +364 -0
  108. package/dist-engine-src/src/session/create_version.rs +88 -0
  109. package/dist-engine-src/src/session/execute.rs +478 -0
  110. package/dist-engine-src/src/session/merge/analysis.rs +102 -0
  111. package/dist-engine-src/src/session/merge/apply.rs +23 -0
  112. package/dist-engine-src/src/session/merge/conflicts.rs +63 -0
  113. package/dist-engine-src/src/session/merge/mod.rs +11 -0
  114. package/dist-engine-src/src/session/merge/stats.rs +65 -0
  115. package/dist-engine-src/src/session/merge/version.rs +427 -0
  116. package/dist-engine-src/src/session/mod.rs +27 -0
  117. package/dist-engine-src/src/session/optimization9_sql2_bench.rs +100 -0
  118. package/dist-engine-src/src/session/switch_version.rs +109 -0
  119. package/dist-engine-src/src/sql2/change_provider.rs +331 -0
  120. package/dist-engine-src/src/sql2/classify.rs +182 -0
  121. package/dist-engine-src/src/sql2/context.rs +311 -0
  122. package/dist-engine-src/src/sql2/directory_history_provider.rs +631 -0
  123. package/dist-engine-src/src/sql2/directory_provider.rs +2453 -0
  124. package/dist-engine-src/src/sql2/dml.rs +148 -0
  125. package/dist-engine-src/src/sql2/entity_history_provider.rs +440 -0
  126. package/dist-engine-src/src/sql2/entity_provider.rs +3211 -0
  127. package/dist-engine-src/src/sql2/error.rs +216 -0
  128. package/dist-engine-src/src/sql2/execute.rs +3440 -0
  129. package/dist-engine-src/src/sql2/file_history_provider.rs +910 -0
  130. package/dist-engine-src/src/sql2/file_provider.rs +3679 -0
  131. package/dist-engine-src/src/sql2/filesystem_planner.rs +1490 -0
  132. package/dist-engine-src/src/sql2/filesystem_predicates.rs +159 -0
  133. package/dist-engine-src/src/sql2/filesystem_visibility.rs +383 -0
  134. package/dist-engine-src/src/sql2/history_projection.rs +56 -0
  135. package/dist-engine-src/src/sql2/history_provider.rs +412 -0
  136. package/dist-engine-src/src/sql2/history_route.rs +657 -0
  137. package/dist-engine-src/src/sql2/lix_state_provider.rs +2512 -0
  138. package/dist-engine-src/src/sql2/mod.rs +46 -0
  139. package/dist-engine-src/src/sql2/predicate_typecheck.rs +246 -0
  140. package/dist-engine-src/src/sql2/public_bind/assignment.rs +46 -0
  141. package/dist-engine-src/src/sql2/public_bind/capability.rs +41 -0
  142. package/dist-engine-src/src/sql2/public_bind/dml.rs +166 -0
  143. package/dist-engine-src/src/sql2/public_bind/mod.rs +25 -0
  144. package/dist-engine-src/src/sql2/public_bind/table.rs +168 -0
  145. package/dist-engine-src/src/sql2/read_only.rs +63 -0
  146. package/dist-engine-src/src/sql2/record_batch.rs +17 -0
  147. package/dist-engine-src/src/sql2/result_metadata.rs +29 -0
  148. package/dist-engine-src/src/sql2/runtime.rs +60 -0
  149. package/dist-engine-src/src/sql2/session.rs +132 -0
  150. package/dist-engine-src/src/sql2/udfs/common.rs +295 -0
  151. package/dist-engine-src/src/sql2/udfs/lix_active_version_commit_id.rs +53 -0
  152. package/dist-engine-src/src/sql2/udfs/lix_empty_blob.rs +47 -0
  153. package/dist-engine-src/src/sql2/udfs/lix_json.rs +100 -0
  154. package/dist-engine-src/src/sql2/udfs/lix_json_get.rs +99 -0
  155. package/dist-engine-src/src/sql2/udfs/lix_json_get_text.rs +99 -0
  156. package/dist-engine-src/src/sql2/udfs/lix_text_decode.rs +82 -0
  157. package/dist-engine-src/src/sql2/udfs/lix_text_encode.rs +85 -0
  158. package/dist-engine-src/src/sql2/udfs/lix_timestamp.rs +76 -0
  159. package/dist-engine-src/src/sql2/udfs/lix_uuid_v7.rs +76 -0
  160. package/dist-engine-src/src/sql2/udfs/mod.rs +89 -0
  161. package/dist-engine-src/src/sql2/udfs/public_call.rs +211 -0
  162. package/dist-engine-src/src/sql2/version_provider.rs +1202 -0
  163. package/dist-engine-src/src/sql2/version_scope.rs +394 -0
  164. package/dist-engine-src/src/sql2/write_normalization.rs +345 -0
  165. package/dist-engine-src/src/storage/context.rs +356 -0
  166. package/dist-engine-src/src/storage/mod.rs +14 -0
  167. package/dist-engine-src/src/storage/read_scope.rs +88 -0
  168. package/dist-engine-src/src/storage/types.rs +501 -0
  169. package/dist-engine-src/src/storage_bench.rs +4863 -0
  170. package/dist-engine-src/src/test_support.rs +228 -0
  171. package/dist-engine-src/src/tracked_state/by_file_index.rs +98 -0
  172. package/dist-engine-src/src/tracked_state/codec.rs +2085 -0
  173. package/dist-engine-src/src/tracked_state/context.rs +1867 -0
  174. package/dist-engine-src/src/tracked_state/diff.rs +686 -0
  175. package/dist-engine-src/src/tracked_state/materialization.rs +403 -0
  176. package/dist-engine-src/src/tracked_state/materializer.rs +488 -0
  177. package/dist-engine-src/src/tracked_state/merge.rs +492 -0
  178. package/dist-engine-src/src/tracked_state/mod.rs +32 -0
  179. package/dist-engine-src/src/tracked_state/storage.rs +375 -0
  180. package/dist-engine-src/src/tracked_state/tree.rs +3187 -0
  181. package/dist-engine-src/src/tracked_state/types.rs +231 -0
  182. package/dist-engine-src/src/transaction/commit.rs +1484 -0
  183. package/dist-engine-src/src/transaction/context.rs +1548 -0
  184. package/dist-engine-src/src/transaction/live_state_overlay.rs +35 -0
  185. package/dist-engine-src/src/transaction/mod.rs +13 -0
  186. package/dist-engine-src/src/transaction/normalization.rs +890 -0
  187. package/dist-engine-src/src/transaction/prep.rs +37 -0
  188. package/dist-engine-src/src/transaction/schema_resolver.rs +149 -0
  189. package/dist-engine-src/src/transaction/staging.rs +1731 -0
  190. package/dist-engine-src/src/transaction/types.rs +460 -0
  191. package/dist-engine-src/src/transaction/validation.rs +5830 -0
  192. package/dist-engine-src/src/untracked_state/codec.rs +307 -0
  193. package/dist-engine-src/src/untracked_state/context.rs +98 -0
  194. package/dist-engine-src/src/untracked_state/materialization.rs +63 -0
  195. package/dist-engine-src/src/untracked_state/mod.rs +15 -0
  196. package/dist-engine-src/src/untracked_state/storage.rs +396 -0
  197. package/dist-engine-src/src/untracked_state/types.rs +146 -0
  198. package/dist-engine-src/src/version/context.rs +40 -0
  199. package/dist-engine-src/src/version/lifecycle.rs +221 -0
  200. package/dist-engine-src/src/version/mod.rs +13 -0
  201. package/dist-engine-src/src/version/refs.rs +330 -0
  202. package/dist-engine-src/src/version/stage_rows.rs +67 -0
  203. package/dist-engine-src/src/version/types.rs +21 -0
  204. package/dist-engine-src/src/wasm/mod.rs +60 -0
  205. package/package.json +68 -64
@@ -0,0 +1,88 @@
1
+ use std::sync::Arc;
2
+
3
+ use crate::storage::{
4
+ KvEntryPage, KvExistsBatch, KvGetRequest, KvKeyPage, KvScanRequest, KvValueBatch, KvValuePage,
5
+ StorageReadTransaction, StorageReader,
6
+ };
7
+ use crate::LixError;
8
+ use tokio::sync::Mutex;
9
+
10
+ /// Shared read visibility over one KV store handle.
11
+ ///
12
+ /// This lets multiple subsystem readers share the same transaction/backend view
13
+ /// even when the underlying handle itself is not cloneable.
14
+ pub(crate) struct StorageReadScope<S> {
15
+ store: Arc<Mutex<S>>,
16
+ }
17
+
18
+ impl<S> StorageReadScope<S>
19
+ where
20
+ S: StorageReader,
21
+ {
22
+ pub(crate) fn new(store: S) -> Self {
23
+ Self {
24
+ store: Arc::new(Mutex::new(store)),
25
+ }
26
+ }
27
+
28
+ pub(crate) fn store(&self) -> ScopedStorageReader<S> {
29
+ ScopedStorageReader {
30
+ store: Arc::clone(&self.store),
31
+ }
32
+ }
33
+ }
34
+
35
+ impl StorageReadScope<Box<dyn StorageReadTransaction + Send + Sync + 'static>> {
36
+ pub(crate) async fn rollback(self) -> Result<(), LixError> {
37
+ let store = Arc::try_unwrap(self.store).map_err(|_| {
38
+ LixError::new(
39
+ "LIX_ERROR_UNKNOWN",
40
+ "cannot close storage read scope while scoped readers are still alive",
41
+ )
42
+ })?;
43
+ store.into_inner().rollback().await
44
+ }
45
+ }
46
+
47
+ pub(crate) struct ScopedStorageReader<S> {
48
+ store: Arc<Mutex<S>>,
49
+ }
50
+
51
+ impl<S> Clone for ScopedStorageReader<S> {
52
+ fn clone(&self) -> Self {
53
+ Self {
54
+ store: Arc::clone(&self.store),
55
+ }
56
+ }
57
+ }
58
+
59
+ #[async_trait::async_trait]
60
+ impl<S> StorageReader for ScopedStorageReader<S>
61
+ where
62
+ S: StorageReader,
63
+ {
64
+ async fn get_values(&mut self, request: KvGetRequest) -> Result<KvValueBatch, LixError> {
65
+ let mut store = self.store.lock().await;
66
+ store.get_values(request).await
67
+ }
68
+
69
+ async fn exists_many(&mut self, request: KvGetRequest) -> Result<KvExistsBatch, LixError> {
70
+ let mut store = self.store.lock().await;
71
+ store.exists_many(request).await
72
+ }
73
+
74
+ async fn scan_keys(&mut self, request: KvScanRequest) -> Result<KvKeyPage, LixError> {
75
+ let mut store = self.store.lock().await;
76
+ store.scan_keys(request).await
77
+ }
78
+
79
+ async fn scan_values(&mut self, request: KvScanRequest) -> Result<KvValuePage, LixError> {
80
+ let mut store = self.store.lock().await;
81
+ store.scan_values(request).await
82
+ }
83
+
84
+ async fn scan_entries(&mut self, request: KvScanRequest) -> Result<KvEntryPage, LixError> {
85
+ let mut store = self.store.lock().await;
86
+ store.scan_entries(request).await
87
+ }
88
+ }
@@ -0,0 +1,501 @@
1
+ use async_trait::async_trait;
2
+
3
+ use crate::backend;
4
+ use crate::backend::BytePage;
5
+ use crate::LixError;
6
+
7
+ #[derive(Debug, Clone, PartialEq, Eq)]
8
+ pub(crate) enum KvScanRange {
9
+ Prefix(Vec<u8>),
10
+ Range { start: Vec<u8>, end: Vec<u8> },
11
+ }
12
+
13
+ impl KvScanRange {
14
+ pub(crate) fn prefix(prefix: impl Into<Vec<u8>>) -> Self {
15
+ Self::Prefix(prefix.into())
16
+ }
17
+
18
+ pub(crate) fn range(start: impl Into<Vec<u8>>, end: impl Into<Vec<u8>>) -> Self {
19
+ Self::Range {
20
+ start: start.into(),
21
+ end: end.into(),
22
+ }
23
+ }
24
+ }
25
+
26
+ impl From<KvScanRange> for backend::BackendKvScanRange {
27
+ fn from(range: KvScanRange) -> Self {
28
+ match range {
29
+ KvScanRange::Prefix(prefix) => Self::Prefix(prefix),
30
+ KvScanRange::Range { start, end } => Self::Range { start, end },
31
+ }
32
+ }
33
+ }
34
+
35
+ #[async_trait]
36
+ pub(crate) trait StorageReader: Send {
37
+ async fn get_values(&mut self, request: KvGetRequest) -> Result<KvValueBatch, LixError>;
38
+
39
+ async fn exists_many(&mut self, request: KvGetRequest) -> Result<KvExistsBatch, LixError>;
40
+
41
+ async fn scan_keys(&mut self, request: KvScanRequest) -> Result<KvKeyPage, LixError>;
42
+
43
+ async fn scan_values(&mut self, request: KvScanRequest) -> Result<KvValuePage, LixError>;
44
+
45
+ async fn scan_entries(&mut self, request: KvScanRequest) -> Result<KvEntryPage, LixError>;
46
+ }
47
+
48
+ #[async_trait]
49
+ pub(crate) trait StorageWriter: StorageReader {
50
+ async fn write_kv_batch(&mut self, batch: KvWriteBatch) -> Result<KvWriteStats, LixError>;
51
+ }
52
+
53
+ #[async_trait]
54
+ pub(crate) trait StorageReadTransaction: StorageReader + Send + Sync {
55
+ async fn rollback(self: Box<Self>) -> Result<(), LixError>;
56
+ }
57
+
58
+ #[async_trait]
59
+ pub(crate) trait StorageWriteTransaction:
60
+ StorageReadTransaction + StorageWriter + Send + Sync
61
+ {
62
+ async fn commit(self: Box<Self>) -> Result<(), LixError>;
63
+ }
64
+
65
+ #[async_trait]
66
+ impl<T> StorageReader for &mut T
67
+ where
68
+ T: StorageReader + ?Sized,
69
+ {
70
+ async fn get_values(&mut self, request: KvGetRequest) -> Result<KvValueBatch, LixError> {
71
+ (**self).get_values(request).await
72
+ }
73
+
74
+ async fn exists_many(&mut self, request: KvGetRequest) -> Result<KvExistsBatch, LixError> {
75
+ (**self).exists_many(request).await
76
+ }
77
+
78
+ async fn scan_keys(&mut self, request: KvScanRequest) -> Result<KvKeyPage, LixError> {
79
+ (**self).scan_keys(request).await
80
+ }
81
+
82
+ async fn scan_values(&mut self, request: KvScanRequest) -> Result<KvValuePage, LixError> {
83
+ (**self).scan_values(request).await
84
+ }
85
+
86
+ async fn scan_entries(&mut self, request: KvScanRequest) -> Result<KvEntryPage, LixError> {
87
+ (**self).scan_entries(request).await
88
+ }
89
+ }
90
+
91
+ #[async_trait]
92
+ impl<T> StorageReader for Box<T>
93
+ where
94
+ T: StorageReader + ?Sized,
95
+ {
96
+ async fn get_values(&mut self, request: KvGetRequest) -> Result<KvValueBatch, LixError> {
97
+ (**self).get_values(request).await
98
+ }
99
+
100
+ async fn exists_many(&mut self, request: KvGetRequest) -> Result<KvExistsBatch, LixError> {
101
+ (**self).exists_many(request).await
102
+ }
103
+
104
+ async fn scan_keys(&mut self, request: KvScanRequest) -> Result<KvKeyPage, LixError> {
105
+ (**self).scan_keys(request).await
106
+ }
107
+
108
+ async fn scan_values(&mut self, request: KvScanRequest) -> Result<KvValuePage, LixError> {
109
+ (**self).scan_values(request).await
110
+ }
111
+
112
+ async fn scan_entries(&mut self, request: KvScanRequest) -> Result<KvEntryPage, LixError> {
113
+ (**self).scan_entries(request).await
114
+ }
115
+ }
116
+
117
+ #[async_trait]
118
+ impl<T> StorageWriter for &mut T
119
+ where
120
+ T: StorageWriter + ?Sized,
121
+ {
122
+ async fn write_kv_batch(&mut self, batch: KvWriteBatch) -> Result<KvWriteStats, LixError> {
123
+ (**self).write_kv_batch(batch).await
124
+ }
125
+ }
126
+
127
+ #[async_trait]
128
+ impl<T> StorageWriter for Box<T>
129
+ where
130
+ T: StorageWriter + ?Sized,
131
+ {
132
+ async fn write_kv_batch(&mut self, batch: KvWriteBatch) -> Result<KvWriteStats, LixError> {
133
+ (**self).write_kv_batch(batch).await
134
+ }
135
+ }
136
+
137
+ #[derive(Debug, Clone, PartialEq, Eq)]
138
+ pub(crate) struct KvGetRequest {
139
+ pub(crate) groups: Vec<KvGetGroup>,
140
+ }
141
+
142
+ impl From<KvGetRequest> for backend::BackendKvGetRequest {
143
+ fn from(request: KvGetRequest) -> Self {
144
+ Self {
145
+ groups: request.groups.into_iter().map(Into::into).collect(),
146
+ }
147
+ }
148
+ }
149
+
150
+ #[derive(Debug, Clone, PartialEq, Eq)]
151
+ pub(crate) struct KvGetGroup {
152
+ pub(crate) namespace: String,
153
+ pub(crate) keys: Vec<Vec<u8>>,
154
+ }
155
+
156
+ impl From<KvGetGroup> for backend::BackendKvGetGroup {
157
+ fn from(group: KvGetGroup) -> Self {
158
+ Self {
159
+ namespace: group.namespace,
160
+ keys: group.keys,
161
+ }
162
+ }
163
+ }
164
+
165
+ #[derive(Debug, Clone, PartialEq, Eq)]
166
+ pub(crate) struct KvValueBatch {
167
+ pub(crate) groups: Vec<KvValueGroup>,
168
+ }
169
+
170
+ impl From<backend::BackendKvValueBatch> for KvValueBatch {
171
+ fn from(result: backend::BackendKvValueBatch) -> Self {
172
+ Self {
173
+ groups: result.groups.into_iter().map(Into::into).collect(),
174
+ }
175
+ }
176
+ }
177
+
178
+ #[derive(Debug, Clone, PartialEq, Eq)]
179
+ pub(crate) struct KvValueGroup {
180
+ namespace: String,
181
+ values: BytePage,
182
+ present: Vec<bool>,
183
+ }
184
+
185
+ impl From<backend::BackendKvValueGroup> for KvValueGroup {
186
+ fn from(group: backend::BackendKvValueGroup) -> Self {
187
+ let (namespace, values, present) = group.into_parts();
188
+ Self {
189
+ namespace,
190
+ values,
191
+ present,
192
+ }
193
+ }
194
+ }
195
+
196
+ impl KvValueGroup {
197
+ pub(crate) fn len(&self) -> usize {
198
+ self.present.len()
199
+ }
200
+
201
+ pub(crate) fn value(&self, index: usize) -> Option<Option<&[u8]>> {
202
+ let present = *self.present.get(index)?;
203
+ if present {
204
+ Some(Some(
205
+ self.values
206
+ .get(index)
207
+ .expect("storage value batch invariant violated"),
208
+ ))
209
+ } else {
210
+ Some(None)
211
+ }
212
+ }
213
+
214
+ pub(crate) fn values_iter(&self) -> impl Iterator<Item = Option<&[u8]>> {
215
+ (0..self.len()).filter_map(|index| self.value(index))
216
+ }
217
+
218
+ pub(crate) fn single_value_owned(&self) -> Option<Vec<u8>> {
219
+ if self.len() != 1 {
220
+ return None;
221
+ }
222
+ self.value(0).flatten().map(<[u8]>::to_vec)
223
+ }
224
+ }
225
+
226
+ #[derive(Debug, Clone, PartialEq, Eq)]
227
+ pub(crate) struct KvExistsBatch {
228
+ pub(crate) groups: Vec<KvExistsGroup>,
229
+ }
230
+
231
+ impl From<backend::BackendKvExistsBatch> for KvExistsBatch {
232
+ fn from(result: backend::BackendKvExistsBatch) -> Self {
233
+ Self {
234
+ groups: result.groups.into_iter().map(Into::into).collect(),
235
+ }
236
+ }
237
+ }
238
+
239
+ #[derive(Debug, Clone, PartialEq, Eq)]
240
+ pub(crate) struct KvExistsGroup {
241
+ pub(crate) namespace: String,
242
+ pub(crate) exists: Vec<bool>,
243
+ }
244
+
245
+ impl From<backend::BackendKvExistsGroup> for KvExistsGroup {
246
+ fn from(group: backend::BackendKvExistsGroup) -> Self {
247
+ Self {
248
+ namespace: group.namespace,
249
+ exists: group.exists,
250
+ }
251
+ }
252
+ }
253
+
254
+ #[derive(Debug, Clone, PartialEq, Eq)]
255
+ pub(crate) struct KvScanRequest {
256
+ pub(crate) namespace: String,
257
+ pub(crate) range: KvScanRange,
258
+ pub(crate) after: Option<Vec<u8>>,
259
+ pub(crate) limit: usize,
260
+ }
261
+
262
+ impl From<KvScanRequest> for backend::BackendKvScanRequest {
263
+ fn from(request: KvScanRequest) -> Self {
264
+ Self {
265
+ namespace: request.namespace,
266
+ range: request.range.into(),
267
+ after: request.after,
268
+ limit: request.limit,
269
+ }
270
+ }
271
+ }
272
+
273
+ #[derive(Debug, Clone, PartialEq, Eq)]
274
+ pub(crate) struct KvKeyPage {
275
+ pub(crate) keys: BytePage,
276
+ pub(crate) resume_after: Option<Vec<u8>>,
277
+ }
278
+
279
+ impl From<backend::BackendKvKeyPage> for KvKeyPage {
280
+ fn from(result: backend::BackendKvKeyPage) -> Self {
281
+ Self {
282
+ keys: result.keys,
283
+ resume_after: result.resume_after,
284
+ }
285
+ }
286
+ }
287
+
288
+ #[derive(Debug, Clone, PartialEq, Eq)]
289
+ pub(crate) struct KvValuePage {
290
+ pub(crate) values: BytePage,
291
+ pub(crate) resume_after: Option<Vec<u8>>,
292
+ }
293
+
294
+ impl From<backend::BackendKvValuePage> for KvValuePage {
295
+ fn from(result: backend::BackendKvValuePage) -> Self {
296
+ Self {
297
+ values: result.values,
298
+ resume_after: result.resume_after,
299
+ }
300
+ }
301
+ }
302
+
303
+ #[derive(Debug, Clone, PartialEq, Eq)]
304
+ pub(crate) struct KvEntryPage {
305
+ pub(crate) keys: BytePage,
306
+ pub(crate) values: BytePage,
307
+ pub(crate) resume_after: Option<Vec<u8>>,
308
+ }
309
+
310
+ impl From<backend::BackendKvEntryPage> for KvEntryPage {
311
+ fn from(result: backend::BackendKvEntryPage) -> Self {
312
+ Self {
313
+ keys: result.keys,
314
+ values: result.values,
315
+ resume_after: result.resume_after,
316
+ }
317
+ }
318
+ }
319
+
320
+ impl KvEntryPage {
321
+ pub(crate) fn len(&self) -> usize {
322
+ self.keys.len()
323
+ }
324
+
325
+ pub(crate) fn is_empty(&self) -> bool {
326
+ self.keys.is_empty()
327
+ }
328
+
329
+ pub(crate) fn key(&self, index: usize) -> Option<&[u8]> {
330
+ self.keys.get(index)
331
+ }
332
+
333
+ pub(crate) fn value(&self, index: usize) -> Option<&[u8]> {
334
+ self.values.get(index)
335
+ }
336
+ }
337
+
338
+ #[derive(Debug, Default)]
339
+ pub(crate) struct StorageWriteSet {
340
+ batch: KvWriteBatch,
341
+ }
342
+
343
+ impl StorageWriteSet {
344
+ pub(crate) fn new() -> Self {
345
+ Self::default()
346
+ }
347
+
348
+ pub(crate) fn put(&mut self, namespace: &'static str, key: Vec<u8>, value: Vec<u8>) {
349
+ self.batch.put(namespace, key, value);
350
+ }
351
+
352
+ pub(crate) fn delete(&mut self, namespace: &'static str, key: Vec<u8>) {
353
+ self.batch.delete(namespace, key);
354
+ }
355
+
356
+ pub(crate) fn is_empty(&self) -> bool {
357
+ self.batch.is_empty()
358
+ }
359
+
360
+ pub(crate) async fn apply(
361
+ self,
362
+ writer: &mut (impl StorageWriter + ?Sized),
363
+ ) -> Result<KvWriteStats, LixError> {
364
+ writer.write_kv_batch(self.batch).await
365
+ }
366
+ }
367
+
368
+ #[derive(Debug, Clone, PartialEq, Eq, Default)]
369
+ pub(crate) struct KvWriteBatch {
370
+ pub(crate) groups: Vec<KvWriteGroup>,
371
+ }
372
+
373
+ impl KvWriteBatch {
374
+ pub(crate) fn new() -> Self {
375
+ Self::default()
376
+ }
377
+
378
+ pub(crate) fn put(
379
+ &mut self,
380
+ namespace: impl Into<String>,
381
+ key: impl Into<Vec<u8>>,
382
+ value: impl Into<Vec<u8>>,
383
+ ) {
384
+ let namespace = namespace.into();
385
+ let group = self.group_mut(namespace);
386
+ group.put(key.into(), value.into());
387
+ }
388
+
389
+ pub(crate) fn delete(&mut self, namespace: impl Into<String>, key: impl Into<Vec<u8>>) {
390
+ let namespace = namespace.into();
391
+ let group = self.group_mut(namespace);
392
+ group.delete(key.into());
393
+ }
394
+
395
+ pub(crate) fn is_empty(&self) -> bool {
396
+ self.groups
397
+ .iter()
398
+ .all(|group| group.put_count() == 0 && group.delete_count() == 0)
399
+ }
400
+
401
+ fn group_mut(&mut self, namespace: String) -> &mut KvWriteGroup {
402
+ if let Some(index) = self
403
+ .groups
404
+ .iter()
405
+ .position(|group| group.namespace == namespace)
406
+ {
407
+ return &mut self.groups[index];
408
+ }
409
+ self.groups.push(KvWriteGroup {
410
+ namespace,
411
+ put_keys: backend::BytePageBuilder::new(),
412
+ put_values: backend::BytePageBuilder::new(),
413
+ deletes: backend::BytePageBuilder::new(),
414
+ });
415
+ self.groups.last_mut().expect("group just pushed")
416
+ }
417
+ }
418
+
419
+ impl From<KvWriteBatch> for backend::BackendKvWriteBatch {
420
+ fn from(batch: KvWriteBatch) -> Self {
421
+ Self {
422
+ groups: batch.groups.into_iter().map(Into::into).collect(),
423
+ }
424
+ }
425
+ }
426
+
427
+ #[derive(Debug, Clone, PartialEq, Eq)]
428
+ pub(crate) struct KvWriteGroup {
429
+ namespace: String,
430
+ put_keys: backend::BytePageBuilder,
431
+ put_values: backend::BytePageBuilder,
432
+ deletes: backend::BytePageBuilder,
433
+ }
434
+
435
+ impl From<KvWriteGroup> for backend::BackendKvWriteGroup {
436
+ fn from(group: KvWriteGroup) -> Self {
437
+ Self::from_pages(
438
+ group.namespace,
439
+ group.put_keys.finish(),
440
+ group.put_values.finish(),
441
+ group.deletes.finish(),
442
+ )
443
+ }
444
+ }
445
+
446
+ impl KvWriteGroup {
447
+ pub(crate) fn new(namespace: impl Into<String>) -> Self {
448
+ Self {
449
+ namespace: namespace.into(),
450
+ put_keys: backend::BytePageBuilder::new(),
451
+ put_values: backend::BytePageBuilder::new(),
452
+ deletes: backend::BytePageBuilder::new(),
453
+ }
454
+ }
455
+
456
+ pub(crate) fn put(&mut self, key: impl AsRef<[u8]>, value: impl AsRef<[u8]>) {
457
+ self.put_keys.push(key);
458
+ self.put_values.push(value);
459
+ }
460
+
461
+ pub(crate) fn delete(&mut self, key: impl AsRef<[u8]>) {
462
+ self.deletes.push(key);
463
+ }
464
+
465
+ pub(crate) fn put_count(&self) -> usize {
466
+ self.put_keys.len()
467
+ }
468
+
469
+ pub(crate) fn delete_count(&self) -> usize {
470
+ self.deletes.len()
471
+ }
472
+
473
+ pub(crate) fn put_key(&self, index: usize) -> Option<&[u8]> {
474
+ self.put_keys.get(index)
475
+ }
476
+
477
+ pub(crate) fn put_value(&self, index: usize) -> Option<&[u8]> {
478
+ self.put_values.get(index)
479
+ }
480
+
481
+ pub(crate) fn delete_key(&self, index: usize) -> Option<&[u8]> {
482
+ self.deletes.get(index)
483
+ }
484
+ }
485
+
486
+ #[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
487
+ pub(crate) struct KvWriteStats {
488
+ pub(crate) puts: usize,
489
+ pub(crate) deletes: usize,
490
+ pub(crate) bytes_written: usize,
491
+ }
492
+
493
+ impl From<backend::BackendKvWriteStats> for KvWriteStats {
494
+ fn from(stats: backend::BackendKvWriteStats) -> Self {
495
+ Self {
496
+ puts: stats.puts,
497
+ deletes: stats.deletes,
498
+ bytes_written: stats.bytes_written,
499
+ }
500
+ }
501
+ }