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

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
(Создана новая страница размером '''Схема с косвенной адресацией''' (''Scheme with indirect addressing'') - При рассмотрении ср...)
 
Нет описания правки
 
(не показано 6 промежуточных версий 2 участников)
Строка 1: Строка 1:
'''Схема с косвенной адресацией''' (''Scheme with indirect addressing'') -
'''Схема с косвенной адресацией''' (''[[Scheme with indirect addressing]]'')
При рассмотрении среди переменных особых величин ---
При рассмотрении среди переменных особых величин
''указателей'', значениями которых являются имена других
''указателей'', значениями которых являются имена других
переменных (в частности, указателей), --- возникают две новые
переменных (в частности, указателей), возникают две новые
операции: ''именования'' (присваивания указателю имени
операции: ''именования'' (присваивания указателю имени
переменной) и ''разыменования'' (выборки имени переменной как
переменной) и ''разыменования'' (выборки имени переменной как
значения указателя). В соответствии с этим можно
значения указателя). В соответствии с этим можно
рассматривать в ''схемах программ'' интерпретированные
рассматривать в ''[[схема программ|схемах программ]]'' интерпретированные
операторы именования и разыменования, каждый из которых
операторы именования и разыменования, каждый из которых
имеет одного преемника, один вход и один выход.
имеет одного преемника, один [[вход]] и один [[выход]].
Входы операторов именования и выходы операторов
Входы операторов именования и выходы операторов
разыменования называются фиктивными. '''С.с.к.а.''' --- это тройка
разыменования называются фиктивными. '''Схема с косвенной адресацией''' это тройка
<math>(G,J,R)</math>, в которой <math>G</math> --- ''управляющий граф'', <math>J</math> ---
<math>(G,J,R)</math>, в которой <math>G</math> ''[[управляющий граф]]'', <math>J</math>
''информационный граф'', дуги которого исходят из фиктивных
''[[информационный граф]]'', [[дуга|дуги]] которого исходят из фиктивных
выходов, а <math>R</math> --- ''раскраска'', ставящая в соответствие переменные тем
выходов, а <math>R</math> ''[[раскраска]]'', ставящая в соответствие переменные тем
операндам, которые не имеют инцидентных дуг в <math>J</math>.
операндам, которые не имеют [[инцидентность|инцидентных]] дуг в <math>J</math>.


[[Файл:Scheme with indirect addressing.gif|800px]]


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




Другое название --- ''КА-cхема''.
Другое название ''[[КА-Схема]]''.


См. также ''Крупноблочная схема программ, Неинтерпретированные схемы, Стандартные схемы, Схема программ, Схема с распределенной памятью, Схемы Мартынюка.''
==См. также ==
* ''[[Крупноблочная схема программ]],''
* ''[[Неинтерпретированные схемы]],''
* ''[[Стандартные схемы]],''
* ''[[Схема программ]],''
* ''[[Схема с распределенной памятью]],''
* ''[[Схемы Мартынюка]].''
==Литература==
==Литература==
[Касьянов/88]
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
* Касьянов В. Н., Евстигнеев В. А. Графы в программировании: обработка, визуализация и применение. – СПб.: БХВ-Петербург, 2003.
 
[[Категория:Теория схем программ]]
[[Категория:Потоковый анализ программ]]
[[Категория:Преобразование программ]]
[[Категория:Основные термины]]

Текущая версия от 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.