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

JIT(just in time)编译器

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

static void Main(){
   Console.WriteLine("Hello");
   Console.WriteLine("XiaoCong");
}
  1. 首先CLR会检测到Main方法中引用了一个Console类型,然后CLR会为其分配一个内部结构。
  2. 内部结构中每个方法都对应一个记录项,记录项中都容纳一个地址,根据此地址可以找到方法的实现。
  3. 对结构进行初始化时,会把记录项指向JITCompiler函数。

  4. 当第二次执行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内部引用对象的数据结构(类型对象)

  1. 数据结构包含类型对象指针、同步块索引、静态数据字段(包括基类中字段,字节数由对象自身中分配)、方法表。
  2. (String和Int32比较常用,可能实际编码过程中已经创建好了,就不在图中显示了。)
  3. 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对象会等待垃圾回收器进行回收释放。

6.M2下一步调用实例方法

C# year = e.GetYearsEmployed();

调用实例方法,JIT编译器会找到发出调用变量的类型(这里是e的类型Employee)的类型对象(Employee类型对象)。然后JIT查找记录项,对方法进行编译,执行CPU指令。

如果Employee类型没有定义那个方法,则会沿着基类一直寻找,直到Object类型。之所以能沿途查找,是因为每个类型对象都有一个字段引用了它的基类型。

假设该方法返回5,则year就会为5。

7.M2下一步调用虚方法(被Manager重写)

C# e.GenProgressReport();

调用虚方法,JIT要在方法中生成一些额外代码。这些代码首先检查发出调用的变量,然后跟随地址找到发出调用的对象(这里是新的Manager对象)。接着代码对象内部“类型对象指针”,然后在类型对象(Manager类型对象)方法表中查找记录项,编译成成CPU代码。

如果LookUp方法发现的是一个Employee类型,这里执行的就是Employee类型的GenProgressReport方法。

8.执行完M2方法之后,会找到返回地址,返回M1方法中继续执行

9.M1执行完成之后,会返回调用M1的方法继续执行

文章来源:http://xcong.cnblogs.com

时间: 2024-08-28 01:44:43

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

运行时的相互联系

图4-2展示了已加载了CLR的一个Microsoft Windows进程.在这个进程中,可能存在多个线程.一个线程创建时,会分配到一个1MB大小的栈.这个栈的空间用于向方法传递实参,并用于方法内部定义的局部变量. 栈是从高位内存地址向低位地址构建的.在图中,假设线程已经执行了一些代码(栈顶部的阴影区域标示这些代码的数据),现在线程执行的代码开始调用M1方法. M1方法执行时,[String name="Joe"]在线程栈上分配局部变量name的内存,如图4-3所示. 然后,M1调用M2

堆栈和托管堆 c#

堆栈和托管堆 c# 首先堆栈和堆(托管堆)都在进程的虚拟内存中.(在32位处理器上每个进程的虚拟内存为4GB) 堆栈stack 堆栈中存储值类型. 堆栈实际上是向下填充,即由高内存地址指向低内存地址填充. 堆栈的工作方式是先分配内存的变量后释放(先进后出原则). 堆栈中的变量是从下向上释放,这样就保证了堆栈中先进后出的规则不与变量的生命周期起冲突! 堆栈的性能非常高,但是对于所有的变量来说还不太灵活,而且变量的生命周期必须嵌套. 通常我们希望使用一种方法分配内存来存储数据,并且方法退出后很长一段

C#堆栈和托管堆

首先堆栈和堆(托管堆)都在进程的虚拟内存中.(在32位处理器上每个进程的虚拟内存为4GB) 堆栈stack 堆栈中存储值类型. 堆栈实际上是向下填充,即由高内存地址指向低内存地址填充. 堆栈的工作方式是先分配内存的变量后释放(先进后出原则). 堆栈中的变量是从下向上释放,这样就保证了堆栈中先进后出的规则不与变量的生命周期起冲突! 堆栈的性能非常高,但是对于所有的变量来说还不太灵活,而且变量的生命周期必须嵌套. 通常我们希望使用一种方法分配内存来存储数据,并且方法退出后很长一段时间内数据仍然可以使

JAVA基础-栈与堆,static、final修饰符、内部类和Java内存分配

Java栈与堆 堆:顺序随意 栈:后进先出(Last-in/First-Out). Java的堆是一个运行时数据区,类的对象从中分配空间.这些对象通过new.newarray.anewarray和multianewarray等指令建立,它们不需要程序代码来显式的释放.堆是由垃圾回收来负责的,堆的优势是可以动态地分配内存大小,生存期也不必事先告诉编译器,因为它是在运行时动态分配内存的,Java的垃圾收集器会自动收走这些不再使用的数据.但缺点是,由于要在运行时动态分配内存,存取速度较慢. 栈的优势是

【C#进阶系列】20 托管堆和垃圾回收

托管堆基础 一般创建一个对象就是通过调用IL指令newobj分配内存,然后初始化内存,也就是实例构造器时做这个事. 然后在使用完对象后,摧毁资源的状态以进行清理,然后由垃圾回收器来释放内存. 托管堆除了能避免错误使用已经被释放的内存,也会减少内存泄漏,大多数类型都无需资源清理,垃圾回收器会自动释放资源. 当然也有需要立即清理的,比如一些包含了本机资源的类型(如文件.套接字和数据库连接等),可在这些类中调用一个Dispose方法.(当然有的类对这个方法封装了一下,可能是别的名字比如断开数据库连接的

JVM栈和堆的详解

一.基本了解 java的数据类型分为两种:基本类型和引用类型.基本类型的变量保存的是原始值,引用类型的变量保存的是引用值.引用值代表某个对象的引用,而不是对象本身,对象本身放在这个引用值所表示的地址的位置. 二.堆与栈 三.详细说明 栈是运行时的单位,堆是存储的单位 栈解决的程序运行问题,即程序如何执行,或者说如何处理数据:堆解决的是数据存储问题,即就是数据如何放.放哪儿 在java中一个线程就会相应有一个线程栈与之对应,因为不同的线程执行逻辑有所不同,因此需要一个独立的线程栈.堆是所有线程共享

CLR via C#-托管堆和垃圾回收

托管堆基础 访问类型的资源 面向对象的环境中,每个类型都代表可供程序使用的一种资源.要使用这些资源,必须为代表资源的类型分配内存.以下是访问一个资源所需的步骤. ①调用IL指令newobj,为代表资源的类型分配内存,由new操作符来完成. ②初始化内存,设置资源的初始状态并使资源可用,类型的实例构造器负责设置初始状态. ③访问类型的成员来使用资源. ④摧毁资源的状态以进行清理. ⑤释放内存,垃圾回收器独自负责这一步. 托管堆为开发人员提供了一个简化的编程模型,分配并初始化资源并直接使用. 大多数

重温CLR(十五) 托管堆和垃圾回收

本章要讨论托管应用程序如何构造新对象,托管堆如何控制这些对象的生存期,以及如何回收这些对象的内存.简单地说,本章要解释clr中的垃圾回收期是如何工作的,还要解释相关的性能问题.另外,本章讨论了如何设计应用程序来最有效地使用内存. 托管堆基础 每个程序都要使用这样或那样的资源,包括文件.内存缓冲区.屏幕空间.网络连接.数据库资源等.事实上,在面向对象的环境中,每个类型都代表可提供程序使用的一种资源.要使用这些资源,必须为代表资源的类型分配内存.以下是访问一个资源所需的步骤 1 调用IL指令newo

.NET 托管堆和垃圾回收

托管堆基础 简述:每个程序都要使用这样或那样的资源,包括文件.内存缓冲区.屏幕空间.网络连接.....事实上,在面向对象的环境中,每个类型都代表可供程序使用的一种资源.要使用这些资源,必须为代表资源的类型分配内存.以下是访问一个资源所需步骤:1.调用IL指令newobj,为代表资源的类型分配内存.(C# new操作符)2.初始化内存,设置资源的初始状态.(一般指构造函数)3.访问类型的成员来使用资源.(使用成员变量.方法.属性等)4.摧毁资源的状态以进行清除.(???Dispose???)5.释