Рематериализация
 | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( январь 2016 г. ) |
В информатике рематериализация , которая экономит или remat — это оптимизация компилятора время за счет повторного вычисления значения вместо загрузки его из памяти. Обычно он тесно интегрирован с распределением регистров , где используется в качестве альтернативы выгрузке регистров в память. Он был задуман Грегори Чайтином , Марком Ауслендером , Ашоком Чандрой , Джоном Коком , Мартином Хопкинсом и Питером Маркштейном и реализован в компиляторе Pl.8 для миникомпьютера 801 в конце 1970-х годов. Более поздние улучшения были сделаны Престоном Бриггсом , Китом Д. Купером и Линдой Торчон в 1992 году.
Традиционные оптимизации, такие как исключение общих подвыражений и инвариант цикла, часто направлены на устранение избыточных вычислений. Поскольку для вычислений требуются циклы ЦП , это обычно хорошо, но имеет потенциально разрушительный побочный эффект, заключающийся в увеличении действующих диапазонов переменных и создании множества новых переменных, что приводит к утечкам информации во время выделения регистров. Рематериализация почти противоположна: она уменьшает нагрузку на регистры за счет увеличения объема вычислений ЦП. Чтобы избежать увеличения времени вычислений, чем необходимо, рематериализация выполняется только тогда, когда компилятор может быть уверен, что это принесет пользу, то есть когда в противном случае произошла бы утечка регистра в память.
Рематериализация работает, отслеживая выражение, используемое для вычисления каждой переменной, используя концепцию доступных выражений . Иногда переменные, используемые для вычисления значения, изменяются, и поэтому их больше нельзя использовать для повторной материализации этого значения. Тогда говорят, что выражение больше недоступно. Другие критерии также должны быть выполнены, например, максимальная сложность выражения, используемого для повторной материализации значения; было бы бесполезно повторно материализовать значение с помощью сложных вычислений, которые занимают больше времени, чем загрузка. Обычно выражение также не должно иметь побочных эффектов .
Внешние ссылки
[ редактировать ]- Чайтин, Грегори, Марк Ауслендер, Ашок Чандра, Джон Кок, Мартин Хопкинс и Питер Маркштейн. «Распределение регистров с помощью раскраски, Компьютерные языки, том 6, № 1, 1981, стр. 47–57»
- П. Бриггс, К.Д. Купер и Л. Торчон. Рематериализация . Материалы конференции SIGPLAN 92 по проектированию и реализации языков программирования , SIGPLAN Notifications 27 (7), стр. 311-321. Июль 1992 года.
- Мукта Пенджаби. Зарегистрируйте рематериализацию в GCC . Обсуждается gcc . реализация рематериализации в