用於驗證環境狀態的系統的製作方法

2023-05-31 00:52:21 2

專利名稱：用於驗證環境狀態的系統的製作方法
技術領域：
本發明涉及用於驗證環境狀態的系統。
背景技術：
在其中多個實體(例如應用、過程、服務等)請求與資源管理器(提供存取資源)關聯的資源的(對實體可用的項)操作(例如讀和刪除)的環境中，典型地提供用於驗證環境狀態的系統。在各實體完成後，系統幫助確定是否存在與一個或更多的實體、操作、資源和資源管理器等相關聯的問題。
現在將參考圖1描述這樣的環境(100)的例子，其中環境(100)支持多個應用(105，110)。環境(100)包括具有關聯的資源(120)(在此情形是文件)的資源管理器(115)。
首先，應用1(105)請求操作以通過經由資源管理器(115)發送操作到文件來刪除全部文件。發送操作後，應用1(105)發送狀態通信到應用2(110)。狀態通信給環境中的其它實體(在此情形是應用2(110))提供關於已經請求的操作並進而因此和方式的信息，在該方式已產生狀態通信(在此情形是應用1(105))的實體應該已經影響了環境(在此情形中，信息通知應用2(110)已經請求關於全部文件的刪除操作)。不是在操作前就是在操作後可以發送狀態通信被請求並且由每個實體發送到環境中的所有其它實體(此情形中，應用2(110)請求文件的操作之後，也將狀態通信發送到應用1(105))。
一旦應用2(110)接收狀態通信，預測機制就使用該信息預測環境狀態。該預測能包括預測其中操作應當已完成(在此情形中，由應用1(105)發送的操作)的方式，預測在操作已完成後資源的狀態，預測其中資源管理器應當處理操作的方式等。
例如，如果應用2(110)現在發送複製操作以便複製全部文件，因為根本不應該存在文件，所以預測機制使用狀態通信中的信息以預測複製操作應該失敗。
一旦所有實體完成，驗證部件使用環境狀態預測作為相對實際環境狀態的檢查，以便驗證實際狀態。如果存在差異，環境中的問題已經發生並且進而可執行問題分析，以便確定有關問題的更多細節(例如問題的原因等)。
儘管以上描述的系統幫助確定問題，但存在附屬的缺點。例如，狀態通信機制貢獻了環境中的性能開銷，由於如果有大量的實體，需要發送幾個關聯狀態通信。同樣，在每一個將導致大量數據傳送的狀態通信中能包括額外的信息(例如由操作產生)。而且，當涉及大量的實體時，預測機制變得複雜。
因此，需要允許驗證環境狀態的改進系統。

發明內容
因此，本發明提供一種用於包括至少兩個資源管理器的環境中的系統，其中至少兩個資源管理器的每一個具有關聯的資源；多個實體，其中多個實體的每一個請求在關聯資源的每一個上操作，該系統包括比較部件，響應多個實體的完成，用於比較所述至少兩個資源管理器的每一個的對應方面；匹配部件，響應比較裝置，用於確定對應方面是否匹配；以及驗證部件，響應成功的確定，用於驗證環境狀態；其中至少兩個資源管理器是異類產品。
優選地，匹配部件確定對應方面是否等效。優選地，系統還包括第一錯誤響應產生部件，響應不成功的確定，用於產生錯誤響應。
在一實施例中，對應方面是資源的內容。在另一實施例中，對應方面是響應接收操作請求的、至少兩個資源管理器發送的響應。在後一實施例中，優選地，在操作比較部件前，系統還包括用於檢查是否已發送響應的檢查響應部件。優選地，如果檢查不成功，系統還包括用於產生錯誤響應的第二錯誤響應產生部件。
在一實施例中，比較部件還包括解析部件和進一步匹配部件。在另一實施例中，比較部件還包括解析部件、查找部件和進一步匹配部件。
有利的是，通過提供作為異類產品的資源管理器，本發明增加驗證環境狀態的可靠性。有利的是，本發明支持其中多個實體能操作資源的環境，並且其中能驗證環境狀態而沒有複雜的和作為開銷的狀態通信機制。


現在僅通過例子參照其優選實施例描述本發明，如以下

地
圖1是現有技術系統的總覽圖，其中多個實體操作資源；圖2是依據本發明的環境總覽圖，該環境允許多個實體在至少兩個異類資源管理器上操作資源；圖3是顯示涉及允許驗證圖2的環境的過程的操作步驟的流程圖；以及圖4是顯示涉及圖3的方法的一實施例的操作步驟的流程圖。
具體實施例方式
參考圖2，顯示包括至少兩個資源管理器的環境(200)——在這個例子中，存在兩個資源管理器(205，210)。兩個資源管理器(205，210)是異類產品。例如，一個資源管理器是Oracle(Oracle是Oracle公司的註冊商標)產品，而另一個資源管理器是IBM(IBM是International Business Machines公司的註冊商標)產品。例如只是目的，存在兩個子環境——包括請求在兩個資源管理器之一上操作的多個實體的第一子環境，以及包括請求在兩個資源管理器的另一個上操作的多個實體的第二子環境。
參考圖2和圖3，現在將描述本發明。兩個資源管理器的每一個包括資源，其中在兩個資源管理器中的資源是同樣的。在該例子中，資源是資料庫。系統(200)也包括多個實體(應用1(215)和應用2(220))。通過將一個或更多的操作發送(步驟300)到各資源，每一個實體請求在各資源上一個或更多的操作，其中每個操作發送兩次，即，經由第一資源管理器(205)(也就是一次)和經由第二資源管理器(也就是兩次)。
一旦全部實體完成，比較部件將一個資源管理器的方面與另一資源管理器的對應方面比較(步驟305)。結果提供給匹配部件，然後提供給使用它們以驗證子環境狀態的驗證部件。
因為各資源開始是同樣的，實體在各資源上應有相同的效應，並且完成實體後的子環境狀態應該相同。
因此，如果匹配部件發現各方面不匹配(由此術語匹配也包括「模糊匹配」或等效(equivalence))或不等效(對步驟310的否定結果)，來自比較部件的結果發送到驗證部件，並且它確定在各實體已經完成後的子環境狀態是不同的。因此，存在至少一個子環境的問題(即可以存在一個或另一個或兩個子環境的問題)。例如，可以存在下面一個或更多的問題實體、操作、資源管理器、資源等。可選擇地，錯誤響應產生部件產生錯誤響應(步驟315)。
現在，可選擇地，可執行問題分析過程，以便確定問題原因等。因此可見，本發明可用執行問題分析的現有技術工作。或者，迄今來自過程的信息可「傾倒(dump)」到文件或在報告中列印出來以幫助深入的問題分析。
現在過程轉到步驟320，這裡進行關於是否重複過程的確定。響應步驟320的肯定結果，過程轉到步驟300，其中發送更多的操作並且重複過程。響應步驟320的否定結果，過程結束。
如果匹配部件發現各方面匹配或等效(對步驟310的肯定結果)，來自比較部件的結果發送到驗證部件，其確定在實體已經完成後的子環境狀態相同。因此已驗證請求操作後的子環境狀態。接著，過程轉到步驟320(如以上描述的)。
參考圖3，現在將描述例子，其中要比較的各資源管理器的各方面是資料庫的內容。在該例子中，資料庫的第4登錄項的開始值是5。首先，應用1(215)請求(步驟300)在由第一資源管理器(205)保存的資料庫上以及在由第二資源管理器(210)保存的資料庫上的操作(例如乘法操作——「以2乘第4登錄項」)。應用2(220)也請求(步驟300)在由第一資源管理器(205)保存的資料庫上以及在由第二資源管理器(210)保存的資料庫上的操作(例如減法操作——「從第4登錄項減去4」)。
在各應用完成後，現在過程轉到步驟305，其中資料庫(也就是在資料庫中的第4登錄項)的內容由比較部件比較。在第一例子中，在由第一資源管理器(205)保存的資料庫中的第4登錄項的值是6，而在由第二資源管理器(210)保存的資料庫中的第4登錄項的值是7。因為在兩個異類的資源管理器(205，210)中的資料庫開始是同樣的，各實體在每一個資料庫上應當具有相同的效應(也就是在各登錄項完成後，登錄項應當匹配)。匹配部件確定各登錄項不匹配(對步驟310的否定結果)，因此驗證部件確定資料庫的狀態不同(因此子環境的狀態不同)。可選擇地，錯誤響應產生部件產生錯誤響應(步驟315)以指示存在與至少一個子環境關聯的問題。然後可執行進一步或未來的分析。現在過程轉到步驟320(如上所述)。
在第二個例子中，當執行比較部件(步驟305)時，結果是在由第一資源管理器(205)保存的資料庫中的第4登錄項的值是6，而在由第二資源管理器(210)保存的資料庫中的第4登錄項的值是6。在此情形，匹配部件確定資料庫中的各登錄項匹配(對步驟310的肯定結果)，並且在發送這些結果到驗證部件時，它確定資料庫的狀態相同(因此子環境的狀態相同)。因此已經驗證請求操作後的子環境的狀態，並且現在過程轉到步驟320(如上所述)。
現在參考圖4(和參考圖2)描述另一個例子，其中要比較的各方面是由資源管理器發送的響應。假定一旦登錄項請求在資源上的操作，就由每個資源管理器發送響應。首先，應用1(215)請求(步驟400)在由第一資源管理器(205)保存的資料庫上以及在由第二資源管理器(210)保存的資料庫上的操作(在此情形是移動操作——「移動第10行兩個空格」)。應用2(220)也請求(步驟400)在每個資料庫上的操作(在此情形是刪除操作——「刪除第8登錄項」)。
接著，過程等待(步驟405)來自每個資源管理器(205，210)的、對每個請求的操作的響應。對每個請求的操作，響應檢查部件確定是否已經由各資源管理器(205，210)發送了響應。如果沒有發送響應之一(對步驟410的否定結果)，那麼錯誤響應產生部件產生錯誤響應(步驟415)。對每個請求的操作，如果兩個響應都已經發送(對步驟410的肯定結果)，那麼現在過程轉到步驟420，其中對每個操作，從資源管理器(205，210)發送的響應由比較部件比較。在一個實施例中，比較部件包括解析每個響應的解析部件和進一步匹配部件，該進一步匹配部件確定來自解析部件的輸出是否匹配。
應當知道，比較部件可以其它方式工作。例如，由兩個異類資源管理器發送的響應可能不是同樣的，但可以是等效的，因此只是進一步匹配部件不合適。更合適的比較部件的一個例子包括解析部件、查找部件和進一步匹配部件，其中來自各資源管理器的等效響應在數據結構上互相關聯。當一個資源管理器發送第一響應時，解析部件解析它，並且查找部件在數據結構中查尋第一響應以找到關聯的等效響應。因此，當另一個資源管理器發送第二響應時，進一步匹配部件確定第二響應是否匹配由查找部件找到的等效響應。
在第一例子中，對於第一操作，當執行比較部件(步驟420)時，結果是第一響應是「已經移動第10登錄項」，以及第二響應是「沒有移動第10登錄項」。對於第二操作，第一響應是「已經刪除第8登錄項」，以及第二響應是「已經刪除第8登錄項」。匹配部件發現來自第一操作的響應不匹配(步驟425的否定結果)，並且當這些結果送給驗證部件時，它確定各資源管理器的狀態是不同的(因此子環境狀態不同)。
可選擇地，錯誤響應產生部件產生錯誤響應(步驟415)以指示操作與至少一子環境關聯的問題，並且現在過程轉到進行關於是否重複過程的確定的步驟430。響應步驟430的肯定結果，過程轉到步驟400。響應步驟430的否定結果，過程結束。
在第二個例子中，對於第一操作，當執行比較部件(步驟420)時，結果是第一響應是「已經移動第10登錄項」，以及第二響應是「已移動第10登錄項」。對於第二操作，第一響應是「已經刪除第8登錄項」，以及第二響應是「已經刪除第8登錄項」。匹配部件發現所有響應匹配(步驟425的否定結果)，並且當這些結果送給驗證部件時，它確定各資源管理器的狀態是相同的(因此子環境狀態是相同的)。因此已驗證操作請求之後的子環境狀態，並且現在過程轉到步驟430(如上述)。
有利的是，當與各資源管理器關聯的各方面不匹配或不等效時，該實施例提供「粗粒度(coarse grained)」機制，其提供開始警告。因此，可增加要求的處理量的、各資源自己的分析，可留到稍後的點。
本發明利用至少兩個異類的資源管理器，這增加了驗證的可靠性。如果利用同一資源管理器的至少兩副本，就增加了來自驗證的結果的錯誤的機會，因為同一資源管理器的各副本將包括相同的缺點和問題等。
在一個例子中，對於操作，如果確定由兩個或更多同樣的資源管理器發送的各響應匹配，這可能是因為在資源管理器的兩副本中存在的某個錯誤。例如，當操作特定登錄項時，甚至當登錄項包括數據時，資源管理器可總是發送「沒有發現數據」的響應。因此，當更新操作被發送到兩個或更多同樣的資源管理器的每一個上的電子數據表，以及當比較接收的響應時，它們將匹配。這將指示電子數據表(和子環境)的狀態相同。
可能出現其中沒有相同的方式完成操作的情形，這意味著電子數據表(和子環境)的狀態不相同。然而，接收的響應(也就是「沒有發現數據」)將匹配，指示狀態是相同的並且已經驗證狀態。這是不正確的結果。檢測該情形將是不容易的，因為要求一些資源管理器(以及特定的缺點和問題等)的知識。然而，當利用至少兩個不同類型的資源管理器時，該缺點不太可能發生，因為它們會包括相同的缺點和問題等的機會較小。
應當知道，驗證的健壯性(robustness)隨利用的異類資源管理器的數量增加而增加。在利用20個資源管理器的例子中，如果比較各資源管理器的對應方面以及如果大部分(如20個中有18個)結果匹配或等效，這就指示問題在於資源管理器，其已經關聯了錯誤的比較結果。因此，該機制允許在要更容易識別的環境中的可能的問題來源。
希望以相同順序請求在資源上來自多個實體的操作。在第一個例子中，在資源管理器(205，210)上的資料庫中保存的值是「3」。首先，應用1(215)將與第一資源管理器(205)關聯的資源值更新為「4」並且接收「值更新為4」的響應。其次，應用2(220)讀取與第二資源管理器(210)關聯的資源的值並且接收「值是3」的響應。接著，應用1(215)將與第二資源管理器(210)關聯的資源值更新為「4」並且接收「值更新為4」的響應。接著，應用2(220)讀取與第一資源管理器(205)關聯的資源的值並且接收「值是4」的響應。
對於每一操作，當比較已送出的響應時，發現由應用1(215)發送的操作的響應匹配，而由應用2(220)發送的操作的響應不匹配。儘管這指示至少一個資料庫的狀態是不正確的(以及因此至少一個子環境狀態是不正確的)，但錯誤的原因是請求操作的命令。
因此，需要防止發生錯誤的機制。現在描述一種這樣的機制，其中每一個實體按順序存取資源。例如，在一環境中包括兩資源，鎖定每一資源，直到應用1(215)已經完成請求在各資源上的操作。在應用1(215)已經完成後，於是只有應用2(220)可存取資源。因此，這將防止應用2(220)從序列讀取資源，因為應用1將一直對它發送操作並且因此將鎖定(第一和)第二資源。該機制典型地被實現為資源管理器的部分。
權利要求
1.一種用於包括至少兩個資源管理器的環境中的系統，其中至少兩個資源管理器的每一個具有關聯的資源；多個實體，其中多個實體的每一個請求在關聯資源的每一個上操作，該系統包括比較部件，響應多個實體的完成，用於比較所述至少兩個資源管理器的每一個的對應方面；匹配部件，響應比較裝置，用於確定對應方面是否匹配；以及驗證部件，響應成功的確定，用於驗證環境狀態；其中所述至少兩個資源管理器是異類產品。
2.根據權利要求1所述的系統，其中對應方面是資源的內容。
3.根據權利要求1所述的系統，其中對應方面是響應接收操作請求的、至少兩個資源管理器發送的響應。
4.根據權利要求3所述的系統，其中在操作比較部件前，所述系統還包括用於檢查是否已發送響應的響應檢查部件。
5.根據權利要求1所述的系統，還包括第一錯誤響應產生部件，響應不成功的確定，用於產生錯誤響應。
6.根據權利要求4所述的系統，還包括第二錯誤響應產生部件，響應不成功的檢查，用於產生錯誤響應。
7.根據前面任一權利要求所述的系統，其中比較部件還包括解析部件和進一步匹配部件。
8.根據權利要求1到6的任一所述的系統，其中比較部件還包括解析部件、查找部件和進一步匹配部件。
9.根據前面任一權利要求所述的系統，其中匹配部件確定對應方面是否等效。
全文摘要
一種在包括至少兩個資源管理器的環境中使用的系統，其中至少兩個資源管理器的每一個具有關聯資源。該環境也包括多個實體，其中多個實體的每一個請求在關聯資源的每一個上操作。該系統包括比較部件，響應多個實體的完成，用於比較所述至少兩個資源管理器的每一個的對應方面(例如資源的內容、由資源管理器發送的響應)；匹配部件，響應比較裝置，用於確定對應方面是否匹配；以及驗證部件，響應成功的確定，用於驗證環境狀態。所述至少兩個資源管理器是異類產品。
文檔編號G06F9/46GK1619497SQ20041005780
公開日2005年5月25日 申請日期2004年8月18日 優先權日2003年11月18日
發明者安德魯·D·克利夫頓 申請人:國際商業機器公司