Память, указатели, теория

[Alex Cones]

Предположим, что у нас есть строка String, длиной 16 символов.
Адрес указателя на строку - 0х045323
Я беру и прошу компьютер выделить мне кусок памяти GetMem.
Откуда компьютер знает, что нельзя брать адреса 0х045323 - 0х045333?

[russian-stalker]

Из вики:

Для хранения данных о принадлежности памяти к занятой или свободной обычно используется дополнительная область памяти.

Пруф

[Alex Cones]

Т.е что-то типа

┌───────┐┌───────┐┌───────┐┌───────┐
│ DE    ││ AD    ││ BE    ││ EF    │ - значение
└───────┘└───────┘└───────┘└───────┘
    ↓        ↓        ↓        ↓
┌───────┐┌───────┐┌───────┐┌───────┐
│0х04533││0х04534││0х04535││0х04536│ - основная память
└───────┘└───────┘└───────┘└───────┘
    ↓        ↓        ↓        ↓
┌───────┐┌───────┐┌───────┐┌───────┐
│ занят ││ занят ││ пусто ││ пусто │ - дополнительная память
└───────┘└───────┘└───────┘└───────┘

?

[russian-stalker]

Да, видимо так. Помнится, проводил опыт и выяснил, что после удаления объекта память не отчищается, а лишь помечается как свободная.

[Alex Cones]

Ясно, спасибо. Бредовая система.

[p51x]

У вас есть лучшая?

[Alex Cones]

Если бы я был в группе разработки Windows - придумал бы что-нибудь лучше, чем хавать память для того, чтобы работать с памятью. А сейчас приходится довольствоваться этим.

[Serge_Bliznykov]

а при чём здесь Windows ?! Извините, но это дело ИСКЛЮЧИТЕЛЬНО компилятора!! Это он выделяет память, определяет какая из них свободная и т.д. и т.п.
Та же функция GetMem - обращение к borland'скому менеджеру памяти...

[kogemrka]

Подробное описание borland`овского менеджера памяти: http://www.rsdn.ru/article/Delphi/memmanager.xml

Но вообще, любому менеджеру памяти (будь то хоть системный, хоть компиляторный, хоть свой собственный,самописный) необходимо хранить информацию о выделенных блоках и/или же о блоках свободных. Разумеется, эта информация не может храниться "в воздухе", она тоже занимает некоторую память)

Конечно, если у тебя есть мысли по поводу того, как обойтись без этого, было бы интересно услышать)))

[Alex Cones]

Хранить все данные подряд, отдельно храня только Integer указатель на первый свободный байт. При освобождении "внутреннего" участка памяти перемещать данные как при дефрагментации. Чтобы не сильно тормозить весь процесс использования ЭВМ - либо делать это в случае необходимости, "временно" оставляя "пробелы" - освобожденные куски памяти, еще не занятые ничем, либо разделить память на "блоки" - например $000000 - $400000, $400001 - $800000, $800001 - $B00000, $B00001 - $FFFFFF и хранить указатель отдельно для каждого блока.

Если мне дадут больше времени - я придумаю, как улучшить данный метод. Но это никому не нужно, потому, что система уже существует, пусть и не в самом оптимальном виде. Не мне её менять.