專利名稱：任務(wù)管理系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種在并行執(zhí)行多個任務(wù)的操作系統(tǒng)(OS)中的任務(wù)管理系統(tǒng)。
背景技術(shù)：
歷來公知在電子計算機上通過高速切換多個任務(wù)同時進行執(zhí)行來實現(xiàn)當前執(zhí)行并行處理時的任務(wù)的切換的任務(wù)管理系統(tǒng)。這樣的任務(wù)管理系統(tǒng)，是電子計算機的操作系統(tǒng)的子程序。
參照圖13到圖17，說明現(xiàn)有的任務(wù)管理系統(tǒng)。圖13是表示現(xiàn)有的任務(wù)管理系統(tǒng)100的結(jié)構(gòu)的方框圖。
如圖13所示，現(xiàn)有的任務(wù)管理系統(tǒng)100具有任務(wù)管理部110和存儲部120。
任務(wù)管理部110具有管理功能111、任務(wù)中斷功能112、任務(wù)重新開始功能113、和任務(wù)切換功能114。
管理功能111控制任務(wù)中斷功能112、任務(wù)重新開始功能113和任務(wù)切換功能114。任務(wù)中斷功能112把執(zhí)行狀態(tài)的任務(wù)變更為執(zhí)行待機狀態(tài)。任務(wù)重新開始功能113把執(zhí)行待機狀態(tài)的任務(wù)變更為執(zhí)行狀態(tài)。任務(wù)切換功能114選擇重新開始執(zhí)行的任務(wù)以及進行任務(wù)用地址空間的切換。
存儲部120，具有任務(wù)信息存儲區(qū)域121和多個任務(wù)用地址空間122-1到122-n。
任務(wù)信息存儲區(qū)域121是將用于識別各任務(wù)的任務(wù)號碼和表示各任務(wù)狀態(tài)的任務(wù)信息相關(guān)聯(lián)并存儲的區(qū)域。這里，在任務(wù)信息中包含CPU(中央處理裝置)的寄存器的內(nèi)容、該任務(wù)利用的任務(wù)用地址空間的指定符等為在后來時刻重新開始執(zhí)行該任務(wù)所需要的數(shù)據(jù)、該任務(wù)的優(yōu)先級、累計執(zhí)行時間等管理上的數(shù)據(jù)。
任務(wù)用地址空間122-1到122-n管理每一任務(wù)的地址空間即任務(wù)用地址空間。任務(wù)用地址空間一般是與每一任務(wù)不同的邏輯地址空間。亦即，即使是相同的地址，由各任務(wù)實際訪問的物理地址空間一般也不同(即使相同也是可以的)。
以下，說明現(xiàn)有的任務(wù)管理系統(tǒng)的操作。
圖14是說明現(xiàn)有的任務(wù)管理系統(tǒng)100的管理功能111在執(zhí)行任務(wù)的切換時進行的處理的流程圖。
如圖14所示，在步驟S101，管理功能111，在執(zhí)行任務(wù)的切換時，對任務(wù)中斷功能112進行指示，以使把當前執(zhí)行狀態(tài)的任務(wù)變更為執(zhí)行待機狀態(tài)。這里，執(zhí)行狀態(tài)的任務(wù)以下稱為“任務(wù)A”。
在步驟S102，管理功能111對任務(wù)切換功能114進行指示，以使接下來選擇作為重新開始執(zhí)行對象的任務(wù)、切換任務(wù)用地址空間。這里，作為重新開始執(zhí)行對象而選擇的任務(wù)，以下稱為“任務(wù)B”。
在步驟S103，管理功能111對任務(wù)重新開始功能113進行指示，以使成為執(zhí)行任務(wù)B的狀態(tài)，處理結(jié)束。
圖15是說明現(xiàn)有的任務(wù)管理系統(tǒng)100的任務(wù)中斷功能112在執(zhí)行任務(wù)的切換時進行的處理的流程圖。
如圖15所示，在步驟S101A，任務(wù)中斷功能112，根據(jù)來自步驟S101中的管理功能111的指示，把當前執(zhí)行狀態(tài)的任務(wù)(任務(wù)A)變更為執(zhí)行待機狀態(tài)。
在步驟S102A，任務(wù)中斷功能112，在任務(wù)信息存儲區(qū)域121中存儲任務(wù)A的任務(wù)信息。
圖16是說明現(xiàn)有的任務(wù)管理系統(tǒng)100的任務(wù)切換功能114在執(zhí)行任務(wù)的切換時進行的處理的流程圖。
如圖16所示，在步驟S101B中，任務(wù)切換功能114，根據(jù)來自步驟S102的管理功能111的指示，參照任務(wù)信息存儲區(qū)域121，考慮任務(wù)間的公平性和優(yōu)先級等，從該任務(wù)管理系統(tǒng)100處理的任務(wù)中決定成為重新開始執(zhí)行的對象的任務(wù)(任務(wù)B)。
在步驟S102B中，任務(wù)切換功能114，執(zhí)行任務(wù)用地址空間的切換，以使可以利用任務(wù)B在以前執(zhí)行狀態(tài)時利用的任務(wù)用地址空間。
具體說，任務(wù)切換功能114，如設(shè)定CPU的段寄存器或變更頁面表等，通過將邏輯地址和物理地址對應(yīng)的機構(gòu)的設(shè)定變更，執(zhí)行任務(wù)地址空間的切換。
但是，在不使用這樣的地址對應(yīng)機構(gòu)的電子計算機(即把物理地址作為唯一的地址空間的系統(tǒng))中，在把分割物理地址空間的每一個作為任務(wù)用地址空間的情況下，不需要任務(wù)用地址空間的切換的設(shè)定處理。
圖17是說明現(xiàn)有的任務(wù)管理系統(tǒng)100的任務(wù)重新開始功能113在執(zhí)行任務(wù)的切換時進行的處理的流程圖。
如圖17所示，步驟S101C中，任務(wù)重新開始功能113，根據(jù)來自步驟S103中的管理功能111的指示，從任務(wù)信息存儲區(qū)域121取得任務(wù)B的任務(wù)信息。
任務(wù)重新開始功能113，在步驟S102C，根據(jù)取得的任務(wù)信息設(shè)定CPU的寄存器內(nèi)容，在步驟S103C，重新開始執(zhí)行任務(wù)B。
作為上述那樣的現(xiàn)有的任務(wù)管理系統(tǒng)的例子，公知具有在專利文獻1中記載的任務(wù)開關(guān)控制功能、任務(wù)中斷功能和任務(wù)重新開始功能的系統(tǒng)或者UNIX(注冊商標)等多任務(wù)OS。
專利文獻1特開2000-66904號公報。
但是，在現(xiàn)有的任務(wù)管理系統(tǒng)中存在以下問題在任務(wù)是執(zhí)行待機狀態(tài)的期間，在該任務(wù)的任務(wù)用地址空間中存儲的數(shù)據(jù)中，即使發(fā)生對該任務(wù)的處理給予影響的變化也不能檢測出該變化。
因此，會漏掉對由其他任務(wù)非法地改寫任務(wù)的重要數(shù)據(jù)進行檢測，對利用這樣的數(shù)據(jù)的任務(wù)處理產(chǎn)生影響。

發(fā)明內(nèi)容
因此，本發(fā)明鑒于以上的問題提出，其目的在于提供一種任務(wù)管理系統(tǒng)，該系統(tǒng)在任務(wù)是執(zhí)行待機狀態(tài)的期間，在存儲在該任務(wù)的任務(wù)用地址空間中的數(shù)據(jù)中，可以檢測給予該任務(wù)的處理影響的變化。
本發(fā)明的第一特征，是在并行執(zhí)行多個任務(wù)的操作系統(tǒng)中的任務(wù)管理系統(tǒng)，其特征在于，具有執(zhí)行待機狀態(tài)變更部，其在把任務(wù)從執(zhí)行狀態(tài)變更為執(zhí)行待機狀態(tài)時，根據(jù)在該任務(wù)用地址空間中存儲的數(shù)據(jù)生成該任務(wù)的驗證符并存儲在驗證符存儲區(qū)域中；和執(zhí)行狀態(tài)變更部，其在把任務(wù)從執(zhí)行待機狀態(tài)變更為執(zhí)行狀態(tài)時，根據(jù)在該任務(wù)用地址空間中存儲的數(shù)據(jù)生成該任務(wù)的驗證符，對與在上述驗證符存儲區(qū)域中存儲的該任務(wù)的驗證符是否一致進行驗證。
根據(jù)這樣的發(fā)明，執(zhí)行狀態(tài)變更部，通過對在從執(zhí)行狀態(tài)變更為執(zhí)行待機狀態(tài)時生成并存儲在驗證符存儲區(qū)域中的任務(wù)的驗證符、與從待機狀態(tài)變更為執(zhí)行狀態(tài)時生成的任務(wù)的驗證符進行核對，可以檢測到在該任務(wù)是執(zhí)行待機狀態(tài)期間在該任務(wù)用地址空間中存儲的數(shù)據(jù)發(fā)生變化。
在本發(fā)明的第一特征中，上述驗證符存儲區(qū)域存儲將上述任務(wù)用地址空間內(nèi)的規(guī)定地址范圍和上述任務(wù)的驗證符相關(guān)聯(lián)的記錄，上述執(zhí)行待機狀態(tài)變更部也可以對需要更新上述任務(wù)的驗證符的記錄中的上述任務(wù)的驗證符進行更新，存儲在上述驗證符存儲區(qū)域中。
在本發(fā)明的第一特征中，上述驗證符存儲區(qū)域存儲將上述規(guī)定地址范圍和上述任務(wù)的驗證符以及有效標志相關(guān)聯(lián)的記錄，上述執(zhí)行待機狀態(tài)變更部也可以將在上述有效標志設(shè)定偽值的記錄判斷為需要更新上述任務(wù)的驗證符的記錄，更新該記錄中的上述任務(wù)的驗證符，存儲在上述驗證符存儲區(qū)域中。
在本發(fā)明的第一特征中，上述執(zhí)行待機狀態(tài)變更部也可以將上述任務(wù)的驗證符規(guī)定期間沒有進行更新的記錄判斷為需要更新上述任務(wù)的驗證符的記錄，更新該記錄中的上述任務(wù)的驗證符，存儲在上述驗證符存儲區(qū)域中。
在本發(fā)明的第一特征中，上述執(zhí)行待機狀態(tài)變更部以及上述執(zhí)行狀態(tài)變更部也可以將通過把在上述任務(wù)用地址空間中存儲的數(shù)據(jù)輸入到安全雜亂函數(shù)或者可逆編碼函數(shù)中而計算出來的數(shù)據(jù)作為上述任務(wù)的驗證符。
在本發(fā)明的第一特征中，上述執(zhí)行待機狀態(tài)變更部以及上述執(zhí)行狀態(tài)變更部也可以在上述規(guī)定地址范圍比規(guī)定閾值小時，將通過把在上述任務(wù)用地址空間中存儲的數(shù)據(jù)輸入到可逆編碼函數(shù)中而計算出來的數(shù)據(jù)作為上述任務(wù)的驗證符；在上述規(guī)定地址范圍比規(guī)定閾值大時，將通過把在上述任務(wù)用地址空間中存儲的數(shù)據(jù)輸入到安全雜亂函數(shù)中而計算出來的數(shù)據(jù)作為上述任務(wù)的驗證符。
在本發(fā)明的第一特征中，也可以具有訪問檢測部，該訪問檢測部對在特定的上述記錄中的規(guī)定地址范圍內(nèi)存儲的數(shù)據(jù)曾被訪問進行檢測。
在本發(fā)明的第一特征中，上述任務(wù)用地址空間以分頁方式管理，上述訪問檢測部也可以在檢測到在包含上述特定的上述記錄中的規(guī)定地址范圍的頁面內(nèi)存儲的數(shù)據(jù)曾被訪問時，發(fā)生頁面錯誤。
在本發(fā)明的第一特征中，也可以具有驗證部，該驗證部在發(fā)生上述頁頁錯誤時，在包含該頁面錯誤發(fā)生的地址附近的規(guī)定地址范圍的記錄中，進行關(guān)于上述任務(wù)的驗證符的上述驗證。
根據(jù)這樣的發(fā)明，因為僅在訪問檢測部檢測到對在任務(wù)用地址空間中存儲的數(shù)據(jù)發(fā)生訪問時，驗證部才進行關(guān)于上述任務(wù)的驗證符的驗證，而在不對該數(shù)據(jù)進行訪問時，省略關(guān)于上述任務(wù)的驗證符的驗證，因此，能夠使用于對在該任務(wù)是執(zhí)行待機狀態(tài)期間中、在該任務(wù)用地址空間中存儲的數(shù)據(jù)發(fā)生變化進行檢測的處理負荷變小。
如上所述，根據(jù)本發(fā)明，能夠提供可以對在任務(wù)是執(zhí)行待機狀態(tài)期間中、在該任務(wù)的任務(wù)用地址空間中存儲的數(shù)據(jù)中檢測出會對該任務(wù)的處理給予影響的變化的任務(wù)管理系統(tǒng)。


圖1是本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)的功能方框圖。
圖2是本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)中的驗證符存儲區(qū)域中的管理內(nèi)容的一例。
圖3是表示本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)中的管理功能的動作的流程圖。
圖4是表示本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)中的驗證功能的動作的流程圖。
圖5是表示本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)中的驗證功能的動作的流程圖。
圖6是表示本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)中的驗證功能的動作的流程圖。
圖7是本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)的功能方框圖。
圖8是表示本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)中的管理功能的動作的流程圖。
圖9是表示本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)中的訪問檢測功能的動作的流程圖。
圖10是用于說明本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)中的訪問檢測功能的動作的圖。
圖11是表示本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)中的訪問檢測功能的動作的流程圖。
圖12是用于說明本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)中的訪問檢測功能的動作的圖。
圖13是現(xiàn)有技術(shù)的任務(wù)管理系統(tǒng)的功能方框圖。
圖14是表示現(xiàn)有技術(shù)的任務(wù)管理系統(tǒng)中的管理功能的動作的流程圖。
圖15是表示現(xiàn)有技術(shù)的任務(wù)管理系統(tǒng)中的任務(wù)中斷功能的動作的流程圖。
圖16是表示現(xiàn)有技術(shù)的任務(wù)管理系統(tǒng)中的任務(wù)切換功能的動作的流程圖。
圖17是表示現(xiàn)有技術(shù)的任務(wù)管理系統(tǒng)中的任務(wù)重新開始功能的動作的流程圖。
具體實施例方式
(本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)的結(jié)構(gòu))本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)200是在并行執(zhí)行多個任務(wù)的操作系統(tǒng)中的任務(wù)管理系統(tǒng)。特別地，本實施方式的任務(wù)管理系統(tǒng)200是對在任務(wù)用地址空間中存儲的數(shù)據(jù)的變化進行檢測的任務(wù)管理系統(tǒng)。
如圖1所示，本實施方式的任務(wù)管理系統(tǒng)200具有任務(wù)管理部210和存儲部220。
任務(wù)管理部210具有管理功能211、任務(wù)中斷功能112、任務(wù)重新開始功能113、任務(wù)切換功能114、驗證符生成功能215、和驗證功能216。
任務(wù)中斷功能112、任務(wù)重新開始功能113和任務(wù)切換功能114，與現(xiàn)有技術(shù)的任務(wù)管理系統(tǒng)100中的各功能112到114相同。
驗證符生成功能215從在任務(wù)用地址空間中存儲的數(shù)據(jù)生成該任務(wù)的驗證符。
具體說，在驗證功能216指示指定規(guī)定地址范圍、生成任務(wù)的驗證符時，驗證符生成功能215根據(jù)在包含當前可利用的任務(wù)用地址空間的地址空間中指定的規(guī)定地址范圍中存儲的數(shù)據(jù)生成該任務(wù)的驗證符。
這里，任務(wù)的驗證符是通過把在規(guī)定地址范圍內(nèi)存儲的數(shù)據(jù)輸入到規(guī)定的變換函數(shù)中而算出的輸出數(shù)據(jù)。
但是，作為這樣的變換函數(shù)的性質(zhì)，在對于相同輸入數(shù)據(jù)計算出相同輸出數(shù)據(jù)、另外對于任意的輸入數(shù)據(jù)“A”的輸出數(shù)據(jù)是“B”時，發(fā)現(xiàn)與輸出數(shù)據(jù)成為相同“B”那樣的輸入數(shù)據(jù)“A”不同的輸入數(shù)據(jù)“C”一定是非常困難的。
作為滿足這樣的性質(zhì)的變換函數(shù)，可以考慮“MD5(Message Digest 5)”或“SHA(Secure Hash Algorithm)”等安全雜亂函數(shù)，或者對輸入數(shù)據(jù)進行可逆編碼的可逆編碼函數(shù)(包含把輸入數(shù)據(jù)作為原樣輸出數(shù)據(jù)的變換函數(shù))等。
另外，安全雜亂函數(shù)輸出不依賴于輸入數(shù)據(jù)長度的長度的數(shù)據(jù)，但是計算處理負荷比較大。另一方面，可逆編碼函數(shù)具有計算處理負荷比較小但是具有輸出與輸入數(shù)據(jù)長度對應(yīng)的長度的數(shù)據(jù)的性質(zhì)。
因此，驗證符生成功能215，可以使用在指定的規(guī)定地址范圍的寬度比較小時(例如比規(guī)定閾值小時)，把可逆編碼函數(shù)的輸出作為輸出數(shù)據(jù)采用，在這以外時(例如比規(guī)定閾值大時)，把安全雜亂函數(shù)的輸出作為輸出數(shù)據(jù)采用的變換函數(shù)。
驗證功能216驗證從任務(wù)用地址空間中存儲的數(shù)據(jù)生成的該任務(wù)的驗證符是否與在驗證符存儲區(qū)域中存儲的該任務(wù)的驗證符一致。
管理功能211控制各功能112到216的執(zhí)行。
存儲部220具有任務(wù)信息存儲區(qū)域121、多個任務(wù)用地址空間122-1到122-n、和驗證符存儲區(qū)域223。
任務(wù)信息存儲區(qū)域121和多個任務(wù)用地址空間122-1到122-n和現(xiàn)有技術(shù)的任務(wù)管理系統(tǒng)100中的各功能121以及122-1到122-n相同。
驗證符存儲區(qū)域223是存儲驗證符存儲數(shù)據(jù)的集合的區(qū)域。這里，對于任務(wù)管理系統(tǒng)200處理的各任務(wù)，關(guān)聯(lián)對應(yīng)驗證符存儲數(shù)據(jù)的集合中的一個。以下，把關(guān)聯(lián)對應(yīng)特定任務(wù)的驗證符存儲數(shù)據(jù)稱為“任務(wù)A的驗證符存儲數(shù)據(jù)”或“任務(wù)B的驗證符存儲數(shù)據(jù)”。
驗證符存儲數(shù)據(jù)由連接成樹狀的部分驗證符存儲數(shù)據(jù)構(gòu)成。部分驗證符存儲數(shù)據(jù)是由行集合組成的表形式，各行有地址范圍欄、有效標志欄、連鎖標志欄、驗證符欄。亦即，驗證符存儲區(qū)域223存儲關(guān)聯(lián)任務(wù)用地址空間內(nèi)的規(guī)定地址范圍、有效標志、連鎖標志、任務(wù)的驗證符的記錄。
在地址范圍欄中作為地址范圍存儲有效的值。在有效標志欄以及連鎖標志欄中存儲“真值”或者“偽值”。在驗證符欄中存儲任務(wù)的驗證符。
部分驗證符存儲數(shù)據(jù)的連接，通過連鎖標志欄以及地址范圍欄進行。亦即，在部分驗證符存儲數(shù)據(jù)中的特定行的連鎖欄是“真值”時，在這樣的特定行的地址范圍欄內(nèi)存儲的地址范圍中，存儲別的部分驗證符存儲數(shù)據(jù)，這樣的部分驗證符存儲數(shù)據(jù)也成為構(gòu)成相同驗證符存儲數(shù)據(jù)的要素。
此外，驗證符存儲數(shù)據(jù)也有僅由1個部分驗證符存儲數(shù)據(jù)構(gòu)成的情況。在這一場合，也可以省略各行的連鎖標志欄。
圖2表示的驗證符存儲區(qū)域400是驗證符存儲數(shù)據(jù)的具體例。由部分驗證符存儲數(shù)據(jù)401、部分驗證符存儲數(shù)據(jù)402、部分驗證符存儲數(shù)據(jù)403構(gòu)成。這里，部分驗證符存儲數(shù)據(jù)402以及部分驗證符存儲數(shù)據(jù)403連接部分驗證符存儲數(shù)據(jù)401。具體說，部分驗證符存儲數(shù)據(jù)402存儲在地址范圍“0x80000000～0x800003ff”中，部分驗證符存儲數(shù)據(jù)403存儲在地址范圍“0xdc000000～0xdc0003ff”中。
此外，以下有時把構(gòu)成驗證符存儲數(shù)據(jù)的部分驗證符存儲數(shù)據(jù)中的行為方便起見稱為“驗證符存儲數(shù)據(jù)行”或“驗證符存儲數(shù)據(jù)的各行”。
在圖1的例子中，驗證符存儲區(qū)域223為方便起見作為任務(wù)用地址空間122-1～122-n分離記述，但是本發(fā)明不限定于此，也可以適應(yīng)驗證符存儲區(qū)域223的一部或者全部和任務(wù)用地址空間122-1～122-n重復的例子。
亦即，本發(fā)明也可以適應(yīng)把任務(wù)的驗證符存儲數(shù)據(jù)存儲在該任務(wù)用地址空間內(nèi)的實施方式，或者只把構(gòu)成任務(wù)的驗證符存儲數(shù)據(jù)的一部分的部分驗證符存儲數(shù)據(jù)存儲在該任務(wù)用地址空間內(nèi)的實施方式。
在本實施方式中構(gòu)成執(zhí)行待機狀態(tài)變更部，它在管理機構(gòu)211和驗證符生成功能215和驗證功能216把任務(wù)從執(zhí)行狀態(tài)變更為執(zhí)行待機狀態(tài)時從在該任務(wù)用地址空間內(nèi)存儲的數(shù)據(jù)生成該任務(wù)的驗證符并存儲在驗證符存儲區(qū)域223中。
另外，在本實施方式中構(gòu)成執(zhí)行狀態(tài)變更部，它在管理機構(gòu)211和驗證符生成功能215和驗證功能216把任務(wù)從執(zhí)行待機狀態(tài)變更為執(zhí)行狀態(tài)時從在該任務(wù)用地址空間內(nèi)存儲的數(shù)據(jù)生成該任務(wù)的驗證符，驗證和在驗證符存儲區(qū)域223中存儲的該任務(wù)的驗證符是否一致。
這里，執(zhí)行待機狀態(tài)變更部也可以更新需要更新任務(wù)的驗證符的記錄(驗證符存儲數(shù)據(jù)的行)中的任務(wù)的驗證符后在驗證符存儲區(qū)域223中存儲。
另外，執(zhí)行狀態(tài)變更部也可以把在有效標志中設(shè)定為“偽值”的記錄(驗證符存儲數(shù)據(jù)的行)判斷為需要更新任務(wù)的驗證符的記錄(驗證符存儲數(shù)據(jù)的行)、更新該記錄(驗證符存儲數(shù)據(jù)的行)中的任務(wù)的驗證符，在驗證符存儲區(qū)域223中存儲。
另外，執(zhí)行狀態(tài)變更部也可以將任務(wù)的驗證符規(guī)定期間不進行更新的記錄(驗證符存儲數(shù)據(jù)的行)判斷為需要更新任務(wù)的驗證符的記錄(驗證符存儲數(shù)據(jù)的行)，更新在該記錄(驗證符存儲數(shù)據(jù)的行)中的任務(wù)的驗證符后在驗證符存儲區(qū)域223中存儲。
(本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)的操作)以下參照圖3到圖6說明本實施方式的任務(wù)管理系統(tǒng)200的操作。此外，任務(wù)中斷功能112和任務(wù)重新開始功能113和任務(wù)切換功能114的操作，因為和現(xiàn)有技術(shù)的操作相同，所以省略說明。
第一，參照圖3說明任務(wù)管理系統(tǒng)200的管理功能211在執(zhí)行任務(wù)切換時執(zhí)行的操作。
如圖3所示，在步驟S101，管理功能211在執(zhí)行任務(wù)切換時，對于任務(wù)中斷功能112指示把當前執(zhí)行狀態(tài)的任務(wù)變?yōu)閳?zhí)行待機狀態(tài)。這里，把當前執(zhí)行狀態(tài)的任務(wù)稱為“任務(wù)A”。
在步驟S111，管理功能211對于驗證功能216指示更新任務(wù)A的驗證符。
在步驟S102，管理功能211對于任務(wù)切換功能114指示使選擇作為重新開始執(zhí)行對象的任務(wù)，切換任務(wù)用地址空間。這里，把作為重新開始執(zhí)行對象選擇的任務(wù)稱為“任務(wù)B”。
在步驟S112，管理功能211對于驗證功能216指示執(zhí)行關(guān)于任務(wù)B的驗證。
在步驟S113，在管理功能211從驗證功能216接收到驗證成功的報告時，本操作前進到步驟S103，在這以外時，本操作前進到步驟S114。
在步驟S103，管理功能211對于任務(wù)重新開始功能113指示使任務(wù)B變成執(zhí)行狀態(tài)，本操作結(jié)束。
另一方面，在步驟S114，管理功能211執(zhí)行異常檢測處理，結(jié)束本操作。
這里，補充說明關(guān)于在步驟S114中進行的異常檢測處理。作為異常檢測處理，例如，考慮向電子計算機的管理者通知異常發(fā)生的處理、事件日志中記錄異常發(fā)生的處理、向任務(wù)B通知異常發(fā)生的處理、和步驟S103相同的處理、使任務(wù)B結(jié)束的處理任何一個或者這些處理的組合等。
第二，參照圖4，說明任務(wù)管理系統(tǒng)200的驗證功能216在接受管理功能211指示更新任務(wù)的驗證符時的操作。
如圖4所示，在步驟S201，驗證功能216在接受管理功能211指示更新任務(wù)的驗證符時，把指定的任務(wù)的任務(wù)號碼代入變量T。
在步驟S202，驗證功能216，訪問驗證符存儲區(qū)域233，在任務(wù)號碼是“T”的任務(wù)的驗證符存儲數(shù)據(jù)中，確認為更新驗證符欄所需要的行是否存在。
這里補充說明關(guān)于在步驟202中判斷是否是為更新驗證符欄所需要的行的判斷基準。作為該判斷基準，存在多個候補。
第一候補，是把有效標志欄為“偽值”的行認為是需要更新驗證符欄的行的基準。
第二候補，是把在規(guī)定期間不更新驗證符欄的行認為是需要更新驗證符欄的行的基準。這里，所謂規(guī)定期間，例如是從完成步驟S201的處理開始到本操作結(jié)束的期間。
在步驟S203，在這樣的行存在時，本操作前進到步驟S204，在這樣的行不存在時，本操作結(jié)束。此外，以下，把這樣的1行稱為“行L”。
在步驟S204，驗證功能216把行L的地址范圍欄的值代入變量R。
在步驟S205，驗證功能216對于驗證符生成功能215指示使指定地址范圍R，生成驗證符。
在步驟S206，驗證功能216把由驗證符生成功能215生成的驗證符的值，在存儲在行L的驗證符欄中的同時，在行L的有效標志欄中存儲“真值”。其后，本操作前進到步驟S202。
第三，參照圖5，說明任務(wù)管理系統(tǒng)200的驗證功能216在接受管理功能211指示驗證任務(wù)的驗證符時的操作。
如圖5所示，在步驟S301，驗證功能216在接受管理功能211指示驗證任務(wù)的驗證符時，把指定的任務(wù)的任務(wù)號碼代入變量T。
在步驟S302，驗證功能216，訪問驗證符存儲區(qū)域233，在任務(wù)號碼是“T”的任務(wù)的驗證符存儲數(shù)據(jù)中，確認是否存在需要驗證的行。
這里補充說明關(guān)于在步驟302中判斷是否是需要驗證的行的判斷基準。例如這樣的判斷基準之一是把在規(guī)定期間不進行驗證的行認為是需要進行驗證的行的基準。這里，所謂規(guī)定期間，例如是從完成步驟S301的處理開始到本操作結(jié)束的期間。
在步驟S303，在這樣的行存在時，本操作前進到步驟S304，在這樣的行不存在時，本操作前進到步驟S307。此外，以下，把這樣的1行稱為“行L”。
在步驟S304，驗證功能216進行關(guān)于行L的驗證。關(guān)于行L的驗證處理的具體例使用圖6后述。
在步驟S305，在關(guān)于行L的驗證成功時，本操作返回到步驟S302，在關(guān)于行L的驗證失敗時，本操作前進到步驟S306。
在步驟S306，驗證功能216對于管理功能211報告驗證失敗，本操作結(jié)束。另一方面，在步驟S307，驗證功能216對于管理功能211報告驗證成功，本操作結(jié)束。
第四，參照圖6，說明任務(wù)管理系統(tǒng)200的驗證功能216在進行關(guān)于指定的行的任務(wù)的驗證符時的操作。這里，在這樣的操作中，也包含關(guān)于在圖5的步驟S304所示行L的任務(wù)的驗證符的驗證。
如圖6所示，在步驟S311，驗證功能216，把在驗證符存儲區(qū)域223中存儲的驗證符存儲數(shù)據(jù)中的指定的行代入變量L。
在步驟S312，驗證功能216，參照行L的有效標準欄的值，判斷行L的有效標準欄的值是否是“真值”。是“真值”的話，本操作前進到步驟S313，是“偽值”的話，本操作前進到步驟S318。
驗證功能216，在步驟S313中把行L的地址范圍欄的值代入變量R，在步驟S314中對于驗證符生成功能215指示指定地址范圍R，生成任務(wù)的驗證符。
在步驟S315，驗證功能216比較由驗證符生成功能215生成的任務(wù)的驗證符和行的驗證符欄的值。
在步驟S316，在兩者一致時，本操作前進到步驟S318，在這以外時，本操作前進到步驟S317。
在步驟S317，驗證功能216對于管理功能211報告驗證失敗，本操作結(jié)束。另一方面，在步驟S318，驗證功能216對于管理功能211報告驗證成功，本操作結(jié)束。
(本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)的作用、效果)根據(jù)本實施方式的任務(wù)管理系統(tǒng)200，驗證功能216通過核對在從執(zhí)行狀態(tài)變更為執(zhí)行待機狀態(tài)時生成并存儲在驗證符存儲區(qū)域223中的驗證符存儲數(shù)據(jù)中的行的驗證符欄的值(任務(wù)的驗證符)和在從執(zhí)行待機狀態(tài)變更為執(zhí)行狀態(tài)時生成的任務(wù)的驗證符，在該任務(wù)的執(zhí)行待機狀態(tài)期間，可以檢測出在該任務(wù)用地址空間中存儲的數(shù)據(jù)中發(fā)生了變化。
具體說，如圖3所示，管理功能211，在步驟S214執(zhí)行異常檢測處理時，在任務(wù)是執(zhí)行待機狀態(tài)期間，意味著檢測到在該任務(wù)用地址空間中存儲的數(shù)據(jù)中發(fā)生了變化。
因此，根據(jù)本實施方式的任務(wù)管理系統(tǒng)200，檢測不到進而漏掉特定任務(wù)非法地改寫其他任務(wù)的重要的數(shù)據(jù)或在存儲部220中存儲的數(shù)據(jù)隨意變化的可能性極小。
(本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)的結(jié)構(gòu))參照圖7，說明本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)300的結(jié)構(gòu)。以下，關(guān)于本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)300的結(jié)構(gòu)主要說明和上述本發(fā)明的第一實施方式的任務(wù)管理系統(tǒng)200的結(jié)構(gòu)的不同點。
如圖7所示，本實施方式的任務(wù)管理系統(tǒng)300具有任務(wù)管理部310和存儲部320。
任務(wù)管理部310具有管理功能311、任務(wù)中斷功能112、任務(wù)重新開始功能113、任務(wù)切換功能114、驗證符生成功能215、驗證功能216、和訪問檢測功能317。
任務(wù)中斷功能112和任務(wù)重新開始功能113和任務(wù)切換功能114，和現(xiàn)有技術(shù)的任務(wù)管理系統(tǒng)100中的各功能112到114相同。
驗證符生成功能215和驗證功能216和上述第一實施方式的任務(wù)管理系統(tǒng)200中的各功能215以及216相同。
訪問檢測功能317檢測對驗證對象的地址范圍的訪問。
具體說，訪問檢測功能317檢測對在特定的記錄(檢測符存儲數(shù)據(jù)的行)中的地址范圍欄內(nèi)設(shè)定的地址范圍(規(guī)定地址范圍)中存儲的數(shù)據(jù)的訪問。
另外，訪問檢測功能317也可以在檢測到對在包含特定的記錄中的規(guī)定地址范圍的頁面中存儲的數(shù)據(jù)的訪問時使發(fā)生頁面錯誤。
這里，驗證符生成功能215和驗證功能216和訪問檢測功能317構(gòu)成驗證部，該驗證部在發(fā)生頁面錯誤時，在包含該頁面錯誤發(fā)生的地址附近的規(guī)定地址范圍的記錄中進行關(guān)于任務(wù)的驗證符的驗證。
管理功能311控制各功能112到317的執(zhí)行。
存儲部320具有任務(wù)信息存儲區(qū)域121、多個任務(wù)用地址空間122-1到122-n、驗證符存儲區(qū)域223、和頁面表存儲區(qū)域324。
任務(wù)信息存儲區(qū)域121以及多個任務(wù)用地址空間122-1到122-n和現(xiàn)有技術(shù)的任務(wù)管理系統(tǒng)100中的任務(wù)信息存儲區(qū)域121以及多個任務(wù)用地址空間122-1到122-n的結(jié)構(gòu)相同。
驗證符存儲區(qū)域223和上述第一實施方式的任務(wù)管理系統(tǒng)200中的驗證符存儲區(qū)域223的結(jié)構(gòu)相同。
頁面表存儲區(qū)域324是存儲用于以分頁方式管理任務(wù)用地址空間的頁面表的區(qū)域。頁面表如圖7所示，用于關(guān)聯(lián)頁面和地址范圍。這樣的頁面表，因為在具有分頁方式虛擬存儲裝置的電子計算機中是一般的數(shù)據(jù)，所以省略詳細說明。
(本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)的操作)以下參照圖8到圖12說明本實施方式的任務(wù)管理系統(tǒng)300的操作。此外，任務(wù)中斷功能112和任務(wù)重新開始功能113和任務(wù)切換功能114的操作，因為和現(xiàn)有技術(shù)的操作相同，驗證功能216的操作，因為和上述第一實施方式的操作相同，所以省略說明。
第一，參照圖8說明任務(wù)管理系統(tǒng)300的管理功能311在進行任務(wù)切換時執(zhí)行的操作。
如圖8所示，在步驟S101，管理功能311在進行任務(wù)切換時，對于任務(wù)中斷功能112指示把當前執(zhí)行狀態(tài)的任務(wù)變?yōu)閳?zhí)行待機狀態(tài)。這里，把當前執(zhí)行狀態(tài)的任務(wù)稱為“任務(wù)A”。
在步驟S111，管理功能311對于驗證功能216指示更新任務(wù)A的驗證符。
在步驟S102，管理功能311對于任務(wù)切換功能114指示使選擇作為重新開始執(zhí)行對象的任務(wù)，切換任務(wù)用地址空間。這里，把作為重新開始執(zhí)行對象選擇的任務(wù)稱為“任務(wù)B”。
在步驟S122，管理功能311對于訪問檢測功能317指示使進行關(guān)于任務(wù)B的訪問檢測的設(shè)定。
在步驟S103，管理功能311對于任務(wù)重新開始功能113指示使任務(wù)B變成執(zhí)行狀態(tài)，本操作結(jié)束。
第二，參照圖9，說明任務(wù)管理系統(tǒng)300的訪問檢測功能317在由管理功能211指示進行關(guān)于任務(wù)的訪問檢測的設(shè)定時的操作。
在步驟S401，訪問檢測功能317，在由管理功能211指示進行關(guān)于任務(wù)的訪問檢測的設(shè)定時，把指定的任務(wù)的任務(wù)號碼代入變量T。
在步驟S402，訪問檢測功能317，訪問驗證符存儲區(qū)域233，在任務(wù)號碼是“T”的任務(wù)的驗證符存儲數(shù)據(jù)中，確認是否存在需要進行訪問檢測的設(shè)定的行。
這里，補充說明在步驟S402是否需要進行訪問檢測的設(shè)定的行的判斷基準。例如，這樣的判斷基準之一是有效標志欄的值是“真值”，而且規(guī)定期間不成為步驟S404的處理對象的行被認為是需要進行訪問檢測的進行的行的基準。這里，所謂規(guī)定期間，例如是從完成步驟S401的處理開始到本操作結(jié)束為止的期間。
在步驟S403，在這樣的行存在時，本操作前進到步驟S404，在這樣的行不存在時，本操作結(jié)束。此外，以下把這樣的1行稱為“行L”。
在步驟S404，訪問檢測功能317把行L的地址范圍欄的值代入變量R。
在步驟S405，訪問檢測功能317設(shè)定為，操作頁面表存儲區(qū)域324中存儲的頁面表，在檢測到對在包含地址范圍R的頁面中存儲的數(shù)據(jù)的訪問時使發(fā)生頁面錯誤。
補充說明步驟S405的處理的“包含地址范圍R的頁面”的意義。
這里，所謂“包含地址范圍R的頁面”是被完全包含在用“R”指定的地址范圍的頁面、以及包含用“R”指定的地址范圍的兩端點的地址的頁面。
例如，地址范圍R在如圖10所示那樣的范圍時，所謂“包含地址范圍R的頁面”是被完全包含在用“R”指定的地址范圍的頁面(頁面C)、包含用“R”指定的地址范圍的兩端點的地址的頁面(頁面B以及D)，即頁面B、C、D。
作為在步驟S405的處理的具體的實施手段，考慮通過變更存儲特定頁面的管理數(shù)據(jù)的頁面表的條目，設(shè)定對該頁面禁止讀寫，或者不把該特定頁面與物理頁面(頁面幀)關(guān)聯(lián)對應(yīng)那樣設(shè)定等。
第三，參照圖11說明在發(fā)生頁面錯誤時任務(wù)管理系統(tǒng)300的訪問檢測功能317執(zhí)行的操作。
在步驟S501，訪問檢測功能317把發(fā)生頁面錯誤的任務(wù)的任務(wù)號碼代入變量T，把發(fā)生頁面錯誤的地址代入變量A。
在步驟S502，訪問檢測功能317訪問驗證符存儲區(qū)域223，在任務(wù)號碼是“T”的任務(wù)的驗證符存儲數(shù)據(jù)中，確認地址范圍欄的值是“A”的附近的行是否存在。
這里補充說明在步驟S502的處理。在步驟S502的處理中，作為用于判斷地址范圍欄的值是否是“A”的附近的判斷基準，考慮以下的基準。
例如，考慮根據(jù)地址范圍欄的值包含“A”判斷“是‘A’的附近”的基準(基準C1)、根據(jù)包含地址范圍欄的值的頁中包含“A”判斷“是‘A’的附近”的基準(基準C2)、根據(jù)包含地址范圍欄的值的頁范圍及其前后的數(shù)頁中包含“A”判斷“是‘A’的附近”的基準(基準C3)等。
例如，在“A”是圖12所示的值時，在采用基準C1時，只有地址范圍R1是“A”的附近；采用基準C2時，地址范圍R1以及R2是“A”的附近；采用基準C3時，地址范圍R1、R2、R3是“A”的附近。
在步驟S503，在這樣的行存在時，本操作前進到步驟S504，在這樣的行不存在時，本操作結(jié)束。此外，以下把這樣的1行稱為“行L”。
在步驟S504，訪問檢測功能317對驗證功能216指示關(guān)于行L進行驗證。
在步驟S505，訪問檢測功能317，在從驗證功能216接收到驗證成功的報告時，本操作前進到步驟S506，在這以外時，本操作前進到步驟S507。
在步驟S506，訪問檢測功能317把行L的有效標志欄的值設(shè)定為“偽值”，本操作結(jié)束。
步驟S506的處理的目的是，通過訪問在任務(wù)用地址空間中存儲的數(shù)據(jù)，因為有該數(shù)據(jù)內(nèi)容變化的可能性，記載需要再生成該任務(wù)的驗證符，以及在有意更新在該任務(wù)用地址空間中存儲的數(shù)據(jù)后，在該任務(wù)用地址空間的附近再次發(fā)生頁面錯誤時，防止錯誤地報告驗證失敗。
但是，在步驟S506的處理是任選的。亦即，在步驟S505，訪問檢測功能317在從驗證功能216接收到驗證成功的報告時，本操作也可以不執(zhí)行步驟S506結(jié)束。
在步驟S507，訪問檢測功能317進行異常檢測處理，本操作結(jié)束。此外，步驟S507的異常檢測處理，是和在上述第一實施方式中在管理功能211進行任務(wù)切換時執(zhí)行的步驟S114的處理同樣的處理。
(本發(fā)明的第二實施方式的任務(wù)管理系統(tǒng)的作用、效果)根據(jù)本實施方式的任務(wù)管理系統(tǒng)300，因為只在訪問檢測功能317檢測到向在任務(wù)用地址空間中存儲的數(shù)據(jù)發(fā)生訪問時，驗證功能216才進行關(guān)于上述任務(wù)的驗證符的驗證，在不向該數(shù)據(jù)進行訪問時，省略關(guān)于上述任務(wù)的驗證符的驗證，因此可以減小為檢測在該任務(wù)在執(zhí)行待機狀態(tài)期間在該任務(wù)用地址空間中存儲的數(shù)據(jù)發(fā)生變化的處理負荷。
另外，根據(jù)本實施方式的任務(wù)管理系統(tǒng)300，即使是在數(shù)據(jù)中實際發(fā)生變化時，在不由特定的任務(wù)訪問該數(shù)據(jù)時，有時不能檢測到該數(shù)據(jù)變化，但是不由該任務(wù)訪問這樣的事情，同時該數(shù)據(jù)的變化，有時也對該數(shù)據(jù)的處理無影響。
亦即，根據(jù)本實施方式的任務(wù)管理系統(tǒng)300，可以只檢測有可能影響任務(wù)的處理的數(shù)據(jù)的變化。
另外，根據(jù)本實施方式的任務(wù)管理系統(tǒng)300，因為任務(wù)在執(zhí)行待機狀態(tài)期間在該任務(wù)用地址空間中存儲的數(shù)據(jù)發(fā)生變化這一事情可以在由該任務(wù)訪問該數(shù)據(jù)時以非常高的概率檢測出，所以檢測不到進而漏掉該任務(wù)的重要數(shù)據(jù)被非法地改寫或在存儲部320中存儲的數(shù)據(jù)隨意變化，而對使用該數(shù)據(jù)的該任務(wù)給予影響的可能性極小。
權(quán)利要求
1.一種任務(wù)管理系統(tǒng)，是在并行執(zhí)行多個任務(wù)的操作系統(tǒng)中的任務(wù)管理系統(tǒng)，其特征在于，包括執(zhí)行待機狀態(tài)變更部，其在把任務(wù)從執(zhí)行狀態(tài)變更為執(zhí)行待機狀態(tài)時，根據(jù)在該任務(wù)用地址空間中存儲的數(shù)據(jù)生成該任務(wù)的驗證符并存儲在驗證符存儲區(qū)域中；和執(zhí)行狀態(tài)變更部，其在把任務(wù)從執(zhí)行待機狀態(tài)變更為執(zhí)行狀態(tài)時，根據(jù)在該任務(wù)用地址空間中存儲的數(shù)據(jù)生成該任務(wù)的驗證符，對與在上述驗證符存儲區(qū)域中存儲的該任務(wù)的驗證符是否一致進行驗證。
2.根據(jù)權(quán)利要求1所述的任務(wù)管理系統(tǒng)，其特征在于，上述驗證符存儲區(qū)域存儲將上述任務(wù)用地址空間內(nèi)的規(guī)定地址范圍和上述任務(wù)的驗證符相關(guān)聯(lián)的記錄，上述執(zhí)行待機狀態(tài)變更部，對需要更新上述任務(wù)的驗證符的記錄中的上述任務(wù)的驗證符進行更新，存儲在上述驗證符存儲區(qū)域中。
3.根據(jù)權(quán)利要求2所述的任務(wù)管理系統(tǒng)，其特征在于，上述驗證符存儲區(qū)域存儲將上述規(guī)定地址范圍和上述任務(wù)的驗證符以及有效標志相關(guān)聯(lián)的記錄，上述執(zhí)行待機狀態(tài)變更部將上述有效標志設(shè)定為偽值的記錄判斷為需要更新上述任務(wù)的驗證符的記錄，更新該記錄中的上述任務(wù)的驗證符，存儲在上述驗證符存儲區(qū)域中。
4.根據(jù)權(quán)利要求2所述的任務(wù)管理系統(tǒng)，其特征在于，上述執(zhí)行待機狀態(tài)變更部將上述任務(wù)的驗證符規(guī)定期間沒有被更新的記錄判斷為需要更新上述任務(wù)的驗證符的記錄，更新該記錄中的上述任務(wù)的驗證符，存儲在上述驗證符存儲區(qū)域中。
5.根據(jù)權(quán)利要求1至4中任意一項所述的任務(wù)管理系統(tǒng)，其特征在于，上述執(zhí)行待機狀態(tài)變更部以及上述執(zhí)行狀態(tài)變更部將通過把在上述任務(wù)用地址空間中存儲的數(shù)據(jù)輸入到安全雜亂函數(shù)或者可逆編碼函數(shù)中而計算出來的數(shù)據(jù)作為上述任務(wù)的驗證符。
6.根據(jù)權(quán)利要求2到4中任意一項所述的任務(wù)管理系統(tǒng)，其特征在于，上述執(zhí)行待機狀態(tài)變更部以及上述執(zhí)行狀態(tài)變更部，在上述規(guī)定地址范圍比規(guī)定閾值小時，將通過把在上述任務(wù)用地址空間中存儲的數(shù)據(jù)輸入到可逆編碼函數(shù)中而計算出來的數(shù)據(jù)作為上述任務(wù)的驗證符；在上述規(guī)定地址范圍比規(guī)定閾值大時，將通過把在上述任務(wù)用地址空間中存儲的數(shù)據(jù)輸入到安全雜亂函數(shù)中而計算出來的數(shù)據(jù)作為上述任務(wù)的驗證符。
7.根據(jù)權(quán)利要求2到4中任意一項所述的任務(wù)管理系統(tǒng)，其特征在于，包括訪問檢測部，其對在特定的上述記錄中的規(guī)定地址范圍內(nèi)存儲的數(shù)據(jù)曾被訪問，進行檢測。
8.根據(jù)權(quán)利要求7所述的任務(wù)管理系統(tǒng)，其特征在于，上述任務(wù)用地址空間以分頁方式管理，上述訪問檢測部，在檢測到在包含上述特定的記錄中的規(guī)定地址范圍的頁面內(nèi)存儲的數(shù)據(jù)曾被訪問時，發(fā)生頁面錯誤。
9.根據(jù)權(quán)利要求8所述的任務(wù)管理系統(tǒng)，其特征在于，包括驗證部，其在發(fā)生上述頁面錯誤時，在包含該頁面錯誤發(fā)生的地址附近的規(guī)定地址范圍的記錄中，進行關(guān)于上述任務(wù)的驗證符的上述驗證。
全文摘要
在任務(wù)處于執(zhí)行待機狀態(tài)的期間中、在該任務(wù)的任務(wù)用地址空間中存儲的數(shù)據(jù)中檢測出會對該任務(wù)處理給予影響的變化。本發(fā)明的任務(wù)管理系統(tǒng)(210)具有執(zhí)行待機狀態(tài)變更部和執(zhí)行狀態(tài)變更部，該執(zhí)行待機狀態(tài)變更部在把任務(wù)從執(zhí)行狀態(tài)變更到執(zhí)行待機狀態(tài)時，根據(jù)在該任務(wù)用地址空間中存儲的數(shù)據(jù)，生成該任務(wù)的驗證符并存儲在驗證符存儲區(qū)域(223)中；該執(zhí)行狀態(tài)變更部在把任務(wù)從執(zhí)行待機狀態(tài)變更到執(zhí)行狀態(tài)時，根據(jù)在該任務(wù)用地址空間(122－1～122－n)中存儲的數(shù)據(jù)，生成該任務(wù)的驗證符并驗證是否與在上述驗證符存儲區(qū)域(223)中存儲的該任務(wù)的驗證符一致。
文檔編號G06F9/46GK1716208SQ20051008046
公開日2006年1月4日 申請日期2005年7月1日 優(yōu)先權(quán)日2004年7月2日
發(fā)明者江頭徹, 稻村雄, 竹下敦 申請人:株式會社Ntt都科摩