Какво е компилация с два преминавания и как подобрява производителността?

Двупроходен е термин, използван в контекста на оптимизацията на компилатора. Отнася се до техника, при която компилаторът прави две преминавания върху изходния код, за да оптимизира неговата производителност. Първото преминаване се нарича "frontend", а второто преминаване се нарича "backend".

Проходът на frontend отговаря за анализирането на изходния код, проверката на неговия синтаксис и семантика и генерирането на междинно представяне (IR) на кода. Този IR след това се подава в задния проход, който извършва по-усъвършенствани оптимизации на кода, като разгръщане на цикъл, вграждане на функции и елиминиране на мъртъв код.

Подходът с две преминавания позволява на компилатора да извършва по-агресивни оптимизации, които може да не са възможни с подход с едно преминаване. Това е така, защото задният проход има достъп до целия IR на програмата, което му позволява да взема по-информирани решения за това как да оптимизира кода.

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