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

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

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

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

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

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