運(yùn)行概述:

在介紹運(yùn)行函數(shù)之前我們需要先介紹函數(shù)的輸入和輸出型檀，公式1是全局狀態(tài)甚纲，這個(gè)之前介紹過(guò)，公式2是新的變量曲楚，表示的是虛擬機(jī)的狀態(tài)厘唾，前面的一節(jié)已經(jīng)介紹過(guò)虛擬機(jī)的狀態(tài)；公式3定義的是一個(gè)循環(huán)函數(shù)龙誊，我們知道對(duì)于圖靈完備的計(jì)算機(jī)抚垃，需要的是程序可以持續(xù)的循環(huán)執(zhí)行，每執(zhí)行一步都會(huì)產(chǎn)生一個(gè)臨時(shí)的結(jié)果如公式4的定義趟大，每次都要檢查是否有異常狀態(tài)發(fā)送鹤树，公式5表示此狀態(tài)，公式6表示狀態(tài)機(jī)正常停止并輸出執(zhí)行結(jié)果逊朽。

公式7是對(duì)這個(gè)執(zhí)行函數(shù)的定義罕伯，我們?cè)谇懊嬉呀?jīng)介紹過(guò)，這里新增了一個(gè)變量定義15叽讳，這個(gè)公示表示機(jī)器狀態(tài)所包含的內(nèi)容：可用的gas值追他，計(jì)算指令計(jì)數(shù)器，表示現(xiàn)在指令執(zhí)行的位置岛蚤，已經(jīng)內(nèi)存的內(nèi)容邑狸，已經(jīng)在內(nèi)存中使用的數(shù)量，指令棧的內(nèi)容涤妒，公式8表示单雾，第一次循環(huán)執(zhí)行的初始狀態(tài)的值。公式8的各個(gè)變量的定義已經(jīng)在前面章節(jié)解釋過(guò)。

公式16給出了具體的循環(huán)迭代函數(shù)的定義硅堆，公式17表示如果狀態(tài)機(jī)異常停止蜂奸，則狀態(tài)恢復(fù)，公式18表示如果指令是重置硬萍，那么除了減去消耗的gas和產(chǎn)生一個(gè)失敗的異常結(jié)果扩所，其他的狀態(tài)和內(nèi)容沒(méi)有發(fā)生變化。公式19表示如果輸出的結(jié)果不是空集合朴乖，則執(zhí)行新的函數(shù)祖屏，否則公式20表示繼續(xù)遞歸調(diào)用X函數(shù)。公式21定義了輸出結(jié)果的定義买羞，這個(gè)公式22會(huì)在下面講解袁勺，公式23是對(duì)點(diǎn)操作的解釋，公式24表示虛擬機(jī)狀態(tài)的變遷只是簡(jiǎn)單的修改了可用gas數(shù)量畜普，公式25表示計(jì)算本次迭代運(yùn)算消耗的gas的計(jì)算公式

公式26定義了當(dāng)前需要執(zhí)行的指令的期丰，如果該指令在輸入指令集Ib序列內(nèi)，則根據(jù)指令指針讀取該指令吃挑，否則當(dāng)前的指令為STOP即停止執(zhí)行钝荡。公式27定義了如何判斷當(dāng)前的狀態(tài)是否是異常停止，燃料不夠或者公式28需要出棧操作的數(shù)據(jù)為空集合舶衬，即沒(méi)有數(shù)據(jù)可以操作了埠通，公式29表示當(dāng)前棧的長(zhǎng)度小于要出棧的數(shù)據(jù)的長(zhǎng)度，即數(shù)據(jù)已經(jīng)不一致了逛犹；公式30表示當(dāng)前指令是跳轉(zhuǎn)并且當(dāng)前數(shù)據(jù)棧第一個(gè)元素不屬于公式31端辱，這個(gè)會(huì)在后面給出定義；公式32表示當(dāng)前指令是跳轉(zhuǎn)指令并且數(shù)據(jù)棧第2個(gè)預(yù)算不是0虽画，并且第一個(gè)元素不屬于公式定義31舞蔽；公式33表示當(dāng)前指令時(shí)返回并且數(shù)據(jù)棧中第2個(gè)數(shù)據(jù)和第3個(gè)數(shù)據(jù)的和大于虛擬機(jī)返回?cái)?shù)據(jù)的長(zhǎng)度，公式34表示虛擬機(jī)棧的長(zhǎng)度減去出棧指令的長(zhǎng)度加上入棧指令的長(zhǎng)度大于1024码撰，即沒(méi)有足夠的椛粒空間來(lái)存儲(chǔ)指令；公式35表示當(dāng)前虛擬機(jī)狀態(tài)不可寫(xiě)并且公式36成立灸拍。

公式37表示當(dāng)前指令集的范圍做祝；公式38表示下一個(gè)指令的有效性判斷砾省，公式40如果指令如果指令的下標(biāo)大于指令集合的長(zhǎng)度鸡岗，則下一個(gè)指令是空集合；公式41如果當(dāng)前的指令是跳轉(zhuǎn)到制定的位置编兄，則指令集合是當(dāng)前指令加公式43的處理結(jié)果轩性，否則公式32表示繼續(xù)遞歸查找指令集合。公式44表示如果當(dāng)前指令是壓棧狠鸳，那么下個(gè)指令是當(dāng)前指令加偏移指令減去壓棧指令的編號(hào)在加2.否則指令為指令偏移i加1揣苏；公式46定義的是正確返回結(jié)果的表述悯嗓，如果當(dāng)前指令是正常返回，怎結(jié)果用共識(shí)47表示卸察，如果指令時(shí)停止或者自我銷毀脯厨，則結(jié)果是空序列，否則是個(gè)空集合坑质。

公式50定義了一個(gè)新的公式合武，這個(gè)公式是對(duì)迭代函數(shù)X的某一情況的解釋，公式50表示對(duì)當(dāng)前變量的改變涡扼，公式51表示當(dāng)前入棧指令與出棧指令長(zhǎng)度的差稼跳，公式52表示新的棧長(zhǎng)度等于原來(lái)的長(zhǎng)度加上這個(gè)差值。公式53表示原來(lái)的棧內(nèi)容在棧中偏移與原來(lái)內(nèi)容在新棧中的偏移的差值就是公式51的結(jié)果吃沪。這里啰里啰嗦的表述就是為了說(shuō)明除了參與操作的幾個(gè)棧數(shù)據(jù)之外汤善，其他的棧內(nèi)容沒(méi)有發(fā)生變化。

公式54表示剩余可用gas是原來(lái)的gas減去本次操作消耗的gas公式55則表示下一個(gè)需要執(zhí)行的指令的位置票彪，公式56红淡，57表示如果是跳轉(zhuǎn)，則當(dāng)前需要執(zhí)行的指令根據(jù)跳轉(zhuǎn)命令獲取降铸，否則根據(jù)公式58計(jì)算下一條命令锉屈。公式59表示大部分其他變量在這個(gè)函數(shù)的運(yùn)算下沒(méi)有發(fā)生改變。