Создание и уничтожение динамических переменных

Динамические переменные создаются в динамической памяти, выделяемой программе, и называемой кучей (heap). В начале работы программы ей выделяется куча определенного размера. По мере создания динамических переменных ячейки памяти в куче помечаются как занятые, а объем свободной части кучи уменьшается. При уничтожении динамических переменных память, ранее занимаемая ими, возвращается в свободную часть кучи.

Если в результате ошибок в программе с какими-то безымянными переменными теряется связь, прямая или опосредованная, через именованные указатели, такие переменные продолжают занимать место в куче, образуя мусор (garbage). В Паскале не предусмотрены процедуры сбора мусора, поэтому следует избегать таких ситуаций.

Кроме того, возможно возникновение фрагментации кучи, при которой в куче свободные и занятые участки перемежаются. В результате может возникнуть ситуация, при которой нет места для создания новой переменной даже при наличии свободной памяти в куче в том случае, если размер создаваемой переменной превосходит размер наибольшей непрерывной части свободной области. Поэтому интенсивное использование динамических переменных требует тщательного планирования.

Пусть p – имя некоторого указателя определенного типа.

Создание динамической переменной производится путем вызова стандартной процедуры New(p). При этом в динамической памяти резервируется область, равная по размеру динамической переменной типа, являющегося базовым для указателя p, а в указатель p заносится адрес новой переменной.

Уничтожение динамической переменной производится вызовом стандартной процедуры Dispose(p). При этом память, занятая переменной, связанной с указателем p, возвращается в свободную область кучи, а значение указателя p становится неопределенным. Если с уничтожаемой переменной связаны другие переменные, и к ним нет никакого другого доступа, эти переменные не уничтожатся, но станут недоступными, то есть, мусором.

При многократном создании и уничтожении динамических переменных возникает фрагментация кучи, при которой в куче свободные и занятые участки перемежаются. В результате может возникнуть ситуация, при которой нет места для создания новой переменной даже при наличии свободной памяти в куче в том случае, если размер создаваемой переменной превосходит размер наибольшей непрерывной части свободной области. Поэтому интенсивное использование динамических переменных требует тщательного планирования.

Дата добавления: 2014-01-11