Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288408974> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4288408974 abstract "In this paper, we introduce two algorithms that solve the mutual exclusion problem for concurrent processes that communicate through shared variables, [2]. Our algorithms guarantee that any process trying to enter the critical section, eventually, does enter it. They are formally proven to be correct. The first algorithm uses a special coordinator process in order to ensure equal chances to processes waiting for the critical section. In the second algorithm, with no coordinator, the process exiting the critical section is in charge to fairly elect the following one. In the case that no process is waiting, the turn is marked free and will be determined by future waiting processes. The type of shared variables used are a turn variable, readable and writable by all processes; and a flag array, readable by all with flag[i] writable only by process i. There is a version of the first algorithm where no writable by all variable is used. The bibliography reviewed for this paper is [4] and [3], all the rest is original work." @default.
- W4288408974 created "2022-07-29" @default.
- W4288408974 creator A5040674132 @default.
- W4288408974 date "2019-03-25" @default.
- W4288408974 modified "2023-09-30" @default.
- W4288408974 title "Two Mutual Exclusion Algorithms for Shared Memory" @default.
- W4288408974 doi "https://doi.org/10.48550/arxiv.1903.10402" @default.
- W4288408974 hasPublicationYear "2019" @default.
- W4288408974 type Work @default.
- W4288408974 citedByCount "0" @default.
- W4288408974 crossrefType "posted-content" @default.
- W4288408974 hasAuthorship W4288408974A5040674132 @default.
- W4288408974 hasBestOaLocation W42884089741 @default.
- W4288408974 hasConcept C111919701 @default.
- W4288408974 hasConcept C11413529 @default.
- W4288408974 hasConcept C120314980 @default.
- W4288408974 hasConcept C124343487 @default.
- W4288408974 hasConcept C133875982 @default.
- W4288408974 hasConcept C134306372 @default.
- W4288408974 hasConcept C173608175 @default.
- W4288408974 hasConcept C182365436 @default.
- W4288408974 hasConcept C199360897 @default.
- W4288408974 hasConcept C2780129039 @default.
- W4288408974 hasConcept C33923547 @default.
- W4288408974 hasConcept C41008148 @default.
- W4288408974 hasConcept C56348326 @default.
- W4288408974 hasConcept C80444323 @default.
- W4288408974 hasConcept C98045186 @default.
- W4288408974 hasConceptScore W4288408974C111919701 @default.
- W4288408974 hasConceptScore W4288408974C11413529 @default.
- W4288408974 hasConceptScore W4288408974C120314980 @default.
- W4288408974 hasConceptScore W4288408974C124343487 @default.
- W4288408974 hasConceptScore W4288408974C133875982 @default.
- W4288408974 hasConceptScore W4288408974C134306372 @default.
- W4288408974 hasConceptScore W4288408974C173608175 @default.
- W4288408974 hasConceptScore W4288408974C182365436 @default.
- W4288408974 hasConceptScore W4288408974C199360897 @default.
- W4288408974 hasConceptScore W4288408974C2780129039 @default.
- W4288408974 hasConceptScore W4288408974C33923547 @default.
- W4288408974 hasConceptScore W4288408974C41008148 @default.
- W4288408974 hasConceptScore W4288408974C56348326 @default.
- W4288408974 hasConceptScore W4288408974C80444323 @default.
- W4288408974 hasConceptScore W4288408974C98045186 @default.
- W4288408974 hasLocation W42884089741 @default.
- W4288408974 hasOpenAccess W4288408974 @default.
- W4288408974 hasPrimaryLocation W42884089741 @default.
- W4288408974 hasRelatedWork W1493405707 @default.
- W4288408974 hasRelatedWork W1505787035 @default.
- W4288408974 hasRelatedWork W1507204039 @default.
- W4288408974 hasRelatedWork W1569109055 @default.
- W4288408974 hasRelatedWork W1604389150 @default.
- W4288408974 hasRelatedWork W1990588828 @default.
- W4288408974 hasRelatedWork W1997145140 @default.
- W4288408974 hasRelatedWork W2022430350 @default.
- W4288408974 hasRelatedWork W2372170743 @default.
- W4288408974 hasRelatedWork W2380957058 @default.
- W4288408974 isParatext "false" @default.
- W4288408974 isRetracted "false" @default.
- W4288408974 workType "article" @default.