Как работает механизм динамического выделения памяти в Pascal?

Механизм динамического выделения памяти в Pascal работает следующим образом: www.pascal.helpov.net

1. Выделение памяти под динамическую переменную осуществляется процедурой New. www.pascal.helpov.net В результате обращения к ней указатель получает значение, соответствующее адресу в динамической памяти, начиная с которого можно разместить данные. www.pascal.helpov.net
2. Освобождение динамической памяти осуществляется процедурой Dispose. www.pascal.helpov.net Она освобождает память, занятую динамической переменной, при этом значение указателя становится неопределённым. www.pascal.helpov.net

Также для более гибкого распределения памяти можно использовать процедуру GetMem. wiki.sources.ru Она воспринимает два параметра: переменную-указатель, для которой нужно распределить память, и число распределяемых байт. wiki.sources.ru

При выходе из программы операционная система автоматически освобождает всю память, выделенную программой. www.tutorialspoint.com