Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Труды института системного программирования РАН, 2017, том 29, выпуск 6, страницы 77–104
DOI: https://doi.org/10.15514/ISPRAS-2017-29(6)-4
(Mi tisp274)
 

Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Автоматизация разработки моделей устройств и вычислительных машин для QEMU

В. Ю. Ефимовa, А. А. Беззубиковa, Д. А. Богомоловa, О. В. Горемыкинa, В. А. Падарянab

a Институт системного программирования им. В.П. Иванникова РАН
b Московский государственный университет им. М.В. Ломоносова
Список литературы:
Аннотация: Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки разработчика, в данной работе был проведён анализ архитектуры QEMU и процесса разработки моделей отдельных устройств и виртуальных машин для QEMU. Предлагается подход к разработке, в рамках которого начальный этап ощутимо автоматизируется, благодаря применению декларативного описания устройств и машин, а также средств графического представления разрабатываемых устройств и машин. Подход реализован в интегрированном инструменте, позволяющем разработчику QEMU получить компилируемый набор файлов с исходным Си-кодом. Разработчик задаёт параметры генерации устройств и описывает состав машины на языке Python или в графическом редакторе, обеспечивающем визуализацию текстового описания. Результатом применения инструмента при построении машины становится фактически готовый Си-код, требующий только уточнить конфигурацию процессора и обработать параметры командной строки. В случае периферийного устройства от разработчика потребуется реализовать поведенческий аспект. Проведённые эксперименты с платформами Q35 и Cisco 2621XM показали, что количество строк в описании устройства в 11–26 раз меньше числа строк получаемой заготовки на языке Си. Такая разница в объёме достигнута за счёт генерации формального кода, реализующего служебные интерфейсы QEMU. Такой код составляет ощутимую долю кода устройства, в то время как может быть сгенерирован по сравнительно небольшому описанию. Суммарный объём сгенерированного кода заготовок составил от 1/4 до 3/4. Исходный код разработанного инструмента доступен по адресу https://github.com/ispras/qdt.
Ключевые слова: программный эмулятор, бинарный код, разработка виртуальных машин.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-29-09632
Работа поддержана грантом РФФИ № 16-29-09632
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян, “Автоматизация разработки моделей устройств и вычислительных машин для QEMU”, Труды ИСП РАН, 29:6 (2017), 77–104
Цитирование в формате AMSBIB
\RBibitem{EfiBezBog17}
\by В.~Ю.~Ефимов, А.~А.~Беззубиков, Д.~А.~Богомолов, О.~В.~Горемыкин, В.~А.~Падарян
\paper Автоматизация разработки моделей устройств и вычислительных машин для QEMU
\jour Труды ИСП РАН
\yr 2017
\vol 29
\issue 6
\pages 77--104
\mathnet{http://mi.mathnet.ru/tisp274}
\crossref{https://doi.org/10.15514/ISPRAS-2017-29(6)-4}
\elib{https://elibrary.ru/item.asp?id=32309067}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp274
  • https://www.mathnet.ru/rus/tisp/v29/i6/p77
  • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:176
    PDF полного текста:116
    Список литературы:38
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024