๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Contention-Free Complexity of Shared Memory Algorithms

โœ Scribed by Rajeev Alur; Gadi Taubenfeld


Book ID
112252223
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
497 KB
Volume
126
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Self-Stabilization of Wait-Free Shared M
โœ Jaap-Henk Hoepman; Marina Papatriantafilou; Philippas Tsigas ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 337 KB

This paper proposes a general definition of self-stabilizing wait-free shared memory objects. The definition ensures that, even in the face of processor failures, every execution after a transient memory failure is linearizable except for an a priori bounded number of actions. Shared registers have