[發(fā)明專利]管理協(xié)議、驗證和轉(zhuǎn)換下載程序片斷的方法及對應(yīng)的系統(tǒng)

無效

• 申請?zhí)枺?/td>: 00811932.5
• 申請日: 2000-08-21
• 公開（公告）號: CN1370294A
• 公開（公告）日: 2002-09-18
• 發(fā)明（設(shè)計）人: X·萊爾奧
• 申請（專利權(quán)）人: 信用邏輯公司
• 主分類號: G06F9/445
• 分類號: G06F9/445;G06F9/45
• 代理公司: 北京市中咨律師事務(wù)所
• 代理人: 于靜,楊曉光

1.一種用于管理程序片斷的協(xié)議，程序片斷是下載到諸如裝有可重寫存儲器的微處理器卡這種可重編程板載系統(tǒng)的，所述程序片斷由對象代碼即一系列指令組成，對象代碼可由板載系統(tǒng)的微處理器通過虛擬機執(zhí)行，虛擬機帶有執(zhí)行棧并帶有通過這些指令處理的局部變量或寄存器，并使得能夠解釋這些對象代碼，所述板載系統(tǒng)與終端互連，其特征在于這種協(xié)議在所述板載系統(tǒng)級上至少包括：

a)檢測用于下載這種程序片斷的命令；并在對這一階段正響應(yīng)時檢測下載命令，

b)讀取構(gòu)成這種程序片斷的對象代碼并暫時存儲這種對象代碼；

c)使所有暫時存儲在存儲器中的對象代碼經(jīng)受驗證過程，這一驗證過程至少包括初始化類型棧和寄存器類型表階段，它們表示所述虛擬機在開始執(zhí)行暫時存儲的對象代碼時的狀態(tài)，并且包括以下后繼的階段，通過對每一當(dāng)前指令判斷目標(biāo)、轉(zhuǎn)移指令目標(biāo)、異常處理程序調(diào)用目標(biāo)、或子程序調(diào)用目標(biāo)的存在性，逐個指令地進行驗證，并且包括驗證和更新所述當(dāng)前指令對類型棧和寄存器類型表的效果，并且在所述對象代碼的成功驗證的情況下，

d)把下載的程序片斷記錄在可用的程序片斷的目錄中，并在所述對象代碼的不成功驗證的情況下，

e)在所述板載系統(tǒng)上禁止所述程序片斷的執(zhí)行。

2.如權(quán)利要求1所述的協(xié)議，其特征在于所述禁止執(zhí)行的階段e)包括：

f)當(dāng)省略在所述可用程序片斷的目錄中記錄后者時，刪除暫時記錄的程序片斷，以及

g)向所述閱讀器發(fā)送出錯代碼。

3.如權(quán)利要求1或2所述的協(xié)議，其特征在于，在對所述檢測下載目錄的階段a)是負(fù)響應(yīng)時，則包括：

b｀)檢測一命令，該命令是從程序片斷目錄選擇一可用程序片斷；并在對這階段為正響應(yīng)時，檢測選擇可用程序片斷的命令；

c｀)調(diào)用所述已被選擇的可用程序片斷；

d｀)通過虛擬機執(zhí)行所述被調(diào)用的可用程序片斷，當(dāng)每一指令被執(zhí)行時，對于變量類型、對于由所調(diào)用的可用程序片斷處理的對象的訪問權(quán)，或?qū)τ趫?zhí)行棧的溢出不進行動態(tài)驗證，并且在對這一階段是負(fù)響應(yīng)時，檢測選擇可用程序片斷的命令，

e｀)前進到處理板載系統(tǒng)的標(biāo)準(zhǔn)命令。

4.一種驗證程序片斷的方法，程序片斷是下載到諸如裝有可重寫存儲器的的微處理器卡這種可重編程板載系統(tǒng)的，所述程序片斷由對象代碼組成，并至少包含一個子程序即一系列指令，驗證是通過板載系統(tǒng)的微處理器由虛擬機進行的，虛擬機帶有執(zhí)行棧及由這些指令處理的操作數(shù)寄存器，并使得能夠解釋這種對象代碼，所述板載系統(tǒng)與閱讀器互連，其特征在于所述方法在檢測下載命令并把構(gòu)成程序片斷的所述對象代碼存儲到所述可重寫存儲器中之后，對于每一子程序：

α)通過數(shù)據(jù)進行使類型棧和寄存器類型表初始化的階段，這些數(shù)據(jù)表示虛擬機在開始執(zhí)行暫時存儲的對象代碼時的狀態(tài)；

β)通過對每一當(dāng)前指令判斷目標(biāo)、轉(zhuǎn)移指令目標(biāo)、異常處理程序調(diào)用目標(biāo)或子程序調(diào)用目標(biāo)的存在性，逐個指令地對所述暫時存儲的對象代碼指令進行驗證；

γ)基于轉(zhuǎn)移指令目標(biāo)、子程序調(diào)用目標(biāo)或異常處理程序調(diào)用目標(biāo)的存在性，就所述當(dāng)前指令對所述類型棧和所述寄存器類型表的數(shù)據(jù)類型的效果進行驗證和更新，當(dāng)寄存器類型表在所有指令的驗證過程中沒有被修改時，所述驗證是成功的，并且驗證過程逐個指令地進行直到寄存器類型表穩(wěn)定而沒有修改出現(xiàn)為止，否則驗證過程被中斷。

5.如權(quán)利要求4所述的驗證方法，其特征在于，在驗證過程期間被處理的變量類型至少包含：

-對應(yīng)于在程序片斷中定義的對象類的類標(biāo)識符；

-數(shù)值變量類型，至少包含類型short，按p位編碼的整數(shù)，以及用于跳轉(zhuǎn)指令JSR的返回地址的類型retaddr；

-與零對象的參照相關(guān)的類型null；

-與對象相關(guān)的類型object；

-第一特定類型⊥，表示所有類型的交集并且對應(yīng)于值0，nil；

-第二特定類型T，表示所有類型的并集并且對應(yīng)于任何值的類型。

6.如權(quán)利要求5所述的方法，其特征在于，所有所述變量類型驗證子類型分類關(guān)系：

objectεT；

short，retaddrεT；

⊥εnull，short，retaddr。