Choices: a parallel object-oriented operating system