Previous | Table of Contents | Next |
Define an internal variable, V, as follows.
i. On initialization set V to 1.
ii. On entering a new, consistent state increment V.
iii. When current_version() is invoked return V if the current state is consistent, otherwise return 0.