АБСТРАКТНЫЕ ТИПЫ ДАННЫХ ДЛЯ МОДЕЛИРОВАНИЯ ДИНАМИЧЕСКОЙ ПАМЯТИ

Аннотация

В данное время с ростом возможностей вычислительных устройств возникло ощущение того, что не надо уделять внимание оптимальности вычислительных процедур: распределению, записи и хранению данных в памяти вычислительных устройств и т.д. В силу такого подхода мы получаем много неудобств при работе с такими устройствами. Одним из подходов для оптимального распределения и обработки данных в динамической памяти является исчисление алиасов (alias calculus). В данной работе рассмотрены два метода анализа указателей для проведения исчисление алиасов – логика отделимости и исчисление синонимов, и предложен новый подход к решению проблемы для логики отделимости. Данное исследование в области анализа указателей, в частности, исчисление алиасов, было предложено Бертраном Мейером и является новым подходом в исследовании алиасов. Целью анализа указателей было статически определить значения указателей, которые могут возникнуть во время исполнения программы. Такой анализ предназначен для того, чтобы найти и устранить в программе ошибки, связанные с тем, что разные выражения могут указывать на одну и ту же область памяти. В общем случае эта задача неразрешима, однако было разработано большое количество приближённых алгоритмов, осуществляющих компромисс между скоростью анализа и точностью предлагаемого решения. Данное исчисление алиасов предложено для более реалистического языка программирования с автоматической и динамической памятью с различными типами для регулярных данных и адресов с разрешимой адресной арифметикой. Все представленные варианты исчисления (в настоящее время) нечувствительны к потоку управления (как исходное исчисление Б. Мейером), но данное исчисление основано на равенствах (в отличие от исходного исчисления).