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

UptoLike

ВУЗ: 

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

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

Рубрика: 

66
широкий класс так называемых самодостаточных вычислительных механизмов
предоставляет ряд серьезных возможностей в повышении важности и
удельного веса этапов абстрактного проектирования ВсС.
Разделение вычислительной системы на механизмы и вычислительные
виртуальные машины – важная и сложная задача, которая плохо поддается
формализации. Такое разделение ВcС возможно относительно выделенных (в
качестве самостоятельных) вычислительных процессов
. Степень
инвариантности к аппаратному/программному способу реализации для
абстрактных ВМх и ВВМ определяется в первую очередь сопряженными с
ними MoC.
Итак, важнейшие абстракции для представления ВсС – вычислительные
механизмы и виртуальные машины. Будем рассматривать виртуализацию в
качестве базовой абстракции вычислительной техники, которую попробуем
распространить на процесс высокоуровневого проектирования в целом.
• Виртуализация –
абстрактное (модельное) представление вычислительных
ресурсов программно-аппаратной платформы.
• Виртуальная машина – вычислитель (computer), полученный в результате
виртуализации базовой вычислительной платформы.
• Виртуальная вычислительная машина (ВВМ) – техническое решение,
реализующее семантику модели вычислений (MoC).
• Вычислительный механизм (ВМх) – техническое решение, реализующее
субъект (актор) MoC. Другими словами вычислительный механизм –
носитель модели вычислений.
2.1.3.3 Архитектура встраиваемых систем как
иерархия виртуальных
машин
В качестве инструмента представления ВсС предлагается использовать
создание иерархии ВВМ. Известно, что использование виртуальных машин
позволяет эффективно бороться с семантическим разрывом в вычислительной
технике, существующим между средствами формального, абстрактного
представления вычислительного процесса и возможностями аппаратных
средств. Развитие вычислительной техники убедительно демонстрирует
эффективность покрытия «семантического разрыва» посредством организации
иерархии
виртуальных машин в архитектуре ВС.
Принцип выделения ВВМ – мощный инструмент, позволяющий:
• структурировать вычислительный процесс и саму ВС;
• масштабировать проектные решения;
• обеспечивать программную совместимость и переносимость;
• абстрагироваться от способа реализации вычислителя;
• повышать надежность вычислительного процесса;

Страницы