339 search results - page 11 / 68 » Performance of Fair Distributed Mutual Exclusion Algorithms |
ENTCS
2002
14 years 9 months ago
2002
The perceived advantages of distributed systems, such as increased reliability and availability, are o set by the increased complexity of developing such applications. The develop...
IEEECIT
2005
IEEE
15 years 3 months ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...
73
Voted
ICS
1999
Tsinghua U.
15 years 1 months ago
1999
Tsinghua U.
In this paper we examine how application performance scales on a state-of-the-art shared virtual memory (SVM) system on a cluster with 64 processors, comprising 4-way SMPs connect...
PODC
2010
ACM
15 years 1 months ago
2010
ACM
We study Reader-Writer Exclusion [1], a well-known variant of the Mutual Exclusion problem [2] where processes are divided into two classes–readers and writers–and multiple re...
FSTTCS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...