Один из вариантов событий:
1. Создали и сохранили док (ЦБ, ПБ - не важно)
2. Произвели обмен. Не проведенный док появился во всех ПБ и ЦБ.
3. Провели Док в ПБ.
4. Пересохранили непроводя Док в ЦБ.
5. Произвели обмен. В ПБ записался непроведенный Док, т.к. у ЦБ приоритет выше
Чтобы обнаруживать ошибки, программист должен иметь ум, которому доставляет удовольствие находить изъяны там, где, казалось, царят красота и совершенство. Фредерик Брукс-младший