Плоская и сегментированная память: рекурсия, о которой забыло железо
Flat vs. segmented memory – it's recursive
Стивен Келл прослеживает эволюцию x86 от тонкой сегментации к плоским адресным пространствам, связывая это с доминированием Unix. Он утверждает, что вопрос не в том, плоская память или нет: программисты всегда мыслят рекурсивно, подразделяя память на уровни, тогда как аппаратура нерекурсивна. CHERI предлагает гибридный подход, но его ограничения вызывают вопросы. Автор также представляет liballocs — инструмент, который описательно фиксирует произвольную рекурсивную структуру, создаваемую программами, и обсуждает, почему классические VM-подходы проигрывают в локальности.
Вопрос не в том, плоская память или нет — ментальная абстракция программиста никогда не бывает плоской — а в том, как согласовать фундаментально рекурсивное явление, практикуемое программистами, а именно подразделение, с аппаратурой, которая сама по себе очень нерекурсивна.