Simple Executions of Snapshot Implementations

Gal Amram, Lior Mizrahi, Gera Weiss

The well known snapshot primitive in concurrent programming allows for n-asynchronous processes to write values to an array of single-writer registers and, for each process, to tak…