Object Migration Scenario

• Consider a system partitioned into S spaces
• An object, O, resides at one of the spaces, S_source
• R spaces contain a reference to O
• N spaces contain name-servers which refer to O
• Reference holder on space S_migrator sends a message to S_source instructing O to migrate to S_destination
• Assumptions
  • R and N are disjoint sets
  • S_migrator is not equal to S_source which is not equal to S_destination
  • communication achieved using unicast RPC with at-most-once semantics