Consistency in non-transactional distributed storage systems