The provision of relocation transparency through a formalised naming system in a distributed mobile object system

Mobility in distributed object systems is useful as it can provide such properties as load balancing, code to data movement, fault tolerance, migration to stable storage, and autonomous semantics. In a widely distributed system, these properties are important as they can help alleviate latency issues and increase performance within the system. Additionally, they provid more flexibility in the programming of distributed systems by relaxing static location restrictions. Location transparency removes the need for client objects to explicitly know or define the location of a server object when communicating. If a server object is capable of migration, relocation transparency maintains reference validity throughout the migration. Several models for providing relocation transparency exist, including the home location, forwarding location, and broadcast models. This thesis proposes a model that uses a distributed registry system and dynamic reference updating to provide location and relocation transparency. A registry system is used to provide location independence by resolving a location independent name to a reference that can be used by a client. A naming system is used to provide correct binding and production of names within the naming restrictions of the system. The thesis proposes that the choice of naming system within a distributed or mobile object system has a large effect on the system's ability to support efficient transparent object relocation. This thesis proposes that a formal analysis of naming systems enables the selection of an appropriate naming system for a distributed or mobile object system given the object system's naming, distribution and transparency requirements. This thesis presents a new classification scheme for naming systems, based on analysis of a broad spectrum of naming systems. A classification of existing mobile and distributed object systems with respect to existing naming models is provided. It is shown that the current models need to be refined and extended to completely and correctly classify the example systems. This thesis proposes extensions and refinements that enable correct and complete classification of mobile and distributed object systems with a need for transparency. The extended naming model is then used to describe a naming system that is capable of implementing any naming system classifiable by the extended model. A classification of a naming system to support the proposed model of location and relocation transparency is presented. A distributed ORB system is designed and implemented to support the distributed namespace and generic naming system implementation. The distributed ORB system is hierarchically structured and is capable of adapting in response to node failure. This ORB system is used to support client and server object integration in the DISCWorld metacomputing environment. The ORB system is used to provide migration, replication and cloning services to the DISCWorld metacomputing environment. A qualitative analysis of the generic naming system and the DISCWorld ORB system is performed. A comparison between the proposed model for location and relocation transparency and existing models is also presented. This comparison shows that the proposed model exhibits better location and relocation performance within the DISCWorld environment. The distributed nature of the ORB system and namespace provides a scalable nature in terms of namespace size, the number of objects within the system, and the frequency of location and relocation requests.Thesis (Ph.D.)--Engineering (Department of Computer Science), 2000