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

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