Make writes of transactions truly atomic by introducing the
PersistenceTransaction and MultiPersistenceTransaction abstractions.