Transaction Commit

37 views

Skip to first unread message

Dominik Tornow

unread,

Sep 27, 2021, 7:35:45 PM9/27/21

to tlaplus

Hello,

I have a question regarding the tla+ specification of Transaction Commit:

Why do we need prepared? Wouldn't the most high level specification of transaction semantics simply dictate that all resource managers are eventually committed or eventually aborted?

So what do we express with the transition from working to prepared first?

Thank you for your time, Dominik

Reply all

Reply to author

Forward

0 new messages