Симуляторы компьютерных систем: всем знакомый полноплатформенный симулятор и никому неизвестные потактовый и трассы

[tsafin]

Пока непонятно к чему вы ведете, вступление затянулось. Правильно ли я понимаю, что Simics таки умеет в режиме lockstep гонять с каким-нибудь coho/keiko трассы?

Еще вопрос, правильно ли я понял, что у вас так и не появился многопоточный режим исполнения, так как вы не знаете как сохранить детерминизм в этом случае? (Ну и кажется я припоминаю, что виртуализацию вы умели использовать для разгона симуляции, а если есть виртуализация, то и нет точного детерминизма, тогда непонятно почему также не сделать и с многопоточкой?)

И пока далеко не ушли — таки придумали правильный формат многопроцессорных трасс, или по-прежнему гоняем однопроцессорные LIT-ы?

[alex_dzen]

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

На самом деле повествование уже вовсю идет. Есть ли какие-то моменты, которые вы ожидаете или хотели бы услышать? Я бы мог в следующих статьях рассказать про это подробнее.

Правильно ли я понимаю, что Simics таки умеет в режиме lockstep гонять с каким-нибудь coho/keiko трассы?

Мне кажется создалось ложное впечатление, что статья про Simics. Это не так. Симикс хоть и является полноплатформенным симулятором, но за прогоном трасс равно как и за микроархитектурой это не совсем сюда. Хотя наворотить можно все.

Еще вопрос, правильно ли я понял, что у вас так и не появился многопоточный режим исполнения, так как вы не знаете как сохранить детерминизм в этом случае? (Ну и кажется я припоминаю, что виртуализацию вы умели использовать для разгона симуляции, а если есть виртуализация, то и нет точного детерминизма, тогда непонятно почему также не сделать и с многопоточкой?)

У меня в Ауриге были проекты с несколькими симуляторами и гипервизорами, в том числе и проприетарными. Так что здесь надо понять, какой именно продукт имеется ввиду. Если вы про Simics, то многопоточный режим имеется уже довольно давно, и в статье про это есть четкое упоминание (см. раздел про производительность).

И пока далеко не ушли — таки придумали правильный формат многопроцессорных трасс, или по-прежнему гоняем однопроцессорные LIT-ы?

Честно говоря, с мультипроцессорными трассами не сталкивался. Общее назначение понятно, но интересно – у вас была конкретная практическая задача в проектах где было бы здорово такие трассы заиспользовать, можете поделиться?