A formal model for dynamic channel allocation as a mutual exclusion concept in a distributed mobile computing system

摘要

The wireless channels are most important resources in a mobile computing system. Each communication session that involves a mobile host requires a channel to be allocated The possibility of reuse of wireless channels in different cells subject to satisfying the reuse constraint is the main concern for optimizing the channel usage in the mobile computing system. The problem resembles with mutual exclusion problem with some additional constraints that the same resources can be reused beyond the cell's interference region. We present a formal model for channel allocation problem in a distributed mobile computing system using Duration Calculus (DC) as a special mutual exclusion concept. We propose a new distributed dynamic channel allocation algorithm based on the formal model. The proposed algorithm attempts to bring the best features of the permission-based and token-based principles of mutual exclusion.