A multiversion mechanism for intra-object concurrency

We propose an extended concurrent object model for distributed multiuser systems called the multiversion concurrent object (MCO). The original concurrent object model is simple because it excludes internal concurrency, but this may cause long blocking on its execution during message sending and external device accesses. Thus, these blockings may decrease system performance. We introduce a multiversion mechanism to the original concurrent object model. Each MCO makes a copy of its own state, which is called a version, for executing a method that is not interleaved with other similar copies during execution. The results from concurrent execution are merged upon termination of each method. The MCO simplifies programming, since synchronization statements are not required inside its methods. Using this model for shared objects, we can construct a system in which each user can work freely without suffering from other user`s unexpected actions. We present a prototype implementation of MCO and some performance evaluations.