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...

Full description

Saved in:

Bibliographic Details
Published in:	Computers (Basel) Vol. 13; no. 6; p. 133
Main Authors:	Nigro, Libero, Cicirelli, Franco, Pupo, Francesco
Format:	Journal Article
Language:	English
Published:	Basel MDPI AG 01.06.2024
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!