Distributed universal constructions: a guided tour

MaRDI QIDQ4967227zbMATH OpenFDO

Authors Michel Raynal

Publication date 3 July 2019

Full work available at URL http://bulletin.eatcs.org/index.php/beatcs/article/view/482/467

zbMATH Keywords

disjoint-access parallelismwait-freedomuniversal constructionspeculative executionsequential specificationprogress conditionobstruction-freedomnon-blockingmemory locationLL/SC instructionhelp mechanism\(k\)-set agreementcrash failureconsensusconcurrent objectcomputabilityatomic operationsasynchronous read/write systemagreement problemabortable object\(k\)-simultaneous consensus

Mathematics Subject Classification ID

Distributed systems (68M14) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Distributed Universality
• Distributed universality
• scientific article; zbMATH DE number 2013827
• Computing with faulty shared objects
• Universal constructions that ensure disjoint-access parallelism and wait-freedom

Cited in

(11)

• A pleasant stroll through the land of distributed machines, computation, and universality
• Extending the wait-free hierarchy to multi-threaded systems
• Distributed universality
• Introduction à l'algorithmique des objets partagés
• scientific article; zbMATH DE number 2013827 (Why is no real title available?)
• The universal process
• An introductory tutorial to concurrency-related distributed recursion
• Concurrent crash-prone shared memory systems. A few theoretical notions
• Distributed Universality
• A practical distributed universal construction with unknown participants
• Universal constructions that ensure disjoint-access parallelism and wait-freedom

This page was built for publication: Distributed universal constructions: a guided tour

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4967227)