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