具體的原理最好是去看《深入java虛擬機(jī)》,里面對(duì)jsr、ret等幾個(gè)指令做了詳細(xì)的說明。這里不深入分析,而僅僅是從表現(xiàn)形式上看一下finally的特征。
代碼:
/*
* author: Zang XT
*/
public class TestFinal {
public static void main(String[] args) {
System.out.println("test1:" + testFinal1());
System.out.println("test2:" + testFinal2());
System.out.println("test3:" + testFinal3());
System.out.println("test4:" + testFinal4());
}
static int testFinal1() {
int i = 1;
try {
return i;
} finally {
System.out.println("in testFinal1():finally 肯定會(huì)被執(zhí)行的!");
i = 48;
}
}
static String testFinal2() {
String str = "try";
try {
return str;
} finally {
System.out.println("in testFinal2():finally 肯定會(huì)被執(zhí)行的!");
str = "finally";
}
}
static StringBuilder testFinal3() {
StringBuilder build = new StringBuilder("try ");
try {
return build;
} finally {
System.out.println("in testFinal3():finally 肯定會(huì)被執(zhí)行的!");
build.append("finally");
build = new StringBuilder("你猜我是誰!");
}
}
static String testFinal4() {
try {
return "return in try";
} finally {
System.out.println("in testFinal4():finally 肯定會(huì)被執(zhí)行的!");
return "return in finally";
}
}
}
輸出是:
in testFinal1():finally 肯定會(huì)被執(zhí)行的!
test1:1
in testFinal2():finally 肯定會(huì)被執(zhí)行的!
test2:try
in testFinal3():finally 肯定會(huì)被執(zhí)行的!
test3:try finally
in testFinal4():finally 肯定會(huì)被執(zhí)行的!
test4:return in finally
static全局變量與普通的全局變量有什么區(qū)別?static局部變量和普通局部變量有什么區(qū)別?static函數(shù)與普通函數(shù)有什么區(qū)別?
全局變量(外部變量)的說明之前再冠以static 就構(gòu)成了靜態(tài)的全局變量。全局變量本身就是靜態(tài)存儲(chǔ)方式, 靜態(tài)全局變量當(dāng)然也是靜態(tài)存儲(chǔ)方式。 這兩者在存儲(chǔ)方式上并無不同。這兩者的區(qū)別雖在于非靜態(tài)全局變量的作用域是整個(gè)源程序, 當(dāng)一個(gè)源程序由多個(gè)源文件組成時(shí),非靜態(tài)的全局變量在各個(gè)源文件中都是有效的。 而靜態(tài)全局變量則限制了其作用域, 即只在定義該變量的源文件內(nèi)有效, 在同一源程序的其它源文件中不能使用它。由于靜態(tài)全局變量的作用域局限于一個(gè)源文件內(nèi),只能為該源文件內(nèi)的函數(shù)公用, 因此可以避免在其它源文件中引起錯(cuò)誤。
從以上分析可以看出, 把局部變量改變?yōu)殪o態(tài)變量后是改變了它的存儲(chǔ)方式即改變了它的生存期。把全局變量改變?yōu)殪o態(tài)變量后是改變了它的作用域, 限制了它的使用范圍。
static函數(shù)與普通函數(shù)作用域不同。僅在本文件。只在當(dāng)前源文件中使用的函數(shù)應(yīng)該說明為內(nèi)部函數(shù)(static),內(nèi)部函數(shù)應(yīng)該在當(dāng)前源文件中說明和定義。對(duì)于可在當(dāng)前源文件以外使用的函數(shù),應(yīng)該在一個(gè)頭文件中說明,要使用這些函數(shù)的源文件要包含這個(gè)頭文件
static全局變量與普通的全局變量有什么區(qū)別:static全局變量只初使化一次,防止在其他文件單元中被引用;
static局部變量和普通局部變量有什么區(qū)別:static局部變量只被初始化一次,下一次依據(jù)上一次結(jié)果值;
之前一直只知道IP校驗(yàn)和算法反碼求和相關(guān)的,但具體細(xì)節(jié)不清楚,今天了解了下。
IP校驗(yàn)和主要是用來保證數(shù)據(jù)(IP包頭)的完整性的.它用的算法非常簡(jiǎn)單,就是反碼求和校驗(yàn).需要注意的是反碼求和又叫1的補(bǔ)碼(one's
complement),而2的補(bǔ)碼就是我們通常說的補(bǔ)碼求和了.校驗(yàn)算法具體如下.
1、發(fā)送方
i)將校驗(yàn)和字段置為0,然后將IP包頭按16比特分成多個(gè)單元,如包頭長(zhǎng)度不是16比特的倍數(shù),則用0比特填充到16比特的倍數(shù);
ii)對(duì)各個(gè)單元采用反碼加法運(yùn)算(即高位溢出位會(huì)加到低位,通常的補(bǔ)碼運(yùn)算是直接丟掉溢出的高位),將得到的和的反碼填入校驗(yàn)和字段;
iii)發(fā)送數(shù)據(jù)包;
2、接收方
i)將IP包頭按16比特分成多個(gè)單元,如包頭長(zhǎng)度不是16比特的倍數(shù),則用0比特填充到16比特的倍數(shù);
ii)對(duì)各個(gè)單元采用反碼加法運(yùn)算,檢查得到的和是否符合是全1(有的實(shí)現(xiàn)可能對(duì)得到的和會(huì)取反碼,然后判斷最終值是不是全0);
iii)如果是全1則進(jìn)行下步處理,否則意味著包已變化從而丟棄之.
需要強(qiáng)調(diào)的是反碼和是采用高位溢出加到低位的,如3比特的反碼和運(yùn)算:100b+101b=010b(因?yàn)?span lang="EN-US">100b+101b=1001b,高位溢出1,其應(yīng)該加到低位,即001b+1b(高位溢出位)=010b),具體細(xì)節(jié)請(qǐng)參考文章:http://blog.chinaunix.net/u/20/showart_438418.html
二、
校驗(yàn)和源碼
網(wǎng)上流傳多組實(shí)現(xiàn),常見的有如下兩種(如追求效率可改寫為匯編代碼):
1、RFC1071源碼
|
第一個(gè)while循環(huán)是做普通加法(2進(jìn)制補(bǔ)碼加法),因?yàn)?span lang="EN-US">IP包頭和TCP整個(gè)報(bào)文段比較短(沒達(dá)到2^17數(shù)量級(jí)),所以不可能導(dǎo)致4字節(jié)的sum溢出(unsigned long 一般至少為4字節(jié))).
緊接著的一個(gè)判斷語句是為了能處理輸入數(shù)據(jù)是奇數(shù)個(gè)字節(jié)的這種情況.
再接著的數(shù)據(jù)循環(huán)是實(shí)現(xiàn)反碼算法(在前面的普通加法得到的數(shù)據(jù)的基礎(chǔ)上),由反碼和的高位溢出加到低位的性質(zhì),可得到"32位的數(shù)據(jù)的高位比特移位16比特,再加上原來的低16比特,不影響最終結(jié)果"這個(gè)等價(jià)運(yùn)算,因?yàn)?span lang="EN-US">sum的最初值(剛開始循環(huán)時(shí))可能很大,所以這個(gè)等價(jià)運(yùn)算需循環(huán)進(jìn)行,直到sum的高比特(16比特以上)全為0.對(duì)于32位的sum,事實(shí)上這個(gè)運(yùn)算循環(huán)至多只有兩輪,所以也有程序直接用兩條"sum = (sum & 0xffff) + (sum >> 16);"代替了整個(gè)循環(huán).
最后,對(duì)和取反返回.
2、對(duì)數(shù)據(jù)長(zhǎng)度沒限制的實(shí)現(xiàn)
|
這個(gè)實(shí)現(xiàn)與前面的一個(gè)的最大的不同是對(duì)數(shù)據(jù)的長(zhǎng)度沒什么限制了,因?yàn)樗诘谝粋€(gè)循環(huán)的加法運(yùn)算中實(shí)時(shí)檢測(cè)sum的高位的值,一旦發(fā)現(xiàn)其有溢出的危險(xiǎn),就及時(shí)運(yùn)用等價(jià)運(yùn)算關(guān)系消除了這個(gè)危險(xiǎn).
三、
幾個(gè)細(xì)節(jié)問題
1、數(shù)據(jù)部分改變時(shí)的重校驗(yàn)
考慮這樣的應(yīng)用場(chǎng)景:路由器轉(zhuǎn)發(fā)IP報(bào)文時(shí),有可能只更改了IP數(shù)據(jù)包頭的部分內(nèi)容(如更改了TTL,分片了或SNAT更改了源IP等~~~),卻需要重校驗(yàn)的問題.為提高轉(zhuǎn)發(fā)效率,要求重校驗(yàn)算法盡可能快,故出現(xiàn)了如下的重校驗(yàn)算法:
|
算法的實(shí)現(xiàn)依據(jù)是這樣的.假設(shè)包頭原校驗(yàn)和為~C,改變的字段的原始值是m,更改后的值是m',設(shè)~C'為重校驗(yàn)和,則有 ~C' = ~(C+(-m)+m') = ~C+(m-m') = ~C+m+~m'
等價(jià)關(guān)系的成立基于反碼的運(yùn)算性質(zhì):取反運(yùn)算滿足結(jié)合律,按位取反運(yùn)算與符號(hào)取反(及相反數(shù))是等價(jià)的(即~C=-C).
2、為什么采用反碼和運(yùn)算
IP數(shù)據(jù)包校驗(yàn)要求速度快,所以只采用了簡(jiǎn)單的和校驗(yàn),為什么采用反碼和而不是補(bǔ)碼和呢?
i)反碼和的溢出有后效性(蔓延性)
反碼和將高位溢出加到低位,導(dǎo)致這個(gè)溢出會(huì)對(duì)后面操作有永久影響,有后效性;而補(bǔ)碼和直接將高位和溢出,導(dǎo)致這個(gè)溢出對(duì)后面的操作再無影響,因此無后效性
ii)反碼校驗(yàn)無需考慮字節(jié)序
正因?yàn)榉创a和的溢出有后效性,導(dǎo)致大端字節(jié)序(big-endian)和小端字節(jié)序(little-endian)對(duì)同一數(shù)據(jù)序列(如兩個(gè)16比特的序列)產(chǎn)生的校驗(yàn)和也只是字節(jié)序相反,而補(bǔ)碼和因?yàn)閷⒁绯鰜G掉了,不同字節(jié)序之間的校驗(yàn)大不相同且沒什么聯(lián)系。
基于以上的理由,校驗(yàn)和運(yùn)算既可選擇在數(shù)據(jù)被轉(zhuǎn)換成網(wǎng)絡(luò)字節(jié)序前,也可選擇在之后。(這其實(shí)可以看作是負(fù)負(fù)得正,計(jì)算校驗(yàn)和與字節(jié)序有關(guān),然后寫校驗(yàn)和字段與字節(jié)序有關(guān),然后直接計(jì)算校驗(yàn)和再寫校驗(yàn)和字段則與字節(jié)序無關(guān)了~~)
四、
參考文章
http://blog.chinaunix.net/u/20/showart_438512.html,關(guān)于IP校驗(yàn)和的
http://blog.chinaunix.net/u/12313/showart_176114.html,關(guān)于網(wǎng)絡(luò)校驗(yàn)和的
http://www.wesoho.com/article/Delphi/2143.htm,關(guān)于IP校驗(yàn)和的
http://blog.chinaunix.net/u/20/showart_438418.html,關(guān)于補(bǔ)碼和反碼的