免費(fèi)AI編程助手
Assembly 可重入和遞歸子程序
一個(gè)可重入子程序必須滿足下面幾個(gè)性質(zhì)：
1、它不能修改代碼指令。在高級(jí)語(yǔ)言中，修改代碼指令是非常難的；但是在匯編語(yǔ)言中，一個(gè)程序要修改自己的代碼并不是一件很難的事。
例如：
mov word [cs:$+7], 5 ; 將5復(fù)制到前面七個(gè)字節(jié)的字中
add ax, 2 ; 前面的語(yǔ)句將2改成了5!
這些代碼在實(shí)模式下可以運(yùn)行，但是在保護(hù)模式下的操作系統(tǒng)上不行，因?yàn)榇a段被標(biāo)識(shí)為只讀。在這些操作系統(tǒng)上，當(dāng)執(zhí)行了上面的第一行代碼，程序?qū)⒈唤K止。這種類型的程序從各個(gè)方面來(lái)看都非常差。它很混亂，很難維護(hù)而且不允許代碼共享(看下面)。
2、它不能修改全局變量(比如在data和bss段里的數(shù)據(jù))。所有的變量應(yīng)儲(chǔ)存在堆棧里。
書寫可重入性代碼有幾個(gè)好處。
1、一個(gè)可重入子程序可以遞歸調(diào)用。
2、 一個(gè)可重入程序可以被多個(gè)進(jìn)程共享。在許多多任務(wù)操作系統(tǒng)上，如果一個(gè)程序有許多實(shí)例正在運(yùn)行，那么只有一份代碼的拷貝在內(nèi)存中。共享庫(kù)和DLL(Dynamic Link Libraries，動(dòng)態(tài)鏈接庫(kù))同樣使用了
這種技術(shù)。
3、可重入子程序可以運(yùn)行在多線程5 程序中。Windows 9x/NT和大多數(shù)類UNIX操作系統(tǒng)(Solaris，Linux，等)都支持多線程程序。
遞歸子程序
例如：子程序foo可以調(diào)用bar且bar也可以調(diào)用foo。
遞歸子程序必須有一個(gè)終止條件。當(dāng)這個(gè)條件為真時(shí)，就不再進(jìn)行遞歸調(diào)用了。如果一個(gè)子程序沒(méi)有終止條件或條件永不為真，那么遞歸將不會(huì)結(jié)束(非常像一個(gè)無(wú)窮循環(huán))。
圖4.15展示了一個(gè)遞歸求n!的函數(shù)。在C中它可以這樣被調(diào)用：
圖4.16展示了上面的函數(shù)調(diào)用的最深點(diǎn)的堆棧狀態(tài)。
回顧一下C變量的儲(chǔ)存類型
automatic，自動(dòng) 它是定義在一個(gè)函數(shù)內(nèi)的C變量的缺省類型。當(dāng)定義它們的函數(shù)被調(diào)用了，這些變量就被分配在堆棧上，而當(dāng)函數(shù)返回了又從堆棧中移除。因此，它們沒(méi)有固定的內(nèi)存空間。
volatile，不穩(wěn)定 這個(gè)關(guān)鍵字告訴編譯器這個(gè)變量值隨時(shí)都會(huì)改變。這就意味著當(dāng)變量被更改了，編譯器不能做出任何推斷。通常編譯器會(huì)將一個(gè)變量的值暫時(shí)存在寄存器中，而且在出現(xiàn)這個(gè)變量的代碼部分使
用這個(gè)寄存器。但是，編譯器不能對(duì)不穩(wěn)定類型的變量做這種類型的優(yōu)化。一個(gè)不穩(wěn)定變量的最普遍的例子就是：它可以被多線程程序的兩個(gè)線程修改?？紤]下面的代碼：
2 y = 20;
3 z = x;
更多建議：