Поколение без папок (25 стр)

Suslik
> а как можно на уровне ОС запретить арифметику указателей?

Можно сделать, чтоб прямо на аппаратном уровне (скажем на уровне прикладного кольца) вообще не было монолитного адресного пространства, а все созданные объекты "адресовались" селекторами.

В некотором смысле это даже уже реализовано в интеловской архитектуре - селекторы сегментов (я про сегменты защищенного режима, а не про перекрывающиеся сегменты реального режима). Только практически все ОС отказались от сегментов в пользу плоской адресации, заводя один огромный сегмент для процесса и полагаясь на механизм страниц.

Естественно, интеловские сегменты не предназначались для того, чтоб работать по схеме "один объект (или массив однотипных объектов) - один сегмент". Но технически, если б можно было иметь стопицот сегментов, и был бы какой-то аналог TLB для сегментов (как есть TLB для страниц) - то почему бы нет? Правда вся работа по выделению и уничтожению объектов в данном случае осуществлялась бы за пределами прикладного кольца, что при текущей реализации шлюзов вызова достаточно накладно...

Dmitry_Milk
все можно, можно даже распределять отдельные байтыю, тока вот данные о распределении сегментов памяти будут занимать больше места чем сами данные
поэтому пошли на компромисс и выбрали еденицей распределения шото поболее чем байт - страницу в 4к а у харддрайвов - кластер обычно в теже 4к