5 (53) 2014 Journal of applied informatiCs Е. А. Юлюгин, студент Московского физико-технического института, ЗАО «Интел А/О», yulyugin@gmail.com Г. С. Речистов, канд. техн. наук, ЗАО «Интел А/О», Москва, grigory.rechistov@phystech.edu Моделирование инструкций поддержки транзакционной памяти в современных центральных процессорах Аппаратная поддержка транзакционной памяти становится доступной в новейших процессорах. <...> В статье описывается реализация набора инструкций RTM в функциональном симуляторе Wind River® Simics. <...> Цель работы — обеспечение корректного исполнения новых инструкций и сохранение высокой скорости работы симулятора, которую может продемонстрировать Simics. <...> Ключевые слова: Simics, RTM, TSX, моделирование, транзакционная память. введение В настоящее время аппаратная поддержка транзакционной памяти [1] (англ. <...> Hardware transactional memory, далее HTM) становится доступной в коммерческих продуктах ведущих компаний — производителей процессоров. <...> Набор инструкций «Transactional Synchronization Extensions» (Intel® TSX) присутствует в микропроцессорах компании Intel с кодовым именем Haswell [4]. <...> Поддержка транзакционной памяти в функциональном симуляторе не является тривиальной, так как моделирование кэшей, необходимое для их корректной работы, обычно опускается в целях максимального ускорения моделей процессоров. <...> Необходимо обеспечить, чтобы при работе кода, не использующего новые инструкции, скорость симуляции оставалась высокой. <...> Кроме того, публичная документация на Intel® TSX [5, глава 8] не дает представления о некоторых внутренних деталях аппаратной реализации, важных при построении модели. <...> С учетом «хрупкости» семантики инструкций RTM (т. е. отсутствия в спецификации каких-либо гарантий, что транзакция сможет завершиться успехом) простейшая реализация инструкций должна просто отменять каждую из транзакций в самом ее начале. <...> В данной работе была создана реализация, позволяющая моделируемым процессорам успешно завершать транзакции. <...> Кроме того, важнейшим требованием ПРИКЛАДНАЯ ИНФОРМАТИКА <...>