A Practical Comparison of Cluster Operating Systems Implementing Sequential and Transactional Consistency