Hello. I’m reading the Designing Data-Intensive Applications book by Martin Kleppmann, there’s a chapter on transaction isolation levels, and I wonder: are there any examples how transactions could be modeled?
Actually, there are a few other things in this book that could be beneficial to model, like replication, unreliable networks, unreliable clocks, consistency, etc.
Different transaction levels have different trade-offs, it would be great to model and explicitly show what failure modes they would have and what they would mean when we are designing an application.