Efficient Object-Based Software Transactions