Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300180723> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W4300180723 abstract "We investigate the time and space complexity of detecting and preventing ABAs in shared memory algorithms for systems with n processes and bounded base objects. To that end, we define ABA-detecting registers, which are similar to normal read/write registers, except that they allow a process q to detect with a read operation, whether some process wrote the register since q's last read. ABA-detecting registers can be implemented trivially from a single unbounded register, but we show that they have a high complexity if base objects are bounded: An obstruction-free implementation of an ABA-detecting single bit register cannot be implemented from fewer than n-1 bounded registers. Moreover, bounded CAS objects (or more generally, conditional read-modify-write primitives) offer little help to implement ABA-detecting single bit registers: We prove a linear time-space tradeoff for such implementations. We show that the same time-space tradeoff holds for implementations of single bit LL/SC primitives from bounded writable CAS objects. This proves that the implementations of LL/SC/VL by Anderson and Moir (1995) as well as Jayanti and Petrovic (2003) are optimal. We complement our lower bounds with tight upper bounds: We give an implementation of ABA-detecting registers from n+1 bounded registers, which has step complexity O(1). We also show that (bounded) LL/SC/VL can be implemented from a single bounded CAS object and with O(n) step complexity. Both upper bounds are asymptotically optimal with respect to their time-space product. These results give formal evidence that the ABA problem is inherently difficult, that even writable CAS objects do not provide significant benefits over registers for dealing with the ABA problem itself, and that there is no hope of finding a more efficient implementation of LL/SC/VL from bounded CAS objects and registers than the ones mentioned." @default.
- W4300180723 created "2022-10-03" @default.
- W4300180723 creator A5009422307 @default.
- W4300180723 creator A5050902289 @default.
- W4300180723 date "2015-07-09" @default.
- W4300180723 modified "2023-10-16" @default.
- W4300180723 title "On the Time and Space Complexity of ABA Prevention and Detection" @default.
- W4300180723 doi "https://doi.org/10.48550/arxiv.1507.02722" @default.
- W4300180723 hasPublicationYear "2015" @default.
- W4300180723 type Work @default.
- W4300180723 citedByCount "0" @default.
- W4300180723 crossrefType "posted-content" @default.
- W4300180723 hasAuthorship W4300180723A5009422307 @default.
- W4300180723 hasAuthorship W4300180723A5050902289 @default.
- W4300180723 hasBestOaLocation W43001807231 @default.
- W4300180723 hasConcept C11413529 @default.
- W4300180723 hasConcept C118615104 @default.
- W4300180723 hasConcept C134306372 @default.
- W4300180723 hasConcept C173608175 @default.
- W4300180723 hasConcept C33923547 @default.
- W4300180723 hasConcept C34388435 @default.
- W4300180723 hasConcept C41008148 @default.
- W4300180723 hasConcept C42058472 @default.
- W4300180723 hasConcept C77553402 @default.
- W4300180723 hasConceptScore W4300180723C11413529 @default.
- W4300180723 hasConceptScore W4300180723C118615104 @default.
- W4300180723 hasConceptScore W4300180723C134306372 @default.
- W4300180723 hasConceptScore W4300180723C173608175 @default.
- W4300180723 hasConceptScore W4300180723C33923547 @default.
- W4300180723 hasConceptScore W4300180723C34388435 @default.
- W4300180723 hasConceptScore W4300180723C41008148 @default.
- W4300180723 hasConceptScore W4300180723C42058472 @default.
- W4300180723 hasConceptScore W4300180723C77553402 @default.
- W4300180723 hasLocation W43001807231 @default.
- W4300180723 hasOpenAccess W4300180723 @default.
- W4300180723 hasPrimaryLocation W43001807231 @default.
- W4300180723 hasRelatedWork W1549217443 @default.
- W4300180723 hasRelatedWork W1604898313 @default.
- W4300180723 hasRelatedWork W1965292679 @default.
- W4300180723 hasRelatedWork W2034393996 @default.
- W4300180723 hasRelatedWork W2037997478 @default.
- W4300180723 hasRelatedWork W2102098509 @default.
- W4300180723 hasRelatedWork W2151373762 @default.
- W4300180723 hasRelatedWork W2164287667 @default.
- W4300180723 hasRelatedWork W2396989770 @default.
- W4300180723 hasRelatedWork W3186548984 @default.
- W4300180723 isParatext "false" @default.
- W4300180723 isRetracted "false" @default.
- W4300180723 workType "article" @default.