Mono為何能跨平臺?聊聊CIL(MSIL) - 慕容小匹夫

>>>  技術話題—商業文明的嶄新時代  >>> 簡體     傳統

前言:

其實小匹夫在U3D的開發中一直對U3D的跨平臺能力很好奇。到底是什么原理使得U3D可以跨平臺呢?后來發現了Mono的作用,并進一步了解到了CIL的存在。所以,作為一個對Unity3D跨平臺能力感興趣的U3D程序猿,小匹夫如何能不關注CIL這個話題呢?那么下面各位看官就拾起語文老師教導我們的作文口訣(WhyWhatHow),和小匹夫一起走進CIL的世界吧~

Why?

回到本文的題目,U3D或者說Mono的跨平臺是如何做到的?

如果換做小匹夫或者看官你來做,應該怎么實現一套代碼對應多種平臺呢?

其實原理想想也簡單,生活中也有很多可以參考的例子,比如下圖(誰讓小匹夫是做移動端開發的呢,只能物盡其用從自己身邊找例子了T.T):

像這樣一根線,管你是安卓還是ios都能充電。所以從這個意義上,這貨也實現了跨平臺。那么我們能從它身上學到什么呢?對的,那就是從一樣的能源(電)到不同的平臺(ios,安卓)之間需要一個中間層過度轉換一下。

那么來到U3D為何能跨平臺,簡而言之,其實現原理在于使用了叫CIL(Common Intermediate Language通用中間語言,也叫做MSIL微軟中間語言)的一種代碼指令集,CIL可以在任何支持CLI(Common Language Infrastructure,通用語言基礎結構)的環境中運行,就像.NET是微軟對這一標準的實現,Mono則是對CLI的又一實現。由于CIL能運行在所有支持CLI的環境中,例如剛剛提到的.NET運行時以及Mono運行時,也就是說和具體的平臺或者CPU無關。這樣就無需根據平臺的不同而部署不同的內容了。所以到這里,各位也應該恍然大了。代碼的編譯只需要分為兩部分就好了嘛:

  1. 從代碼本身到CIL的編譯(其實之后CIL還會被編譯成一種位元碼,生成一個CLI assembly)
  2. 運行時從CIL(其實是CLI assembly,不過為了直觀理解,不必糾結這種細節)到本地指令的即時編譯(這就引出了為何U3D官方沒有提供熱更新的原因:在iOS平臺中Mono無法使用JIT引擎,而是以Full AOT模式運行的,所以此處說的額即時編譯不包括IOS

What?

上文也說了CIL是指令集,但是不是還是太模糊了呢?所以語文老師教導我們,描述一個東西時肯定要先從外貌寫起。遵循老師的教導,我們不妨先通過工具來看看CIL到底長什么樣。

工具就是ildasm了。下面小匹夫寫一個簡單的.cs看看生成的CIL代碼長什么樣。

C#代碼:

class Class1
{public static void Main(string[] args)
    {
        System.Console.WriteLine("hi");
    }
}

CIL代碼:

.class private auto ansi beforefieldinit Class1
       extends [mscorlib]System.Object
{
  .method public hidebysig static void  Main(string[] args) cil managed
  {
    .entrypoint// 代碼大小       13 (0xd).maxstack  8IL_0000:  nop
    IL_0001:  ldstr      "hi"IL_0006:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_000b:  nop
    IL_000c:  ret
  } // end of method Class1::Main
  .method public hidebysig specialname rtspecialname 
          instance void  .ctor() cil managed
  {// 代碼大小       7 (0x7).maxstack  8IL_0000:  ldarg.0IL_0001:  call       instance void [mscorlib]System.Object::.ctor()
    IL_0006:  ret
  } // end of method Class1::.ctor} // end of class Class1

好啦。代碼雖然簡單,但是也能說明足夠多的問題。那么和CIL的第一次親密接觸,能給我們留下什么直觀的印象呢?

  1. 以.一個點號開頭的,例如上面這份代碼中的:.class、.method 。我們稱之為CIL指令(directive),用于描述.NET程序集總體結構的標記。為啥需要它呢?因為你總得告訴編譯器你處理的是啥吧。
  2. 貌似CIL代碼中還看到了private、public這樣的身影。姑且稱之為CIL特性(attribute)。它的作用也很好理解,通過CIL指令并不能完全說明.NET成員和類,針對CIL指令進行補充說明成員或者類的特性的。市面上常見的還有:extends,implements等等。
  3. 每一行CIL代碼基本都有的,對,那就是CIL操作碼咯。小匹夫從網上找了一份漢化的操作碼表放在附錄部分,當然英文版的你的vs就有。

直觀的印象有了,但是離我們的短期目標,說清楚(或者說介紹個大概)CIL是What,甚至是終極目標,搞明白Uniyt3D為何能跨平臺還有2萬4千9百里的距離。

好啦,話不多說,繼續亂侃。

參照附錄中的操作碼表,對照可以總結出一份更易讀的表格。那就是如下的表啦。

主要操作操作數范圍/條件操作數類型操作數
縮寫全稱含義縮寫全稱含義縮寫全稱含義縮寫全稱含義
ldload將操作數壓到堆棧當中,相當于:
push ax
argargument參數??操作數中的數值.0?第零個參數 
.1?第一個參數
.2? 第二個參數
.3?第三個參數
.s xx(short)參數xx
aaddress操作數的地址只有 .s xx,參見ldarg.s
loclocal局部變量參見ldarg
fldfield字段(類的全局變量)參見ldargxx?xx字段,eg:
ldfld xx
cconst常量.i4int 4 bytesC#里面的int,其他的類型例如short需要通過conv轉換.m1minus 1-1
.0?0
.1?1
 
.8 8
.s(short)后面跟一個字節以內的整型數值(有符號的)
??后面跟四個字節的整型數值
.i8int 8 bytesC#里面的long??后面跟八個字節的整型數值
.r4real 4 bytesC#里面的float??后面跟四個字節的浮點數值
.r8real 8 bytesC#里面的double??后面跟八個字節的浮點數值
nullnull空值(也就是0)??????
ststore計算堆棧的頂部彈出當前值,相當于:
pop ax
參見ld 
convconvert數值類型轉換,僅僅用純粹的數值類型間的轉換,例如int/float等???.i1int 1 bytesC#里面的sbyte???
.i2int 2 bytesC#里面的short
.i4int 4 bytesC#里面的int
.i8int 8 bytesC#里面的long
.r4real 4 bytesC#里面的float
.r8real 8 bytesC#里面的double
.u4uint 4 bytesC#里面的uint
.u8uint 8 bytesC#里面的ulong
b/brbranch條件和無條件跳轉,相當于:
jmp/jxx label_jump
br??無條件跳轉?????后面跟四個字節的偏移量(有符號)
.s(short)后面跟一個字節的偏移量(有符號)
falsefalse值為零的時候跳轉???參見br
truetrue值不為零的時候跳轉???
beqequal to相等???
nenot equal to不相等ununsigned or unordered無氟好的(對于整數)或者無序的(對于浮點)
gtgreater than大于
ltless than小于
gegreater than or equal to大于等于
leless than or equal to小于等于
callcall調用?????(非虛函數)?
???virtvirtual虛函數

在此,小匹夫想請各位認真讀表,然后心中默數3個數,最后看看都能發現些什么。

基于堆棧

如果是小匹夫的話,第一感覺就是基本每一條描述中都包含一個棧。不錯,CIL是基于堆棧的,也就是說CIL的VM(mono運行時)是一個棧式機。這就意味著數據是推入堆棧,通過堆棧來操作的,而非通過CPU的寄存器來操作,這更加驗證了其和具體的CPU架構沒有關系。為了說明這一點,小匹夫舉個例子好啦。

大學時候學單片機(大概是8086,記不清了)的時候記得做加法大概是這樣的:

add eax,-2

其中的eax是啥?寄存器。所以如果CIL處理數據要通過cpu的寄存器的話,那也就不可能和cpu的架構無關了。

當然,CIL之所以是基于堆棧而非CPU的另一個原因是相比較于cpu的寄存器,操作堆棧實在太簡單了。回到剛才小匹夫說的大學時候曾經學過的單片機那門課程上,當時記得各種寄存器,各種標志位,各種。。。,而堆棧只需要簡單的壓棧和彈出,因此對于虛擬機的實現來說是再合適不過了。所以想要更具體的了解CIL基于堆棧這一點,各位可以去看一下堆棧方面的內容。這里小匹夫就不拓展了。

面向對象

那么第二感覺呢?貌似附錄的表中有new對象的語句呀。嗯,的確,CIL同樣是面向對象的。

這意味著什么呢?那就是在CIL中你可以創建對象,調用對象的方法,訪問對象的成員。而這里需要注意的就是對方法的調用。

回到上表中的右上角。對,就是對參數的操作部分。靜態方法和實例方法是不同的哦~

  1. 靜態方法:ldarg.0么有被占用,所以參數從ldarg.0開始。
  2. 實例方法:ldarg.0是被this占用的,也就是說實際上的參數是從ldarg.1開始的。

舉個例子:假設你有一個類Murong中有一個靜態方法Add(int32 a, int32 b),實現的內容就如同它的名字一樣使兩個數相加,所以需要2個參數。和一個實例方法TellName(string name),這個方法會告訴你傳入的名字。

class  Murong
{public void TellName(string name)
    {
        System.Console.WriteLine(name);
    }public static int Add(int a, int b)
    {       return a + b;
    }
}

靜態方法的處理:

那么其中的靜態方法Add的CIL代碼如下:

//小匹夫注釋一下。.method public hidebysig static int32  Add(int32 a,
                                           int32 b) cil managed
{  // 代碼大小       9 (0x9)
  .maxstack  2
  .locals init ([0] int32 CS$1$0000)   //初始化局部變量列表。因為我們只返回了一個int型。所以這里聲明了一個int32類型。索引為0
  IL_0000:  nop
  IL_0001:  ldarg.0     //將索引為 0 的參數加載到計算堆棧上。
  IL_0002:  ldarg.1     //將索引為 1 的參數加載到計算堆棧上。
  IL_0003:  add          //計算
  IL_0004:  stloc.0      //從計算堆棧的頂部彈出當前值并將其存儲到索引 0 處的局部變量列表中。  IL_0005:  br.s       IL_0007
  IL_0007:  ldloc.0     //將索引 0 處的局部變量加載到計算堆棧上。
  IL_0008:  ret           //返回該值} // end of method Murong::Add

那么我們調用這個靜態函數應該就是這樣咯。

Murong.Add(1, 2);

對應的CIL代碼為:

  IL_0001:  ldc.i4.1 //將整數1壓入棧中
  IL_0002:  ldc.i4.2 //將整數2壓入棧中
  IL_0003:  call       int32 Murong::Add(int32,
                                         int32)  //調用靜態方法

可見CIL直接call了Murong的Add方法,而不需要一個Murong的實例。

實例方法的處理:

Murong類中的實例方法TellName()的CIL代碼如下:

.method public hidebysig instance void  TellName(string name) cil managed
{  // 代碼大小       9 (0x9)
  .maxstack  8
  IL_0000:  nop
  IL_0001:  ldarg.1     //看到和靜態方法的區別了嗎?
  IL_0002:  call       void [mscorlib]System.Console::WriteLine(string)
  IL_0007:  nop
  IL_0008:  ret
} // end of method Murong::TellName

看到和靜態方法的區別了嗎?對,第一個參數對應的是ldarg.1中的參數1,而不是靜態方法中的0。因為此時參數0相當于this,this是不用參與參數傳遞的。

那么我們再看看調用實例方法的C#代碼和對應的CIL代碼是如何的。

//C#
Murong murong = new Murong(); murong.TellName("chenjiadong");

CIL:

.locals init ([0] class Murong murong)   //因為C#代碼中定義了一個Murong類型的變量,所以局部變量列表的索引0為該類型的引用。//....IL_0009:  newobj     instance void Murong::.ctor() //相比上面的靜態方法的調用,此處new一個新對象,出現了instance方法。IL_000e:  stloc.0IL_000f:  ldloc.0IL_0010:  ldstr      "chenjiadong" //小匹夫的名字入棧IL_0015:  callvirt   instance void Murong::TellName(string) //實例方法的調用也有instance

到此,受制于篇幅所限(小匹夫不想寫那么多字啊啊啊!)CIL是What的問題大致介紹一下。當然沒有再拓展,以后小匹夫可能會再詳細寫一下這塊。

How?

記得語文老師說過,寫作文最重要的一點是要首尾呼應。既然咱們開篇就提出了U3D為何能跨平臺的問題,那么接近文章的結尾咱們就再來

提問:

Q:上面的Why部分,咱們知道了U3D能跨平臺是因為存在著一個能通吃的中間語言CIL,這也是所謂跨平臺的前提,但是為啥CIL能通吃各大平臺呢?當然可以說CIL基于堆棧,跟你CPU怎么架構的沒啥關系,但是感覺過于理論化、學術化,那還有沒有通俗化、工程化的說法呢?

A:原因就是前面小匹夫提到過的,.Net運行時和Mono運行時。也就是說CIL語言其實是運行在虛擬機中的,具體到咱們的U3D也就是mono的運行時了,換言之mono運行的其實CIL語言,CIL也并非真正的在本地運行,而是在mono運行時中運行的,運行在本地的是被編譯后生成的原生代碼。當然看官博的文章,他們似乎也在開發自己的mono,也就是被稱為腳本的未來的IL2Cpp,這種類似運行時的功能是將IL再編譯成c++,再由c++編譯成原生代碼,據說效率提升很可觀,小匹夫也是蠻期待的。

這里為了實現跨平臺式的演示,小匹夫用mac給各位做個測試好啦:

從C#到CIL

新建一個cs文件,然后使用mono來運行。這個cs文件內容如下:

然后咱們直接在命令行中運行這個cs文件試試~

說的很清楚,文件沒有包含一個CIL映像。可見mono是不能直接運行cs文件的。假如我們把它編譯成CIL呢?那么我們用mono帶的mcs來編譯小匹夫的Test.cs文件。

mcs Test.cs

生成了什么呢?如圖:

好像沒見有叫.IL的文件生成啊?反而好像多了一個.exe文件?可是沒聽說Mac能運行exe文件呀?可為啥又生成了.exe呢?各位看官可能要說,小匹夫你是不是拿windows截圖P的啊?嘿嘿,小匹夫可不敢。辣么真相其實就是這個exe并不是讓Mac來運行的,而是留給mono運行時來運行的,換言之這個文件的可執行代碼形式是CIL的位元碼形態。到此,我們完成了從C#到CIL的過程。接下來就讓我們運行下剛剛的成果好啦。

mono Test.exe

 

結果是輸出了一個大大的Hi。這里,就引出了下一個部分。

從CIL到Native Code

這個HI可是在小匹夫的MAC終端上出現的呀,那么就證明這個C#寫的代碼在MAC上運行的還挺嗨。

為啥呢?為啥C#寫的代碼能跑在MAC上呢?這就不得不提從CIL如何到本機原生代碼的過程了。Mono提供了兩種編譯方式,就是我們經常能看到的:JIT(Just-in-Time compilation,即時編譯)和AOT(Ahead-of-Time,提前編譯或靜態編譯)。這兩種方式都是將CIL進一步編譯成平臺的原生代碼。這也是實現跨平臺的最后一步。下面就分頭介紹一下。

JIT即時編譯:

從名字就能看的出來,即時編譯,或者稱之為動態編譯,是在程序執行時才編譯代碼,解釋一條語句執行一條語句,即將一條中間的托管的語句翻譯成一條機器語句,然后執行這條機器語句。但同時也會將編譯過的代碼進行緩存,而不是每一次都進行編譯。所以可以說它是靜態編譯和解釋器的結合體。不過你想想機器既要處理代碼的邏輯,同時還要進行編譯的工作,所以其運行時的效率肯定是受到影響的。因此,Mono會有一部分代碼通過AOT靜態編譯,以降低在程序運行時JIT動態編譯在效率上的問題。

不過一向嚴苛的IOS平臺是不允許這種動態的編譯方式的,這也是U3D官方無法給出熱更新方案的一個原因。而Android平臺恰恰相反,Dalvik虛擬機使用的就是JIT方案。

AOT靜態編譯:

其實Mono的AOT靜態編譯和JIT并非對立的。AOT同樣使用了JIT來進行編譯,只不過是被AOT編譯的代碼在程序運行之前就已經編譯好了。當然還有一部分代碼會通過JIT來進行動態編譯。下面小匹夫就手動操作一下mono,讓它進行一次AOT編譯。

//在命令行輸入mono --aot Test.exe

結果:

從圖中可以看到JIT time: 39 ms,也就是說Mono的AOT模式其實會使用到JIT,同時我們看到了生成了一個適應小匹夫的MAC的動態庫Test.exe.dylib,而在Linux生成就是.so(共享庫)。

AOT編譯出來的庫,除了包括我們的代碼之外,還有被緩存的元數據信息。所以我們甚至可以只編譯元數據信息而不變異代碼。例如這樣:

//只包含元數據的信息mono --aot=metadata-only Test.exe

可見代碼沒有被包括進來。

那么簡單總結一下AOT的過程:

  1. 收集要被編譯的方法
  2. 使用JIT進行編譯
  3. 發射(Emitting)經JIT編譯過的代碼和其他信息
  4. 直接生成文件或者調用本地匯編器或連接器進行處理之后生成文件。(例如上圖中使用了小匹夫本地的gcc)

Full AOT

當然上文也說了,IOS平臺是禁止使用JIT的,可看樣子Mono的AOT模式仍然會保留一部分代碼會在程序運行時動態編譯。所以為了破解這個問題,Mono提供了一個被稱為Full AOT的模式。即預先對程序集中的所有CIL代碼進行AOT編譯生成一個本地代碼映像,然后在運行時直接加載這個映像而不再使用JIT引擎。目前由于技術或實現上的原因在使用Full AOT時有一些限制,不過這里不再多說了。以后也還會更細的分析下AOT。

 

總結:

好啦,寫到現在也已經到了凌晨3:04分了。感覺寫的內容也差不多了。那么對本文的主題U3D為何能跨平臺以及CIL做個最終的總結陳詞:

  1. CIL是CLI標準定義的一種可讀性較低的語言。
  2. 以.NET或mono等實現CLI標準的運行環境為目標的語言要先編譯成CIL,之后CIL會被編譯,并且以位元碼的形式存在(源代碼--->中間語言的過程)。
  3. 這種位元碼運行在虛擬機中(.net mono的運行時)。
  4. 這種位元碼可以被進一步編譯成不同平臺的原生代碼(中間語言--->原生代碼的過程)。
  5. 面向對象
  6. 基于堆棧

如果各位看官覺得文章寫得還好,那么就容小匹夫跪求各位給點個推薦,謝啦~

裝模作樣的聲明一下:本博文章若非特殊注明皆為原創,若需轉載請保留原文鏈接http://www.cnblogs.com/murongxiaopifu/p/4211964.html及作者信息慕容小匹夫

你也可以在游戲蠻牛讀到這篇文章:

匹夫細說Unity3D(三)為何能跨平臺?聊聊CIL(MSIL)
(出處: -u3d游戲開發者社區【游戲蠻牛】unity3d官網)

附錄:

名稱說明
Add將兩個值相加并將結果推送到計算堆棧上。
Add.Ovf將兩個整數相加,執行溢出檢查,并且將結果推送到計算堆棧上。
Add.Ovf.Un將兩個無符號整數值相加,執行溢出檢查,并且將結果推送到計算堆棧上。
And計算兩個值的按位與并將結果推送到計算堆棧上。
Arglist返回指向當前方法的參數列表的非托管指針。
Beq如果兩個值相等,則將控制轉移到目標指令。
Beq.S如果兩個值相等,則將控制轉移到目標指令(短格式)。
Bge如果第一個值大于或等于第二個值,則將控制轉移到目標指令。
Bge.S如果第一個值大于或等于第二個值,則將控制轉移到目標指令(短格式)。
Bge.Un當比較無符號整數值或不可排序的浮點型值時,如果第一個值大于第二個值,則將控制轉移到目標指令。
Bge.Un.S當比較無符號整數值或不可排序的浮點型值時,如果第一個值大于第二個值,則將控制轉移到目標指令(短格式)。
Bgt如果第一個值大于第二個值,則將控制轉移到目標指令。
Bgt.S如果第一個值大于第二個值,則將控制轉移到目標指令(短格式)。
Bgt.Un當比較無符號整數值或不可排序的浮點型值時,如果第一個值大于第二個值,則將控制轉移到目標指令。
Bgt.Un.S當比較無符號整數值或不可排序的浮點型值時,如果第一個值大于第二個值,則將控制轉移到目標指令(短格式)。
Ble如果第一個值小于或等于第二個值,則將控制轉移到目標指令。
Ble.S如果第一個值小于或等于第二個值,則將控制轉移到目標指令(短格式)。
Ble.Un當比較無符號整數值或不可排序的浮點型值時,如果第一個值小于或等于第二個值,則將控制轉移到目標指令。
Ble.Un.S當比較無符號整數值或不可排序的浮點值時,如果第一個值小于或等于第二個值,則將控制權轉移到目標指令(短格式)。
Blt如果第一個值小于第二個值,則將控制轉移到目標指令。
Blt.S如果第一個值小于第二個值,則將控制轉移到目標指令(短格式)。
Blt.Un當比較無符號整數值或不可排序的浮點型值時,如果第一個值小于第二個值,則將控制轉移到目標指令。
Blt.Un.S當比較無符號整數值或不可排序的浮點型值時,如果第一個值小于第二個值,則將控制轉移到目標指令(短格式)。
Bne.Un當兩個無符號整數值或不可排序的浮點型值不相等時,將控制轉移到目標指令。
Bne.Un.S當兩個無符號整數值或不可排序的浮點型值不相等時,將控制轉移到目標指令(短格式)。
Box將值類轉換為對象引用(O 類型)。
Br無條件地將控制轉移到目標指令。
Br.S無條件地將控制轉移到目標指令(短格式)。
Break向公共語言結構 (CLI) 發出信號以通知調試器已撞上了一個斷點。
Brfalse如果 value 為 false、空引用(Visual Basic 中的 Nothing)或零,則將控制轉移到目標指令。
Brfalse.S如果 value 為 false、空引用或零,則將控制轉移到目標指令。
Brtrue如果 value 為 true、非空或非零,則將控制轉移到目標指令。
Brtrue.S如果 value 為 true、非空或非零,則將控制轉移到目標指令(短格式)。
Call調用由傳遞的方法說明符指示的方法。
Calli通過調用約定描述的參數調用在計算堆棧上指示的方法(作為指向入口點的指針)。
Callvirt對對象調用后期綁定方法,并且將返回值推送到計算堆棧上。
Castclass嘗試將引用傳遞的對象轉換為指定的類。
Ceq比較兩個值。如果這兩個值相等,則將整數值 1 (int32) 推送到計算堆棧上;否則,將 0 (int32) 推送到計算堆棧上。
Cgt比較兩個值。如果第一個值大于第二個值,則將整數值 1 (int32) 推送到計算堆棧上;反之,將 0 (int32) 推送到計算堆棧上。
Cgt.Un比較兩個無符號的或不可排序的值。如果第一個值大于第二個值,則將整數值 1 (int32) 推送到計算堆棧上;反之,將 0 (int32) 推送到計算堆棧上。
Ckfinite如果值不是有限數,則引發 ArithmeticException。
Clt比較兩個值。如果第一個值小于第二個值,則將整數值 1 (int32) 推送到計算堆棧上;反之,將 0 (int32) 推送到計算堆棧上。
Clt.Un比較無符號的或不可排序的值 value1 和 value2。如果 value1 小于 value2,則將整數值 1 (int32 ) 推送到計算堆棧上;反之,將 0 ( int32 ) 推送到計算堆棧上。
Constrained約束要對其進行虛方法調用的類型。
Conv.I將位于計算堆棧頂部的值轉換為 native int。
Conv.I1將位于計算堆棧頂部的值轉換為 int8,然后將其擴展(填充)為 int32。
Conv.I2將位于計算堆棧頂部的值轉換為 int16,然后將其擴展(填充)為 int32。
Conv.I4將位于計算堆棧頂部的值轉換為 int32。
Conv.I8將位于計算堆棧頂部的值轉換為 int64。
Conv.Ovf.I將位于計算堆棧頂部的有符號值轉換為有符號 native int,并在溢出時引發 OverflowException。
Conv.Ovf.I.Un將位于計算堆棧頂部的無符號值轉換為有符號 native int,并在溢出時引發 OverflowException。
Conv.Ovf.I1將位于計算堆棧頂部的有符號值轉換為有符號 int8 并將其擴展為 int32,并在溢出時引發 OverflowException。
Conv.Ovf.I1.Un將位于計算堆棧頂部的無符號值轉換為有符號 int8 并將其擴展為 int32,并在溢出時引發 OverflowException。
Conv.Ovf.I2將位于計算堆棧頂部的有符號值轉換為有符號 int16 并將其擴展為 int32,并在溢出時引發 OverflowException。
Conv.Ovf.I2.Un將位于計算堆棧頂部的無符號值轉換為有符號 int16 并將其擴展為 int32,并在溢出時引發 OverflowException。
Conv.Ovf.I4將位于計算堆棧頂部的有符號值轉換為有符號 int32,并在溢出時引發 OverflowException。
Conv.Ovf.I4.Un將位于計算堆棧頂部的無符號值轉換為有符號 int32,并在溢出時引發 OverflowException。
Conv.Ovf.I8將位于計算堆棧頂部的有符號值轉換為有符號 int64,并在溢出時引發 OverflowException。
Conv.Ovf.I8.Un將位于計算堆棧頂部的無符號值轉換為有符號 int64,并在溢出時引發 OverflowException。
Conv.Ovf.U將位于計算堆棧頂部的有符號值轉換為 unsigned native int,并在溢出時引發 OverflowException。
Conv.Ovf.U.Un將位于計算堆棧頂部的無符號值轉換為 unsigned native int,并在溢出時引發 OverflowException。
Conv.Ovf.U1將位于計算堆棧頂部的有符號值轉換為 unsigned int8 并將其擴展為 int32,并在溢出時引發 OverflowException。
Conv.Ovf.U1.Un將位于計算堆棧頂部的無符號值轉換為 unsigned int8 并將其擴展為 int32,并在溢出時引發 OverflowException。
Conv.Ovf.U2將位于計算堆棧頂部的有符號值轉換為 unsigned int16 并將其擴展為 int32,并在溢出時引發 OverflowException。
Conv.Ovf.U2.Un將位于計算堆棧頂部的無符號值轉換為 unsigned int16 并將其擴展為 int32,并在溢出時引發 OverflowException。
Conv.Ovf.U4將位于計算堆棧頂部的有符號值轉換為 unsigned int32,并在溢出時引發 OverflowException。
Conv.Ovf.U4.Un將位于計算堆棧頂部的無符號值轉換為 unsigned int32,并在溢出時引發 OverflowException。
Conv.Ovf.U8將位于計算堆棧頂部的有符號值轉換為 unsigned int64,并在溢出時引發 OverflowException。
Conv.Ovf.U8.Un將位于計算堆棧頂部的無符號值轉換為 unsigned int64,并在溢出時引發 OverflowException。
Conv.R.Un將位于計算堆棧頂部的無符號整數值轉換為 float32。
Conv.R4將位于計算堆棧頂部的值轉換為 float32。
Conv.R8將位于計算堆棧頂部的值轉換為 float64。
Conv.U將位于計算堆棧頂部的值轉換為 unsigned native int,然后將其擴展為 native int。
Conv.U1將位于計算堆棧頂部的值轉換為 unsigned int8,然后將其擴展為 int32。
Conv.U2將位于計算堆棧頂部的值轉換為 unsigned int16,然后將其擴展為 int32。
Conv.U4將位于計算堆棧頂部的值轉換為 unsigned int32,然后將其擴展為 int32。
Conv.U8將位于計算堆棧頂部的值轉換為 unsigned int64,然后將其擴展為 int64。
Cpblk將指定數目的字節從源地址復制到目標地址。
Cpobj將位于對象(&、* 或 native int 類型)地址的值類型復制到目標對象(&、* 或 native int 類型)的地址。
Div將兩個值相除并將結果作為浮點(F 類型)或商(int32 類型)推送到計算堆棧上。
Div.Un兩個無符號整數值相除并將結果 ( int32 ) 推送到計算堆棧上。
Dup復制計算堆棧上當前最頂端的值,然后將副本推送到計算堆棧上。
Endfilter將控制從異常的 filter 子句轉移回公共語言結構 (CLI) 異常處理程序。
Endfinally將控制從異常塊的 fault 或 finally 子句轉移回公共語言結構 (CLI) 異常處理程序。
Initblk將位于特定地址的內存的指定塊初始化為給定大小和初始值。
Initobj將位于指定地址的值類型的每個字段初始化為空引用或適當的基元類型的 0。
Isinst測試對象引用(O 類型)是否為特定類的實例。
Jmp退出當前方法并跳至指定方法。
Ldarg將參數(由指定索引值引用)加載到堆棧上。
Ldarg.0將索引為 0 的參數加載到計算堆棧上。
Ldarg.1將索引為 1 的參數加載到計算堆棧上。
Ldarg.2將索引為 2 的參數加載到計算堆棧上。
Ldarg.3將索引為 3 的參數加載到計算堆棧上。
Ldarg.S將參數(由指定的短格式索引引用)加載到計算堆棧上。
Ldarga將參數地址加載到計算堆棧上。
Ldarga.S以短格式將參數地址加載到計算堆棧上。
Ldc.I4將所提供的 int32 類型的值作為 int32 推送到計算堆棧上。
Ldc.I4.0將整數值 0 作為 int32 推送到計算堆棧上。
Ldc.I4.1將整數值 1 作為 int32 推送到計算堆棧上。
Ldc.I4.2將整數值 2 作為 int32 推送到計算堆棧上。
Ldc.I4.3將整數值 3 作為 int32 推送到計算堆棧上。
Ldc.I4.4將整數值 4 作為 int32 推送到計算堆棧上。
Ldc.I4.5將整數值 5 作為 int32 推送到計算堆棧上。
Ldc.I4.6將整數值 6 作為 int32 推送到計算堆棧上。
Ldc.I4.7將整數值 7 作為 int32 推送到計算堆棧上。
Ldc.I4.8將整數值 8 作為 int32 推送到計算堆棧上。
Ldc.I4.M1將整數值 -1 作為 int32 推送到計算堆棧上。
Ldc.I4.S將提供的 int8 值作為 int32 推送到計算堆棧上(短格式)。
Ldc.I8將所提供的 int64 類型的值作為 int64 推送到計算堆棧上。
Ldc.R4將所提供的 float32 類型的值作為 F (float) 類型推送到計算堆棧上。
Ldc.R8將所提供的 float64 類型的值作為 F (float) 類型推送到計算堆棧上。
Ldelem按照指令中指定的類型,將指定數組索引中的元素加載到計算堆棧的頂部。
Ldelem.I將位于指定數組索引處的 native int 類型的元素作為 native int 加載到計算堆棧的頂部。
Ldelem.I1將位于指定數組索引處的 int8 類型的元素作為 int32 加載到計算堆棧的頂部。
Ldelem.I2將位于指定數組索引處的 int16 類型的元素作為 int32 加載到計算堆棧的頂部。
Ldelem.I4將位于指定數組索引處的 int32 類型的元素作為 int32 加載到計算堆棧的頂部。
Ldelem.I8將位于指定數組索引處的 int64 類型的元素作為 int64 加載到計算堆棧的頂部。
Ldelem.R4將位于指定數組索引處的 float32 類型的元素作為 F 類型(浮點型)加載到計算堆棧的頂部。
Ldelem.R8將位于指定數組索引處的 float64 類型的元素作為 F 類型(浮點型)加載到計算堆棧的頂部。
Ldelem.Ref將位于指定數組索引處的包含對象引用的元素作為 O 類型(對象引用)加載到計算堆棧的頂部。
Ldelem.U1將位于指定數組索引處的 unsigned int8 類型的元素作為 int32 加載到計算堆棧的頂部。
Ldelem.U2將位于指定數組索引處的 unsigned int16 類型的元素作為 int32 加載到計算堆棧的頂部。
Ldelem.U4將位于指定數組索引處的 unsigned int32 類型的元素作為 int32 加載到計算堆棧的頂部。
Ldelema將位于指定數組索引的數組元素的地址作為 & 類型(托管指針)加載到計算堆棧的頂部。
Ldfld查找對象中其引用當前位于計算堆棧的字段的值。
Ldflda查找對象中其引用當前位于計算堆棧的字段的地址。
Ldftn將指向實現特定方法的本機代碼的非托管指針(native int 類型)推送到計算堆棧上。
Ldind.I將 native int 類型的值作為 native int 間接加載到計算堆棧上。
Ldind.I1將 int8 類型的值作為 int32 間接加載到計算堆棧上。
Ldind.I2將 int16 類型的值作為 int32 間接加載到計算堆棧上。
Ldind.I4將 int32 類型的值作為 int32 間接加載到計算堆棧上。
Ldind.I8將 int64 類型的值作為 int64 間接加載到計算堆棧上。
Ldind.R4將 float32 類型的值作為 F (float) 類型間接加載到計算堆棧上。
Ldind.R8將 float64 類型的值作為 F (float) 類型間接加載到計算堆棧上。
Ldind.Ref將對象引用作為 O(對象引用)類型間接加載到計算堆棧上。
Ldind.U1將 unsigned int8 類型的值作為 int32 間接加載到計算堆棧上。
Ldind.U2將 unsigned int16 類型的值作為 int32 間接加載到計算堆棧上。
Ldind.U4將 unsigned int32 類型的值作為 int32 間接加載到計算堆棧上。
Ldlen將從零開始的、一維數組的元素的數目推送到計算堆棧上。
Ldloc將指定索引處的局部變量加載到計算堆棧上。
Ldloc.0將索引 0 處的局部變量加載到計算堆棧上。
Ldloc.1將索引 1 處的局部變量加載到計算堆棧上。
Ldloc.2將索引 2 處的局部變量加載到計算堆棧上。
Ldloc.3將索引 3 處的局部變量加載到計算堆棧上。
Ldloc.S將特定索引處的局部變量加載到計算堆棧上(短格式)。
Ldloca將位于特定索引處的局部變量的地址加載到計算堆棧上。
Ldloca.S將位于特定索引處的局部變量的地址加載到計算堆棧上(短格式)。
Ldnull將空引用(O 類型)推送到計算堆棧上。
Ldobj將地址指向的值類型對象復制到計算堆棧的頂部。
Ldsfld將靜態字段的值推送到計算堆棧上。
Ldsflda將靜態字段的地址推送到計算堆棧上。
Ldstr推送對元數據中存儲的字符串的新對象引用。
Ldtoken將元數據標記轉換為其運行時表示形式,并將其推送到計算堆棧上。
Ldvirtftn將指向實現與指定對象關聯的特定虛方法的本機代碼的非托管指針(native int 類型)推送到計算堆棧上。
Leave退出受保護的代碼區域,無條件將控制轉移到特定目標指令。
Leave.S退出受保護的代碼區域,無條件將控制轉移到目標指令(縮寫形式)。
Localloc從本地動態內存池分配特定數目的字節并將第一個分配的字節的地址(瞬態指針,* 類型)推送到計算堆棧上。
Mkrefany將對特定類型實例的類型化引用推送到計算堆棧上。
Mul將兩個值相乘并將結果推送到計算堆棧上。
Mul.Ovf將兩個整數值相乘,執行溢出檢查,并將結果推送到計算堆棧上。
Mul.Ovf.Un將兩個無符號整數值相乘,執行溢出檢查,并將結果推送到計算堆棧上。
Neg對一個值執行求反并將結果推送到計算堆棧上。
Newarr將對新的從零開始的一維數組(其元素屬于特定類型)的對象引用推送到計算堆棧上。
Newobj創建一個值類型的新對象或新實例,并將對象引用(O 類型)推送到計算堆棧上。
Nop如果修補操作碼,則填充空間。盡管可能消耗處理周期,但未執行任何有意義的操作。
Not計算堆棧頂部整數值的按位求補并將結果作為相同的類型推送到計算堆棧上。
Or計算位于堆棧頂部的兩個整數值的按位求補并將結果推送到計算堆棧上。
Pop移除當前位于計算堆棧頂部的值。
Prefix1基礎結構。此指令為保留指令。
Prefix2基礎結構。此指令為保留指令。
Prefix3基礎結構。此指令為保留指令。
Prefix4基礎結構。此指令為保留指令。
Prefix5基礎結構。此指令為保留指令。
Prefix6基礎結構。此指令為保留指令。
Prefix7基礎結構。此指令為保留指令。
Prefixref基礎結構。此指令為保留指令。
Readonly指定后面的數組地址操作在運行時不執行類型檢查,并且返回可變性受限的托管指針。
Refanytype檢索嵌入在類型化引用內的類型標記。
Refanyval檢索嵌入在類型化引用內的地址(& 類型)。
Rem將兩個值相除并將余數推送到計算堆棧上。
Rem.Un將兩個無符號值相除并將余數推送到計算堆棧上。
Ret從當前方法返回,并將返回值(如果存在)從調用方的計算堆棧推送到被調用方的計算堆棧上。
Rethrow再次引發當前異常。
Shl將整數值左移(用零填充)指定的位數,并將結果推送到計算堆棧上。
Shr將整數值右移(保留符號)指定的位數,并將結果推送到計算堆棧上。
Shr.Un將無符號整數值右移(用零填充)指定的位數,并將結果推送到計算堆棧上。
Sizeof將提供的值類型的大小(以字節為單位)推送到計算堆棧上。
Starg將位于計算堆棧頂部的值存儲到位于指定索引的參數槽中。
Starg.S將位于計算堆棧頂部的值存儲在參數槽中的指定索引處(短格式)。
Stelem用計算堆棧中的值替換給定索引處的數組元素,其類型在指令中指定。
Stelem.I用計算堆棧上的 native int 值替換給定索引處的數組元素。
Stelem.I1用計算堆棧上的 int8 值替換給定索引處的數組元素。
Stelem.I2用計算堆棧上的 int16 值替換給定索引處的數組元素。
Stelem.I4用計算堆棧上的 int32 值替換給定索引處的數組元素。
Stelem.I8用計算堆棧上的 int64 值替換給定索引處的數組元素。
Stelem.R4用計算堆棧上的 float32 值替換給定索引處的數組元素。
Stelem.R8用計算堆棧上的 float64 值替換給定索引處的數組元素。
Stelem.Ref用計算堆棧上的對象 ref 值(O 類型)替換給定索引處的數組元素。
Stfld用新值替換在對象引用或指針的字段中存儲的值。
Stind.I在所提供的地址存儲 native int 類型的值。
Stind.I1在所提供的地址存儲 int8 類型的值。
Stind.I2在所提供的地址存儲 int16 類型的值。
Stind.I4在所提供的地址存儲 int32 類型的值。
Stind.I8在所提供的地址存儲 int64 類型的值。
Stind.R4在所提供的地址存儲 float32 類型的值。
Stind.R8在所提供的地址存儲 float64 類型的值。
Stind.Ref存儲所提供地址處的對象引用值。
Stloc從計算堆棧的頂部彈出當前值并將其存儲到指定索引處的局部變量列表中。
Stloc.0從計算堆棧的頂部彈出當前值并將其存儲到索引 0 處的局部變量列表中。
Stloc.1從計算堆棧的頂部彈出當前值并將其存儲到索引 1 處的局部變量列表中。
Stloc.2從計算堆棧的頂部彈出當前值并將其存儲到索引 2 處的局部變量列表中。
Stloc.3從計算堆棧的頂部彈出當前值并將其存儲到索引 3 處的局部變量列表中。
Stloc.S從計算堆棧的頂部彈出當前值并將其存儲在局部變量列表中的 index 處(短格式)。
Stobj將指定類型的值從計算堆棧復制到所提供的內存地址中。
Stsfld用來自計算堆棧的值替換靜態字段的值。
Sub從其他值中減去一個值并將結果推送到計算堆棧上。
Sub.Ovf從另一值中減去一個整數值,執行溢出檢查,并且將結果推送到計算堆棧上。
Sub.Ovf.Un從另一值中減去一個無符號整數值,執行溢出檢查,并且將結果推送到計算堆棧上。
Switch實現跳轉表。
Tailcall執行后綴的方法調用指令,以便在執行實際調用指令前移除當前方法的堆棧幀。
Throw引發當前位于計算堆棧上的異常對象。
Unaligned指示當前位于計算堆棧上的地址可能沒有與緊接的 ldind、stind、ldfld、stfld、ldobj、stobj、initblk 或 cpblk 指令的自然大小對齊。
Unbox將值類型的已裝箱的表示形式轉換為其未裝箱的形式。
Unbox.Any將指令中指定類型的已裝箱的表示形式轉換成未裝箱形式。
Volatile指定當前位于計算堆棧頂部的地址可以是易失的,并且讀取該位置的結果不能被緩存,或者對該地址的多個存儲區不能被取消。
Xor計算位于計算堆棧頂部的兩個值的按位異或,并且將結果推送到計算堆棧上。


Cnblogs 慕容小匹夫 2015-08-23 08:57:28

[新一篇] .NET Framework 4.5 五個新特性 -

[舊一篇] 使用Inno Setup 打包.NET程序,并自動安裝.Net Framework - 小剛qq
回頂部
寫評論


評論集


暫無評論。

稱謂:

内容:

驗證:


返回列表