Составители:
которую ориентирована виртуальная машина. В этом случае виртуальная
машина начинает тяготеть к MoC. Остается вопрос, какой круг задач покрывает
такая MoC, и какова степень формальности описания. Но в большинстве
случаев, уже по названию “машина” можно предположить, что имеется в виду
некоторая конкретная реализация, что, в принципе, не может выступать в роли
MoC.
В главе 2 части 1 пособия было показано, что принцип выделения и
фиксации виртуальных машин для реализации тех или иных MoC в
сегодняшней вычислительной технике – один из наиболее мощных
технологических инструментов разработчика, позволяющий структурировать
процесс проектирования, обеспечить переносимость и повторное
использование наработок, масштабировать технические решения и проекты
[26].
1.1.2 Понятие «модель вычислений» в проектировании встраиваемых
систем
Ключевой задачей в процессе проектирования является обоснованный
выбор той или иной модели целевой системы. Рассмотрение системы с точки
зрения той или иной модели автоматически привнесет в систему свойства,
присущие выбранной модели [46, 70, 72, 35]. MoC можно представлять как
строго определенную парадигму (набор правил), описывающую протекание
вычислительного процесса, способы обмена данными, взаимодействия между
отдельными функциональными элементами [46].
Кроме того, MoC предлагает терминологию и примитивы, в базисе
которых требуется выражать и описывать целевую систему. MoC описывает
природу потоков данных, элементов синхронизации, роль времени в процессе
выполнения системой целевой функции. Различные MoC по-разному
описывают одни и те же процессы, протекающие в целевой системе. Для
больших и сложных систем совершенно нормальное положение дел, когда
различные части системы представляются различными MoC.
Важной и неотъемлемой частью модели вычислений является язык MoC.
Как и любой другой язык, язык MoC определяется алфавитом, синтаксисом и
семантикой. Алфавит представляет собой множество допустимых символов
языка, которые могут быть скомбинированы различными способами. Правила
комбинирования и допустимые комбинации определяются синтаксисом языка.
Смысл и интерпретация тех или иных допустимых комбинаций символов
алфавита определяется семантикой языка. С точки зрения языка его MoC
представляет собой поведение некоторой абстрактной вычислительной машины
(или просто абстрактного вычислителя) в рамках семантики языка. С этой точки
зрения можно вести разговор о MoC традиционных языков программирования,
таких как C, C++, Java, Pascal
и т.д. В этом случае, оценивая применимость того
или иного языка, а на самом деле MoC, на которой каждый конкретный язык
базируется, для решения той или иной задачи, стоящей перед разработчиком,
10
Страницы
- « первая
- ‹ предыдущая
- …
- 9
- 10
- 11
- 12
- 13
- …
- следующая ›
- последняя »
