Схема с косвенной адресацией: различия между версиями
Glk (обсуждение | вклад) (Создана новая страница размером '''Схема с косвенной адресацией''' (''Scheme with indirect addressing'') - При рассмотрении ср...) |
(нет различий)
|
Версия от 12:52, 2 февраля 2010
Схема с косвенной адресацией (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].
Основной вопрос в исследовании С.с.к.а. состоит в нахождении
покрывающих множеств для аргументов и результатов операторов
и информационных связей схемы.
Другое название --- КА-cхема.
См. также Крупноблочная схема программ, Неинтерпретированные схемы, Стандартные схемы, Схема программ, Схема с распределенной памятью, Схемы Мартынюка.
Литература
[Касьянов/88]