Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces

Despite the large amount of Byzantine fault-tolerant algorithms for message-passing systems designed through the years, only recently algorithms for the coordination of processes subject to Byzantine failures using shared memory have appeared. This paper presents a new computing model in which share...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:IEEE transactions on parallel and distributed systems Ročník 20; číslo 3; s. 419 - 432
Hlavní autori: Bessani, A.N., Correia, M., da Silva Fraga, J., Lau Cheuk Lung
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: New York IEEE 01.03.2009
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:
Access control
Access controls
Algorithm design and analysis
Algorithms
Availability
Computation
Computer hacking
Construction
Distributed programming
Distributed systems
Fault tolerance
Fault tolerant systems
Lists
Lungs
Parallelism and concurrency
Peat
Policies
Protection
Registers
Resilience
Parallelism and concurrency
Distributed programming
Fault-tolerance
Access controls
Distributed systems
ISSN:1045-9219, 1558-2183
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Despite the large amount of Byzantine fault-tolerant algorithms for message-passing systems designed through the years, only recently algorithms for the coordination of processes subject to Byzantine failures using shared memory have appeared. This paper presents a new computing model in which shared memory objects are protected by fine-grained access policies, and a new shared memory object, the policy-enforced augmented tuple space (PEATS). We show the benefits of this model by providing simple and efficient consensus algorithms. These algorithms are much simpler and requires less shared memory operations, using also less memory bits than previous algorithms based on access control lists ACLs and sticky bits. We also prove that PEATS objects are universal, i.e., that they can be used to implement any other shared memory object, and present lock-free and wait-free universal constructions.
Bibliografia:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
content type line 23
ISSN:1045-9219
1558-2183
DOI:10.1109/TPDS.2008.96