Высокоуровневое проектирование встраиваемых систем. Платунов А.Е - 16 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Составители: 

Рубрика: 

• атомарное «чтение-модификация-запись». Доступ компонент к
разделяемому буферу данных;
• очередь неограниченной емкости. На одну очередь должно быть не более
одного компонента, принимающего данные. Если очередь пуста, то при
попытке чтения из нее компонент блокируется, то есть приостанавливает
вычисления;
• очередь ограниченной емкости. От предыдущего отличается тем, что при
попытке записи в заполненную очередь компонент блокируется, то есть
приостанавливает вычисления до освобождения места в очереди. Моделям
вычислений, реализующим данный способ взаимодействия, свойственна
проблема блокировок части системы из-за взаимного ожидания входящих в
нее компонентов («deadlock»);
• места сети Петри. Один или несколько компонентов выдают элементы
данных, и один или несколько компонентов их принимают. Размер буфера
данных не ограничен. Элементы данных извлекаются из буфера при чтении.
• «рандеву». Синхронизация операций записи и чтения одного или нескольких
компонентов. В простейшем случае два компонента, то есть компонент,
выдающий данные, и компонент, принимающий данные, ожидают
готовности друг друга к взаимодействию. Некоторые MoC предлагают
«множественное рандеву», когда для осуществления передачи одного
элемента данных из набора компонентов, выдающих данные, и набора
приемников не детерминированным способом выбираются два, между
которыми происходит взаимодействие.
Обобщение способов взаимодействия приведено в табл. 1.1 (таблица взята
из [57] с модификациями).
1.1.4 Базовые модели вычислений встраиваемых систем
Ниже представлен обзор пяти базовых MoC ВсС:
• мета-модель сигналов с тегами TSM.
• сеть обработки потоков данных;
• взаимодействующие конечные автоматы;
• модель дискретных событий;
• синхронная модель вычислений;
1.1.4.1 Мета-модель сигналов с тегами TSM
Для оценки различных аспектов MoC ВсС, а также как способ получения
новых моделей Sangiovanni-Vincentelli и Lee предложили Tagged-Signal Model
(TSM) [70, 62, 78, 77]. TSM не является какой-либо конкретной MoC
встраиваемых систем. TSM представляет собой метамодель и позволяет
оценить различные MoC ВсС с разных точек зрения.
15

Страницы