Устранение мертвого кода

В теории компиляторов , устранении мертвых коды (также известный как АКД , мертвое удаление кода , мертвый код вскрышного или мёртвый код полоса ) является оптимизация компилятор для удаления кода , который не влияет на результатах программы. Удаление такого кода имеет несколько преимуществ: оно уменьшает размер программы, что является важным соображением в некоторых контекстах, и позволяет запущенной программе избегать выполнения нерелевантных операций, что сокращает время ее выполнения. Он также может обеспечить дальнейшую оптимизацию за счет упрощения структуры программы. Мертвый код включает в себя код, который никогда не может быть выполнен ( недоступный код ), и код, который влияет только намертвые переменные (записываются, но никогда не читаются снова), то есть не относящиеся к программе.

Примеры [ править ]

Рассмотрим следующий пример , написанный на C .

 INT  Foo ( недействительными )  {  Int  = 24 ; int b = 25 ; / * Присвоение мертвой переменной * / int c ; с = а * 4 ; return c ; b = 24 ; / * Недостижимый код * / return 0 ; }                       

Простой анализ использования значений покажет, что значение bпосле первого присваивания не используется внутри foo. Кроме того, bон объявлен как локальная переменная внутри foo, поэтому его значение нельзя использовать снаружи foo. Таким образом, переменная bявляется мертвым и оптимизатор может вернуть себе место для хранения и устранить его инициализации.

Более того, поскольку первый оператор return выполняется безоговорочно, ни один из возможных путей выполнения не достигает второго присвоения b. Таким образом, назначение недоступно и может быть удалено. Если у процедуры был более сложный поток управления , такой как метка после оператора return и gotoгде- то еще в процедуре, то возможный путь выполнения мог бы существовать для присвоения b.

Кроме того , даже если некоторые вычисления выполняются в функции, их значения не хранятся в местах , доступных за пределами сферы этой функции. Кроме того, учитывая, что функция возвращает статическое значение (96), ее можно упростить до значения, которое она возвращает (это упрощение называется сворачиванием констант ).

У большинства продвинутых компиляторов есть опции для активации удаления мертвого кода, иногда на разных уровнях. Более низкий уровень может удалять только те инструкции, которые не могут быть выполнены. Более высокий уровень также может не резервировать место для неиспользуемых переменных. Еще более высокий уровень может определять инструкции или функции, которые не служат цели, и устранять их.

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

 int  main ( void )  {  int  a  =  5 ;  int  b  =  6 ;  int  c ;  с  =  а  *  ( b  /  2 );  if  ( 0 )  {  / * ОТЛАДКА * /  printf ( "% d \ n " ,  c );  }  return  c ;  }

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

На практике большая часть мертвого кода, который находит оптимизатор, создается другими преобразованиями в оптимизаторе. Например, классические методы уменьшения силы операторов вставляют в код новые вычисления и делают устаревшие и более дорогие вычисления мертвыми. ^[1] Последующее удаление мертвого кода удаляет эти вычисления и завершает эффект (без усложнения алгоритма уменьшения силы).

Исторически устранение мертвого кода выполнялось с использованием информации, полученной в результате анализа потока данных . ^[2] Алгоритм, основанный на статической форме единого назначения (SSA), представлен в оригинальной журнальной статье о форме SSA, написанной Роном Ситроном и др. ^[3] Роберт Шиллингсбург (он же Шилльнер) улучшил алгоритм и разработал сопутствующий алгоритм для удаления бесполезных операций потока управления. ^[4]

Динамическое устранение мертвого кода [ править ]

Мертвый код обычно считается мертвым безоговорочно . Следовательно, разумно попытаться удалить мертвый код путем удаления мертвого кода во время компиляции .

Однако на практике разделы кода часто представляют мертвый или недоступный код только при определенных условиях , которые могут быть неизвестны во время компиляции или сборки. Такие условия могут быть наложены различными средами выполнения (например, разными версиями операционной системы или различными наборами и комбинациями драйверов или служб, загруженными в конкретной целевой среде), что может потребовать различных наборов особых случаев в коде, но при заодно стали условно мертвым кодом для остальных случаев. ^{[5] [6]}Кроме того, программное обеспечение (например, драйвер или резидентная служба) можно настраивать для включения или исключения определенных функций в зависимости от предпочтений пользователя, делая неиспользуемые части кода бесполезными в конкретном сценарии. ^{[5] [6]} Хотя модульное программное обеспечение может быть разработано для динамической загрузки библиотек только по запросу, в большинстве случаев невозможно загрузить только соответствующие подпрограммы из конкретной библиотеки, и даже если это будет поддерживаться, подпрограмма может по-прежнему включать разделы кода, которые можно считать мертвым кодом в данном сценарии, но нельзя было исключить уже во время компиляции.

Методы, используемые для динамического обнаружения спроса, выявления и разрешения зависимостей, удаления такого условно мертвого кода и рекомбинации оставшегося кода при загрузке или во время выполнения , называются динамическим устранением мертвого кода ^{[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]} или динамическое устранение мертвых инструкций . ^[18]

Большинство языков программирования, компиляторов и операционных систем не предлагают или почти не поддерживают больше, чем динамическая загрузка библиотек и поздняя компоновка , поэтому программное обеспечение, использующее динамическое удаление мертвого кода, очень редко встречается в сочетании с языками, скомпилированными заранее или написанными на языке ассемблера . ^{[7] [11] [8]} Однако языковые реализации, выполняющие своевременную компиляцию, могут динамически оптимизироваться для устранения мертвого кода. ^{[17] [19] [20]}

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

См. Также [ править ]

• Резервный код
• Упрощение (символьное вычисление)
• Устранение частичной избыточности
• Устранение конъюнкции
• Динамическое обновление ПО
• Динамическая связь (вычисления)
• Программное обеспечение
• Дерево трясется
• Постпроходная оптимизация
• Профильная оптимизация
• Супероптимизатор
• Сжатие сборки мусора

Ссылки [ править ]

Дальнейшее чтение [ править ]

• Бодик, Растислав; Гупта, Раджив (июнь 1997 г.). «Частичное устранение мертвого кода с помощью преобразований нарезки». Материалы конференции ACM SIGPLAN 1997 по проектированию и реализации языков программирования (PLDI '97) : 682–694.
• Ахо, Альфред Вайно ; Сетхи, Рави ; Ульман, Джеффри Дэвид (1986). Компиляторы - принципы, методы и инструменты . Издательство Эддисон Уэсли . ISBN 0-201-10194-7.
• Мучник, Стивен Стэнли (1997). Расширенный дизайн и реализация компилятора . Издательство Морган Кауфманн . ISBN 1-55860-320-4.
• Грун, Дик ; Бал, Анри Эль ; Джейкобс, Кериэль Дж. Х .; Лангендоэн, Коэн Г. (2000). Современный дизайн компилятора . ISBN компании John Wiley & Sons, Inc.  0-471-97697-0.
• Кеннеди, Кен ; Аллен, Рэнди (2002). «Глава 4.4. Анализ потока данных - Глава 4.4.2. Устранение мертвого кода». Оптимизация компиляторов для современных архитектур: подход, основанный на зависимостях (цифровая печать 2011 г., 1-е изд.). Academic Press / Morgan Kaufmann Publishers / Elsevier . С.  137 , 145–147, 167. ISBN 978-1-55860-286-1. LCCN  2001092381 .

Внешние ссылки [ править ]

• Как заставить компиляторы C / C ++ генерировать ужасный код?