[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Transaction Commit


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

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/06d4039f-4c8c-4a2a-ad42-def63bb4cdd9n%40googlegroups.com.