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