3 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.…
cs.DC2022
Null Messages, Information and Coordination
Raïssa Nataf, Guy Goren, Yoram Moses
This paper investigates the role that null messages play in synchronous systems with and without failures, and provides necessary and sufficient conditions on the structure of prot…