Migrating multi-threaded, shared objects

The BirliX operating system migration mechanism is type-independent, can deal with multithreaded shared objects, is transparent for applications, and can be used by applications to implement arbitrary migration policies. An overview of the BirliX concepts and architecture is given to give an understanding the environment of the migration mechanism. As migration in BirliX heavily depends on the checkpoint and recovery mechanisms, these fault-tolerance mechanisms are discussed. The current implementation of the migration mechanism is described. Some pitfalls during implementation are described, and the performance of the current implementation is presented