Article ID Journal Published Year Pages File Type
10331103 Information Processing Letters 2015 5 Pages PDF
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
,