diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 02:41:09 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-23 02:41:09 -0300 |
| commit | 1af6d13048de3773149f689de3c07af96db07f1d (patch) | |
| tree | 195f14a00b1f2d425f1ddb723a4e9bb16f7a4a7f /lib/abstract/Storage.ml | |
| parent | 3184f85de1dac7071afcf9838dfc3f8609b20a5a (diff) | |
| download | RNT-1af6d13048de3773149f689de3c07af96db07f1d.tar.gz RNT-1af6d13048de3773149f689de3c07af96db07f1d.zip | |
make scan use rdonly transaction on the cursor to avoid deadlock
Diffstat (limited to '')
| -rw-r--r-- | lib/abstract/Storage.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/abstract/Storage.ml b/lib/abstract/Storage.ml index e921be9..888a354 100644 --- a/lib/abstract/Storage.ml +++ b/lib/abstract/Storage.ml @@ -9,6 +9,9 @@ module type STORAGE = sig (** begin a transaction within `connection` *) val start : connection -> (transaction, Concepts.Condition.condition) result + (** begin a read-only transaction, which may be held alongside others *) + val start_read : connection -> (transaction, Concepts.Condition.condition) result + (** `commit` the current transaction *) val commit : transaction -> (unit, Concepts.Condition.condition) result |