Схема с косвенной адресацией: различия между версиями

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
 
Строка 41: Строка 41:
[[Категория:Потоковый анализ программ]]
[[Категория:Потоковый анализ программ]]
[[Категория:Преобразование программ]]
[[Категория:Преобразование программ]]
[[Категория:Основные термины]]

Текущая версия от 16:46, 11 ноября 2024

Схема с косвенной адресацией (Scheme with indirect addressing) — При рассмотрении среди переменных особых величин — указателей, значениями которых являются имена других переменных (в частности, указателей), — возникают две новые операции: именования (присваивания указателю имени переменной) и разыменования (выборки имени переменной как значения указателя). В соответствии с этим можно рассматривать в схемах программ интерпретированные операторы именования и разыменования, каждый из которых имеет одного преемника, один вход и один выход. Входы операторов именования и выходы операторов разыменования называются фиктивными. Схема с косвенной адресацией — это тройка [math]\displaystyle{ (G,J,R) }[/math], в которой [math]\displaystyle{ G }[/math]управляющий граф, [math]\displaystyle{ J }[/math]информационный граф, дуги которого исходят из фиктивных выходов, а [math]\displaystyle{ R }[/math]раскраска, ставящая в соответствие переменные тем операндам, которые не имеют инцидентных дуг в [math]\displaystyle{ J }[/math].

Scheme with indirect addressing.gif


Основной вопрос в исследовании схемы с косвенной адресацией состоит в нахождении покрывающих множеств для аргументов и результатов операторов и информационных связей схемы.


Другое название — КА-Схема.

См. также

Литература

  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
  • Касьянов В. Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение. – СПб.: БХВ-Петербург, 2003.