Preview

Труды Института системного программирования РАН

Расширенный поиск

Об особенностях детерминированного воспроизведения при минимальном наборе устройств

https://doi.org/10.15514/ISPRAS-2015-27(2)-5

Аннотация

Технология (детерминированного) воспроизведения вычислительного процесса в виртуальных вычислительных машинах используется для отладки, повышения отказоустойчивости, а также в различных исследованиях программного кода, в том числе, в области информационной безопасности при обратной инженерия вредоносных программ. В данной работе описывается реализация технологии воспроизведения для гостевых машин на базе Intel Architecture 32-bit в программном эмуляторе QEMU, предлагающая минимизацию перечня воспроизводимых устройств. Подробно рассмотрено устройство эмулятора QEMU и обоснованы технические приемы, использованные при реализации. Приводятся экспериментальные оценки ключевых характеристик: объем записываемого журнала недетерминированных событий и замедление.

Об авторах

В. Ю. Ефимов
ИСП РАН
Россия


К. А. Батузов
ИСП РАН
Россия


В. А. Падарян
ИСП РАН
Россия


Список литературы

1. QEMU open source processor emulator - http://wiki.qemu.org/Main_Page

2. G.Altekar, I.Stoica. ODR: Output-Deterministic Replay for Multicore Debugging, UC Berkley, October 2009.

3. А.Ю.Тихонов, А.И. Аветисян. Развитие taint-анализа для решения задачи поиска программных закладок. Труды Института системного программирования РАН, том 20, 2011 г., стр. 9-24.

4. P. Colp, S. Dadizadeh, M. Nanavati. Deterministic Replay for Xen. Department of Computer Science. University of British Columbia. Vancouver, BC, Canada

5. Min Xu, Vyacheslav Malyugin, Jeffrey Sheldon, Ganesh Venkitachalam, Boris Weissman. ReTrace: Collecting Execution Trace with Virtual Machine Deterministic Replay. Workshop on Modeling, Benchmarking and Simulation (MoBS), June 2007.

6. К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян. Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU. Труды Института системного программирования РАН, том 22, 2012г., стр. 77-94.

7. Довгалюк П. Детерминированное воспроизведение процесса выполнения программ в виртуальной машине. Труды Института системного программирования РАН, том 21, 2011г., c. 123-132.

8. NBench benchmark port to Linux/Unix - http://www.tux.org/~mayer/linux/bmark.html

9. Iperf - The TCP/UDP Bandwidth Measurement Tool - https://iperf.fr


Рецензия

Для цитирования:


Ефимов В.Ю., Батузов К.А., Падарян В.А. Об особенностях детерминированного воспроизведения при минимальном наборе устройств. Труды Института системного программирования РАН. 2015;27(2):65-92. https://doi.org/10.15514/ISPRAS-2015-27(2)-5

For citation:


Efimov V.Y., Batuzov K.A., Padaryan V.A. Deterministic replay specifics in case of minimal device set. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(2):65-92. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(2)-5



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)