2 papers
cs.DC2018
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion
Zahra Aghazadeh, Damien Imbs, Michel Raynal +2
The notion of an anonymous shared memory (recently introduced in PODC 2017) considers that processes use different names for the same memory location. Hence, there is permanent dis…
cs.DC2015
On the Time and Space Complexity of ABA Prevention and Detection
Zahra Aghazadeh, Philipp Woelfel
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 def…