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

122                        CIL и системное программирование в Microsoft .NET   Common Intermediate Language                                        123


           a. если защищенная область предложения A находится внут-            3.4.5. Семантика обработки исключений
              ри защищенной области предложения B, то области фильт-
              ра и обработчика предложения A также должны распола-                  Давайте рассмотрим последовательность действий, осуществляемую
              гаться внутри защищенной области предложения B;                  системой выполнения для обработки сгенерированного исключения.
           b. если защищенная область предложения A не пересекается                 Пусть в некотором методе инструкция, расположенная по некоторо-
              с защищенной областью предложения B, то области фильт-           му адресу, породила исключение. Система выполнения обрабатывает это
              ров и обработчиков этих предложений тоже не должны пе-           исключение в два этапа. Задача первого этапа – поиск подходящего для
              ресекаться;                                                      этого исключения обработчика с фильтрацией. Задача второго этапа – вы-
           c. если защищенная область предложения A совпадает с за-            полнение нужных обработчиков без фильтрации и передача управления
              щищенной областью предложения B, то области фильтров             найденному во время первого этапа обработчику с фильтрацией.
              и обработчиков этих предложений не должны пересекать-                 Выполнение первого этапа начинается с просмотра массива предложе-
              ся.                                                              ний обработки исключений, принадлежащего методу, где произошло ис-
                                                                               ключение. В этом массиве осуществляется поиск такого предложения, что:
3.4.4. Ограничения на передачу управления                                             1. оно описывает обработчик с фильтрацией;
    Передача управления внутрь защищенных областей, из них и между                    2. адрес инструкции, породившей исключение, попадает в диапа-
ними и их обработчиками регламентирована следующими правилами:                           зон адресов защищенной области этого предложения;
      1. Передача управления на обработчики осуществляется только                     3. исключение удовлетворяет фильтру обработчика.
         через механизм обработки исключений.                                       Таким образом, на первом этапе finally и fault-блоки пропускаются.
      2. Существует только два способа передать управление извне на            Кроме того, происходит последовательный вызов фильтров для блоков с
         защищенную область:                                                   пользовательской фильтрацией.
            a. передача управления на первую инструкцию защищенной                  Если в методе, внутри которого было сгенерировано исключение,
               области;                                                        не оказалось подходящего предложения обработки исключений, то систе-
            b. использование инструкции leave из области обработчика с         ма выполнения переходит на следующий метод в стеке вызовов (то есть,
               фильтрацией, связанной с данной защищенной областью             на метод, из которого данный метод был вызван). В следующем методе си-
               (область обработки связана с защищенной областью, если          стема выполнения продолжает искать нужное предложение, причем в ка-
               их координаты указаны в одном и том же предложении об-          честве адреса инструкции, породившей исключение, используется адрес
               работки исключений).                                            инструкции, вызывающей предыдущий метод.
      3. Перед входом в защищенную область стек вычислений должен                   Первый этап может завершиться либо нахождением подходящего
         быть пустым.                                                          предложения, либо обнаружением того факта, что подходящее предложе-
      4. Для выхода из защищенной области, из области фильтра или из           ние не существует на всей последовательности методов в стеке вызовов.
         области обработчика существуют только следующие возможно-             В первом случае система переходит к следующему этапу, а во втором – вы-
         сти:                                                                  полнение программы аварийно завершается.
            a. порождение исключения инструкцией throw;                             На втором этапе система выполнения повторно просматривает мас-
            b. использование инструкции leave из защищенной области            сивы предложений, вызывая все обработчики без фильтрации. Она оста-
               или области с фильтрацией;                                      навливается, когда доходит до предложения, найденного на первом этапе,
            c. использование инструкции endfilter из области фильтра;          после чего вызывает обработчик, описываемый этим предложением.
            d. использование инструкции endfinally из области без
               фильтрации;
            e. использование инструкции rethrow из области с фильтра-          3.5. Синтаксис ILASM
               цией.
                                                                                   В составе .NET Framework SDK поставляется ассемблер ILASM, ко-
                                                                               торый позволяет компилировать текстовые файлы, содержащие CIL-код и