Transactional Semantics in Theory and Practice
In the previous installment, we implemented a simple transaction manager, but we didn’t really say what it means to run code as a transaction, which features are considered transactional and which aren’t. In this blog post, we’re first going to examine the theoretical priciples of transactional semantics, and afterwards look at how to put them into practice. Read →