Основными являются
Trident (IE and derivats)
Webkit (Safari, Chrome)
KHTML (KDE Konqueror) This was the base for webkit
Presto (Opera)
. Вы можете прочитать больше здесь: http://en.wikipedia.org/wiki/Web_browser_engine
Эти движки создают структуру объекта HTML, а затем используют Компоненты для построения страницы браузера.Движок не рендерит пиксель за пикселем, но использует кнопки, выпадающие списки, элементы изображения, которые все сами визуализируются в буфер, а затем эти буферы изображения сворачиваются на экран.
Некоторые движки используют собственные компоненты платформы (Trident) другие используют свои собственные с разными оболочками для разных платформ.
Для фактического рендеринга я знаю, что IE использует элементы управления Windows, а Gecko, как вы отметили, использует Cairo.
Я предполагаю, что webkit может использовать gtk или qt, ноЯ не уверен, и для оперы я понятия не имею, но я предполагаю, что они используют какую-то форму фреймворка или инструментария.