Construction of a Distributed System Supporting Atomic Transactions