3 ms·
To clarify a couple of things: (1) Calvin does support dependent transactions (it uses OLLP to support them. (2) Calvin is just one example of a system that d
by abadid 8y ago
To clarify a couple of things:
(1) Calvin does support dependent transactions (it uses OLLP to support them.
(2) Calvin is just one example of a system that disallows arbitrary aborts. We've built a bunch of them in my lab.
(3) I do not believe that disallowing arbitrary aborts results in fundamentally new limitations of the system. You can still use pessimistic or optimistic concurrency control. You can use deterministic or nondeterministic systems. You don't have to assume you know the read-write set in advance. And you can certainly support dependent transactions.
- klodolph 8y agoThanks for clarifying, this was definitely not clear from the article. Is this article part of a series? It's still not clear to me why OLLP works. When I think of optimistic concurrency my next concern is whether the system is guaranteed to make progress.
- abadid 8y agoI wasn't intending for it to be part of a series, but I agree that the OLLP technique may be of interest to a general audience and therefore a good subject for a future post.