《CLR via C#》读书笔记（一）——CLR的执行模式

前言

　　万事开头难，很早之前就想写博客记录些东西，迟迟未行动，甚是遗憾。原因诸多，大体上无非都是懒、没意志力等等。这次从自己的读书笔记开始，兴许能够有所改变。

一、clr概念

　　clr（common language runtime，译为公共语言运行时）是一个可由多种编程语言使用的“运行时”。clr的核心功能：内存管理、程序集加载、安全性、异常处理和线程同步，可由面向clr的所有语言（c++、c#、vb、f#等等）使用。无论哪种语言，最后通过编译器的结果都是托管模块。托管模块是pe32文件或pe32+文件,都需要clr才能执行。

托管模块各个部分

组成部分	说明
pe32或pe32+头	标准windows pe文件头，如果这个头是pe32格式，文件能在windows32位和64位上运行，如果是pe64，文件只能在windows的64位上运行。这个头还表示了文件类型，，并包含一个时间标记来指出文件的生成时间。对于只包含il代码的模块，这些信息大部分都会被忽略。如果是包含本机cpu代码的模块，这个头包含本机cpu代码有关的信息。
clr头	包含使这个模块成为托管模块的信息。头中包含要求的clr版本，一些标志（flag），拖过模块入口方法的元数据token以及模块的元数据、资源，强模块、一些标志以及不太重要的数据项位置/大小
元数据	每个托管模块都包含元数据表。分为两类： 　　1、描述源代码中定义的类型和成员。 　　2、描述源代码引用的类型和成员。  元数据有诸多用途，例如： 　　1、元数据表面了编译时对原生c/c++和库文件的需求，因为在实现类型/成员的il代码文件中，已包含有关引用类型/成员的全部信息。编译器直接从托管模块中读取元数据。 　　2、ide的“智能感知”能够解析元数据，从而得到一个类型所提供的方法、属性、事件和字段。 　　3、clr的代码验证过程使用元数据确保代码只执行“类型安全”的操作 　　4、元数据允许将对象的字段序列化到内存，将其发送给另一台机器，然后反序列化，在远程机器上重建对象状态 　　5、元数据允许垃圾回收器跟踪对象生存期，垃圾回收器能判断任何对象的类型并从元数据知道那个对象中的哪些字段引用了其他对象
il代码	il代码也被为托管代码,因为clr管理它到底执行。编译器编译源代码时生成的代码。在运行，clr将il编译成本机cpu指令

 二、程序集执行过程

　　il代码是与cpu无关的机器语言，当方法执行时，必须把方法的il转换成本机cpu命令。下图是方法的首次调用

　　在执行main方法前，clr会分配一个内部数据结构来管理对引用类型的访问，在这个内部数据结构项中，存在与类型中方法对应的一个记录项，这个记录项含有一个地址，可根据此地址找到方法的具体实现。数据结构初始化时，clr将每个记录项都设置成包含在clr内部的jitcomplier。上图中的writelien首次调用时，jitcompiler会被调用，il将被编译成cpu指令（jit，即时编译）。当writeline第二次调用时，会跳过jitcompiler，直接执行cpu中已有的指令。（注：之前有经常遇到过首次调用某类方法明显比第二次的耗时长，应该与此有关联，因此有时候需要做预加热）。 下图为第二次调用

　　生成程序集时，有两种模式：debug和release。显然，根据词义可知分别是调试模式和发布模式。两者主要区别在于两个c#编译器开关会影响代码优化：/optimize和/debug。debug含有debug常量，以及不优化代码。release不包含debug常量，并优化代码。因此release模式下的程序集相对而言更小，运行更快。

 　　尽管微软做了大量的工作来优化，但运行时的二次编译仍会影响性能，也会分配动态内存。但是.net framework sdk 配套提供了ngen.exe工具，该工具将所有il代码编译成本机代码，并将这些本机代码保存到了一个磁盘文件中。ngen.exe能够：1、提高应用程序的启动速度；2、减小应用程序的工作集。纵然ngen.exe工具能够带来不少好处，却并非那么完美，存在如下问题：1、没有知识产权保护 2、ngen生成的文件可能失去同步 3、交叉的执行时性能。因此，在使用ngen.exe工具时要慎重考虑，除非是启动耗时的大型客户端应用程序。

三、framework类库

　　 .net framework包含framework类库（framework class library,fcl）。fcl是一组dll程序集的同城，其中包含有数千个类型定义。例如：web服务、基于html的web窗体/mvc应用程序、“富”windows gui应用程序，windows控制台应用程序，windows服务，数据库存储过程，组件库等

四、通用类型系统和公共语言规范

　　为了令一种编程语言写的代码能与用另一种编程语言写的代码沟通，微软制定了一个正式的规范来描述类型的定义和行为，这既是“通用类型系统”(common type system,cts)。cts规定，一个类型可以包含零个以上的成员：字段、方法、属性、事件，cts还指定类型可见性规则以及类型成员的额访问规则：private、family（protected，派生类型访问）、assembly（同一个程序可访问）、public。同时，cts规定所有类型必须继承system.object。cts还有其他规则，不一一列出。

　　微软定义了“公共语言规范”（common language specification，cls），详细定义了一个最小功能集，用于不同语言创建的对象可通过com相互通信，任何支持clr的编译器都支持这个功能集。

 

注：程序集执行过程图来源自网络