.Net 类型、对象、线程栈、托管堆运行时的相互关系

时间：2015-07-20 18:54:30 阅读：111 评论：0 收藏：0 [点我收藏+]

标签：

JIT(just in time)编译器

接下来的会讲到方法的调用，这里先讲下JIT编译器。以CLR书中的代码为例(手打...)。以Main方法为例：

static void Main(){
   Console.WriteLine("Hello");
   Console.WriteLine("XiaoCong");
}

首先CLR会检测到Main方法中引用了一个Console类型，然后CLR会为其分配一个内部结构。
内部结构中每个方法都对应一个记录项，记录项中都容纳一个地址，根据此地址可以找到方法的实现。
对结构进行初始化时，会把记录项指向JITCompiler函数。
当第二次执行wirteLine时，由于第一次已经进行了验证和编译，所以跳过JIT函数，直接执行内存块中的代码。

写博客效率好低（Orz）。。。

类型、对象、线程栈、托管堆运行时相互关系

下文讲到对象和 类型对象 要注意区分

首先进程运行时，会在托管堆上创建一个System.Type的类型对象（文章后边解释）。然后线程创建时会分配一个1MB大小的栈。

先上一段代码（在书中代码基础上进行修改）

internal class Employee{
  public			Int32 GetYearsEmployed(){...}  //非虚实例方法（实例方法）
  public virtual String GenProgressReprot(){...}//虚实例方法（虚方法）
  public static Employee LookUp(String name){...}//静态方法
}
internal sealed class Manager:Employee{
  public override String GenProgressReport(){...}//重写方法（虚方法）
}


void M1(){
  String name="XiaoCong";
  M2(name);
  ...
  return
}

void M2(String str){
  Employee e;
  Int32 year;
  e = new Manager();
  e = Employee.LookUp("ZhangSan");
  year = e.GetYearsEmployed();
  e.GenProgressReport();
}

1.首先执行M1方法，会在线程栈上创建1MB的栈空间，然后会加入序幕代码和结尾代码

序幕代码：进行一些初始化变量操作（初始化null或0）

结尾代码：压入【返回地址】

2.接着执行M2方法，将参数和返回地址，以及局部变量压入栈

技术分享

3.CLR要确保程序集已经全部加载，然后创建M2内部引用对象的数据结构（类型对象）

数据结构包含类型对象指针、同步块索引、静态数据字段（包括基类中字段，字节数由对象自身中分配）、方法表。
（String和Int32比较常用，可能实际编码过程中已经创建好了，就不在图中显示了。）
Manager和Employee的 类型对象 指针指向Type。Type指向自身。
类型对象本质也是对象，CLR创建这些对象时，必须初始化这些程序员。CLR在一个进程中运行时，就会立即创建一个特殊的System.Type类型的类型对象。
Employee和Manager都是该类型的“实例”。因此他们的对象指针会指向Type。

4.然后M2方法会执行构造Manager对象

C# e = new Manager();

这会在托管堆中创建一个Manager类型对象的一个实例。即Manager 对象（注意区分和类型对象的区别）。

该对象也包含类型对象指针和同步块索引。还包含必要的字节来容纳Manager类型定义的所有实例数据字段（包括基类字段）。

CLR会自动初始化内容类型对象指针，让它引用Manger类型对象。也会初始化同步块索引，并将对象的所有实例字段设为Null或0,然后调用类型构造器（修改实例字段数据）。

new 操作符返回Manager对象的内存地址，并将地址保存在变量e中。

5.M2下一步调用静态LookUp方法

C# e = Employee.LookUp("ZhangSan");

调用静态方法时，CLR会定位到静态方法的类型对象的类型对象（Employee类型对象）。然后找到对应的方法表中的记录项，对方法进行JIT编译（第一次执行该方法），再调用JIT生成的CPU指令。假设该方法到数据库中查找ZhangSan，然后返回一个全新的Manager对象，LookUp方法就会在堆上构造一个全新的Manager对象，用ZhangSan的数据库信息初始化它。然后返回该对象的地址保存在变量e中。然后旧的Manager对象会等待垃圾回收器进行回收释放。