Common Intermediate Language и системное программирование в Microsoft.Net. Макаров А.В - 92 стр.

170                         CIL и системное программирование в Microsoft .NET   Динамическая генерация кода                                          171


      Таблица 5.1. Результаты измерений эффективности трех способов вы-              Таблица 5.2. Абстрактный синтаксис выражений
      числения выражений                                                        Правило                            Описание
Способ вычисления     Время на создание            Время вычисления             Expr ::= const c                   Некоторая константа. Мы не уточ-
значения функции      динамической сборки, мс      интеграла функции, мс                                           няем тип константы, так как для
Интерпретация                    –                          29422                                                  дальнейшего изложения это несу-
дерева выражения                                                                                                   щественно. Это может быть целое
Предварительная                 547                           172                                                  число, число с плавающей запятой,
компиляция в C#                                                                                                    строка, значение null
Предварительная                  63                           172               Expr ::= local x                   Локальная переменная с именем x
компиляция в CIL                                                                Expr ::= arg x                     Параметр метода с именем x
                                                                                Expr ::= Expr index Expr           Доступ к элементу массива. Здесь пер-
     Результаты показывают, что динамическая генерация кода может на                                               вое выражение должно возвращать
два порядка уменьшить время работы программы.                                                                      ссылку на массив, а второе – целое
                                                                                                                   число, означающее индекс элемента
5.2. Генерация линейных участков кода для                                       Expr   ::=   Expr field f          Доступ к полю f объекта
стековой машины                                                                 Expr   ::=   minus Expr            Унарный минус
     В этом разделе мы рассмотрим специфику генерации линейных уча-             Expr   ::=   Expr BinOp Expr       Бинарная арифметическая операция
стков кода на языке CIL.                                                        Expr   ::=   local x assign Expr   Операция присваивания
     Линейными участками мы будем называть участки кода, не содержа-                                               переменной x значения выражения
щие развилок и защищенных блоков.                                               Expr ::= arg x assign Expr         Операция присваивания параметру
5.2.1. Генерация кода для выражений                                                                                x значения выражения
     Вообще говоря, линейные участки кода получаются, главным обра-             Expr ::= Expr index Expr           Операция присваивания элементу
зом, в процессе генерации кода для выражений. Естественно, выражения              assign Expr                      массива значения выражения
бывают разные, и заранее неизвестно, какого именно типа выражения               Expr ::= Expr field f              Операция присваивания полю f
придется генерировать в различных задачах, связанных с динамической ге-           assign Expr                      объекта значения выражения
нерацией кода. Поэтому мы рассмотрим некоторый тип выражений, наи-              Expr ::= Expr call s ArgList       Вызов экземплярного метода s для
более часто встречающийся на практике, и покажем, как для выражений
                                                                                                                   некоторого объекта с передачей
этого типа порождать линейные последовательности инструкций CIL.
                                                                                                                   списка фактических параметров
5.2.1.1. Абстрактный синтаксис выражений                                        ArgList ::= Expr ArgList           Непустой список фактических па-
     Пусть наши выражения оперируют с константами, переменными и                                                   раметров метода
параметрами. Разрешим использование в выражениях как значений при-              ArgList ::= пусто                  Пустой список фактических пара-
митивных типов, так и объектов (в частности, массивов). В качестве опе-                                            метров
раций мы будем использовать четыре арифметические бинарные опера-
                                                                                BinaryOp     ::=   plus            Сложение
ции, унарный минус, обращение к полю объекта, доступ к элементу мас-
сива и вызов экземплярного метода объекта.                                      BinaryOp     ::=   minus           Вычитание
     Пусть абстрактный синтаксис для наших выражений содержит пра-              BinaryOp     ::=   mul             Умножение
вила, приведенные в таблице 5.2.                                                BinaryOp     ::=   div             Деление