2 papers
cs.DC2026
Communication Requirements for Linearizable Registers
Raïssa Nataf, Yoram Moses
While linearizability is a fundamental correctness condition for distributed systems, ensuring the linearizability of implementations can be quite complex. An essential aspect of l…
cs.DC2025
Time, Fences and the Ordering of Events in TSO
Raïssa Nataf, Yoram Moses
The Total Store Order (TSO) is arguably the most widely used relaxed memory model in multiprocessor architectures, widely implemented, for example in Intel's x86 and x64 platforms.…