Local variables. Each process pi manages the following local variables: parti is used to locally store a copy of the snapshot object PART ; counti is a local counter; idi and new_namei are used to store the original and new names, respectively. Behavior of a process pi. Algorithm 2 describes the behavior of a process pi. Every process pi keeps on taking snapshots until it notices that n t processes (including itself) are participating. Then, the process invokes a rename operation of a RENAMINGf object, stores the value of its new name in new_namei, and returns this value.
Appears in 3 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