E.3 Согласованность распределённой системы

В данном подпункте определены атрибуты и правила, связанные с проверкой согласованности распределённой программы.

Для префикса P, который статически обозначает единицу программы, определены следующие атрибуты:

Версия единицы компиляции изменяется всякий раз, когда единица компиляции изменяется каким-либо семантически значимым образом. Настоящий международный стандарт не определяет точное значение "семантически значимого" изменения. Не определено, есть ли другие события (например, повторная компиляция), которые приводят к изменению версии единицы компиляции.

Если P не является единицей библиотеки и P не имеет завершения, то P'Body_Version возвращает Body_Version самой внутренней единицы программы, охватывающей объявление P. Если P является единицей библиотеки и P не имеет завершения, то P'Body_Version возвращает значение, отличное от Body_Version любой версии P, имеющей завершение.

В распределённой программе единица библиотеки считается согласованной, если в ней используется та же версия её объявления. Ошибка возникает при разработке раздела распределённой программы, содержащей единицу компиляции, зависящую от другой версии объявления общей пассивной или RCI-единицы библиотеки, чем та, которая включена в раздел, которому была назначена общая пассивная или RCI-единица библиотеки. В результате этой ошибки в одном или обоих разделах во время разработки может быть поднято исключение Program_Error; в любом случае разделы станут недоступны друг для друга.