From 1af6d13048de3773149f689de3c07af96db07f1d Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 23 Sep 2026 02:41:09 -0300 Subject: make scan use rdonly transaction on the cursor to avoid deadlock --- lib/abstract/Storage.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/abstract') 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 -- cgit v1.2.3