Home
Scholarly Works
PerTiMo: A Model of Spatial Migration with Safe...
Journal article

PerTiMo: A Model of Spatial Migration with Safe Access Permissions

Abstract

We introduce a process algebra with processes able to migrate between different explicit locations of a distributed environment defined by a number of distinct locations. We use timing constraints over local clocks to control migration and communication, together with local maximal concurrency in the way actions are executed. Two processes may communicate if they are present at the same location and, in addition, they have appropriate access permissions to communicate over a shared channel. Access permissions can be acquired or lost while moving from one location to another. Timing constraints coordinate and control both communication between processes and migration between locations. We completely characterize the situations in which a process is guaranteed to possess safe access permissions in all possible environments. In this way, one can design systems in which processes are not blocked (deadlocked) due to the lack of dynamically changing access permissions.

Authors

Ciobanu G; Koutny M

Journal

The Computer Journal, Vol. 58, No. 5, pp. 1041–1060

Publisher

Oxford University Press (OUP)

Publication Date

May 1, 2015

DOI

10.1093/comjnl/bxu006

ISSN

0010-4620

Contact the Experts team