Snapshot. A snapshot object provides two operations denoted write() and snapshot() [1, 3]. Such an object can be seen as an array of single-writer multi-reader atomic register SN [1..n] such that:
Appears in 4 contracts
Sources: K Set Agreement and Renaming in the Presence of Contention Related Crash Failures, K Set Agreement and Renaming in the Presence of Contention Related Crash Failures, K Set Agreement and Renaming in the Presence of Contention Related Crash Failures