> -- Роман М. писал(а):
> Мне кажется правильным следить за границами памяти модулей и держать наподобие перечня владений, указывающим за кем числятся данные участки памяти. Причём, никакие модули не должны иметь возможности на него влиять. По мере изменения границ владений (памяти) глобальный менеджер памяти должен регистрировать их в журнале и в случае чего отказать модулю в операции, сказав "Низя! Ишь...".Один модуль не должен иметь права модифицировать данные другого, а должен только оповестить по какому-нибудь совместному информационному каналу (шине сообщений). Как только второй будет оповещён, он будет "решать" нужна ли ему та информация и действовать соответственно: отправить ответ "получил, спасибо", "не то, повтори-ка" или "кыш, не мешай работать".
Это и есть раздельные кучи. Привет erlang!