Deadlock prevention in distributed object oriented systems

Abstract

This paper proposes a deadlock prevention algorithm for Distributed Object Oriented Systems (DOOS) based on the popular resource ordering technique. In distributed object oriented system, objects are the resources requested by the transactions. Though resource-ordering technique is not new, novelty of the proposed deadlock prevention algorithm lies in exploiting the relationships among objects present in the domain to do the resource ordering. In this paper a resource ordering technique based on semantics of the object relationships like inheritance, aggregation and association is proposed. A formal model of the resource ordering technique is defined using predicate calculus. © 2011 Springer-Verlag.