3 ms·
Ah, yeah, I suspected it could be fixed with your first approach, but the second one also sounds plausible. But if you go with the first option, then you can e
by ergl 10y ago
Ah, yeah, I suspected it could be fixed with your first approach, but the second one also sounds plausible.
But if you go with the first option, then you can end up locking the entire database, as you pointed out with `write(read(A), _)`. Wouldn't your second option cause multiple transaction aborts until you find the rewrite that satisfies the assert? And in that case, the scheduler would need to know if the abort was actually caused by a faulty rewrite.
It would be interesting to know what Fauna does in these cases.
Is your implementation open somewhere?
- dwenzek 10y agoThe prototype is unfortunately tied to a more global project, which I'm not ready to make open. This is a POC implemented in OCaml using Kafka. I'll take a few hours to see what I can open.