[發明專利]具有逐模塊驗證的完全遲緩鏈接

有效

• 申請號: 00117670.6
• 申請日: 2000-05-26
• 公開（公告）號: CN1292525A
• 公開（公告）日: 2001-04-25
• 發明（設計）人: 吉拉德·布拉查;梁勝;蒂蒙西G·林德霍爾姆
• 申請（專利權）人: 太陽微系統公司
• 主分類號: G06F9/45
• 分類號: G06F9/45
• 代理公司: 中原信達知識產權代理有限責任公司
• 代理人: 谷惠敏,李輝

1．一種用于在鏈接期間驗證計算機程序模塊指令的方法，該方法包括：

判斷已裝載的第一模塊是否已通過一次一模塊的預驗證；

如果第一模塊已通過預驗證，如果有的話，則讀取在約束模塊上的預驗證約束；

如果讀取了任何預驗證約束，判斷約束模塊是否裝載；以及

如果約束模塊沒有裝載，將預驗證約束保持為驗證約束。

2．根據權利要求1所述的方法，還包括：在所述保持后，返回讀取約束模塊上的預驗證約束，直到讀取了所有的預驗證約束。

3．一種用于在鏈接期間驗證計算機程序模塊指令的計算機程序產品，該計算機程序產品包括：

計算機可讀存儲介質；

計算機控制命令，其存儲在計算機可讀存儲介質上，用于判斷已裝載的第一模塊是否已通過一次一模塊的預驗證，如果第一模塊已通過預驗證，如果有的話，則讀取在約束模塊上的預驗證約束，如果讀取了任何預驗證約束，判斷約束模塊是否裝載，并且如果約束模塊沒有裝載，將預驗證約束保持為驗證約束。

4．根據權利要求3所述的計算機程序產品，還包括：計算機控制命令，其存儲在計算機可讀介質上，用于在所述保持后，返回讀取約束模塊上的預驗證約束，直到讀取了所有的預驗證約束。

5．一種用于在鏈接期間驗證計模塊的驗證裝置，包括：

計算機可讀存儲介質，用于存儲計算機程序的模塊；

存儲器，在其中裝載有模塊；

處理器，用于判斷已裝載的第一模塊是否已通過一次一模塊的預驗證，如果第一模塊已通過預驗證，如果有的話，則讀取在約束模塊上的預驗證約束，如果讀取了任何預驗證約束，判斷約束模塊是否裝載，以及如果約束模塊沒有裝載，將預驗證約束保持為驗證約束。

6．根據權利要求5所述的驗證裝置，其中，處理器還用于在所述保持后，返回讀取約束模塊上的預驗證約束，直到讀取了所有的預驗證約束。

7．一種信號傳輸，包括：

在通訊線路上的載波；和

表示計算機控制命令的信號，該信號使用載波傳送，用于判斷已裝載的第一模塊是否已通過一次一模塊的預驗證，如果第一模塊已通過預驗證，如果有的話，則讀取在約束模塊上的預驗證約束，如果讀取了任何預驗證約束，判斷約束模塊是否裝載，以及如果約束模塊沒有裝載，將預驗證約束保持為驗證約束。

8．根據權利要求7所述的方法，還包括：使用載波傳送的計算機控制命令，用于在所述保持后，返回讀取約束模塊上的預驗證約束，直到讀取了所有的預驗證約束。

9．一種預驗證系統，包括：

網絡；

連接到網絡的計算機可讀存儲介質，用于存儲計算機程序的模塊；

連接到網絡的存儲器，在其中裝載有模塊；

連接到網絡的處理器，用于判斷第一模塊的指令的檢驗是否需要在與第一模塊不同的被引用模塊中的信息，并且，如果需要信息，不需要訪問被引用模塊而寫入用于被引用模塊的約束，以此來一次一模塊地進行預驗證；和

連接到網絡的處理器，用于在鏈接期間判斷已裝載的第一模塊是否已通過一次一模塊的預驗證，如果第一模塊已通過預驗證，如果有的話，則讀取在約束模塊上的預驗證約束，如果讀取了任何預驗證約束，判斷約束模塊是否裝載，以及如果約束模塊沒有裝載，將預驗證約束保持為驗證約束；

以此來利用完全遲緩裝載一次一模塊地進行驗證并減少在鏈接期間的驗證。

10．根據權利要求1所述的方法，還包括：

如果已裝載約束模塊并有預驗證約束，則僅對已裝載模塊實施用于跨模塊檢驗的預驗證約束；

如果約束模塊已通過并有驗證約束，則寫入用于預驗證約束的跨模塊檢驗的驗證約束，其中跨模塊驗證包括還未裝載的模塊。

11．根據權利要求3所述的計算機程序產品，還包括存儲在計算機可讀存儲介質上的計算機控制命令，用于如果已裝載約束模塊并有預驗證約束，則僅對已裝載模塊實施用于跨模塊檢驗的預驗證約束，和用于如果約束模塊已通過并有驗證約束，則寫入用于預驗證約束的跨模塊檢驗的驗證約束，其中跨模塊驗證包括還未裝載的模塊。