Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments