Net framework 5, а также среды Visual Studio 2012 и C#

Как разные компоненты взаимодействуют 
во время выполнения
В этом разделе рассказано, как во время выполнения взаимодействуют типы, объ-
екты, стек потока и управляемая куча. Кроме того, объяснено, в чем различие между 
вызовом статических, экземплярных и виртуальных методов. А начнем мы с не-
которых базовых сведений о работе компьютера. То, о чем я собираюсь рассказать, 
вообще говоря, не относится к специфике CLR, но я начну с общих понятий, а затем 
перейду к обсуждению информации, относящейся исключительно к CLR.
На рис. 4.2 представлен один процесс Microsoft Windows с загруженной в него 
исполняющей средой CLR. У процесса может быть много потоков. После создания 
потоку выделяется стек размером в 1 Мбайт. Выделенная память используется 
для передачи параметров в методы и хранения определенных в пределах методов 
локальных переменных. На рис. 4.2 справа показана память стека одного потока. 
Стеки заполняются от области верхней памяти к области нижней памяти (то есть от 
старших к младшим адресам). На рисунке поток уже выполняет какой-то код, и в его 
стеке уже есть какие-то данные (отмечены областью более темного оттенка вверху 
стека). А теперь представим, что поток выполняет код, вызывающий метод 
M1
.
рис. 4.2.
.Стек.потока.перед.вызовом.метода.M1
Все методы, кроме самых простых, содержат некоторый 
входной код
(prologue 
code), инициализирующий метод до начала его работы. Кроме того, эти методы со-
держат 
выходной код
(epilogue code), выполняющий очистку после того, как метод 
завершит свою основную работу, чтобы возвратить управление вызывающей про-
грамме. В начале выполнения метода 
M1
его входной код выделяет в стеке потока 
память для локальной переменной 
name
(рис. 4.3).
Далее 
M1
вызывает метод 
M2
, передавая в качестве аргумента локальную перемен-
ную 
name
. При этом адрес локальной переменной 
name
заталкивается в стек (рис. 4.4). 
Внутри метода 
M2
местоположение стека хранится в переменной-параметре 
s
. (Кста-
ти, в некоторых процессорных архитектурах для повышения производительности 
аргументы передаются через регистры, но это различие для нашего обсуждения 

---

134