Язык координации Рео - Википедия - Reo Coordination Language

Цепь Reo: Генератор

Рео^[1]^[2] это предметно-ориентированный язык для программирования и анализа протоколов координации, составляющих индивидуальные процессы в полном объеме системыПримеры классов систем, которые могут быть составлены с помощью Reo, включают компонентный системы, сервис-ориентированный системы, многопоточность системы, биологический системы и криптографические протоколы. Reo имеет графический синтаксис, в котором каждая программа Reo, называемая соединитель или же схема, помеченный направленный гиперграф Такой график представляет собой поток данных среди процессов в системе. Reo имеет формальная семантика, которые лежат в основе различных формальных методов проверки и инструментов компиляции.

Определения

В Reo параллельная система состоит из набора компонентов, которые склеены между собой схемой, которая обеспечивает поток данных между компонентами. Компоненты могут выполнять операции ввода-вывода на граничные узлы схемы, к которой они подключены. Существует два типа операций ввода-вывода: запросы на размещение отправляют элементы данных на узел и запросы на получение данных для получения элементов данных из узла. Все операции ввода-вывода являются блокирующими, что означает что компонент может продолжить работу только после того, как его ожидающая операция ввода-вывода была успешно обработана.

На рисунке вверху справа показан пример системы производитель-потребитель с тремя компонентами: два производителя слева и один потребитель справа. Схема в центре определяет протокол, который гласит, что производители должны отправлять данные синхронно. , а потребитель получает эти данные в чередующемся порядке.

Формально структура схемы определяется следующим образом:

Определение 1. А схема это тройка ${ Displaystyle R = (N, B, C, t)}$ куда:

$N$ это набор узлы;
${ Displaystyle B substeq N}$ это набор граничные узлы;
${ displaystyle C substeq 2 ^ {N} times 2 ^ {N}}$ это набор каналы;
${ displaystyle t: C rightarrow T}$ назначает типы на каждый канал.

такой, что ${ Displaystyle | I чашка O | = 2}$ , для всех ${ displaystyle (I, O) in C}$ .Если ${ displaystyle c = (I, O) in C}$ это канал, то $я$ называется набором входных узлов $c$ и $О$ называется набором выходных узлов $c$ .

Динамика схемы напоминает поток сигналов через Электронная схема.

Узлы имеют фиксированное поведение репликатора слияния: данные одного из входящих каналов распространяются на все исходящие каналы без сохранения или изменения данных (т. Е. Поведения репликатора). Если несколько входящих каналов могут предоставлять данные, узел делает недетерминированный выбор среди них (т. Е. Поведение слияния). Узлы с только входящими или исходящими каналами вызываются. приемные узлы или же исходные узлы, соответственно; узлы с входящими и исходящими каналами называются смешанные узлы.

В отличие от узлов, каналы имеют определяемое пользователем поведение, представленное их типом. Это означает, что каналы могут хранить или изменять элементы данных, которые проходят через них. Хотя каждый канал соединяет ровно два узла, эти узлы не нужно вводить и выводить. Например, вертикальный канал на рисунке вверху справа имеет два входа и не имеет выходов. Тип канала определяет поведение канала по отношению к данным. Ниже приведен список общих типов:

$Синхронизировать$ : Атомарно получает данные от входного узла и распространяет их на выходной узел.
$LossySync$ : То же, что и Sync, но может потерять данные, если его выходной узел не готов принимать данные.
$Fifo ⟨ п ⟩$ : Получает данные со своего входного узла, временно сохраняет их во внутреннем буфере размера $п$ , и распространяет его на свой выходной узел (всякий раз, когда этот выходной узел готов принять данные).
$SyncDrain$ : Атомарно получает данные от обоих входных узлов и теряет их.
$Фильтр ⟨ c ⟩$ : Атомарно получает данные от входного узла и распространяет их на выходной узел, если условие фильтра $c$ доволен; в противном случае теряет данные.

Свойства программной инженерии

Экзогенность

Один из способов классификации координационных языков - это их локус: локус координации относится к месту, где происходит координационная деятельность, классифицируя модели координации и языки как эндогенный или же экзогенный.^[3]Эндогенные модели и языки, такие как Линда, предоставляют примитивы, которые должны быть включены в вычисление для его координации. В приложениях, которые используют такие модели, примитивы, которые влияют на координацию каждого модуля, находятся внутри самого модуля. Напротив, Reo - это экзогенный язык, который предоставляет примитивы, поддерживающие координацию В приложениях, использующих экзогенные модели, примитивы, влияющие на координацию каждого модуля, находятся вне самого модуля.

Эндогенные модели иногда более естественны для данного приложения, однако обычно они приводят к смешиванию примитивов координации с вычислительным кодом, что запутывает семантику вычислений с протоколами координации. Это смешивание имеет тенденцию разбрасывать примитивы связи / координации по всему исходному коду, делая модель сотрудничества и протокол координации приложения туманными и неявными: как правило, нет фрагмента исходного кода, идентифицируемого как модель сотрудничества или протокол координации приложения. , которые можно проектировать, разрабатывать, отлаживать, поддерживать и повторно использовать отдельно от остального кода приложения. С другой стороны, экзогенные модели поощряют разработку координационных модулей отдельно и независимо от вычислительных модулей, которые они должны координировать. Следовательно, результат значительных усилий, вложенных в проектирование и разработку компонента координации приложения, может проявиться в виде материальных «чистых модулей координатора», которые легче понять, а также могут быть повторно использованы в других приложениях.

Композиционность / возможность повторного использования

Схемы Reo являются композиционными. Это означает, что можно создавать сложные схемы, повторно используя более простые схемы. Чтобы быть более точным, две схемы могут быть склеены вместе на их граничных узлах, чтобы сформировать новую объединенную схему. В отличие от многих других моделей параллелизма (например, пи-исчисление ), синхронность сохраняется при композиции. Это означает, что если мы составим схему с синхронным потоком между узлами A и B с другой схемой с синхронным потоком между узлами B и C, объединенная схема будет иметь синхронный поток между узлами A и C. Словом, композиция двух синхронных схем дает синхронную схему.

Семантика

Семантика схемы Reo - это формальное описание ее поведения. Существуют различные семантики схемы Reo.^[4]

Исторически первая семантика Рео была основана на коалгебраический понятие потоков (т.е. бесконечных последовательностей).^[5]Эта семантика основана на концепции синхронизированный поток данных, который представляет собой пару, состоящую из потока элементов данных и потока монотонно увеличивающихся отметок времени (действительных чисел). Связывая каждый узел с таким синхронизированным потоком данных, поведение канала может быть смоделировано как отношение потоков на подключенных узлах.

Позже автомат на основе семантики, которая называется ограничительные автоматы.^[6]Ограничительный автомат - это помеченная система переходов, где метки перехода состоят из ограничение синхронизации и ограничение данныхОграничение синхронизации указывает, какие узлы синхронизируются на этапе выполнения, смоделированном переходом, а ограничение данных указывает, какие элементы данных передаются по этим узлам.

Одно ограничение автоматов ограничений (и синхронизированных потоков данных) заключается в том, что они не могут напрямую моделировать контекстно-зависимый поведение, при котором поведение канала зависит от (не) доступности ожидающей операции ввода-вывода. Например, с помощью автоматов ограничений невозможно напрямую смоделировать поведение LossySync, который должен терять данные только в том случае, если его вывод узел не имеет ожидающего запроса get-request. Для решения этой проблемы была разработана другая семантика Reo, которая называется окраска разъема.^[7]

Другая семантика для Reo позволяет моделировать синхронизированные^[8] или вероятностный^[9] поведение.

Реализации

В Расширяемые инструменты координации (ECT) - это набор плагинов для Затмение которые составляют интегрированная среда развития (IDE) для Reo. ECT состоит из графического редактора для рисования схем и движка анимации для анимации потока данных через схемы. Для генерации кода ECT содержит компилятор Reo-to-Java, который генерирует код для схем на основе их семантика ограничивающего автомата. В частности, при вводе схемы Reo он создает класс Java, который имитирует ограничительный автомат, моделирующий схему. Для проверки ECT содержит инструмент, который переводит схемы Reo в определения процессов в mCRL2.Пользователи могут впоследствии использовать mCRL2 для проверки модели на соответствие му-исчисление спецификации свойств (в качестве альтернативы, программа проверки моделей Vereofy также поддерживает проверку цепей Reo).

Другая реализация Reo разработана на языке программирования Scala и выполняет схемы распределенным образом.^[10]

внешняя ссылка

Сайт Рео

[1] Фархад Арбаб: Reo: модель координации на основе каналов для компонентного состава. Математические структуры в компьютерных науках 14 (3): 329-366, 2004.

[2] Фархад Арбаб: Пафф, Волшебный протокол. В Gul Agha, Olivier Danvy, Jose Meseguer, редакторы Talcott Festschrift, том 7000 LNCS, страницы 169-206. Спрингер, 2011.

[3] Фархад Арбаб: Состав взаимодействующих вычислений. В Дина Голдин, Скотт Смолка и Питер Вегнер, редакторы, Interactive Computation, стр. 277-321. Спрингер, 2006.

[4] Сунг-Шик Джонгманс и Фархад Арбаб: Обзор тридцати семантических формализмов для Рео. Scientific Annals of Computer Science 22 (1): 201-251, 2012.

[5] Фархад Арбаб и Ян Руттен: Коиндуктивное исчисление компонентных соединителей. В Мартине Вирсинге, Дирке Паттинсоне и Рольфе Хенникере, редакторах, Proceedings of WADT 2002, том 2755 LNCS, страницы 34-55. Спрингер, 2003.

[6] Кристель Байер, Марьян Сирджани, Фархад Арбаб и Ян Руттен: Моделирование компонентных соединителей в Reo автоматами ограничений. Наука компьютерного программирования 61 (2): 75-113, 2006.

[7] Дэйв Кларк, Дэвид Коста и Фархад Арбаб: Раскраска соединителя I: синхронизация и контекстная зависимость. Наука компьютерного программирования 66 (3): 205-225, 2007.

[8] Фархад Арбаб, Кристель Байер, Франк де Бур и Ян Руттен: Модели и временные логические спецификации для синхронизированных компонентных соединителей. Программное обеспечение и моделирование систем 6 (1): 59-82, 2007.

[9] Кристель Байер: Вероятностные модели для цепей Reo Connector. Журнал универсальных компьютерных наук 11 (10): 1718-1748, 2005.

[10] Хосе Проэнса: Синхронная координация распределенных компонентов. Кандидатская диссертация, Лейденский университет, 2011 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]