[發明專利]用戶定義類型的編譯時邊界檢查

有效

• 申請號: 201110306863.8
• 申請日: 2011-09-26
• 公開（公告）號: CN102402451A
• 公開（公告）日: 2012-04-04
• 發明（設計）人: D·S·哈維
• 申請（專利權）人: 微軟公司
• 主分類號: G06F9/45
• 分類號: G06F9/45
• 代理公司: 上海專利商標事務所有限公司 31100
• 代理人: 陳斌

1.一種配置有數據且配置有指令的計算機可讀非瞬態存儲介質，其中所述指令在由至少一個處理器執行時使得所述處理器執行用于用戶定義類型的編譯時邊界檢查的過程，所述過程包括在程序從源代碼經歷中間語言代碼到可執行代碼的編譯過程中執行的如下步驟：

在源代碼中標識(302)用于安全地訪問存儲器的用戶定義類，即，具有存儲器訪問代碼作為經注釋成員并具有邊界提供成員作為另一經注釋成員的用戶定義類，其中所述存儲器訪問代碼經用戶定義邊界檢查注釋來注釋，而所述邊界提供成員被注釋為指示它提供用于生成所述存儲器訪問代碼上的邊界檢查的邊界信息；

在所述中間語言代碼中插入(304)所述用戶定義邊界檢查注釋的邊界檢查表示；以及

應用(306)優化，其中所述優化減少否則會在所述可執行代碼中出現的重復的邊界檢查。

2.根據權利要求1所述的配置的介質，其特征在于，還包括響應于邊界檢查表示而將邊界檢查代碼插入(308)到所述中間語言代碼中，且所述應用步驟向插入的邊界檢查代碼應用所述優化而不是向邊界檢查表示應用所述優化。

3.根據權利要求1所述的配置的介質，其特征在于，所述應用步驟向邊界檢查表示(220)應用(306)所述優化而不是向所述中間語言代碼中的邊界檢查代碼(222)應用所述優化。

4.根據權利要求1所述的配置的介質，其特征在于，所述標識步驟標識(302)經訪問顯式分配存儲器注釋來注釋的存儲器訪問(208)方法。

5.根據權利要求1所述的配置的介質，其特征在于，所述標識步驟標識(302)指示用戶定義邊界檢查的注釋以補充(310)內建類型(128)的系統定義的邊界檢查。

6.根據權利要求1所述的配置的介質，其特征在于，所述標識步驟標識(302)指示用戶定義邊界檢查的注釋以補充(310)垃圾收集器托管類型(130)的系統定義的邊界檢查。

7.一種用于程序開發者管理用戶定義類型的編譯時邊界檢查的過程，所述用戶定義類型即非內建的類型，所述過程包括如下步驟：

獲得(314)計算機程序的源代碼；

在所述源代碼中指定(316)用戶定義的數據類型；

定位(318)由所述用戶定義的數據類型定義的存儲器訪問方法；

用訪問顯式分配存儲器(326)注釋來注釋(322)所述存儲器訪問方法；以及

用以下中的至少一項注釋(322)所述源代碼：

指示由所述用戶定義的數據類型定義的字段含有用于所述存儲器訪問方法的邊界的字段含邊界(328)注釋，

指示由所述用戶定義的數據類型定義的邊界獲取方法返回用于所述存儲器訪問方法的邊界的邊界獲取器方法(330)注釋。

8.根據權利要求7所述的過程，其特征在于，所述用戶定義類型包裝(332)以下中的至少一項：內建陣列類型，內建托管類型。

9.一種計算機系統，包括：

邏輯處理器(110)；

與所述邏輯處理器可操作地通信的存儲器(112)；

駐留于所述存儲器中并具有用戶定義類型的源代碼(122)，所述用戶定義類型具有存儲器訪問方法，所述存儲器訪問方法是經用戶定義邊界檢查注釋來注釋的，所述用戶定義類型還具有至少一個邊界指定器；

駐留于所述存儲器中并被配置成在中間語言代碼中插入所述用戶定義邊界檢查注釋的邊界檢查表的編譯器(224)；以及

駐留于所述存儲器中并被配置成向中間語言代碼應用優化以減少重復的邊界檢查的優化器(226)。

10.根據權利要求9所述的系統，其特征在于，經注釋的源代碼包括設備驅動器(230)源代碼122，而所述用戶定義類型對應于存儲器映射的緩沖區(232)。

11.根據權利要求9所述的系統，其特征在于，經注釋的源代碼包括垃圾收集數據類型(130)，而所述用戶定義類型對應于顯式分配的存儲器。

12.根據權利要求9所述的系統，其特征在于，所述用戶定義類型被定義為沒有任何多元素陣列類型(132)作為組成類型。