> насколько я помню, все не так просто, особенно при учете NUMA, нестандартных размеров страниц и всяческих методик экономии памяти (ksm, balooning etc)Правильно помните. И универсальный гипервизор (KVM, Xen или любой другой) должен это уметь. А специализированный, то есть Jailhouse, не должен - для задач, которые он призван решать, это не нужно. В итоге кодовая база и накладные расходы сокращаются - в этом одна из идей.
> сегрегация и проброс - все равно имеют оверхед. сейчас как раз работаю над vfio и наблюдаю все эти чудеса
vfio - это немножко не проброс и сегрегация, точнее, немножко не те проброс и сегрегация, о которых говорится выше. Речь шла примерно о следующем: вот две сетевушки (а в реальности, скорее - одна многопоротовая). Linux - бери порт 1, ячейка X - бери порт 2, а гипервизор последит, чтобы вы не выстрелили друг другу в ногу. Разумеется, IOMMU добавит накладных расходов, но как вы только что подтвердили, товарищи из Intel, AMD и прочих следят, чтобы они не выходили за рамки разумного. Тесты (и здравый смысл) показывают, что чисто аппаратные расходы существенно меньше, чем то, что добавляет KVM (Xen, ...), который должен уметь намного больше. Для интереса можете снять трейс с KVM, f потом запустить то же ядро в ячейке Jailhouse, и сравнить статистику выходов.
> объясните мне, в чем принципиальная разница jailhouse и kvm, помимо того что jailhouse сильно отстает по возможностям применения. что такого можно сделать с jailhouse, чего я не смогу сделать с KVM?
Объясняю (заодно отвечу на вопрос, зачем городить "клоны KVM с урезанным функционалом"). Принципиальная разница между Jailhouse и KVM, как между пушкой и единорогом: пушка сама по себе, единорог сам по себе. :-) Они не являются клонами друг друга ни архитектурно, ни на уровне кода, и не конкурируют по области применения. Более того, была идея запускать в Jailhouse-ячейках KVM для случаев, когда без него не обойтись - но за эту задачу пока никто толком не брался. Однако, в отличие от KVM, Jailhouse:
- Имеет предсказуемую latency в задачах реального времени, причем меньше ~300 мкс, до которых иногда деградирует KVM. Это удобно для индустриальных задач, телекома, NFV и т.п.
- Относительно легко формально верифицируется (что тоже хорошо для индустриальных применений). Справедливости ради, AFAIK никто не пробовал это сделать, но есть подозрение что заверифицировать ~10 тыс. изолированных строк (вопреки написанному в новости, Jailhouse использует ядро Linux только для загрузки себя, а далее полностью автономен) и связку KVM+ядро Linux (планировщик, virtio и пр.) - это немного разные задачи.
Подробнее можно почитать здесь: http://www.linux-kvm.org/images/b/b1/Kvm-forum-2013-Static-P.... Презентация старенькая, но годненькая.
Если задержек KVM вполне хватает (а есть много задач, где их хватает - даже ребята из Siemens, которые задумали Jailhouse, как-то худо-бедно дотянули до 2013 года) и формальная верификация не нужна - то и прекрасно. Мне вот в обычной жизни не нужно ни то, ни другое, так что я неплохо пользуюсь KVM для большинства (ключевое слово) своих задач.
Ну и в качестве резюме для желающих посравнивать KVM и Jailhouse. KVM - универсальный гипервизор, который (поскольку он универсальный) можно с разной степенью успешности доточить до любой задачи, включая RT-виртуализацию. Jailhouse - специализированный инструмент, созданный для того, чтобы хорошо решать одну конкретную задачу. Ни у кого, насколько мне известно, нет идей делать на его базе универсальный гипервизор.
