простейшая виртуальная машина

хз, но можно начать с просмотра кода ранних ревизий kvm. Или сырцов какого-нить dosbox.

боюсь, что если сразу смотреть код - я не увижу леса за деревьями.
т.е. мне нужна именно теория проектирования

http://portal.acm.org/citation.cfm?id=515581

Любая VM — усложнённый интерпретатор брейнфака.

> можно начать с просмотра кода ранних ревизий kvm

Наверное, имелись в виду не те vm, среди которых kvm, а те, среди которых jvm.

А у jvm есть эмуляция ОЗУ и переферии? Мне казалось что это интерпретатор байткода.

да

мне для начала хватит и просто байткода

Читай SICP, там все очень хорошо рассказано про регистровые ВМ.

http://www.1sm.ru/sicp.pdf

Если не изучал теорию (машину Тьюринга, нормальные алгорифмы/алгоритмы Маркова, конечные автоматы, схемы), прочитай обязательно. Теория читается, например, в рамках курса ВМиК МГУ на третьем семестре, и, более формально - на спецкурсах и на мехмате МГУ.

По практике - попробуй достать лекции и конспекты семинаров по темам "Двухадресная учебная машина" и "Трехадресная учебная машина" ВМиК МГУ (третий семестр). Этот курс у нас изучался после Паскаля и Ассемблера, параллельно с Си/Си++.

Можешь попросить конспекты этих семинаров у меня - за небольшое вознаграждение готов потратить день-два на сканирование и публикацию своих записей по этим темам (в Интернете они отсутствуют, как говорит Yandex).

>в Интернете они отсутствуют, как говорит Yandex

но ведь все остальное прогрессивное человечество как-то умудряется писать ВМ без вашиз лекций )) => есть другой материал, кроме лекций МГУ

> Можешь попросить конспекты этих семинаров у меня - за небольшое вознаграждение готов потратить день-два на сканирование и публикацию своих записей по этим темам (в Интернете они отсутствуют, как говорит Yandex).

Кому оно нужно? Всё прогрессивное человечество самообучается по лекциям от MIT.

Д.Кнут "Искусство программирования для ЭВМ". Там есть простейшая "сферическая в вакууме" :) MIX-машина.

вобщем, пока ушел читать SICP )