Какие типы виртуальных машин вы использовали в своей практике?