專利名稱：信息處理系統(tǒng)、存儲裝置、信息處理裝置以及信息處理系統(tǒng)的控制方法
技術(shù)領(lǐng)域：
本發(fā)明涉及信息處理系統(tǒng)、存儲裝置、信息處理裝置以及信息處理系統(tǒng)的控制方法。
背景技術(shù)：
在共享存儲器與多個服務(wù)器等信息處理裝置連接而成的復(fù)合計算機系統(tǒng)(簇系統(tǒng))中，已知有一種在共享存儲器內(nèi)設(shè)置簇監(jiān)視用控制表，在構(gòu)成該復(fù)合計算機系統(tǒng)的各信息處理裝置間相互設(shè)定并管理表示其他的信息處理裝置正在動作的信息的復(fù)合計算機系統(tǒng)的構(gòu)成。另外，還已知一種構(gòu)成如下的復(fù)合計算機系統(tǒng):在共享存儲器與多個信息處理裝置連接而成的復(fù)合計算機系統(tǒng)中，構(gòu)成該復(fù)合計算機系統(tǒng)的共享存儲器與各信息處理裝置之間的通信借助共享存儲器的端口進行，將表示各端口的有效/無效的各I位控制存儲器設(shè)置在共享存儲器中。專利文獻1:日本特開平04 - 060750號公報

發(fā)明內(nèi)容
本發(fā)明的目的在于，提供一種在多個共享存儲裝置分別被多個信息處理裝置共享的信息處理系統(tǒng)中，能夠迅速判定各共享存儲裝置的在線狀態(tài)，有效地確保數(shù)據(jù)在各共享存儲裝置間的匹配性的構(gòu)成。根據(jù)實施例，共享存儲裝置將表示所儲存的數(shù)據(jù)的有效性的信息傳送給各信息處理裝置，經(jīng)由各信息處理裝置得到對各共享存儲裝置所儲存的數(shù)據(jù)的有效性進行表示的信息。另外，共享存儲裝置從各信息處理裝置獲得表示各信息處理裝置和各共享存儲裝置的在線狀態(tài)的信息，基于得到的信息，來判定在各個共享存儲裝置間是否可保證所儲存的數(shù)據(jù)的復(fù)用。本發(fā)明能夠提供一種在多個共享存儲裝置分別被多個信息處理裝置共享的信息處理系統(tǒng)中，能夠迅速判定各共享存儲裝置的在線狀態(tài)，有效地確保數(shù)據(jù)在各共享存儲裝置間的匹配性的構(gòu)成。


圖1是能夠作為實施例應(yīng)用的信息處理系統(tǒng)的系統(tǒng)構(gòu)成圖。圖2A是用于說明在圖1的信息處理系統(tǒng)可能產(chǎn)生的問題點的圖(其一)。圖2B是用于說明在圖1的信息處理系統(tǒng)中可能產(chǎn)生的問題點的圖(其二)。圖3是用于說明實施例的信息處理系統(tǒng)的構(gòu)成例的圖。圖4是在圖3所示的構(gòu)成例中用于針對在線寄存器的信息的傳送進行說明的圖。圖5A是用于說明在圖3所示的構(gòu)成例中數(shù)據(jù)有效標志的信息的傳送的圖。
圖5B是用于說明在圖3所示的構(gòu)成例中數(shù)據(jù)有效信息寄存器的信息的傳送的圖。圖6A是表示實施例中的復(fù)用保證檢驗電路的構(gòu)成例的電路圖(其一)。圖6B是表示實施例中的復(fù)用保證檢驗電路的構(gòu)成例的電路圖(其二)。圖7A是在實施例中用于對在線寄存器以及在線信息表的內(nèi)容變更后的情況的動作例進行說明的圖(其一)。圖7B是在實施例中用于對在線寄存器以及在線信息表的內(nèi)容變更后的情況的動作例進行說明的圖(其二)。圖7C是在實施例中用于對在線寄存器以及在線信息表的內(nèi)容變更后的情況的動作例進行說明的圖(其三)。圖8A是用于對在實施例中數(shù)據(jù)有效標志、數(shù)據(jù)有效寄存器以及數(shù)據(jù)有效信息表的內(nèi)容變更后的情況的動作例進行說明的圖(其一)。圖SB是用于對在實施例中數(shù)據(jù)有效標志、數(shù)據(jù)有效寄存器以及數(shù)據(jù)有效信息表的內(nèi)容變更后的情況的動作例進行說明的圖(其二)。圖SC是用于對在實施例中數(shù)據(jù)有效標志、數(shù)據(jù)有效寄存器以及數(shù)據(jù)有效信息表的內(nèi)容變更后的情況的動作例進行說明的圖(其三)。圖8D是用于對在實施例中數(shù)據(jù)有效標志、數(shù)據(jù)有效寄存器以及數(shù)據(jù)有效信息表的內(nèi)容變更后的情況的動作例進行說明的圖(其四)。圖9A是用于說明在實施例中進行復(fù)用保證檢驗的情況的動作例的圖(其一)。圖9B是用于說明在實施例中進行復(fù)用保證檢驗的情況的動作例的圖(其二)。圖9C是用于說明在實施例中進行復(fù)用保證檢驗的情況的動作例的圖(其三)。圖1OA是用于說明在實施例中進行復(fù)用保證恢復(fù)的情況的動作例的圖(其一)。圖1OB是用于說明在實施例中進行復(fù)用保證恢復(fù)的情況的動作例的圖(其二)。圖1OC是用于說明在實施例中進行復(fù)用保證恢復(fù)的情況的動作例的圖(其三)。圖1lA是用于說明在實施例中進行復(fù)用保證恢復(fù)的情況的其他動作例的圖(其—X圖1lB是用于說明在實施例中進行復(fù)用保證恢復(fù)的情況的其他動作例的圖(其二)。圖1lC是用于說明在實施例中進行復(fù)用保證恢復(fù)的情況的其他動作例的圖(其三)。圖12是用于說明在實施例中服務(wù)器執(zhí)行的動作流程的流程圖。圖13是用于說明在實施例中共享存儲器裝置執(zhí)行的動作流程的流程圖。圖14是用于說明在實施例中服務(wù)器所具有的功能的功能框圖。圖15是用于說明實施例中的共享存儲器裝置所具有的功能的功能框圖。圖16是用于說明實施例中的服務(wù)器整體的構(gòu)成例的框圖。圖17是用于說明實施例中的共享存儲器裝置整體的構(gòu)成例的框圖。
具體實施例方式以下進行本發(fā)明的實施例的說明。實施例1
實施例1涉及一種多個服務(wù)器和能夠由該多個服務(wù)器訪問的多個共享存儲器裝置相互連接的信息處理系統(tǒng)。在該信息處理系統(tǒng)中，各共享存儲器裝置被多個服務(wù)器共享。另外，在該信息處理系統(tǒng)中，使各共享存儲器裝置儲存的數(shù)據(jù)在多個共享存儲器裝置間相互一致。結(jié)果，即使在由于發(fā)生錯誤等而宕機的多個共享存儲器裝置中的任一個所儲存的數(shù)據(jù)無法使用的情況下，由于能夠使用與該數(shù)據(jù)一致的其他共享存儲器裝置儲存的數(shù)據(jù)，所以也能夠繼續(xù)該信息處理系統(tǒng)的動作。因此，提高了該信息處理系統(tǒng)的可靠性。在此，將使各共享存儲器裝置各自儲存的數(shù)據(jù)在多個共享存儲器裝置間相互一致的處理稱為“復(fù)用”，將被復(fù)用的數(shù)據(jù)相互一致的狀態(tài)得到保證的處理稱為“復(fù)用保證”。在實施例1中，通過使各服務(wù)器所具有的在線信息和各共享存儲器裝置所具有的數(shù)據(jù)有效標志的信息在各服務(wù)器以及各共享存儲器裝置間傳送，來將在線信息以及數(shù)據(jù)有效標志的信息匯集到各共享存儲器裝置中。而且，在各共享存儲器裝置中，基于匯集后的在線信息以及數(shù)據(jù)有效標志的信息，來檢驗復(fù)用保證的狀態(tài)是否被維持。在檢驗的結(jié)果是失去了復(fù)用保證的情況下，通過將作為其因素的服務(wù)器或者共享存儲器裝置從系統(tǒng)切離來進行退避處理，從而恢復(fù)復(fù)用保證的狀態(tài)。在此，各服務(wù)器所具有的在線信息是表示各服務(wù)器與多個共享存儲器裝置之間處于在線狀態(tài)，換言之是在線還是離線的信息。在此，在線狀態(tài)表示裝置彼此在物理上或者邏輯上相連接的狀態(tài)，離線狀態(tài)表示裝置彼此在物理上或者邏輯上未連接的狀態(tài)。各共享存儲器裝置所具有的數(shù)據(jù)有效標志是表示該共享存儲器裝置所儲存的數(shù)據(jù)在系統(tǒng)上有效還是無效的標志。該數(shù)據(jù)有效標志的值根據(jù)各服務(wù)器，或者根據(jù)共享存儲器裝置所具有的共享存儲器管理處理器(與圖15 —起后述)而設(shè)定。圖1表示了作為實施例1能夠應(yīng)用的信息處理系統(tǒng)的構(gòu)成例。該信息處理系統(tǒng)具有m臺服務(wù)器S — 1、...、S — a、...、S — m和η臺共享存儲器裝置M— 1、...、Μ — b、...、M — n (m、n分別為2以上的正整數(shù))，m臺服務(wù)器分別與η臺共享存儲器裝置分別連接成可通信。m臺服務(wù)器分別共享η臺共享存儲器裝置所儲存的數(shù)據(jù)。而且，m臺服務(wù)器能夠分別進行利用了 η臺共享存儲器裝置的、m臺服務(wù)器相互間的數(shù)據(jù)交互。另外，在η臺共享存儲器裝置之間復(fù)用各自所儲存的數(shù)據(jù)。在圖1的構(gòu)成中，當某個服務(wù)器將數(shù)據(jù)儲存(store)到共享存儲器裝置時，該服務(wù)器對η臺共享存儲器裝置分別同時傳送并儲存相同的數(shù)據(jù)。結(jié)果，在η臺共享存儲器裝置間進行數(shù)據(jù)的復(fù)用。另外，在某服務(wù)器從共享存儲器裝置進行數(shù)據(jù)的讀出(讀取:fetch)時，從η臺共享存儲器裝置中的任I臺讀出數(shù)據(jù)。如果在η臺共享存儲器裝置間進行數(shù)據(jù)的復(fù)用，并且復(fù)用保證被維持，則無論從η臺共享存儲器裝置中的哪I臺得到數(shù)據(jù)，都能夠得到相同的數(shù)據(jù)。在此，設(shè)想η臺共享存儲器裝置中的任I臺從各服務(wù)器離線的情況。即使在這樣的情況下，如果針對各個服務(wù)器，在線的共享存儲器裝置一致，則也能夠在該在線的共享存儲器裝置間進行數(shù)據(jù)的復(fù)用。另一方面，針對各個服務(wù)器，當在線的共享存儲器裝置不一致時，數(shù)據(jù)在共享存儲器裝置間不一致，產(chǎn)生數(shù)據(jù)的復(fù)用不能進行的情況。關(guān)于該情況，與圖2Α、圖2Β —起說明。圖2Α表示了 2臺服務(wù)器S — 1、S — 2共享2臺共享存儲器裝置Μ — 1、M— 2各自的數(shù)據(jù)的情況的系統(tǒng)構(gòu)成例。在此，如圖2A所示，對于服務(wù)器I而言，2臺共享存儲器裝置M — 1、M — 2雙方在線，對于服務(wù)器2而言，共享存儲器裝置M -1處于在線狀態(tài)，共享存儲器裝置M — 2處于離線狀態(tài)。在該圖中，實線表示在線狀態(tài)，虛線表示離線狀態(tài)(以下同樣)。即，該情況下，服務(wù)器S — I在線的共享存儲器裝置是M — 1、M —2，與此相對，服務(wù)器S — 2在線的共享存儲器裝置僅是M — I，相互不一致。S卩，在服務(wù)器S — 1、S — 2之間相對于共享存儲器裝置M — 1、M — 2的在線狀態(tài)不一致。該狀態(tài)下，例如如圖2A所示，服務(wù)器S -1向共享存儲器裝置M — I所具有的共享存儲器Me -1的地址a儲存數(shù)據(jù)X。由于如上所述，對于服務(wù)器S — I而言，共享存儲器裝置M — 1、M — 2雙方在線，所以向共享存儲器裝置M — 1、M — 2雙方的共享存儲器Me —UMe-2的地址a儲存相同的數(shù)據(jù)X。結(jié)果，在共享存儲器裝置M — 1、M — 2間數(shù)據(jù)x被復(fù)用，服務(wù)器S — 1、S — 2的每一個無論訪問共享存儲器裝置M — 1、M — 2中的哪一個共享存儲器Me - UMe - 2的地址a，均能夠得到相同的數(shù)據(jù)X。接著，假設(shè)服務(wù)器S - 2向共享存儲器裝置M -1所具有的共享存儲器Me — I的地址a儲存數(shù)據(jù)I。如上所述，對于服務(wù)器S — 2而言，共享存儲器裝置M — I在線，但共享存儲器裝置M — 2離線。因此，在共享存儲器裝置M -1的共享存儲器Me — I的地址a中儲存數(shù)據(jù)1，但在共享存儲器裝置M - 2的共享存儲器Me - 2的地址a中未儲存數(shù)據(jù)y。結(jié)果，在共享存儲器裝置M - 2的共享存儲器Me - 2的地址a中維持儲存數(shù)據(jù)x的狀態(tài)。因此，對于服務(wù)器S — I而言，在訪問了在線的2臺共享存儲器裝置M — 1、M — 2各自的共享存儲器Me — 1、Me — 2的地址a的情況下，得到了數(shù)據(jù)x或者數(shù)據(jù)y這樣彼此不同的數(shù)據(jù)。這是因為如果從服務(wù)器S -1觀察，則共享存儲器裝置M — 1、M — 2各自儲存的數(shù)據(jù)相互不一致而引起的現(xiàn)象。另外，共享存儲器裝置M — 1、M — 2各自儲存的數(shù)據(jù)的不一致是因為在服務(wù)器S — 1、S — 2間共享存儲器裝置M — 1、M — 2的在線狀態(tài)不一致而導致的。在實施例1中，在服務(wù)器S — 1、S — 2間檢驗共享存儲器裝置M — 1、M — 2的在線狀態(tài)是否一致，如果不一致則將成為該不一致的因素的服務(wù)器或者存儲器裝置從系統(tǒng)切離。如此，在服務(wù)器S — 1、S — 2間使共享存儲器裝置M — 1、M — 2的在線狀態(tài)一致。結(jié)果，能夠防止數(shù)據(jù)在共享存儲器裝置M — 1、M — 2間不一致。將這樣從各服務(wù)器S — 1、S —2觀察，在共享存儲器裝置M — 1、M — 2間是否滿足數(shù)據(jù)一致所用的條件的驗證稱為“復(fù)用保證檢驗”。另外，將使上述復(fù)用保證檢驗的條件未得到滿足的狀態(tài)成為得到滿足的狀態(tài)稱為“復(fù)用保證恢復(fù)”。在圖2A、圖2B的例子的情況下，如上所述，在服務(wù)器S — 1、S — 2間，共享存儲器裝置M — 1、M — 2的在線狀態(tài)不一致。在這樣的狀況下，圖2B也如上所述，從各服務(wù)器S -1、S — 2觀察，可能在共享存儲器裝置M — 1、M — 2之間產(chǎn)生數(shù)據(jù)的不一致。因此，該情況下，復(fù)用保證的條件未得到滿足。在此，為了復(fù)用保證恢復(fù)，即為了從服務(wù)器S — 1、S — 2觀察在共享存儲器裝置M — 1、M — 2間不發(fā)生數(shù)據(jù)的不一致，只要使在服務(wù)器S — 1、S —2間相對于共享存儲器裝置M — 1、M — 2的在線狀態(tài)一致即可。例如，存在將共享存儲器裝置M— 2設(shè)為系統(tǒng)離線而切離的方法。在此，共享存儲器裝置的系統(tǒng)離線是指該共享存儲器裝置與系統(tǒng)中包含的所有服務(wù)器相離線。在圖2A、圖2B的例子的情況下，只要使服務(wù)器S — I與共享存儲器裝置M- 2之間離線即可。結(jié)果，共享存儲器裝置M- 2與服務(wù)器S — 1、S — 2雙方尚線，成為系統(tǒng)尚線。結(jié)果，服務(wù)器S — 1、S — 2各自相對于共享存儲器裝置M — 1、M — 2的在線狀態(tài)均變成“與共享存儲器裝置M — I在線，與共享存儲器裝置M - 2離線”，相互一致。在該狀態(tài)下，從服務(wù)器S — 1、S — 2分別進行觀察，不會發(fā)生共享存儲器裝置M — I的數(shù)據(jù)的不一致。因此，實現(xiàn)了復(fù)用保證恢復(fù)。作為用于復(fù)用保證恢復(fù)的其他方法，存在使服務(wù)器S - 2從系統(tǒng)離線的方法。月艮務(wù)器的系統(tǒng)離線是指該服務(wù)器與系統(tǒng)所含的所有共享存儲器裝置相離線的狀態(tài)。即，使服務(wù)器S — 2從共享存儲器裝置M-2離線，結(jié)果，服務(wù)器S - 2與系統(tǒng)所含的2臺共享存儲器裝置M — 1、M — 2全部相離線，變成系統(tǒng)離線。這樣，通過將服務(wù)器S - 2設(shè)為系統(tǒng)離線，服務(wù)器S - 2無法訪問共享存儲器裝置M — 1、M — 2中的任一個，因此不會由于服務(wù)器S — 2的動作而在共享存儲器裝置M — 1、M — 2間發(fā)生數(shù)據(jù)的不一致。因此，從服務(wù)器S -1觀察，不會發(fā)生共享存儲器裝置M — UM - 2間的數(shù)據(jù)的不一致。從而，實現(xiàn)了復(fù)用保證恢復(fù)的狀態(tài)。鑒于該點，在實施例1中，將復(fù)用保證的條件設(shè)為“在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間，與共享存儲器裝置M — UM - 2的在線狀態(tài)一致”。通過如此設(shè)定，在如上所述服務(wù)器S - 2為系統(tǒng)離線的狀態(tài)下，如果除去系統(tǒng)離線的服務(wù)器S — 2，則剩余的服務(wù)器僅為服務(wù)器S — I。因此，滿足上述“在除了系統(tǒng)離線的服務(wù)器(S - 2)之外的服務(wù)器(S -1)間與共享存儲器裝置的在線狀態(tài)一致”這一條件，可實現(xiàn)復(fù)用保證恢復(fù)的狀態(tài)。另外，在實施例1中，優(yōu)選利用硬件來進行使在線信息和數(shù)據(jù)有效標志的信息在各服務(wù)器以及各共享存儲器裝置間傳送的動作以及復(fù)用保證檢驗的動作。這是因為，例如服務(wù)器與共享存儲器裝置之間的在線/離線控制被以微秒單位處理，與此相對，例如若利用軟件來進行復(fù)用保證檢驗，則因此會存在需要數(shù)毫秒的情況，與利用硬件來進行的情況相比,延遲較大。在此為了進行比較，設(shè)想以軟件進行復(fù)用保證檢驗等的情況。在此，假定能夠通過在服務(wù)器上運行的程序使任意的服務(wù)器或共享存儲器裝置動態(tài)地從系統(tǒng)離線/在線的系統(tǒng)。在該系統(tǒng)中，如果在短時間進行在線/離線的變更，則認為存在無法追隨軟件進行的復(fù)用保證檢驗的動作的情況。即，在軟件所進行的復(fù)用保證檢驗的動作結(jié)束的時刻已經(jīng)成為“具有復(fù)用保證”的狀態(tài)，與此相對，基于上述在線/離線的變更前的信息進行了基于軟件的復(fù)用保證檢驗的結(jié)果是，存在誤判定為“沒有復(fù)用保證”的情況。在這樣的情況下，存在基于該誤判定進行將本來無需從系統(tǒng)切離的裝置從系統(tǒng)切離(系統(tǒng)離線)這一誤動作的可能性。在實施例1中，通過利用硬件進行復(fù)用保證檢驗的動作等，能夠防止這樣的誤判定、誤動作。以下與附圖一起更詳細地對實施例1進行說明。圖3是用于說明實施例1涉及的信息處理系統(tǒng)所具有的功能的圖。如圖3所示，該信息處理系統(tǒng)與圖2A、2B同樣具有2臺服務(wù)器S — 1、S — 2以及2臺共享存儲器裝置Μ — 1、M — 2。而且，服務(wù)器S — US 一 2分別對共享存儲器裝置M — UM - 2的共享存儲器Me — 1、Me — 2各自所儲存的數(shù)據(jù)進行共享。此外，圖3中記載了包含2臺服務(wù)器S —
1、S — 2以及2臺共享存儲器裝置M — 1、M — 2的信息處理系統(tǒng)，但是信息處理系統(tǒng)所含的服務(wù)器S — US - 2的臺數(shù)不限于2臺，也可以如圖1所示為3臺以上。同樣，信息處理系統(tǒng)所含的共享存儲器裝置M — 1、M — 2的臺數(shù)不限于2臺，也可以如圖1所示為3臺以上。服務(wù)器S -1具有在線寄存器OR — I，服務(wù)器S - 2具有在線寄存器OR — 2。這些在線寄存器OR — 1、0R — 2各自具有與系統(tǒng)所含的所有共享存儲器裝置M — 1、M— 2的臺數(shù)相應(yīng)的位。在此，圖3中將“表示服務(wù)器a與共享存儲器裝置b之間的在線狀態(tài)的位”表示為Lab。在線寄存器OR — I儲存服務(wù)器S — I復(fù)用數(shù)據(jù)并向共享存儲器裝置M — I以及M — 2儲存時的數(shù)據(jù)的傳送目的地的共享存儲器裝置M — 1、M — 2的在線信息。另外，在線寄存器OR - 2也儲存服務(wù)器S - 2復(fù)用數(shù)據(jù)并向共享存儲器裝置M — 1、M — 2儲存時的數(shù)據(jù)的傳送目的地的共享存儲器裝置M — 1、M — 2的在線信息。即，服務(wù)器S — I在向共享存儲器裝置儲存數(shù)據(jù)時參照本裝置內(nèi)的在線寄存器OR — 1，對具有表示“在線”的“I”位的共享存儲器裝置分別傳送要儲存的數(shù)據(jù)。服務(wù)器S - 2也在向共享存儲器裝置儲存數(shù)據(jù)時，參照本裝置內(nèi)的在線寄存器OR — 2，對具有表示“在線”的“I”位的共享存儲器裝置分別傳送要儲存的數(shù)據(jù)。并且，服務(wù)器S — I具有數(shù)據(jù)有效信息寄存器ER — 1，服務(wù)器S — 2具有數(shù)據(jù)有效信息寄存器ER - 2。數(shù)據(jù)有效信息寄存器ER -1儲存系統(tǒng)所含的所有共享存儲器裝置M — 1、M — 2各自的數(shù)據(jù)有效標志EF — 1、EF — 2的值。數(shù)據(jù)有效信息寄存器ER — 2也儲存系統(tǒng)所含的所有共享存儲器裝置M — 1、M — 2各自的數(shù)據(jù)有效標志EF — 1、EF — 2的值。服務(wù)器S — 1、S — 2和共享存儲器裝置M — 1、M — 2借助接口(通信線路等)P —I P — 4分別連接，數(shù)據(jù)從服務(wù)器S — 1、S — 2對共享存儲器裝置M — 1、M — 2的儲存(store)動作以及讀出(fetch)動作包含所有經(jīng)由這些接口 P — I P — 4的指令以及數(shù)據(jù)的傳送動作。共享存儲器裝置M — UM- 2分別具有共享存儲器Me — 1、Me — 2。共享存儲器Me — I儲存從服務(wù)器S — 1、S — 2傳送來的數(shù)據(jù)。共享存儲器Me — 2也儲存從服務(wù)器S — 1、S — 2傳送來的數(shù)據(jù)。另外，共享存儲器裝置M — 1、M — 2具有數(shù)據(jù)有效標志EF —UEF- 2，數(shù)據(jù)有效標志EF — 1、EF — 2分別表示共享存儲器Me - UMe - 2所儲存的數(shù)據(jù)有效還是無效。并且，共享存儲器裝置M — I具有在線信息表OT — I，共享存儲器裝置M — 2具有在線信息表OT — 2。在線信息表OT -1按照各個服務(wù)器來儲存服務(wù)器S — 1、S — 2所具有的上述在線寄存器OR — 1、OR — 2的信息。在線信息表OT - 2也按照各個服務(wù)器來儲存服務(wù)器S — 1、S — 2所具有的上述在線寄存器OR — UOR- 2的信息。并且，共享存儲器裝置M -1具有數(shù)據(jù)有效信息表ET -1，共享存儲器裝置M -1具有數(shù)據(jù)有效信息表ET — 2。數(shù)據(jù)有效信息表ET -1儲存服務(wù)器S — I或者S — 2所具有的數(shù)據(jù)有效信息寄存器ER — I或者ER — 2的信息。數(shù)據(jù)有效信息表ET — 2儲存服務(wù)器S — I或者S — 2所具有的數(shù)據(jù)有效信息寄存器ER — I或者ER — 2的信息。并且，圖3所示的信息處理系統(tǒng)具有以下敘述的各功能。即，將共享存儲器裝置M -1所具有的數(shù)據(jù)有效標志EF -1的信息經(jīng)由接口 P — 1、P — 3分別傳送給服務(wù)器S —1、S —2，并分別儲存在服務(wù)器S — 1、S — 2的數(shù)據(jù)有效信息寄存器ER — 1、ER —2中。同樣，將共享存儲器裝置M - 2所具有的數(shù)據(jù)有效標志EF - 2的信息經(jīng)由接口 P — 2、P — 4分別傳送給服務(wù)器S — 1、S — 2,并分別儲存在服務(wù)器S — 1、S — 2的數(shù)據(jù)有效信息寄存器 ER — 1、ER — 2 中。另外，將服務(wù)器S — I所具有的在線寄存器0R — I的信息經(jīng)由接口 P — 1、P —2傳送給共享存儲器裝置M — 1、M — 2的在線信息表OT — 1、OT — 2并分別進行儲存。同樣，將服務(wù)器S - 2所具有的在線寄存器OR - 2的信息經(jīng)由接口 P — 3、P — 4傳送給共享存儲器裝置M — 1、M — 2的在線信息表OT — 1、OT — 2并進行儲存。并且，將服務(wù)器S -1所具有的數(shù)據(jù)有效信息寄存器ER -1的信息經(jīng)由接口 P -UP- 2分別傳送給共享存儲器裝置M — 1、M — 2的數(shù)據(jù)有效信息表ET - UET- 2，并進行儲存。同樣，將服務(wù)器S — 2所具有的數(shù)據(jù)有效信息寄存器ER — 2的信息經(jīng)由接口 P -
3、P — 4分別傳送給共享存儲器裝置M — 1、M — 2的數(shù)據(jù)有效信息表ET — 1、ET — 2，并進行儲存。因此，所有服務(wù)器S — US-2的在線寄存器OR— UOR- 2的信息都被復(fù)制到共享存儲器裝置M — I的在線信息表OT -1。同樣，所有服務(wù)器S — 1、S — 2的在線寄存器OR — 1、0R — 2的信息也被復(fù)制到共享存儲器裝置M - 2的在線信息表OT — 2。另外，所有共享存儲器裝置M — 1、M — 2的數(shù)據(jù)有效標志EF — 1、EF — 2的信息都被復(fù)制到服務(wù)器S — I的數(shù)據(jù)有效信息寄存器ER — I。同樣，所有共享存儲器裝置M — 1、M — 2的數(shù)據(jù)有效標志EF — 1、EF — 2的信息都被復(fù)制到服務(wù)器S - 2的數(shù)據(jù)有效信息寄存器ER —
2。并且，所有共享存儲器裝置M — 1、M — 2的數(shù)據(jù)有效信息寄存器ER — 1、ER — 2的信息都被復(fù)制到共享存儲器裝置M -1的數(shù)據(jù)有效信息表ET — I?；蛘?，所有共享存儲器裝置M — 1、M — 2的數(shù)據(jù)有效信息寄存器ER — 1、ER — 2的信息都被復(fù)制到共享存儲器裝置M - 2的數(shù)據(jù)有效信息表ET — 2。利用圖4至圖5B，與圖3 —起來說明上述的信息處理系統(tǒng)執(zhí)行的動作例。在圖4中，若作為例子而著眼于服務(wù)器S - 1，則首先服務(wù)器S -1的硬件監(jiān)視本裝置的在線寄存器OR — I。而且，如果檢測到在線寄存器OR — I所具有的任意位的值被變更，則將在線寄存器OR — I的信息(值)經(jīng)由接口 P — 1、P — 2分別傳送給共享存儲器裝置M — UM 一 2。共享存儲器裝置M — 1、M — 2分別接收從服務(wù)器S -1傳送來的在線寄存器OR -1的信息，向在線信息表OT — UOT — 2中分別儲存服務(wù)器S — I被分配的記錄(entry)(服務(wù)器I)。這樣，首先服務(wù)器S -1的在線寄存器OR — 1、OR — 2的信息被分別傳送給共享存儲器裝置M — 1、M— 2。下面，在圖5A中，作為例子而著眼于共享存儲器裝置M — 1，首先，共享存儲器裝置M — I的硬件監(jiān)視數(shù)據(jù)有效標志EF — I。而且，如果檢測到數(shù)據(jù)有效標志EF — I的位的值的變更，則經(jīng)由接口 P — 1、P — 3將數(shù)據(jù)有效標志EF -1的信息(值)分別傳送給服務(wù)器S — 1、S — 2。服務(wù)器S — 1、S — 2接收從共享存儲器裝置M -1傳送來的數(shù)據(jù)有效標志EF — I的信息，在數(shù)據(jù)有效信息寄存器ER — 1、ER — 2中，分別儲存到共享存儲器裝置M -1被分配的位(VI)。另外，在圖5B中，作為例子，服務(wù)器S— I的硬件監(jiān)視數(shù)據(jù)有效信息寄存器ER —I。其中，與圖5A—起如上所述，服務(wù)器S — I接收從共享存儲器裝置M — I傳送來的數(shù)據(jù)有效標志EF -1的信息，在數(shù)據(jù)有效信息寄存器ER -1中，儲存到共享存儲器裝置M — I被分配的位(VI)。結(jié)果，服務(wù)器S — I的硬件檢測數(shù)據(jù)有效信息寄存器ER — I的信息的變更，將數(shù)據(jù)有效信息寄存器ER -1的信息(值)經(jīng)由接口 P — 1、P — 2分別傳送給共享存儲器裝置M — 1、M — 2。共享存儲器裝置M — 1、M — 2接收從服務(wù)器S — I傳送來的數(shù)據(jù)有效信息寄存器ER -1的信息，分別儲存在數(shù)據(jù)有效信息表ET — 1、ET — 2中。同樣，服務(wù)器S — 2的硬件也檢測數(shù)據(jù)有效信息寄存器ER - 2的信息的變更，將數(shù)據(jù)有效信息寄存器ER - 2的信息(值)經(jīng)由接口 P — 3、P — 4分別傳送給共享存儲器裝置M — 1、M — 2。共享存儲器裝置M — 1、M — 2接收從服務(wù)器S - 2傳送來的數(shù)據(jù)有效信息寄存器ER — 2的信息，分別儲存在數(shù)據(jù)有效信息表ET — 1、ET — 2中。如此，所有共享存儲器裝置M — 1、M — 2的數(shù)據(jù)有效標志EF — 1、EF — 2的信息被分別傳送給各共享存儲器裝置M — 1、M — 2。與圖3 圖5B—起如上所述，如果檢測到在線寄存器OR — 1、0R —2的信息、數(shù)據(jù)有效標志EF — 1、EF — 2的信息的變更，則進行以下的動作。即，被檢測出變更的在線寄存器OR — 1、OR — 2的信息、數(shù)據(jù)有效標志EF — 1、EF — 2的信息分別被傳送給在線的服務(wù)器S — 1、S — 2、共享存儲器裝置M — 1、M — 2。而且，各共享存儲器裝置M — UM- 2的在線信息表OT — 1、OT — 2或者數(shù)據(jù)有效信息表ET — 1、ET — 2最終分別被更新。這樣，在各共享存儲器裝置M — 1、M — 2中匯集復(fù)用保證檢驗的動作所需要的信息。在此，在各共享存儲器裝置M — 1、M — 2中，由于各服務(wù)器與各存儲器裝置間的數(shù)據(jù)傳送需要時間，所以在檢測出在線信息表OT — 1、OT — 2或者數(shù)據(jù)有效信息表ET — 1、ET — 2的變更之后，等待經(jīng)過規(guī)定的延遲時間。而且，在經(jīng)過該規(guī)定的延遲時間、各服務(wù)器與各存儲器裝置間的數(shù)據(jù)傳送完成的時刻，各共享存儲器裝置M — 1、M — 2基于在線信息表OT — 1、0T — 2以及數(shù)據(jù)有效信息表ET -UET-2的信息分別進行復(fù)用保證檢驗。其中，在各服務(wù)器S — 1、S — 2中，當本裝置變成系統(tǒng)離線時，將本裝置所具有的數(shù)據(jù)有效寄存器ER — 1、ER — 2的信息(值)全部分別清零。另外，在各共享存儲器裝置M —UM- 2中，當本裝置變成系統(tǒng)離線時，將本裝置所具有的在線信息表OT — 1、0T — 2的信息(值)以及數(shù)據(jù)有效信息表ET - UET - 2的值分別全部清零。下面，與圖6A、圖6B—起來說明各共享存儲器裝置M — 1、M — 2進行復(fù)用保證檢驗的動作的復(fù)用保證檢驗電路212 (參照圖15)的構(gòu)成例。如圖6A所示，復(fù)用保證檢驗電路212具有針對共享存儲器裝置M -1進行檢驗的電路部分(I )、針對共享存儲器裝置M -
2進行檢驗的電路部分(2).....針對共享存儲器裝置M — η進行檢驗的電路部分(η)。另
夕卜，如圖6Β所示，復(fù)用保證檢驗電路212還具有檢驗各服務(wù)器S — I S — m是否系統(tǒng)離線的電路部分。上述圖6A的電路部分(I)具有針對服務(wù)器S -1進行檢驗的邏輯和電路即OR電路O — 11、針對服務(wù)器S — 2進行檢驗的OR電路O — 21、...、針對服務(wù)器S — m進行檢驗的電路部分O — ml。另外，電路部分(I)具有針對服務(wù)器S -1進行檢驗的邏輯積電路即AND電路A - 11、針對服務(wù)器S — 2進行檢驗的AND電路A — 21、...、針對服務(wù)器S — m進行檢驗的電路部分A — ml。還具有將OR電路O — 11 O — ml的輸出作為輸入的AND電路A — I — 1、將AND電路A — 11 A — ml的輸出作為輸入的AND電路A — I — 2。還具有將AND電路A — I 一 I以及A — I 一 2各自的輸出以及共享存儲器裝置M — I的數(shù)據(jù)有效標志的值作為輸入的OR電路O — I 一 I。同樣，上述圖6A的電路部分(2)具有針對服務(wù)器S -1進行檢驗的OR電路O —
12、針對服務(wù)器S - 2進行檢驗的OR電路O — 22.....針對服務(wù)器S — m進行檢驗的電路部
分O — m2。另外，電路部分(2)具有針對服務(wù)器S -1進行檢驗的AND電路A — 12、針對服務(wù)器S — 2進行檢驗的AND電路A — 22.....針對服務(wù)器S — m進行檢驗的電路部分A —
m2。還具有將OR電路O — 12 O — m2的輸出作為輸入的AND電路A — 2 — 1、將AND電路A — 12 A — m2的輸出作為輸入的AND電路A — 2 — 2。還具有將AND電路A — 2 —I以及A — 2 — 2各自的輸出以及共享存儲器裝置M-2的數(shù)據(jù)有效標志的值作為輸入的OR 電路 O — 2 — I。同樣，上述圖6A的電路部分(η)具有針對服務(wù)器S — I進行檢驗的OR電路O —
In、針對服務(wù)器S - 2進行檢驗的OR電路O — 2η.....針對服務(wù)器S — m進行檢驗的電路部
分O — mn。另外，電路部分(η)具有針對服務(wù)器S — I進行檢驗的AND電路A — In、針對服
務(wù)器S — 2進行檢驗的AND電路A — 2η.....針對服務(wù)器S — m進行檢驗的電路部分A —
mn。還具有將OR電路O — In O — mn的輸出作為輸入的AND電路A — η — 1、將AND電路A — In A — mn的輸出作為輸入的AND電路A — η — 2。還具有將AND電路A — η —I以及A — η — 2各自的輸出以及共享存儲器裝置M — η的數(shù)據(jù)有效標志的值作為輸入的OR 電路 O — η — I。還具有將OR電路O — I — 1、OR電路O — 2 — 1、...、OR電路O — η — I各自的
輸出作為輸入的NAND電路NA — I。并且，具有將對檢測出在線信息表或者數(shù)據(jù)有效信息表的內(nèi)容的變更時輸出的檢驗觸發(fā)賦予規(guī)定的延遲時間的定時器W — I的輸出和NAND電路NA — I的輸出作為輸入的AND電路A — O。另外，圖6Β的電路部分分別具有針對服務(wù)器S -1檢驗是否系統(tǒng)離線的OR電路
O- 10、針對服務(wù)器S — 2檢驗是否系統(tǒng)離線的OR電路O — 20、...、針對服務(wù)器S — m檢驗是否系統(tǒng)離線的OR電路O — m0。下面說明具有上述構(gòu)成的復(fù)用保證檢驗電路212的動作。首先，圖6B的電路部分
所含的OR電路O — 10被輸入在線信息表中的服務(wù)器S — I的記錄的值L11、L12.....Lln0
在服務(wù)器S -1為系統(tǒng)離線的情況下，由于針對各共享存儲器裝置M — 1、M — 2、...M — η全部離線，所以上述值L11、L12、...、Lln全部為O。結(jié)果，OR電路O — 10的輸出LlO為O。同樣，在服務(wù)器S - 2離線的情況下，OR電路O — 20的輸出L20為O、...，在服務(wù)器S — m離線的情況下，OR電路O — mO的輸出LmO為O。下面說明圖6A的電路部分(I)的動作。針對服務(wù)器S — I進行檢驗的OR電路0-11被輸入將上述服務(wù)器S -1系統(tǒng)離線的情況下為O的LlO反轉(zhuǎn)后的值和服務(wù)器S -1所涉及的在線信息LU。因此，如果服務(wù)器S — I系統(tǒng)離線則O — 11輸出1，如果服務(wù)器S — I不是系統(tǒng)離線，則若共享存儲器裝置M — I和服務(wù)器S — I在線則O — 11輸出1，若離線則O — 11輸出O。對于其他的OR電路O — 21、...、O — ml也同樣。S卩，如果相應(yīng)的服務(wù)器是系統(tǒng)離線則輸出1，如果不是系統(tǒng)離線，則若共享存儲器裝置M — I和該服務(wù)器在線則輸出I，若尚線則輸出O。而且，AND電路A — I — I僅在O — 11 O — ml中的全部輸出都為I的情況下才輸出1，如果任何一個為O則輸出O。在此，O — 11 O — ml全部的輸出為I的情況是共享存儲器裝置M—I相對于除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器均在線的情況。即，該情況下，服務(wù)器相對于共享存儲器裝置M—I的在線狀態(tài)是除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器均在線，因此相對于共享存儲器裝置M — I的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間，在線狀態(tài)一致。因此，僅當相對于共享存儲器裝置M — I的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間，在線狀態(tài)一致時，AND電路A — I — I才輸出I。在相同的電路部分(I)中針對服務(wù)器S -1進行檢驗的AND電路A — 11被輸入上述服務(wù)器S -1系統(tǒng)離線的情況下為O的LlO和服務(wù)器S -1所涉及的在線信息L11。因此，如果服務(wù)器S — I為系統(tǒng)離線則A — 11輸出0，如果服務(wù)器S — I不是系統(tǒng)離線，則若共享存儲器裝置M — I與服務(wù)器S — I在線則A — 11輸出I,若尚線則A — 11輸出O。
其他的AND電路A — 21.....A-ml也同樣。即，如果相應(yīng)的服務(wù)器為系統(tǒng)離線則輸出0，
如果不是系統(tǒng)離線，則若共享存儲器裝置M — I與該服務(wù)器在線則輸出1，若離線則輸出O。而且，對AND電路A — I — 2而言，由于所有輸入的值均被反轉(zhuǎn)，所以僅在A — 11 A — ml中的全部輸出為O的情況下才輸出1，如果任一個為I則輸出O。在此，A — 11 A — ml全部的輸出為O的情況是共享存儲器裝置M-1相對于除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器均離線的情況。即，該情況下，相對于共享存儲器裝置M—I的在線狀態(tài)是除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器離線，因此當相對于共享存儲器裝置M — I的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部的服務(wù)器間離線狀態(tài)一致時，AND電路A — I 一 2輸出I。因此，僅當相對于共享存儲器裝置M— I的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間尚線尚線狀態(tài)一致時，AND電路A —1 — 2輸出I。而且，OR電路O — I — I在共享存儲器裝置M — I的數(shù)據(jù)無效(VI = 0)，或者AND電路A —1 — 1的輸出為1，或者AND電路A —1 — 2的輸出為I的情況下輸出I。S卩，在共享存儲器裝置M — I的數(shù)據(jù)有效的情況下，僅當相對于共享存儲器裝置M — I的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間為在線或者離線而一致時，OR電路O — I 一I才輸出I。同樣，OR電路O — 2 — I在共享存儲器裝置M — 2的數(shù)據(jù)無效(V2 = 0)，或者AND電路A — 2 — 1的輸出為1，或者AND電路A — 2 — 2的輸出為I的情況下輸出I。S卩，在共享存儲器裝置M - 2的數(shù)據(jù)有效的情況下，僅當相對于共享存儲器裝置M - 2的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間為在線或者離線而一致時，OR電路O — 2 —I才輸出I。結(jié)果，作為否定的邏輯積電路的NAND電路NA — I僅在服務(wù)器相對于共享存儲器裝置M —I M — η中的除了數(shù)據(jù)無效的共享存儲器裝置之外的全部共享存儲器裝置的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間為在線或者離線而一致時才輸出O。因此，檢測出在線信息表或者數(shù)據(jù)有效信息表被更新，在規(guī)定的延遲時間后，進行以下的動作。SM又當相對于共享存儲器裝置M — I M — η中的、數(shù)據(jù)有效的全部共享存儲器裝置各自的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間在線狀態(tài)或者離線狀態(tài)一致時，從AND電路A — O輸出O。在此，相對于數(shù)據(jù)有效的全部共享存儲器裝置各自的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間一致的情況是滿足復(fù)用保證檢驗的條件。即，數(shù)據(jù)的復(fù)用所使用的共享存儲器裝置不包含數(shù)據(jù)無效的共享存儲器裝置。并且，也不包括與系統(tǒng)在線的全部服務(wù)器之間離線的共享存儲器裝置。因此，如上所述，相對于數(shù)據(jù)有效的全部共享存儲器裝置各自的在線狀態(tài)在除了系統(tǒng)離線的服務(wù)器之外的全部服務(wù)器間一致的情況是滿足復(fù)用保證檢驗的條件。因此，在AND電路A — O輸出I的情況下，意味著不滿足上述的復(fù)用保證檢驗條件，在實施例1中，作為AND電路A — O的輸出，以具有I的值的信號為觸發(fā)，使作為該條件未被滿足的因素的服務(wù)器或者共享存儲器裝置從系統(tǒng)離線。即，具有輸出了該信號的復(fù)用保證檢驗電路212的共享存儲器裝置對各服務(wù)器發(fā)行使作為未滿足上述條件的因素的服務(wù)器或者共享存儲器裝置從系統(tǒng)離線的指令。接收到該指令的服務(wù)器進行將相應(yīng)的服務(wù)器或者共享存儲器裝置從系統(tǒng)離線的動作。結(jié)果，作為上述條件未被滿足的因素的服務(wù)器或者共享存儲器裝置從系統(tǒng)切離，使得上述條件得到滿足。即，可實現(xiàn)進行了復(fù)用保證恢復(fù)的狀態(tài)。這樣，根據(jù)實施例1，在具有多個服務(wù)器和多個共享存儲器裝置的信息處理系統(tǒng)中，通過硬件在各裝置間分別傳送數(shù)據(jù)有效信息以及在線信息。而且，將數(shù)據(jù)有效信息以及在線信息匯集到各共享存儲器裝置。在各共享存儲器裝置中，基于匯集得到的信息通過硬件來進行復(fù)用保證檢驗，在判定為復(fù)用保證檢驗的條件未被滿足的情況下，決定成為因素的服務(wù)器或者共享存儲器裝置，服務(wù)器的硬件使該服務(wù)器或者共享存儲器裝置離線。結(jié)果，復(fù)用保證檢驗的條件得到滿足。這樣，能夠在不產(chǎn)生誤判定的情況下，通過高速地切離成為復(fù)用保證檢驗的條件未得到滿足的因素的裝置，來實現(xiàn)復(fù)用保證恢復(fù)完成的狀態(tài)。以下與圖7A 圖1lB —起來說明實施例1的信息處理系統(tǒng)的具體動作例。首先，與圖7A 圖7C—起來說明在線寄存器的信息(值)被變更了的情況的動作例。在此，設(shè)想包含m臺服務(wù)器和η臺共享存儲器裝置的信息處理系統(tǒng)。以下，Lab表示對服務(wù)器S - a與共享存儲器裝置M - b的在線狀態(tài)進行表示的在線信息。另外，Lab表示在服務(wù)器S — a的在線寄存器中與共享存儲器裝置M — b對應(yīng)的位。而且，Lab的“O”表示離線，〃1"表示在線。同樣，Lxb表示對服務(wù)器S - X與共享存儲器裝置M - b的在線狀態(tài)進行表示的在線信息，并且表示在服務(wù)器S - X的在線寄存器中與共享存儲器裝置M -b對應(yīng)的位，“O”表示離線，“ I”表示在線。圖7A表示初始狀態(tài)，服務(wù)器S - a為系統(tǒng)離線，服務(wù)器S — a以外的服務(wù)器與全部共享存儲器裝置在線。接著，將共享存儲器裝置M — b設(shè)為系統(tǒng)離線。結(jié)果，如圖7B所不，在服務(wù)器S — a以外的全部服務(wù)器S — 1、..、S — m的在線寄存器OR — 1、...、0R — m
中，與服務(wù)器M — b對應(yīng)的位(Lib.....Lmb)全部為O。并且在共享存儲器裝置M — b的
在線信息表OT — b中，全部值均被清零。結(jié)果，服務(wù)器S - a以外的全部服務(wù)器S — 1、..、S — m檢測到本裝置內(nèi)的在線寄
存器OR — 1.....0R-m的值被變更。而且如圖7C所示，服務(wù)器S — a以外的全部服務(wù)
器S — 1、..、S — m分別對在線的全部共享存儲器裝置、即共享存儲器裝置M — b以外的全
部共享存儲器裝置M — 1.....M — η傳送本裝置的在線寄存器OR — 1.....0R — m的值。
接收到在線寄存器的值的共享存儲器裝置M — b以外的各共享存儲器裝置M— 1.....M-
n根據(jù)該在線寄存器的值，分別更新本裝置的在線信息表OT - 1.....0T-η中與傳送源
的服務(wù)器對應(yīng)的記錄。結(jié)果，如圖7C所示，在離線的共享存儲器裝置M — b以外的全部共
享存儲器裝置M — 1.....M— η所具有的在線信息表OT — 1.....0T— η中，離線的服務(wù)
器S — a以外的各服務(wù)器S — 1、..、S — m所涉及的記錄中與共享存儲器裝置M — b對應(yīng)的位Lxb分別被從I變更成O。下面，與圖8A 圖8D —起來說明檢測到數(shù)據(jù)有效標志的變更時的動作例。在此，Vb表示共享存儲器裝置M — b的數(shù)據(jù)有效標志EF - b的值，“O”表示數(shù)據(jù)無效，“I”表示數(shù)據(jù)有效。圖8A表示初始狀態(tài)，服務(wù)器S - a以及共享存儲器裝置M — b分別為系統(tǒng)離線，
服務(wù)器S — a以外的全部服務(wù)器S — 1、..、S— m和共享存儲器裝置M — 1.....M—c在
線。另外，共享存儲器裝置M — I的數(shù)據(jù)有效標志EF — I是“1”，其他的全部共享存儲器裝置的數(shù)據(jù)有效標志是“O”。其中，離線的共享存儲器裝置M — b所具有的數(shù)據(jù)有效信息表ET — b所有的位均被清零。接著，如圖SB所示，共享存儲器裝置M — c的數(shù)據(jù)有效標志EF — c被從“O”變更到“I”。共享存儲器裝置M — c檢測出該數(shù)據(jù)有效標志EF — c的值的變更。而且，如圖SC所示，分別對在線的全部服務(wù)器即服務(wù)器S — a以外的所有服務(wù)器傳送本裝置內(nèi)的數(shù)據(jù)有效標志EF - c的值。接收到數(shù)據(jù)有效標志的傳送后的各服務(wù)器如圖8C所示，根據(jù)該數(shù)據(jù)有效標志的值，將在本裝置的數(shù)據(jù)有效信息寄存器中與傳送源的共享存儲器裝置M — c對應(yīng)的位分別變更成“I”。接著，如此更新了本裝置的數(shù)據(jù)有效信息寄存器后的、系統(tǒng)離線的服務(wù)器S — a以
外的所有服務(wù)器S — 1、..、S — m分別檢測該本裝置的數(shù)據(jù)有效信息寄存器ER — 1.....ER — m的變更。結(jié)果，如圖8D所示，系統(tǒng)離線的服務(wù)器S — a以外的所有服務(wù)器S — 1、..、S 一 m對在線的全部共享存儲器裝置，即系統(tǒng)離線的共享存儲器裝置M — b以外的全部共享
存儲器裝置M — 1.....M-c分別傳送本裝置的數(shù)據(jù)有效寄存器ER — 1.....ER — m的
值。從服務(wù)器接收到數(shù)據(jù)有效信息寄存器的值后的各共享存儲器裝置根據(jù)接收到的數(shù)據(jù)有效信息寄存器的值，分別更新本裝置的數(shù)據(jù)有效信息表中與傳送源的服務(wù)器對應(yīng)的位。即
如圖8D所示，共享存儲器裝置M - b以外的所有共享存儲器裝置M — 1.....M-c的數(shù)據(jù)
有效信息表ET — 1.....ET - c中與共享存儲器裝置M - c對應(yīng)的位Vc被從O變更到I。下面，與圖9A 圖9C 一起來說明復(fù)用保證檢驗的條件未被滿足的情況的動作例。如圖9A所示，信息處理系統(tǒng)具有m臺服務(wù)器S — 1、..、S — m和η臺共享存儲器裝置M —
1.....M — η。在圖9Α所示的初始狀態(tài)中，所有服務(wù)器和所有共享存儲器裝置分別在線，并
且所有的共享存儲器裝置的數(shù)據(jù)有效標志為“I”。其中，在該動作例的情況下，假設(shè)之后全部的數(shù)據(jù)有效標志、數(shù)據(jù)有效信息寄存器、數(shù)據(jù)有效信息表沒有被變更，在圖9Β、圖9C中省略了數(shù)據(jù)有效標志的表示。接著，由于未預(yù)期到的因素，服務(wù)器S - a與共享存儲器裝置M — b之間的通信線路(接口)因故障等而變成切斷狀態(tài)，成為離線。結(jié)果，如圖9B所示，在服務(wù)器S - a所具有的在線寄存器OR - a中，與共享存儲器裝置M — b對應(yīng)的位變成O。另外，在共享存儲器裝置M — b所具有的在線信息表中，服務(wù)器S - a所涉及的記錄(服務(wù)器a)所有的位均被清零。結(jié)果，服務(wù)器S —a檢測出在線寄存器OR —a的變更，如圖9C所示，將該在線寄存器OR — a的值分別傳送給離線的共享存儲器裝置M - b以外的全部共享存儲器裝置M -
1.....M— η。結(jié)果，在共享存儲器裝置M —b以外的全部共享存儲器裝置M — 1.....Μ-η 所具有的在線信息表OT — 1.....0T-η中，與傳送源的服務(wù)器S - a對應(yīng)的記錄被傳
送來的在線寄存器OR — a的值更新。結(jié)果，在共享存儲器裝置M — b以外的全部共享存儲
器裝置M — 1.....M — η所具有的在線信息表OT — 1.....0T-η中，在傳送源的服務(wù)器
S — a所涉及的記錄中，如圖9C所示，與共享存儲器裝置M — b對應(yīng)的位Lxb被從I變更到00如此接收到在線寄存器的值的傳送的、共享存儲器裝置M - b以外的全部共享存
儲器裝置M — 1.....M — η的上述復(fù)用保證檢驗電路212進行復(fù)用保證檢驗。在該共享存
儲器裝置M — b以外的全部共享存儲器裝置M — 1.....M — η所具有的在線信息表OT —
1.....0T-η中，在所有服務(wù)器S — 1、..、S — m間，相對于各共享存儲器裝置的在線狀
態(tài)不一致。具體如圖9C所示，相對于共享存儲器裝置M — b (Lxb)，僅服務(wù)器S — a離線(0)，其他的全部服務(wù)器S — 1、..、S — m在線(I)。因此，可知上述在線狀態(tài)的不一致的因素(復(fù)用保證檢驗的條件未得到滿足的因素)是共享存儲器裝置M — b以及服務(wù)器S - a。
即，在共享存儲器裝置M — b以外的全部共享存儲器裝置M — 1.....M — η所具有的在線
信息表OT — 1.....0T - η中，通過除去與共享存儲器裝置M — b對應(yīng)的值Lxb或者與服
務(wù)器S — a對應(yīng)的值，來消除上述不一致。如上所述，共享存儲器裝置M — b以外的全部共享存儲器裝置M — 1.....M — η
所具有的上述復(fù)用保證檢驗電路212檢測復(fù)用保證檢驗的條件未得到滿足的情況。結(jié)果，
作為一例，共享存儲器裝置M — b以外的全部共享存儲器裝置M — 1.....M — η對全部服
務(wù)器S — 1、..、S — m發(fā)行指示作為上述不一致的因素之一的共享存儲器裝置M — b離線的指令(圖10A)。所有服務(wù)器S — 1、..、S — m中的、共享存儲器裝置M — b已經(jīng)離線的服務(wù)器S —a以外的所有服務(wù)器根據(jù)該指令來使共享存儲器裝置M - b離線，并且將本裝置的在線寄
存器OR — 1.....0R-m中與共享存儲器裝置M — b對應(yīng)的位Llb.....Lmb變更成O (圖
10B)。另外，在與所有服務(wù)器相離線(系統(tǒng)離線)的共享存儲器裝置M - b的在線信息表OT - b中，與服務(wù)器S - a相關(guān)的記錄以外的全部記錄的所有位均被清零。結(jié)果，服務(wù)器S - a以外的所有服務(wù)器S — 1、..、S — m分別檢測出上述在線寄存
器OR — 1.....0R-m的變更，將在線寄存器OR — 1.....0R - m的值分別傳送給離線的
共享存儲器裝置M — b以外的所有共享存儲器裝置M — 1.....M — η (圖10C)。被傳送來
在線寄存器OR — 1.....0R-m的值后的共享存儲器裝置M — b以外的共享存儲器裝置
M — 1、...、M — η分別根據(jù)傳送來的在線寄存器OR — 1、...、OR — m的值,更新本裝置的
在線信息表OT - 1.....0T-η中各個傳送源的記錄。而且，如此接收到該在線寄存器的
值的傳送后的共享存儲器裝置M-b以外的所有共享存儲器裝置M —1.....M — η再次進
行復(fù)用保證檢驗。該情況下，如圖1OC所示，在共享存儲器裝置M — b以外的所有共享存儲器裝置
M- 1.....M — η的在線信息表OT — 1.....0T - η中，與共享存儲器裝置M — b對應(yīng)的
位Lxb全部變成O。即，表示共享存儲器裝置M — b為系統(tǒng)離線。該情況下，與上述的圖9C的情況相比較，相對于共享存儲器裝置M - b (Lxb)，包含服務(wù)器S - a的所有服務(wù)器S -
1、..、S — m為離線(O )，在所有服務(wù)器S — 1、..、S — m間相對于各共享存儲器裝置的在線狀態(tài)一致。結(jié)果，復(fù)用保證檢驗的條件被滿足，可實現(xiàn)進行了復(fù)用保證恢復(fù)的狀態(tài)。以上，與圖1OA 圖1OC—起說明了通過將作為復(fù)用保證檢驗的條件未被滿足的因素之一的共享存儲器裝置M-b切離來進行復(fù)用保證恢復(fù)的方法。下面，與圖1lA 圖1lC 一起來說明在上述的圖9C的狀態(tài)中復(fù)用保證檢驗的條件未得到滿足的情況下，通過切離作為共享存儲器裝置M — b以外的因素的服務(wù)器S — a來進行復(fù)用保證恢復(fù)的方法。其中，切離作為復(fù)用保證檢驗的條件未得到滿足的因素的服務(wù)器和共享存儲器裝置中的哪一個，可以根據(jù)來自外部的設(shè)定來決定。與同圖9C 一起如上述那樣，檢測到復(fù)用保證檢驗的條件未被滿足的共享存儲器
裝置M — b以外的全部共享存儲器裝置M— 1.....M — η進行以下的動作。即，共享存儲
器裝置M — b以外的全部共享存儲器裝置M —1.....M — η對包含服務(wù)器S-a的全部服
務(wù)器S — 1、..、S — m分別發(fā)行指示作為上述不一致的因素的服務(wù)器S - a離線的指令(圖11A)。接收到該指令的服務(wù)器S — 1、..、S — m中的服務(wù)器S — a分別使已經(jīng)離線的共享
存儲器裝置M — b以外的所有共享存儲器裝置M — 1.....M— η離線(圖11B)。結(jié)果，月艮
務(wù)器S — a所具有的在線寄存器OR — a所有的位均被清零。對于服務(wù)器S — a以外的所有服務(wù)器S — 1、..、S — m而言，由于本裝置處于上述指令的對象之外，所以分別廢棄該指
令。在此，離線了的共享存儲器裝置M— b以外的共享存儲器裝置M— 1.....M — η如此
檢測出與服務(wù)器S - a之間成為離線的狀態(tài)，分別更新本裝置的在線信息表OT — 1.....0T-η (圖11C)。具體而言，服務(wù)器S — a所涉及的記錄的所有位均被清零。另外，如此檢測到離線的共享存儲器裝置M - b以外的共享存儲器裝置M -
1.....M — η分別再次進行復(fù)用保證檢驗。該情況下，如圖1lC所示，在共享存儲器裝置
M-b以外的共享存儲器裝置Μ — 1.....Μ —η的在線信息表0Τ — 1.....0Τ —η中，和
圖9C的情況相比，與服務(wù)器S - a對應(yīng)的記錄的所有位均為O。這表示服務(wù)器S — a為系統(tǒng)離線。因此，在除了系統(tǒng)離線的服務(wù)器S — a之外的所有服務(wù)器間，相對于各共享存儲器裝置的離線狀態(tài)一致。從而復(fù)用保證檢驗的條件得到滿足，可實現(xiàn)進行了復(fù)用保證恢復(fù)的狀態(tài)。下面，與圖12 —起來說明實施例1的信息處理系統(tǒng)所含的各服務(wù)器執(zhí)行的動作的流程。在步驟S1、S2中，判定本裝置的在線寄存器的值是否發(fā)生了變更。在判定的結(jié)果是未發(fā)生變更的情況下(步驟S2的“否”)，進入步驟S4。在發(fā)生了變更的情況下，進入步驟S3。在步驟S3中，對定時器I設(shè)置第I規(guī)定的延遲時間并開始計時，進入步驟S4。在步驟S4中，判定設(shè)置后的定時器I是否由于經(jīng)過第I規(guī)定的延遲時間而超時。如果尚未經(jīng)過第I規(guī)定的延遲時間，沒有超時則進入步驟S6，如果已經(jīng)經(jīng)過第I規(guī)定的延遲時間而超時，則進入步驟S5。其中，在設(shè)置后的定時器I超時，且該超時一旦在步驟S4中被判定之后，直到定時器I被再次設(shè)置為止，步驟S4的判定結(jié)果為否。在步驟S5中，對在線的共享存儲器裝置傳送本裝置的在線寄存器的值，進入步驟S6。在步驟S6中，判定是否從共享存儲器裝置傳送來數(shù)據(jù)有效標志的值。如果沒有被傳送則進入步驟S11，如果被傳送了則進入步驟S7。在步驟S7中，利用傳送來的數(shù)據(jù)有效標志的值，來更新本裝置的數(shù)據(jù)有效信息寄存器，然后進入步驟S8。在步驟S8、S9中，判定本裝置的數(shù)據(jù)有效信息寄存器的值是否發(fā)生了變更。如果沒有發(fā)生變更則進入步驟SI I，如果發(fā)生了變更則進入步驟SlO。在步驟SlO中，對定時器2設(shè)置第2規(guī)定的延遲時間并開始計時，然后進入步驟S11。在步驟Sll中，判定設(shè)置后的定時器2是否由于第2規(guī)定的延遲時間的經(jīng)過而超時。如果尚未經(jīng)過第2規(guī)定的延遲時間、沒有超時，則返回到步驟SI，如果已經(jīng)經(jīng)過第2規(guī)定的延遲時間而超時，則進入步驟S12。其中，在設(shè)置后的定時器2超時、該超時一旦在步驟Sll被判定出之后，直到定時器2被再次設(shè)置之前，步驟Sll的判定結(jié)果為否。在步驟S12中，對在線的共享存儲器裝置傳送本裝置的在線寄存器的值，然后返回到步驟SI。下面，與圖13—起來說明實施例1的信息處理系統(tǒng)所含的各共享存儲器裝置執(zhí)行的動作的流程。在步驟S21、S22中，判定本裝置的數(shù)據(jù)有效標志的值是否發(fā)生了變更。如果沒有發(fā)生變更則進入步驟S24，如果發(fā)生了變更則進入步驟S23。在步驟S23中，對定時器21設(shè)置第I規(guī)定的延遲時間并開始計時，然后進入步驟S24。在步驟S24中，判定設(shè)置后的定時器21是否由于第I規(guī)定的延遲時間的經(jīng)過而超時。如果尚未經(jīng)過第I規(guī)定的延遲時間，沒有超時，則進入步驟S26，如果已經(jīng)經(jīng)過第I規(guī)定的延遲時間而超時，則進入步驟S25。其中，在設(shè)置后的定時器21超時、該超時一旦在步驟S24被判定出之后，直到定時器21被再次設(shè)置為止，步驟S24的判定結(jié)果為否。在步驟S25中，對在線的服務(wù)器傳送本裝置的數(shù)據(jù)有效標志的值，然后進入步驟S26。在步驟S26中判定是否從服務(wù)器傳送了在線寄存器的值。如果未傳送則進入步驟S30，如果被傳送則進入步驟S27。在步驟S27中，以傳送來的在線寄存器的值來更新本裝置的在線信息表，進入步驟S28。在步驟S28中判定本裝置的在線信息表是否發(fā)生了變更。如果未發(fā)生變更則進入步驟S30，如果發(fā)生了變更則進入步驟S29。在步驟S29中，對定時器22設(shè)置第2規(guī)定的延遲時間并開始計時，然后進入步驟S30。定時器22與圖6A所示的定時器W — I對應(yīng)。在步驟S30中，判定是否檢測到在線的服務(wù)器的離線。如果沒有檢測到離線則進入步驟S33，如果檢測到離線則進入步驟S31。在步驟S31中，對應(yīng)于該離線的檢測，更新本裝置的在線信息表，然后進入步驟S32。在步驟S32中，設(shè)置定時器22，進入步驟S33。在步驟S33中，判定是否從服務(wù)器傳送來數(shù)據(jù)有效信息寄存器的值。如果未被傳送則進入步驟S37，如果被傳送了則進入步驟S34。在步驟S34中，以傳送來的數(shù)據(jù)有效信息寄存器的值更新本裝置的數(shù)據(jù)有效信息表，進入步驟S35。在步驟S35中，判定本裝置的數(shù)據(jù)有效信息表的內(nèi)容是否發(fā)生了變更。如果沒有發(fā)生變更則進入步驟S37，如果發(fā)生了變更則進入步驟S36。在步驟S36中，對定時器22設(shè)置第2規(guī)定的延遲時間并開始計時，然后進入步驟S37。在步驟S37中，判定被設(shè)置的定時器22是否由于第2規(guī)定的延遲時間的經(jīng)過而超時。如果尚未經(jīng)過第2規(guī)定的延遲時間，未超時，則返回到步驟S21，如果已經(jīng)經(jīng)過第2規(guī)定的延遲時間而超時，則進入步驟S38。其中，在被設(shè)置的定時器22超時，該超時一旦在步驟S37被判定出之后，直到定時器22被再次設(shè)置之前步驟S37的判定結(jié)果為否。在步驟S38、S39中，進行復(fù)用保證檢驗。復(fù)用保證檢驗例如通過圖6A、圖6B所示的復(fù)用保證檢驗電路來進行。如果復(fù)用保證檢驗的結(jié)果是復(fù)用保證檢驗的條件得到了滿足(否)，則進入步驟S21，如果未得到滿足則進入步驟S40。在步驟S40中，當切離復(fù)用保證檢驗的條件未得到滿足的因素的裝置時，判定是否預(yù)先進行了切離服務(wù)器的設(shè)定。如果沒有預(yù)先進行切離服務(wù)器的設(shè)定，則進入步驟S42，如果預(yù)先進行了切離服務(wù)器的設(shè)定，則進入步驟S41。在步驟S41中，將切離復(fù)用保證檢驗的條件未得到滿足的因素的服務(wù)器(使其離線)的指令傳送給在線的服務(wù)器，然后返回到步驟S21。在步驟S42中，將切離復(fù)用保證檢驗的條件未被滿足的因素的共享存儲器裝置(使其離線)的指令傳送給在線的服務(wù)器，然后返回到步驟S21。與圖14一起來說明實施例1涉及的信息處理系統(tǒng)中含有的服務(wù)器S — I所具有的功能涉及的功能塊的構(gòu)成例。其中，對于實施例1的信息處理系統(tǒng)所含的其他服務(wù)器S —
2、...而言，分別具有與該服務(wù)器S— I同樣的構(gòu)成。服務(wù)器S — I具有共享存儲器裝置接口接收電路I 一 1、2 — 1.....在線寄存器
104、變更檢測電路105、定時器106、在線寄存器值送出電路107。共享存儲器裝置接口接
收電路I 一 1、2 — 1.....分別接收從在線的共享存儲器裝置傳送來的信息，對在線寄存器
104輸出表示與各個共享存儲器裝置的在線狀態(tài)的信號I 一 2、2 — 2、...。在線寄存器104與上述在線寄存器OR — 1、0R — 2、...對應(yīng)。變更檢測電路105對在線寄存器104所具有的值的變更進行檢測。定時器106與上述定時器I對應(yīng)，使將在線寄存器104的值向在線寄存器值送出電路107傳送的定時延遲第I規(guī)定的延遲時間，來緩和在線寄存器的值向共享存儲器裝置傳送的頻度。在線寄存器值送出電路107在變更檢測電路105檢測到在線寄存器104的值的變更時，將在線寄存器104的值向共享存儲器裝置傳送。多路復(fù)用器I 一12選擇向共享存儲器裝置傳送的信息。另外，服務(wù)器S — I具有選擇器I 一 3、2 — 3.....數(shù)據(jù)有效信息寄存器108、變更
檢測電路109、定時器110、數(shù)據(jù)有效信息寄存器值送出電路111、共享存儲器裝置傳送控制
部114。服務(wù)器S — I還具有多路復(fù)用器I 一 12、2 - 12.....以及共享存儲器裝置接口發(fā)
送電路I 一 13、2 — 13、...。選擇器I 一 3、2 — 3、...在共享存儲器裝置傳送控制部114的控制下，將從各個共享存儲器裝置接收到的指令、信息按各個指令、信息的種類而分配給不同的地址。數(shù)據(jù)有效信息寄存器108與上述數(shù)據(jù)有效信息寄存器ER - UER- 2、...對應(yīng)。變更檢測電路109檢測數(shù)據(jù)有效信息寄存器108所具有的值的變更。定時器110與上述定時器2對應(yīng)，使將數(shù)據(jù)有效信息寄存器108的值傳送給數(shù)據(jù)有效信息寄存器值送出電路111的定時延遲第2規(guī)定的延遲時間，來緩和數(shù)據(jù)有效寄存器的值向共享存儲器裝置傳送的頻度。數(shù)據(jù)有效信息寄存器值送出電路111在變更檢測電路109檢測到數(shù)據(jù)有效信息寄存器108的值的變更時，將數(shù)據(jù)有效信息寄存器108的值傳送給共享存儲器裝置。多路復(fù)用器I 一 12、2 -12,...在共享存儲器裝置傳送控制部114的控制下，選擇向各個共享存儲器裝置傳送的信息。共享存儲器裝置接口發(fā)送電路I 一 13、2 — 13、...基于在線寄存器104的內(nèi)容，對在線的共享存儲器裝置發(fā)送信息。服務(wù)器S — I還具有對該服務(wù)器整體進行管理的處理器即服務(wù)器管理處理器115。與圖15 —起來說明實施例1涉及的信息處理系統(tǒng)中含有的共享存儲器裝置M — I所具有的功能涉及的功能塊的構(gòu)成例。其中，對于實施例1涉及的信息處理系統(tǒng)所含的其他共享存儲器裝置M — 2、...，也分別具有與該共享存儲器裝置M -1同樣的構(gòu)成。共享存儲器裝置M -1具有服務(wù)器接口接收電路11 一 1、12 — 1.....選擇器11 一
3、12— 3、...、數(shù)據(jù)有效標志204、變更檢測電路205、定時器206、數(shù)據(jù)有效標志送出電路
207。共享存儲器裝置M — I還具有多路復(fù)用器11 - 15,12 一 15.....以及服務(wù)器接口發(fā)
送電路11 — 16、12 — 16、...。服務(wù)器接口接收電路11 — 1、12 — 1、...接收從各個服務(wù)器傳送來的信息，將對與各個服務(wù)器的在線狀態(tài)進行表示的信號11 一 2、12 — 2、...分別傳送給離線檢測電路218以及服務(wù)器接口發(fā)送電路11 - 16,12 - 16、...。選擇器11 一 3、12-3,...將從服務(wù)器接收到的指令、信息根據(jù)指令、信息的種類分配給不同的傳送目的地。數(shù)據(jù)有效標志204與上述數(shù)據(jù)有效標志EF - UEF 一 2、...對應(yīng)。變更檢測電路205檢測數(shù)據(jù)有效標志204的變更。定時器206與上述定時器21對應(yīng)，使將數(shù)據(jù)有效標志204的值向數(shù)據(jù)有效標志送出電路207傳送的定時延遲第I規(guī)定的延遲時間，來緩和數(shù)據(jù)有效標志204的值向服務(wù)器傳送的頻度。數(shù)據(jù)有效標志送出電路207在變更檢測電路205檢測到數(shù)據(jù)有效標志204的變更時，將數(shù)據(jù)有效標志204的值傳送給服務(wù)器。多路復(fù)用器11 -
15、12 — 15、...選擇向服務(wù)器傳送的信息。服務(wù)器接口發(fā)送電路11 — 16、12 — 16、...基于對與各個服務(wù)器的在線狀態(tài)進行表示的信號11 一 2、12 — 2、...，對在線的服務(wù)器發(fā)送信息。共享存儲器裝置M -1還具有離線檢測電路218、在線信息表208、數(shù)據(jù)有效信息表209、變更檢測電路210、定時器211、復(fù)用保證檢驗電路212、服務(wù)器/共享存儲器裝置切離指令生成電路213以及共享存儲器214。離線檢測電路218基于對與各個服務(wù)器的在線狀態(tài)進行表示的信號11 -2,12- 2、...，檢測服務(wù)器為離線的情況，根據(jù)該檢測結(jié)果來更新在線信息表208。在線信息表208與上述在線信息表OT — 1、0T — 2、...對應(yīng)。數(shù)據(jù)有效信息表209與上述數(shù)據(jù)有效信息表ET - UET 一 2、...對應(yīng)。變更檢測電路210檢測在線信息表208以及數(shù)據(jù)有效信息表209中的內(nèi)容的變更。定時器211與上述定時器22對應(yīng)，能夠使從各個服務(wù)器延遲傳送的在線寄存器的值、數(shù)據(jù)有效信息寄存器的值等等待第2規(guī)定的延遲時間，來開始復(fù)用保證檢驗電路212的動作。復(fù)用保證檢驗電路212具有圖6A、圖6B所示那樣的電路構(gòu)成，基于在線信息表208以及數(shù)據(jù)有效信息表209各自的內(nèi)容，判定復(fù)用保證檢驗的條件是否得到滿足。另外，在通過變更檢測電路211檢測到在線信息表208或者數(shù)據(jù)有效信息表209的變更后，復(fù)用保證檢驗電路212在基于定時器211的規(guī)定的延遲時間后，開始復(fù)用保證檢驗的動作。月艮務(wù)器/共享存儲器裝置切離指令生成電路213 (裝置切離指示發(fā)送部)在復(fù)用保證檢驗電路212發(fā)出了復(fù)用保證檢驗的條件未被滿足的判定時，根據(jù)外部設(shè)定來生成用于將復(fù)用保證檢驗的條件未被滿足的因素的服務(wù)器或者共享存儲器裝置切離的指令。而且，服務(wù)器/共享存儲器裝置切離指令生成電路213將生成的指令向服務(wù)器傳送。共享存儲器214與上述共享存儲器Me — l、Me — 2、...對應(yīng)。共享存儲器裝置M -1還具有共享存儲器裝置管理處理器217。共享存儲器裝置管理處理器217管理該共享存儲器裝置整體。與圖16 —起來說明實施例1涉及的信息處理系統(tǒng)所含的服務(wù)器S -1的整體的構(gòu)成例。其中，對于實施例1涉及的信息處理系統(tǒng)所含的其他服務(wù)器S — 2、...，也具有與該服務(wù)器S—I同樣的構(gòu)成。服務(wù)器S—I 具有系統(tǒng)控制器 501、多個 CPU (Central Processing Unit) 502 — O、
502 - 1.....主存儲控制裝置503、主存儲裝置504、信道處理裝置505、共享存儲器裝置控
制部507以及服務(wù)器管理處理器508。系統(tǒng)控制器501進行從CPU502 — O、502 — 1、...、信道處理裝置505以及共享存儲器裝置控制部507對主存儲控制部503的訪問控制、數(shù)據(jù)控制。CPU502 — O、502 — 1、...執(zhí)行從主存儲裝置504讀出的命令。信道處理裝置505控制輸入輸出裝置506與主存儲裝置504之間的數(shù)據(jù)傳送。輸入輸出裝置506可以包括例如顯示器、打印機、鍵盤、鼠標等。共享存儲器裝置控制部507進行主存儲裝置504與共享存儲器裝置之間的指令、數(shù)據(jù)的傳送。另外，共享存儲器裝置控制部507發(fā)揮例如圖14所示的功能塊的構(gòu)成中除了服務(wù)器管理處理器115之外的各個功能塊的功能。服務(wù)器管理處理器508與圖14的服務(wù)器管理處理器115對應(yīng)。與圖17—起來說明實施例1涉及的信息處理系統(tǒng)所含的共享存儲器裝置M — I的整體的構(gòu)成例。其中，對于實施例1涉及的信息處理系統(tǒng)所含的其他共享存儲器裝置M —
2、...，也具有與該共享存儲器裝置M-1同樣的構(gòu)成。共享存儲器裝置M -1具有輸入輸出控制部601 - 1,601 一 2.....構(gòu)成控制部
602、訪問起動部603、存儲器訪問控制部604、共享存儲器605以及共享存儲器裝置管理處理器606。輸入輸出控制部601 — 1、601 — 2、...控制與各個服務(wù)器的信息的輸入輸出。另外，輸入輸出控制部601 - 1、601 — 2、...與圖15所示的服務(wù)器接口接收電路11 一 1、12 - 1、選擇器11 - 3、12 - 3、多路復(fù)用器11 一 15,12 一 15以及服務(wù)器接口發(fā)送電路11 一 16、12 — 16對應(yīng)。構(gòu)成控制部602進行共享存儲器裝置、服務(wù)器的在線控制。另外，構(gòu)成控制部602發(fā)揮圖15所示的功能塊中除了服務(wù)器接口接收電路11 - 1、選擇器11 -
3、多路復(fù)用器11- 15及服務(wù)器接口發(fā)送電路11 - 16、共享存儲器裝置管理處理器217以及共享存儲器214之外的各個功能塊的功能。訪問起動部603控制來自多個服務(wù)器的指令的執(zhí)行順序。存儲器訪問控制部604進行對共享存儲器605的寫入(存儲)以及讀出(獲取)的控制。共享存儲器605與圖15的共享存儲器214對應(yīng)。共享存儲器裝置管理處理器606與圖15的共享存儲器裝置管理處理器217對應(yīng)。附圖標志說明:S — 1、S — 1、S — a、S — m:服務(wù)器(信息處理裝置)；M — 1、M —
2、M - b、M — c、M — η:共享存儲器裝置(共享存儲裝置);Me — UMe — 2,Me — b、Me — η:共享存儲器；0R -UOR- 2、OR — a、OR — m:在線寄存器；ER — 1、ER — 2、ER — a、ER —m:數(shù)據(jù)有效信息寄存器；EF — 1、EF — 2、EF — b、EF — c、EF — η:數(shù)據(jù)有效標志；0T — 1、OT - 2,OT - b、0T - η:在線信息表(整體在線信息儲存部);ΕΤ — UET 一 2,ET 一 b、ET —c:數(shù)據(jù)有效信息表(整體數(shù)據(jù)有效常用儲存部)；107:在線寄存器值送出電路(在線信息傳送部)；111:數(shù)據(jù)有效信息寄存器值送出電路(數(shù)據(jù)有效信息傳送部)；207:數(shù)據(jù)有效標志送出電路(個別數(shù)據(jù)有效信息傳送部);212:復(fù)用保證檢驗電路(復(fù)用保證檢驗部)；213:服務(wù)器/共享存儲器裝置切離指令生成電路213 (裝置切離指示發(fā)送部)。
權(quán)利要求
1.一種信息處理系統(tǒng),其特征在于,具有: 第I共享存儲裝置，其具有:傳送對要儲存的數(shù)據(jù)的有效性進行表示的個別數(shù)據(jù)有效信息的個別數(shù)據(jù)有效信息傳送部；儲存整體數(shù)據(jù)有效信息的整體數(shù)據(jù)有效信息儲存部；儲存第I個別在線信息和第2個別在線信息的整體在線信息儲存部；和基于所述整體數(shù)據(jù)有效信息儲存部以及所述整體在線信息儲存部儲存的信息，來判定在多個共享存儲裝置間是否可保證要儲存的數(shù)據(jù)的復(fù)用的復(fù)用保證檢驗部； 第2共享存儲裝置，其具有:傳送對要儲存的數(shù)據(jù)的有效性進行表示的個別數(shù)據(jù)有效信息的個別數(shù)據(jù)有效信息傳送部；儲存整體數(shù)據(jù)有效信息的整體數(shù)據(jù)有效信息儲存部；儲存第I個別在線信息和第2個別在線信息的整體在線信息儲存部；和基于所述整體數(shù)據(jù)有效信息儲存部以及所述整體在線信息儲存部儲存的信息，來判定在多個共享存儲裝置間是否可保證要儲存的數(shù)據(jù)的復(fù)用的復(fù)用保證檢驗部； 第I信息處理裝置，其具有:將所述第I共享存儲裝置傳送的所述個別數(shù)據(jù)有效信息和所述第2共享存儲裝置傳送的所述個別數(shù)據(jù)有效信息作為所述整體數(shù)據(jù)有效信息，傳送給所述第I及第2共享存儲裝置的整體數(shù)據(jù)有效信息傳送部；和將對與所述第I共享存儲裝置以及所述第2共享存儲裝置的在線狀態(tài)進行表示的所述第I個別在線信息，傳送給所述第I及第2共享存儲裝置的在線信息傳送部；以及 第2信息處理裝置，其具有:將所述第I共享存儲裝置傳送的所述個別數(shù)據(jù)有效信息和所述第2共享存儲裝置傳送的所述個別數(shù)據(jù)有效信息作為所述整體數(shù)據(jù)有效信息，傳送給所述第I及第2共享存儲裝置的整體數(shù)據(jù)有效信息傳送部；和將對與所述第I共享存儲裝置及所述第2共享存儲裝置的在線狀態(tài)進行表示的所述第2個別在線信息，傳送給所述第I及第2共享存儲裝置的在線信息傳送部。
2.根據(jù)權(quán)利要求1所述的信息處理系統(tǒng)，其特征在于， 所述復(fù)用保證檢驗部基于所 述整體數(shù)據(jù)有效信息儲存部儲存的整體數(shù)據(jù)有效信息所包含的與所述第I共享存儲裝置相關(guān)的個別數(shù)據(jù)有效信息和與所述第2共享存儲裝置相關(guān)的個別數(shù)據(jù)有效信息，來判定要儲存的數(shù)據(jù)為有效的共享存儲裝置； 基于所述整體在線信息儲存部儲存的整體在線信息所包含的所述第I個別在線信息以及所述第2個別在線信息，來判定所述第I以及第2信息處理裝置中與所述第I以及第2共享存儲裝置均為離線狀態(tài)的信息處理裝置； 基于所述第I個別在線信息以及所述第2個別在線信息，來判定在除了與所述第I以及第2共享存儲裝置均為離線狀態(tài)的信息處理裝置之外的全部信息處理裝置之間，相對于所述要儲存的數(shù)據(jù)為有效的共享存儲裝置各自的在線狀態(tài)是否為在線或離線而一致， 并且在所述第I共享存儲裝置以及所述第2共享存儲裝置中分別設(shè)定有裝置切離指示發(fā)送部，該裝置切離指示發(fā)送部為了在上述判定結(jié)果為不一致的情況下取得一致，將使所述第I及第2信息處理裝置以及上述第I及第2共享存儲裝置中的至少一個裝置離線的指示發(fā)送給所述第I以及第2信息處理裝置。
3.根據(jù)權(quán)利要求1所述的信息處理系統(tǒng)，其特征在于， 所述第I以及第2共享存儲裝置各自的所述個別數(shù)據(jù)有效信息傳送部在檢測出所述個別數(shù)據(jù)有效信息的變更時，將變更后的個別數(shù)據(jù)有效信息傳送給所述第I以及第2信息處理裝置，所述第I以及第2共享存儲裝置各自的所述整體數(shù)據(jù)有效信息儲存部在被從所述第I或者第2信息處理裝置傳送來所述整體數(shù)據(jù)有效信息時，儲存該整體數(shù)據(jù)有效信息， 所述第I以及第2共享存儲裝置各自的所述整體在線信息儲存部在被從所述第I信息處理裝置傳送來所述第I個別在線信息時，儲存該第I個別在線信息，在被從所述第2信息處理裝置傳送來所述第2個別在線信息時，儲存該第2個別在線信息， 所述第I以及第2共享存儲裝置各自的復(fù)用保證檢驗部在被傳送來所述整體數(shù)據(jù)有效信息的情況下、被傳送來所述第I或者第2個別在線信息的情況下、或者在檢測到第I或者第2信息處理裝置的離線的情況下，判定在多個共享存儲裝置間是否可保證要儲存的數(shù)據(jù)的復(fù)用。
4.一種存儲裝置，其特征在于，具有: 個別數(shù)據(jù)有效信息傳送部，其將對要儲存的數(shù)據(jù)的有效性進行表示的個別數(shù)據(jù)有效信息傳送給第I以及第2信息處理裝置； 整體數(shù)據(jù)有效信息儲存部，其將所述個別數(shù)據(jù)有效信息傳送部向所述第I以及第2信息處理裝置傳送了的所述個別數(shù)據(jù)有效信息進一步被所述第I以及第2信息處理裝置傳送后的所述個別數(shù)據(jù)有效信息和其他的存儲裝置的個別數(shù)據(jù)有效信息傳送部向所述第I以及第2信息處理裝置傳送了的其他的個別數(shù)據(jù)有效信息進一步被所述第I以及第2信息處理裝置傳送后的其他的個別數(shù)據(jù)有效信息，作為整體數(shù)據(jù)有效信息儲存； 整體在線信息儲存部，其儲存對所述第I信息處理裝置與存儲裝置以及所述其他的存儲裝置的在線狀態(tài)進行表示的第I個別在線信息和對所述第2信息處理裝置與所述存儲裝置以及所述其他的存儲裝置的在線狀態(tài)進 行表示的第2個別在線信息；以及 復(fù)用保證檢驗部，其基于所述整體數(shù)據(jù)有效信息儲存部以及所述整體在線信息儲存部儲存的信息，來判定在多個共享存儲裝置間是否可保證要儲存的數(shù)據(jù)的復(fù)用。
5.根據(jù)權(quán)利要求4所述的存儲裝置，其特征在于， 所述復(fù)用保證檢驗部基于所述整體數(shù)據(jù)有效信息儲存部儲存的整體數(shù)據(jù)有效信息所包含的與所述第I存儲裝置相關(guān)的個別數(shù)據(jù)有效信息和與所述第I存儲裝置相關(guān)的個別數(shù)據(jù)有效信息，來判定要儲存的數(shù)據(jù)為有效的存儲裝置， 基于所述整體在線信息儲存部儲存的整體在線信息所包含的所述第I個別在線信息以及所述第2個別在線信息，來判定所述第I以及第2信息處理裝置中與所述第I以及第2存儲裝置均為離線狀態(tài)的信息處理裝置， 基于所述第I個別在線信息以及所述第2個別在線信息，來判定在除了與所述第I以及第2共享存儲裝置均為離線狀態(tài)的信息處理裝置之外的全部信息處理裝置之間，相對于所述要儲存的數(shù)據(jù)為有效的共享存儲裝置各自的在線狀態(tài)是否為在線或者離線而一致，還具有為了在該判定的結(jié)果為不一致的情況下取得一致，將使所述第I及第2信息處理裝置以及上述第I及第2共享存儲裝置中的至少一個裝置離線的指示發(fā)送給所述第I以及第2信息處理裝置的裝置切離指示發(fā)送部。
6.根據(jù)權(quán)利要求4所述的存儲裝置，其特征在于， 所述個別數(shù)據(jù)有效信息傳送部在檢測到所述個別數(shù)據(jù)有效信息的變更時，將變更后的個別數(shù)據(jù)有效信息傳送給所述第I以及第2信息處理裝置， 所述整體數(shù)據(jù)有效信息儲存部在被從所述第I或者第2信息處理裝置傳送了所述整體數(shù)據(jù)有效信息時，儲存該整體數(shù)據(jù)有效信息， 所述整體在線信息儲存部在被從所述第I信息處理裝置傳送了所述第I個別在線信息時儲存該第I個別在線信息，在被從所述第2信息處理裝置傳送了所述第2個別在線信息時儲存該第2個別在線信息， 所述復(fù)用保證檢驗部在被傳送了所述整體數(shù)據(jù)有效信息的情況下、在被傳送了所述第I或者第2個別在線信息的情況下、或者在檢測到第I或者第2信息處理裝置的離線的情況下，判定在多個共享存儲裝置間是否可保證要儲存的數(shù)據(jù)的復(fù)用。
7.一種信息處理裝置，其特征在于，具有: 整體數(shù)據(jù)有效信息傳送部，其將對第I共享存儲裝置要傳送的該第I共享存儲裝置的數(shù)據(jù)的有效性進行表示的個別數(shù)據(jù)有效信息和對第2共享存儲裝置要傳送的該第I共享存儲裝置的數(shù)據(jù)的有效性進行表示的所述個別數(shù)據(jù)有效信息作為整體數(shù)據(jù)有效信息，傳送給所述第I以及第2共享存儲裝置；和 在線信息傳送部，其將對所述第I共享存儲裝置以及所述第2共享存儲裝置的在線狀態(tài)進行表示的個別在線信息傳送給所述第I以及第2共享存儲裝置。
8.—種信息處理系統(tǒng)的控制方法,其特征在于,具有: 第I共享存儲裝置的個別數(shù)據(jù)有效信息傳送部傳送對所述第I共享存儲裝置要儲存的數(shù)據(jù)的有效性進行表示的個別數(shù)據(jù)有效信息的步驟、向整體數(shù)據(jù)有效信息儲存部儲存整體數(shù)據(jù)有效信息的步驟、向整體在線信息儲存部儲存第I個別在線信息和第2個別在線信息的步驟、以及復(fù)用保證檢驗部基于所述整體數(shù)據(jù)有效信息儲存部以及所述整體在線信息儲存部儲存的信息來判定在 多個共享存儲裝置間是否可保證要儲存的數(shù)據(jù)的復(fù)用的步驟； 第2共享存儲裝置的個別數(shù)據(jù)有效信息傳送部傳送對所述第2共享存儲裝置要儲存的數(shù)據(jù)的有效性進行表示的個別數(shù)據(jù)有效信息的步驟、向整體數(shù)據(jù)有效信息儲存部儲存整體數(shù)據(jù)有效信息的步驟、向整體在線信息儲存部儲存第I個別在線信息和第2個別在線信息的步驟、以及復(fù)用保證檢驗部基于所述整體數(shù)據(jù)有效信息儲存部以及所述整體在線信息儲存部儲存的信息來判定在多個共享存儲裝置間是否可保證要儲存的數(shù)據(jù)的復(fù)用的步驟； 第I信息處理裝置的整體數(shù)據(jù)有效信息傳送部將所述第I共享存儲裝置傳送的所述個別數(shù)據(jù)有效信息和所述第2共享存儲裝置傳送的所述個別數(shù)據(jù)有效信息作為所述整體數(shù)據(jù)有效信息傳送給所述第I以及第2共享存儲裝置的步驟、在線信息傳送部將對所述第I共享存儲裝置以及所述第2共享存儲裝置的在線狀態(tài)進行表示的所述第I個別在線信息傳送給所述第I及第2共享存儲裝置的步驟；和 第2信息處理裝置的整體數(shù)據(jù)有效信息傳送部將所述第I共享存儲裝置傳送的所述個別數(shù)據(jù)有效信息和所述第2共享存儲裝置傳送的所述個別數(shù)據(jù)有效信息作為所述整體數(shù)據(jù)有效信息傳送給所述第I以及第2共享存儲裝置的步驟、在線信息傳送部將對所述第I共享存儲裝置以及所述第2共享存儲裝置的在線狀態(tài)進行表示的所述第2個別在線信息傳送給所述第I以及第2共享存儲裝置的步驟。
9.根據(jù)權(quán)利要求8所述的信息處理系統(tǒng)的控制方法，其特征在于， 所述復(fù)用保證檢驗部基于所述整體數(shù)據(jù)有效信息儲存部儲存的整體數(shù)據(jù)有效信息所包含的與所述第I共享存儲裝置相關(guān)的個別數(shù)據(jù)有效信息和與所述第I共享存儲裝置相關(guān)的個別數(shù)據(jù)有效信息，來判定要儲存的數(shù)據(jù)為有效的共享存儲裝置，基于所述整體在線信息儲存部儲存的整體在線信息所包含的所述第I個別在線信息以及所述第2個別在線信息，來判定所述第I以及第2信息處理裝置中與所述第I以及第2共享存儲裝置均為離線狀態(tài)的信息處理裝置， 基于所述第I個別在線信息以及所述第2個別在線信息，來判定在除了與所述第I以及第2共享存儲裝置均為離線狀態(tài)的信息處理裝置之外的全部信息處理裝置之間，針對所述要儲存的數(shù)據(jù)為有效的共享存儲裝置各自的在線狀態(tài)是否為在線或者離線而一致， 并且，為了在該判定結(jié)果為不一致的情況下取得一致，將使所述第I及第2信息處理裝置以及上述第I及第2共享存儲裝置中的至少一個裝置離線的指示發(fā)送給所述第I以及第2信息處理裝置。
10.根據(jù)權(quán)利要求8所述的信息處理系統(tǒng)的控制方法，其特征在于， 所述第I以及第2共享存儲裝置各自的所述個別數(shù)據(jù)有效信息傳送部在檢測到所述個別數(shù)據(jù)有效信息的變更時，將變更后的個別數(shù)據(jù)有效信息傳送給所述第I以及第2信息處理裝置， 所述第I以及第2共享存儲裝置各自的所述整體數(shù)據(jù)有效信息儲存部在被從所述第I或者第2信息處理裝置傳送來所述整體數(shù)據(jù)有效信息時，儲存該整體數(shù)據(jù)有效信息， 所述第I以及第2共享存儲裝置各自的所述整體在線信息儲存部在被從所述第I信息處理裝置傳送來所述第I個別在線信息時儲存該第I個別在線信息，在被從所述第2信息處理裝置傳送來所述第2個別在線信息時儲存該第2個別在線信息， 所述第I以及第2共享存儲裝置各自的復(fù)用保證檢驗部在被傳送來所述整體數(shù)據(jù)有效信息的情況下、被傳送來所述第I或者第2個別在線信息的情況下、或者在檢測到第I或者第2信息處理裝置的離線的情況下，判定在多個共享存儲裝置間是否可保證要儲存的數(shù)據(jù)的復(fù)用。
全文摘要
共享存儲裝置將表示要儲存的數(shù)據(jù)的有效性的個別數(shù)據(jù)有效信息傳送給第1以及第2信息處理裝置，將已向第1以及第2信息處理裝置傳送的個別數(shù)據(jù)有效信息進一步被第1以及第2信息處理裝置傳送后的個別數(shù)據(jù)有效信息和其他的共享存儲裝置的個別數(shù)據(jù)有效信息傳送部向第1以及第2信息處理裝置傳送了的其他個別數(shù)據(jù)有效信息進一步被第1以及第2信息處理裝置傳送后的其他個別數(shù)據(jù)有效信息儲存為整體數(shù)據(jù)有效信息，儲存對第1信息處理裝置與共享存儲裝置以及其他的共享存儲裝置的在線狀態(tài)進行表示的第1個別在線信息、對第2信息處理裝置與存儲裝置以及其他共享存儲裝置的在線狀態(tài)進行表示的第2個別在線信息，基于儲存的信息來判定在多個共享存儲裝置間是否可保證要儲存的數(shù)據(jù)的復(fù)用。
文檔編號G06F9/54GK103168291SQ201080069609
公開日2013年6月19日 申請日期2010年10月20日 優(yōu)先權(quán)日2010年10月20日
發(fā)明者佐野嘉彥 申請人:富士通株式會社