Пример 41

Назначение памяти атрибутам во время компиляции

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

Предположим, что атрибуты вычисляются в порядке, заданном номерами узлов в графе зависимости на рис. 64(б), построенном в последнем примере. Время жизни каж­дого узла начинается в момент вычисления его атрибута и заканчивается, когда этот ат­рибут используется в последний раз. Например, время жизни узла 1 заканчивается, когда вычислен атрибут узла 2, поскольку 2 — единственный узел, зависящий от 1. Аналогич­но время жизни узла 2 заканчивается при вычислении атрибута узла 6.

На рис. 65 показано вычисление атрибутов с использованием минимально возможного количества регистров. Узлы графа зависимости D дерева разбора рассматриваются в порядке их вычисления. Изначально имеется пул регистров r₁, r₂, …. Ес­ли атрибут b определен семантическим правилом b:=f(с₁, с₂, …,с_k), то при вычислении b может закончиться время жизни одного или нескольких с_i. Соответствующие им реги­стры освобождаются после вычисления b. По возможности b вычисляется в регистре, хранившем один из с₁, с₂, …,с_k.

Рис.65. Регистры, используемые для значений атрибутов на рис. 55

Регистры, используемые в процессе вычисления графа зависимостей на рис. 64(б), по­казаны на рис. 65. Вычисления начинаются с узла 1 в регистре r₁. Время жизни узла 1 заканчивается при вычислении узла 2, поэтому узел 2 использует тот же регистр r₁. Узел 3 получает новый регистр r ₂, поскольку значение узла 2 потребуется при вычислении узла 6.

Дата добавления: 2014-12-27