Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10331103 | Information Processing Letters | 2015 | 5 Pages |
Abstract
Mutual exclusion is a fundamental process synchronization problem in concurrent systems. In this paper, we propose a unified framework for mutual exclusion, k-mutual exclusion, mutual inclusion, â-mutual inclusion and such, what we call critical section problem. Then, we show that critical section problem is characterized by a pair of integers.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Hirotsugu Kakugawa,