Методы и средства программного моделирования для обеспечения процесса проектирования микропроцессорных систем тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Мешков, Алексей Николаевич

• Мешков, Алексей Николаевич
• кандидат технических наук
• 2013

Оглавление диссертации кандидат технических наук Мешков, Алексей Николаевич

Содержание

Содержание

Введение

1. Разработка моделирующих комплексов процессорных архитектур

1.1 Подходы к моделированию

1.2 Принципы моделирования

1.3 Разновидности программных моделей

1.3.1 Модели пользовательского уровня

1.3.2 Модели уровня вычислительного комплекса

1.3.3 Функциональные модели

1.3.4 Потактовые модели

1.4 Аналогичные работы

1.4.1 SimlCS

1.4.2 QEMU

1.4.3 Bochs

1.4.4 М5

1.4.5 Shade

1.4.6 Strata

1.5 Выводы

2. Функциональные характеристики системы моделирования

2.1 Требования к построению моделирующих комплексов

2.2 Объект моделирования

2.2.1 Архитектура «Эльбрус»

2.2.2 Микропроцессор «Эльбрус-ЗМ» и вычислительный комплекс на его основе

2.2.3 Микропроцессор «Эльбрус-S» и вычислительный комплекс на его основе

2.2.4 Дальнейшее развитие архитектуры «Эльбрус»

2.2.5 Архитектура SPARC

2.2.6 Микропроцессор MLJCT-R500S (SPARC V8)

2.2.7 Микропроцессор МЦСТ-RIOOO (SPARC V9)

2.3 Функциональная схема

2.4 Выводы

3. Методы построения моделирующих комплексов

3.1 Принципы построения

3.1.1 Маршрут проектирования

3.1.2 Объектно-ориентированный подход

3.1.3 Использование парадигмы обобщенного программирования

3.1.4 Конфигурируемость

3.2 Функциональные схемы симуляторов «Эльбрус» и SPARC

3.3 Архитектурно-независимые методы построения моделирующих комплексов

3.3.1 Организация декодирования и выполнения инструкций

3.3.2 Программная реализация регистрового файла

3.3.3 Реализация системы прерываний

3.4 Реализация архитектурных особенностей в моделях семейства «Эльбрус»

3.4.1 Реализация тегирования данных в моделирующих комплексах

3.4.2 Вторичное виртуальное адресное пространство

3.4.3 Сегментная организация памяти в моделях пользовательского уровня

3.5 Организация подсистемы памяти

3.6 Периферийные устройства

3.7 Анализ кода и производительность

3.7.1 Производительность симуляторов вычислительного комплекса архитектуры «Эльбрус»

3.7.2 Производительность симуляторов пользовательского уровня архитектуры «Эльбрус»

3.7.3 Производительность симуляторов вычислительного комплекса

архитектуры SPARC

3.7.4 Производительность симуляторов пользовательского уровня

архитектуры SPARC

3.8 Выводы

4. Проектирование и реализация отладочных средств

4.1 Трассировка

4.1.1 Трассировка исполнения инструкций

4.1.2 Трассировка устройств процессора

4.1.3 Трассировка периферийных устройств

4.2 Слежение за состоянием регистров и памяти

4.3 Сбор статистики

4.4 Контроль неопределенных ситуаций

4.5 Контроль аппаратных зависимостей (правил планирования)

4.6 Контрольные точки

4.7 Выявление и контроль обхода аппаратных ошибок

4.8 Влияние отладочных средств на скорость моделирования

4.9 Выводы

Заключение

Литература

Приложение

Введение диссертации (часть автореферата) на тему «Методы и средства программного моделирования для обеспечения процесса проектирования микропроцессорных систем»

Введение

Современные высокопроизводительные микропроцессорные системы (МС) востребованы во многих областях. Ежегодно производительность микропроцессорных систем увеличивается на 25-35% [1]. Проектирование и создание таких вычислительных комплексов новой архитектуры — сложная задача, включающая в себя разработку, тестирование и отладку как аппаратного, так и программного обеспечения.

Одним из способов повышения эффективности разработки на всем протяжении проектирования является применение комплекса программ, моделирующих работу микропроцессора и МС в целом и их базовых компонентов в отдельности. Существенно сократить время разработки можно с помощью построения моделей исследуемых систем. Такие модели исполняются на инструментальной (хостовой) машине и с определенной точностью воспроизводят поведение целевой (моделируемой) машины. Принцип работы заключается в интерпретации инструкций целевой машины в моделируемом окружении целевой машины. Это позволяет сопоставлять альтернативы и обоснованно вырабатывать решения как при реализации новых микропроцессорных архитектур, так и при создании вычислительных средств на основе стандартных архитектурных спецификаций. Сейчас так действуют многие ведущие компании в области компьютерных технологий, хотя существенные детали их методов остаются закрытыми.

Актуальность диссертационной работы заключается в создании методов и средств, позволяющих сократить время и повысить качество проектирования отечественных высокопроизводительных МС — вычислительных комплексов (ВК) серии Эльбрус - путем их моделирования в процессе проектирования. Диссертационная работа выполнена в ходе реализации предложенного подхода при создании двух линий ВК серии Эльбрус: построенных на базе оригинальной отечественной архитектуры

«Эльбрус» и на базе стандартной архитектуры SPARC. Работы проводились в проектном центре ЗАО «МЦСТ» и «ОАО «ИНЭУМ им. И.С. Брука».

Важной особенностью данной работы является то, что в ней рассматриваются методы создания моделей разрабатываемых, а не уже существующих, как это делается в большинстве случаев. Следствием этого является принципиальная разница в подходах к проектированию средств моделирования. Модель существующей системы может быть достаточно эффективно создана по функциональному описанию архитектуры: системе команд, системе прерываний, описанию подсистемы памяти и т.д. Для создания модели разрабатываемой системы такой подход оказывается неэффективным [2].

Во-первых, развитие средств моделирования должно опережать проектирование аппаратуры на начальном этапе и предоставлять дополнительную функциональность и отладочные средства на протяжении всего времени эксплуатации. Это позволяет разработчикам аппаратуры оценить степень влияния тех или иных архитектурных особенностей на работу системы. Подробная информация о производительности системы необходима для выбора подходящего архитектурного решения. Проектирование архитектуры выполняется на языках описания аппаратуры. И хотя ряд средств позволяют синтезировать и моделировать работу логики, использование программной модели позволяет получить на несколько порядков большую скорость, что является существенным для оценки производительности на продолжительных задачах. Необходимо заметить, что такие задачи как загрузка и работа ОС, а также исполнение прикладных программ на загруженной ОС являются чрезвычайно протяженными во времени. Таким образом, скорость работы самого моделирующего комплекса является важным фактором, влияющим на продолжительность разработки и отладки архитектуры.

Во-вторых, характеристики вычислительной системы могут изменяться в процессе ее проектирования. Характер изменений может представлять как

глобальные перепроектировки, в особенности на начальном этапе проектирования, так и множество незначительных изменений — ближе к концу цикла разработки. Это накладывает множество ограничений на построение средств моделирования, основное из которых — необходимость придерживаться максимально абстрактной и иерархической структуры объектов для возможности быстрой замены или перепроектировки.

В третьих, модель разрабатываемого вычислительного комплекса возможно использовать в качестве средства кросс-разработки, что позволяет начать разработку ПО не дожидаясь готовности аппаратуры. Разработчики ПО стремятся к улучшению производительности приложений. Понимание поведения приложения, включая его взаимодействие с аппаратным комплексом и операционной системой (ОС), позволяет сконцентрировать усилия разработчика на изменениях, приводящих к наиболее существенным улучшениям. Портирование ОС требует корректной работы архитектурно-зависимой части на новой архитектуре. Задача моделирования в данном случае заключается в обеспечении разработчиков ОС исчерпывающей информацией о взаимодействии ОС с аппаратным комплексом. Разработчики компилятора и ассемблера, в свою очередь, обеспечивают корректную кодогенерацию для новой архитектуры, поэтому им необходимо средство, позволяющее проанализировать ход выполнения скомпилированных программ. Для обеспечения вышеупомянутых групп разработчиков необходимыми им возможностями, программная модель должна обладать дополнительными средствами отладки. Другой нужной функцией программной модели является контроль возникновения недопустимых или неопределенных ситуаций, вызванных действиями ПО. Такой контроль позволяет выявлять неочевидные программные ошибки преимущественно в системном ПО, возникновение которых по различным причинам не контролируется аппаратурой.

Таким образом, представляется важным разработать методы, позволяющие быстро и эффективно создавать точные модели

вычислительных комплексов, предоставляющие возможности разработки и отладки программного обеспечения.

Цель исследования. Целью диссертационной работы является создание методов построения моделирующих систем, предназначенных для применения в процессе проектирования ВК на базе новых и стандартных архитектур, а также формирование отладочных средств, существенно повышающих эффективность разработки аппаратуры и программного обеспечения этих ВК. Для достижения поставленной цели были определены следующие задачи:

• исследовать существующие подходы и принципы моделирования, рассмотреть разновидности программных моделей и аналогичные работы, сформировать требования к моделирующим их комплексам;

• разработать методы построения моделирующих комплексов, применимых для широкого класса архитектур, находящихся в стадии разработки;

• спроектировать и реализовать комплекс отладочных средств, позволяющих осуществлять разработку и отладку программного и аппаратного обеспечения;

• провести апробацию предложенных методов в моделирующих комплексах с архитектурами «Эльбрус» и SPARC.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Мешков, Алексей Николаевич

Основные результаты диссертационной работы связаны с разработкой единых методов построения моделирующих комплексов, применимых как к существующим, так и разрабатываемым комплексам различных компьютерных архитектур. Анализ существующих разновидностей программных моделей показал, что в большинстве случаев они не ориентированы на использование в качестве отладочных средств. Поэтому разрабатываемые моделирующие комплексы должны также обладать набором отладочных средств, удовлетворяющих широкому кругу потребностей разработчиков программного и аппаратного обеспечения.

Разработанные моделирующие комплексы находят применение в большом количестве задач. Во-первых, это разработка и отладка направленных архитектурных тестов, проверяющих соответствие реализации процессора системе команд. При этом тесты и модель разрабатываются независимо, что позволяет провести начальную отладку симулятора на тестовом пакете. Тестовые пакеты для различных архитектур состоят из нескольких тысяч независимых направленных тестов, контролирующих корректность работы какой-то конкретной базовой функциональности. Требование успешного выполнения базовых тестов является одним из необходимых при дальнейшем развитии моделирующего комплекса. Во-вторых, это разработка генератора случайных тестов, предназначенного для повышения полноты покрытия тестирования. В-третьих, это разработка системного программного обеспечения (СПО) - программы начальной загрузки (boot), выполняющейся с момента старта вычислительного комплекса до передачи управления операционной системе и разработка или портирование операционных систем работающих на данной архитектуре. Одной из задач загрузчика является начальное тестирование и настройка аппаратуры и, как следствие, для корректной работы загрузчика на симуляторе требуется очень точное соответствие моделируемого железа реальному. Загрузка операционной системы, как ничто другое, требует особой точности и корректности моделирования не только всех архитектурных особенностей, но и поддержки множества периферийных устройств. Еще одним из применений моделирующих комплексов с архитектурой «Эльбрус» является разработка системы двоичной трансляции, предназначенной для исполнения двоичных кодов, реализованных для архитектуры IA-32 на вычислительных комплексах серии «Эльбрус». Наконец, модели пользовательского уровня находят активное применение при разработке различного рода прикладных приложений для ОС Linux.

В процессе выполнения диссертационных исследований были получены следующие основные результаты, выносимые на защиту:

1. Проведен анализ существующих подходов и принципов моделирования, обзор существующих разновидностей программных моделей, рассмотрение аналогичных работ. На основании рассмотрения аналогичных работ сделан вывод о необходимости создания программной модели разрабатываемых комплексов для их отладки на стадии проектирования.

2. Разработан маршрут моделирования — общая технология разработки моделирующих комплексов, позволяющая интегрировать их применение в маршруте проектирования микропроцессорных систем.

3. Разработаны архитектурно-независимые методы построения моделирующих комплексов, обеспечивающих высокую скорость работы и гибкость использования для различных микропроцессорных систем , в том числе для архитектур VLIW и RISC;

4. Разработаны методы построения многопроцессорных моделирующих комплексов с неоднородной архитектурой памяти (NUMA). Предусмотрена возможность задавать топологию системы и возможность мониторинга обращений в узлы МХМА-системы. Предложенные методы использовались для разработки моделей вычислительных комплексов с N11МА архитектурой «МЦСТ-ЬиООО», «Эльбрус-8» и т.д.;

5. Разработаны общие методы описания периферийных устройств, шин и интерфейсов, позволяющих стандартизировать разработку моделей устройств данного типа. Данные методы использовались для разработки моделей чипсетов для вычислительных комплексов. В сочетании с другими, приведенными выше методами, предложенный спектр средств позволяет разрабатывать модель всей микропроцессорной системы;

6. Разработан комплекс отладочных средств, включающих трассировку работы процессора и устройств, слежение за ресурсами, контроль неопределенных ситуаций, позволяющий обеспечить высокую скорость и гибкость отладки и исследования поведения приложений.

7. Предложенные методы внедрены в существующие моделирующие комплексы с архитектурой «Эльбрус» и на их основе в сжатые сроки реализованы комплексы нового поколения.

В настоящее время моделирующий комплекс продолжается развиваться и активно используется в процессе верификации новых поколений микропроцессорных систем серии Эльбрус, а универсальность заложенных в основу построения методов делает возможным его адаптацию для других современных компьютерных архитектур.

Заключение

Список литературы диссертационного исследования кандидат технических наук Мешков, Алексей Николаевич, 2013 год

Литература

1. Hennessy, J., Patterson, D., Computer Architecture: A Quantitative Approach - Fourth Edition, MorganKaufmann, San Francisco., 2007

2. Щербаков E.C., Единый структурный подход к объектно-ориентированному проектированию программного моделирующего комплекса. Моделирование новой процессорной архитектуры, Высокопроизводительные вычислительные системы и микропроцессоры: сборник трудов ИМВС РАН № 4, 2003, С. 119-122

3. Herrod, S. A., Using Complete Machine Simulation to Understand Computer System Behavior, PhD thesis, Stanford University, 1998

4. Jens Troger, Specification-Driven Dynamic Binary Translation, PhD thesis, Queensland University of Technology, Brisbane, Australia, 2004

5. Nohl, A., Braun, G., Schkiebusch, O., Leupers, R., Meyr, H., A Universal Technique for Fast and Flexible Instruction-Set Architecture Simulation, DAC 2002, June 10-14, New Orleans, Louisiana, USA, 2002

6. Reshadi, M., Bansal, M., Mishra, P., Dutt N., An Efficient Retargetable Framework for Instruction-Set Simulation, CODES+ISSS'03, October 1-3, Newport Beach, California, USA, 2003

7. Wai Sum Mong, Jianwen Zhu, A Retargetable Microarchitecture Simulator, Proceedings of the 40th annual Design Automation Conference, Anaheim, CA, USA, 2003

8. James E. Smith, Ravi Nair, The Architecture of Virtual Machines, Computer, vol. 38, no. 5, 2005, pp. 32-38

9. Magnusson, P. S., Dahlgren, F., Grahn, H., Karlsson, M., Larsson, F., Lundholm, F., Moestedt, A., Nilsson, J., Stenstrvm, P., Werner, В., SimICS/sun4m: A Virtual Workstation, USENIX Annual Technical Conference (NO 98), 1998

10. Rosenblum, M., Herrod, S. A., Witchel, E., Gupta, A., Complete Computer System Simulation: The SimOS Approach, IEEE Parallel and Distributed Technology, Volume: 3, Issue: 4, 1995, pp. 34-43

11. Skadron, K., P. S. Ahuja, M. Martonosi, and D. W. Clark, Branch prediction,instruction-window size, and cache size: Performance tradeoffs and simulation techniques, IEEE Trans, on Computers 48:11 (November), 1999

12. Strazdins, P., Clarke, В., Over, A., Efficient Cycle-Accurate Simulation of the UltraSPARC III CPU, Thirtieth Australasian Computer Science Conference, 2007

13. Weber, S. J., Moskewicz, M. W., Gries, M., Sauer, C., Keutzer, K., Fast Cycle-Accurate Simulation and Instruction Set Generation for Constraint-Based Descriptions of Programmable Architectures, CODES+ISSS'04, September 8-10, 2004

14. Щербаков E.C., Разработка эталонной потактовой модели микропроцессорной системы "Эльбрус-ЗМ" на базе функциональной модели, Сборник научных трудов XXXI Международной научной конференции "Гагаринские чтения", 2006

15. Bjorn Franke, Fast Cycle-Approximate Instruction Set Simulation, 11th International Workshop on Software and Compilers for Embedded Systems (SCOPES), 2008, C. 69-79

16. Щербаков E.C., Тихорский B.B., Командная модель как базис для потактовой модели микропроцессора VLIW архитектуры, Высокопроизводительные вычислительные системыи микропроцессоры: сборник трудов ИМВС РАН № 2, 2001, С. 76-78

17. Werner, В. & Magnusson, P. S., A Hybrid Simulation Approach Enabling Performance Characterization of Large Software Systems, Fifth IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'97), 1997, pp. 73-80

18. Virtutech ,Simics4.0'. [Electronic resource] - http://www.simics.com/

19. Qemu, A generic machine emulator and virtualizer. [Electronic resource] -http://bellard.org/qemu/

20. Fabrice Bellard, QEMU, a fast and portable dynamic translator, USENIX Annual Technical Conference, 2005, pp. 41-46

21. Thach, D., Tamiya, Y.; Kuwamura, S.; Ike, A. , Fast cycle estimation methodology for instruction-level emulator, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, C. 248-251

22. Tse-Chen Yeh; Guo-Fu Tseng; Ming-Chao Chiang, A fast cycle-accurate instruction set simulator based on QEMU and SystemC for SoC development , MELECON 2010 - 2010 15th IEEE Mediterranean Electrotechnical Conference, 2010, C. 1033 - 1038

23. M. Тим Джонс, Эмуляция систем с помощью QEMU. [Electronic resource] - http://wvvw.ibm.com/developerworks/ru/library/lqemu/index.html

24. Bochs, The Cross Platform IA-32 Emulator Project. [Electronic resource] -http ://bochs .sourceforge .net

25. Northup, D., Labrge, E., Plex, 2003. [Electronic resource] -http://savannah.nongnu.org/projects/plex86/

26. M5, Simulator System. [Electronic resource] - http://www.m5sim.org

27. Cmelic, В., Keppel, D., Shade: A Fast Instruction Set Simulator for Execution Profiling, ACM SIGMETRICS Performance Evaluation Review, 22(1), 1994, pp. 128-137

28. Skott, K., Davidson, J.W., Strata: A Softaware Dynamic Translation Infrastructure, Technical Report CS-2001-17, University of Virginia, 2001

29. Skott, K., Kumar N., Velusamy, S., Childers, В., Davidson J.W., Soffa M.L., Retargetable and Reconflgurable Software Dyncmic Translation - International Symposium on Code Generation and Optimisation, 2003

30. Strazdins, P., A survey of simulation tools for CAP project phase III, Technical Report, Department of Computer Science, Australian National University, 2000

31. Баратов P.A., Камкин A.C., Майорова В.М., Мешков А.Н., Сортов A.A., Якушева М.А., Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора «Эльбрус-28», Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2013, С. 84-96

32. Гусев В.К., Ким А.К., Перекатов В.И., Фельдман В.М., Структура вычислительных средств серии "Эльбрус": эволюция проектных решений, Вопросы радиоэлектроники, сер. ЭВТ, вып. 3, 2011

33. А.К.Ким, В.Ю.Волконский, Ю.Х.Сахин, С.В.Семенихин, В.М.Фельдман, Ф.А.Груздов, Ю.Н.Парахин, М.С.Михайлов, М.В.Слесарев, Микропроцессорные вычислительные комплексы с архитектурой «Эльбрус» и их развитие, III Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование, 2008

34. Грабежной A.B., Калякин A.A., Нейман-заде М.И., Ступаченко Е.В. , Тарасенко Л.Г., Оценка быстродействия процессора ЕЗМ, Высокопроизводительные вычислительные системы и микропроцессоры: сборник трудов ИМВС РАН № 9, 2006

35. А.К.Ким, В.Ю.Волконский, Ф.А.Груздов, М.С.Михайлов, Ю.Н.Парахин, С.В.Семенихин, М.В.Слесарев, В.М.Фельдман, Архитектура, программное обеспечение и применение компьютеров серии "Эльбрус", IV Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование», 2009

36. Ким А.К., Михайлов М.С., Фельдман В.М., Подсистема ввода-вывода для систем на кристалле "МЦСТ-RIOOO" и "Эльбрус-S" на основе микросхемы контроллера периферийных интерфейсов., Вопросы радиоэлектроники, сер. ЭВТ, вып. 3, 2012

37. Исаев М.В., Кожин А.С., Костенко В.О., Поляков Н.Ю., Сахин Ю.Х., Двухъядерная гетерогенная система на кристалле "Эльбрус-2С+", Вопросы радиоэлектроники, сер. ЭВТ, вып. 3, 2012

38. The SPARC Architecture Manual, Version 8, SPARC International, Inc., 1992

39. The SPARC Architecture Manual, Version 9, SPARC International, Inc., 1994

40. Фельдман B.M., Вычислительные комплексы «Эльбрус-90микро», «Информационные технологии и вычислительные системы», Nol, 2005

41. Фельдман В.М., Система на кристалле MLJCT-R500S, Вопросы радиоэлектроники, серия ЭВТ, выпуск 2, 2008

42. SPARC Joint Programming Specification (JPS1): Commonality, Sun Microsystems and Fujitsu Limited, 2002

43. Волин B.C., Черепанов С.А., Щербина H.A., Организация поддержки когерентности в системе на кристалле "МЦСТ-RIOOO"., Вопросы радиоэлектроники, сер. ЭВТ, вып. 3, 2012

44. Буч Г., Объектно - ориентированный анализ и проектирование с примерами приложений на С++, 2-е издание - СПб.: Невский Диалект, 1998

45. Щербаков Е.С., Тихорский В.В., Влияние структурных особенностей модели процессора VLIW архитектуры на производительность моделирования, Высокопроизводительные вычислительные системы и микропроцессоры: сборник трудов ИМВС РАН № 3, 2002, С. 96-105

46. Страуструп Б., Язык программирования С++. Специальное издание -СПб.: Невский Диалект, 2008

47. Reshadi, М., Mishra, P., Dutt N., Instruction Set Compiled Simulation: A Technique for Fast and Flexible Instruction Set Simulation, DAC 2003, June 2-6, Anaheim, California, USA, 2003

48. Reshadi, M., Mishra, R, Bansal, N., Dutt N., ReXSim: A Retargetable Framework for Instruction-Set Architecture Simulation, CECS Technical Report #03-05, University of California, Irvine, USA, 2003

49. Reshadi, M., Mishra, R, Dutt N., Hybrid Compiled Simulation: An Efficient Tehnique for Instruction-Set Architecture Simulation, Annual ACM IEEE Design Automation Conference, Anaheim, CA, USA, 2006

50. Zadarnowski, R, The design and implementation of an extendible instruction-set simulator, BE thesis, School of Computer Science and Engineering, University of New South Wales, Australia, 2000

51. Мешков A.H., Реализация программного комплекса, моделирующего многопроцессорные ВК с архитектурой SPARC V9, Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2009, С. 79-89

52. Мешков А.Н., Реализация программного комплекса, моделирующего вычислительные комплексы с архитектурой SPARC V9, Международная научная конференция, посвященная 80-летию со дня рождения академика В.А.Мельникова. Сборник докладов, 2009, С. 138-140

53. Мешков А.Н., Разработка модели вычислительного комплекса "Эльбрус-S", Труды 52-й научной конференции МФТИ, Часть 1, Том 1, М.:МФТИ, 2009, С. 58-60

54. Clarke, В., Czezowski, A., Strazdins, Р.„ Implementation aspects of а SPARC V9 complete machine simulator, Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4, 2002, pp. 23-32

55. Волконский В.Ю., Ким A.K., Развитие идей параллелизма в архитектуре вычислительных комплексов серии «Эльбрус», Четвертая Международная конференция «Параллельные вычисления и задачи управления» РАСО 2008, Институт проблем управления РАН, 2008

56. Баратов Р.А., Турин K.JL, Мешков А.Н., Разработка модели архитектуры, поддерживающей когерентные обращения в подсистеме

памяти, Седьмые научные чтения памяти М.К. Тихонравова. Секция №6 «Новые информационно-телекоммуникационные технологии и их применение при решении специальных задач», 2009

57. Турин K.JI, Мешков А.Н., Сергин А.В., Якушева М.А., Развитие модели подсистемы памяти вычислительных комплексов серии «Эльбрус», Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010, 2010

58. Куцевол В.Н., Мешков А.Н., Петроченков М.В., Методология верификации протокола когерентности микропроцессора «Эльбрус-28», Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2013, С. 107-117

59. Мешков А.Н., Реализация программного комплекса, моделирующего вычислительные комплексы с архитектурой SPARC V9, XXXV Гагаринские чтения. Научные труды Международной молодежной научной конференции в 8 т. Т. 4. М.: "МАТИ"-РГТУ, 2009, С. 138-139

60. PCI Local Bus Specification, revision 3.0, PCI Special Interest Group, August 12, 2002

61. PCI Express 3.0 Standard, PCI Special Interest Group, 18 November 2010

62. Universal Serial Bus Specification, Revision 2.0, April 27, 2000

63. Open Host Controller Interface Specification for USB, Release 1.0a, 14.09.1999

64. PCI-to-PCI Bridge Architecture Specification, revision 1.1, December 18, 1998

65. X.Org Foundation. [Electronic resource] - http://www.x.org/wiki/

66. Standard Performance Evaluation Corporation. SPEC CPU Benchmark Suites. [Electronic resource] - http://www.spec.org/cpu