|
Standalone verification of IOMMU with virtualization supporting
[Автономная верификация IOMMU с поддержкой виртуализации]
A. A. Petrykina, I. A. Stotlanda, A. N. Meshkovba a MCST
b INEUM
Аннотация:
В данной статье представлен подход к автономной верификации блока управления памятью ввода / вывода с поддержкой виртуализации. Мы представляем базовую архитектуру тестовой системы. Рассматриваются основные проблемы, возникающие при верификации IOMMU с поддержкой виртуализации. Одной из ключевых проблем стало формирование страниц таблицы трансляции. Количество таблиц трансляции зависит от режима работы IOMMU и типа трансляции. В качестве решения этой проблемы предложен подход к динамической генерации таблиц трансляции. Представлен алгоритм формирования страниц таблиц трансляции в генераторе. Решается проблема проверки трансляции виртуального адреса в физический с использованием двухуровневых таблиц трансляций. Рассмотрены особенности реализации эталонной модели. Описаны эталонная модель и тестовая система, которые использовались для верификации микропроцессора IOMMU с архитектурой 6-го поколения «Эльбрус». Представлены методы связи между тестовой системой и моделью IOMMU. Рассматриваются результаты проверки IOMMU.
Ключевые слова:
блок управления памятью ввода / вывода, тестовая система, эталонная модель, «Эльбрус».
Образец цитирования:
A. A. Petrykin, I. A. Stotland, A. N. Meshkov, “Standalone verification of IOMMU with virtualization supporting”, Труды ИСП РАН, 31:3 (2019), 77–84
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp424 https://www.mathnet.ru/rus/tisp/v31/i3/p77
|
Статистика просмотров: |
Страница аннотации: | 99 | PDF полного текста: | 62 | Список литературы: | 17 |
|