CLR via C#（一）CLR的执行模型

末蓝、 2023-10-12 10:23 65阅读 0赞

## 一、什么是CLR ##

CLR全称Common Language Runtime，即**公共语言运行时**。它可以为所有面向CLR的语言提供运行时的**内存管理、程序集加载、安全性、异常处理和线程同步等功能**。

事实上，CLR并不关心开发者使用的到底是哪种语言，只要这门语言的编译器是面向CLR的，就可以在运行时得到CLR的支持。这是因为这些语言的编译器都会将源代码编译成**托管模块**。  
![dadef1aad0997a09b7bac5ae230ff221.png][]

## 二、什么是托管模块 ##

托管模块是一种标准的Windows可移植执行体文件，需要CLR才能执行。托管模块的组成部分如下图所示：  
![f3c8ca0dcb0e8f73f002ed08c6e76dc2.png][]

### 2.1 IL代码 ###

每个面向CLR的编译器生成的都是IL（中间语言）代码。IL是一种与**CPU无关**的机器语言，它比大多数CPU机器语言更高级。IL支持访问和操作对象类型，提供了创建和初始化对象的指令，支持调用对象上的虚方法，也支持直接操作数组元素等。所以IL可以看做是一种面向对象的机器语言。在运行时，CLR会将IL编译成本机CPU指令。

### 2.2 元数据 ###

元数据就是一个**数据表的集合**。一些数据表描述了模块中定义了什么（类型及其成员），另一些数据表描述了模块引用了什么（导入的类型及其成员）。编译器会同时生成IL代码和描述它的元数据，它们是绑定在一起的，所以永远不会失去同步。

那么元数据有什么用处呢？

*  可以避免编译时对原生C/C++头和库文件的需求。因为在IL代码中已经包含了有关引用类型/成员的全部信息，编译器可以直接从托管模块中读取元数据。
 *  IDE的“智能感知”技术（代码提示、补全）就是通过解析元数据实现的。
 *  CLR的代码验证过程使用元数据确保代码只执行类型安全的操作。
 *  元数据允许将对象的字段序列化到内存，将其发送给另一台机器，然后反序列化在远程机器上重建对象的状态。
 *  元数据允许垃圾回收器跟踪对象生命周期（通过元数据知道对象中的哪些字段引用了其他对象）。

## 三、即时编译（JIT） ##

前面说了面向CLR的编译器会生成IL代码，这种代码是不能直接执行的，还需要将其转换成**本机CPU指令**。这就是CLR的JIT（即时）编译器的职责。

来看下面这段代码

public static void Main()
    {
        
    	Console.WriteLine("Hello world");
    	Console.WriteLine("你好 世界");
    }

在`Main()`方法执行之前，CLR会检测出`Main()`方法中的代码引用的所有类型，并分配一个内部的数据结构来管理对引用类型的访问。比如代码中引用了一个`Console`类型，CLR会分配一个内部数据结构。在这一结构中，`Console`类型定义的每个方法都会有一个对应的记录。每条记录都包含一个地址，可以通过地址找到方法的实现。在对这个数据结构进行初始化时，CLR将每个记录项都设置成指向包含在CLR内部的一个未编档函数。假设这个函数叫`JITCompiler`。  
![cb0770e454177f0a65efecd1d6d54943.png][]

当`Main()`方法**首次**调用`WriteLine`时，`JITCompiler`就会被调用。而`JITCompiler`负责将方法里的IL代码即时编译成本机CPU指令。

那么在`JITCompiler`中具体干了些什么呢？

*  首先`JITCompiler`被调用时，它知道要调用的是哪个方法（`WriteLine`），以及具体是哪个类型定义了该方法（`Console`）。
 *  然后`JITCompiler`会在定义该类型的程序集的元数据中查找被调用的方法的IL。
 *  接下来`JITCompiler`会验证IL代码，并将其编译成本机CPU指令。这些指令会保存到动态分配的内存块中。
 *  然后`JITCompiler`回到之前的“内部数据结构”，找到调用方法的那条记录，将其指针指向内存块。
 *  最后`JITCompiler`跳转到内存块，执行完毕其中的指令，并一路返回`Main()`。

接下来，`Main()`要执行第二条语句，仍然是`WriteLine`方法。此时“内部数据结构”中的记录已经指向了编译好指令的内存块，所以会直接执行，完全跳过了`JITCompiler`。也就是说**方法仅在首次调用时会有一些性能损失，以后再次调用时都以本机指令的方式全速运行，无需再次编译。** 当然，一旦程序终止，编译好的代码块也会丢弃。所以当再次运行时又需要重新编译。

## 四、参考资料 ##

\[1\].《CLR via C\# 第四版》

[dadef1aad0997a09b7bac5ae230ff221.png]: https://img-blog.csdnimg.cn/img_convert/dadef1aad0997a09b7bac5ae230ff221.png
[f3c8ca0dcb0e8f73f002ed08c6e76dc2.png]: https://img-blog.csdnimg.cn/img_convert/f3c8ca0dcb0e8f73f002ed08c6e76dc2.png
[cb0770e454177f0a65efecd1d6d54943.png]: https://img-blog.csdnimg.cn/img_convert/cb0770e454177f0a65efecd1d6d54943.png