Справочник по Ada (Ada 2022)
Приложение E
(нормативное)
Распределенные системы
Это приложение определяет средства для поддержки реализации распределенных систем с использованием нескольких разделов, работающих совместно как часть одной программы Ada.
Правила после компиляции
Распределенная система представляет собой взаимосвязь одного или нескольких процессорных узлов (ресурс системы, обладающий вычислительными и возможностями хранения), и нуля или более хранилищ узлов (ресурс системы, обладающий только возможностями хранения, с адресацией хранилища одним или несколькими процессорными узлами).
Распределенная программа включает один или несколько разделов, которые выполняются независимо (кроме случаев взаимодействия) в распределенной системе.
Процесс сопоставления разделов программы с узлами в распределенной системе называется настройкой разделов программы.
Требования к реализации
Реализация должна предоставить средства для явного назначения библиотек в раздел, а также для настройки и выполнения программы, состоящей из нескольких разделов, в распределенной системе; средства определяются реализацией.
Разрешения реализации
Реализация может потребовать, чтобы набор процессорных узлов распределенной системы был однородным.
ПРИМЕЧАНИЕ 1 Разделы, составляющие программу, могут выполняться на различных конфигурированных распределенных системах или на нераспределенной системе без необходимости перекомпиляции. Распределенную программу можно разделить по-разному из того же набора библиотек без перекомпиляции. Результативное выполнение является семантически эквивалентным.
ПРИМЕЧАНИЕ 2 Распределенная программа сохраняет ту же безопасность типов, что и эквивалентная программа с одним разделом.
