Standalone verification of IOMMU with virtualization supporting
| Autor: | A.N. Meshkov, I.A. Stotland, A.A. Petrykin |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Generator (computer programming)
«эльбрус» Computer science эталонная модель Translation (geometry) computer.software_genre Virtualization lcsh:QA75.5-76.95 law.invention Microprocessor Memory management unit Virtual address space law Key (cryptography) Operating system General Earth and Planetary Sciences блок управления памятью ввода / вывода тестовая система lcsh:Electronic computers. Computer science Reference model computer General Environmental Science |
| Zdroj: | Труды Института системного программирования РАН, Vol 31, Iss 3, Pp 77-84 (2019) |
| ISSN: | 2220-6426 2079-8156 |
| Popis: | This article presents an approach to standalone verification of I/O Memory Management Unit with virtualization supporting. We presented the base architecture of the test system. The main problems encountered during the verification of IOMMU with virtualization support are considered. One of the key problems was the formation of translation table pages. The number of translation tables depends on the mode of IOMMU operation and the type of translation. As a solution of this problem the approach to the dynamic generation of translation tables is proposed. The algorithm for formation of translation table pages in the generator is presented. The problem of validating the translation of a virtual address into a physical one using two-level translation tables is solved. The features of the reference model implementation are considered. Reference model and test system which have been used for IOMMU verification of microprocessor with the 6th generation «Elbrus» architecture are described. The main components of the test system and the methods of communication between test system and IOMMU model are presented. The results of IOMMU verification are considered. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|