Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms

Mutual exclusion is a fundamental problem in concurrent/parallel/distributed systems. The first pure-software solution to this problem for two processes, which is not based on hardware instructions like test-and-set, was proposed in 1965 by Th.J. Dekker and communicated by E.W. Dijkstra. The correct...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Computers (Basel) Ročník 13; číslo 6; s. 133
Hlavní autoři:	Nigro, Libero, Cicirelli, Franco, Pupo, Francesco
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Basel MDPI AG 01.06.2024
Témata:	Algorithms Analysis Concurrency Dekker’s basic algorithm and variants Determinism Distributed processing (Computers) Electronic data processing Explosions formal modeling memory models Methods Modelling mutual exclusion Reasoning tournament-based algorithms Variables Italy
ISSN:	2073-431X, 2073-431X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!