執(zhí)行順序

C# 程序執(zhí)行處理是這樣進(jìn)行的，每一個執(zhí)行線程的副作用都保持在臨界執(zhí)行點（critical execution points）上。副作用被定義為：無定性字段（volatile field）的讀寫、非無定性變量（non-volatile variable）的寫入、外部資源（external resource）的寫入以及拋出異常。按照這個副作用定義的順序，臨界執(zhí)行點分別是指：引用一個無定性字段（volatile fields，第十章第 5.3 節(jié)）、引用 lock 語句（第八章第十二節(jié)）以及引用線程的創(chuàng)建與終止。執(zhí)行環(huán)境在遵照下列限制的前提下自由改變執(zhí)行順序：

• 在執(zhí)行線程中保持?jǐn)?shù)據(jù)依賴性。也就是說，計算每一個變量的值時，就好似在線程里所有語句都按照原本程序的順序執(zhí)行的。
• 保留初始化的排序規(guī)則（第十章第 5.4 節(jié)和第十章第 5.5 節(jié)）。
• 對于無定性的（volatile）讀和寫（第十章第 5.3 節(jié)），副作用（side effects）的順序保持不變。另外，如果執(zhí)行環(huán)境可以推斷（deduce）一個表達(dá)式的值不會被使用并且不會產(chǎn)生有效的（needed）副作用（包括所有因調(diào)用方法或訪問無定性字段所導(dǎo)致的副作用）的話，那么就不需要去計算表達(dá)式的每一個部分。當(dāng)程序執(zhí)行被一個異步（asynchronous）事件（諸如由另一個現(xiàn)成拋出異常）中斷（interrupted），就不能保證（guaranteed）可觀察（observable）到副作用是否會以原有的程序順序出現(xiàn)。