Efficient Transactions and Failure Detection for Parallel and Distributed Computing.