> On 1 Jun 2026, at 06:49, Kyle Kingsbury <aphyr@jepsen.io> wrote:
>
> This behavior disappears
Glad that was it. There's a separate case I'd still like your eyes on: savepoints.
README-SSI says predicate locks must survive a subtransaction rollback, because the
subxact's reads still affect what the top transaction writes. By that same reasoning,
shouldn't a serialization failure raised while checking such a read DooM the top
transaction, rather than being swallowed by ROLLBACK TO SAVEPOINT?
Best regards, Andrey Borodin.
