Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  1. C writes a barrier, expires all negative PIDs (both B's mapped PIDs and A's forwarded PIDs).
  2. When B resumes mirroring, fresh mappings are created from clean state.
  3. No collision is possible as all negative PIDs are always coming from the same source cluster.

...