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