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