Подскажите симулятор для моделирования многопроцессорных систем

Question

[alexnikleo]

Подскажите open source'ные симуляторы для моделирования многопроцессорных систем.

Comments

[Алексей Гусейнов]

А что такое «симулятор для моделирования многопроцессорных систем»? Какие системы, какой уровень абстракции? Что надо симулировать? С какой скоростью?
Но есть у меня подозрение, что таких систем может не быть.

Answer 1

[mwizard]

Возможно, Bochs?

Answer 2

[1nd1go]

en.wikipedia.org/wiki/SPIN_model_checker