CN103168291A - 信息处理系统、存储装置、信息处理装置以及信息处理系统的控制方法 - Google Patents

Abstract

共享存储装置将表示要储存的数据的有效性的个别数据有效信息传送给第1以及第2信息处理装置，将已向第1以及第2信息处理装置传送的个别数据有效信息进一步被第1以及第2信息处理装置传送后的个别数据有效信息和其他的共享存储装置的个别数据有效信息传送部向第1以及第2信息处理装置传送了的其他个别数据有效信息进一步被第1以及第2信息处理装置传送后的其他个别数据有效信息储存为整体数据有效信息，储存对第1信息处理装置与共享存储装置以及其他的共享存储装置的在线状态进行表示的第1个别在线信息、对第2信息处理装置与存储装置以及其他共享存储装置的在线状态进行表示的第2个别在线信息，基于储存的信息来判定在多个共享存储装置间是否可保证要储存的数据的复用。

Description

信息处理系统、存储装置、信息处理装置以及信息处理系统的控制方法

技术领域

本发明涉及信息处理系统、存储装置、信息处理装置以及信息处理系统的控制方法。

背景技术

在共享存储器与多个服务器等信息处理装置连接而成的复合计算机系统（簇系统）中，已知有一种在共享存储器内设置簇监视用控制表，在构成该复合计算机系统的各信息处理装置间相互设定并管理表示其他的信息处理装置正在动作的信息的复合计算机系统的构成。

另外，还已知一种构成如下的复合计算机系统：在共享存储器与多个信息处理装置连接而成的复合计算机系统中，构成该复合计算机系统的共享存储器与各信息处理装置之间的通信借助共享存储器的端口进行，将表示各端口的有效／无效的各1位控制存储器设置在共享存储器中。

专利文献1:日本特开平04－060750号公报

发明内容

本发明的目的在于，提供一种在多个共享存储装置分别被多个信息处理装置共享的信息处理系统中，能够迅速判定各共享存储装置的在线状态，有效地确保数据在各共享存储装置间的匹配性的构成。

根据实施例，共享存储装置将表示所储存的数据的有效性的信息传送给各信息处理装置，经由各信息处理装置得到对各共享存储装置所储存的数据的有效性进行表示的信息。另外，共享存储装置从各信息处理装置获得表示各信息处理装置和各共享存储装置的在线状态的信息，基于得到的信息，来判定在各个共享存储装置间是否可保证所储存的数据的复用。

本发明能够提供一种在多个共享存储装置分别被多个信息处理装置共享的信息处理系统中，能够迅速判定各共享存储装置的在线状态，有效地确保数据在各共享存储装置间的匹配性的构成。

附图说明

图1是能够作为实施例应用的信息处理系统的系统构成图。

图2A是用于说明在图1的信息处理系统可能产生的问题点的图（其一）。

图2B是用于说明在图1的信息处理系统中可能产生的问题点的图（其二）。

图3是用于说明实施例的信息处理系统的构成例的图。

图4是在图3所示的构成例中用于针对在线寄存器的信息的传送进行说明的图。

图5A是用于说明在图3所示的构成例中数据有效标志的信息的传送的图。

图5B是用于说明在图3所示的构成例中数据有效信息寄存器的信息的传送的图。

图6A是表示实施例中的复用保证检验电路的构成例的电路图（其一）。

图6B是表示实施例中的复用保证检验电路的构成例的电路图（其二）。

图7A是在实施例中用于对在线寄存器以及在线信息表的内容变更后的情况的动作例进行说明的图（其一）。

图7B是在实施例中用于对在线寄存器以及在线信息表的内容变更后的情况的动作例进行说明的图（其二）。

图7C是在实施例中用于对在线寄存器以及在线信息表的内容变更后的情况的动作例进行说明的图（其三）。

图8A是用于对在实施例中数据有效标志、数据有效寄存器以及数据有效信息表的内容变更后的情况的动作例进行说明的图（其一）。

图8B是用于对在实施例中数据有效标志、数据有效寄存器以及数据有效信息表的内容变更后的情况的动作例进行说明的图（其二）。

图8C是用于对在实施例中数据有效标志、数据有效寄存器以及数据有效信息表的内容变更后的情况的动作例进行说明的图（其三）。

图8D是用于对在实施例中数据有效标志、数据有效寄存器以及数据有效信息表的内容变更后的情况的动作例进行说明的图（其四）。

图9A是用于说明在实施例中进行复用保证检验的情况的动作例的图（其一）。

图9B是用于说明在实施例中进行复用保证检验的情况的动作例的图（其二）。

图9C是用于说明在实施例中进行复用保证检验的情况的动作例的图（其三）。

图10A是用于说明在实施例中进行复用保证恢复的情况的动作例的图（其一）。

图10B是用于说明在实施例中进行复用保证恢复的情况的动作例的图（其二）。

图10C是用于说明在实施例中进行复用保证恢复的情况的动作例的图（其三）。

图11A是用于说明在实施例中进行复用保证恢复的情况的其他动作例的图（其一）。

图11B是用于说明在实施例中进行复用保证恢复的情况的其他动作例的图（其二）。

图11C是用于说明在实施例中进行复用保证恢复的情况的其他动作例的图（其三）。

图12是用于说明在实施例中服务器执行的动作流程的流程图。

图13是用于说明在实施例中共享存储器装置执行的动作流程的流程图。

图14是用于说明在实施例中服务器所具有的功能的功能框图。

图15是用于说明实施例中的共享存储器装置所具有的功能的功能框图。

图16是用于说明实施例中的服务器整体的构成例的框图。

图17是用于说明实施例中的共享存储器装置整体的构成例的框图。

具体实施方式

以下进行本发明的实施例的说明。

实施例1

实施例1涉及一种多个服务器和能够由该多个服务器访问的多个共享存储器装置相互连接的信息处理系统。在该信息处理系统中，各共享存储器装置被多个服务器共享。另外，在该信息处理系统中，使各共享存储器装置储存的数据在多个共享存储器装置间相互一致。结果，即使在由于发生错误等而宕机的多个共享存储器装置中的任一个所储存的数据无法使用的情况下，由于能够使用与该数据一致的其他共享存储器装置储存的数据，所以也能够继续该信息处理系统的动作。因此，提高了该信息处理系统的可靠性。在此，将使各共享存储器装置各自储存的数据在多个共享存储器装置间相互一致的处理称为“复用”，将被复用的数据相互一致的状态得到保证的处理称为“复用保证”。

在实施例1中，通过使各服务器所具有的在线信息和各共享存储器装置所具有的数据有效标志的信息在各服务器以及各共享存储器装置间传送，来将在线信息以及数据有效标志的信息汇集到各共享存储器装置中。而且，在各共享存储器装置中，基于汇集后的在线信息以及数据有效标志的信息，来检验复用保证的状态是否被维持。在检验的结果是失去了复用保证的情况下，通过将作为其因素的服务器或者共享存储器装置从系统切离来进行退避处理，从而恢复复用保证的状态。在此，各服务器所具有的在线信息是表示各服务器与多个共享存储器装置之间处于在线状态，换言之是在线还是离线的信息。在此，在线状态表示装置彼此在物理上或者逻辑上相连接的状态，离线状态表示装置彼此在物理上或者逻辑上未连接的状态。各共享存储器装置所具有的数据有效标志是表示该共享存储器装置所储存的数据在系统上有效还是无效的标志。该数据有效标志的值根据各服务器，或者根据共享存储器装置所具有的共享存储器管理处理器（与图15一起后述）而设定。

图1表示了作为实施例1能够应用的信息处理系统的构成例。该信息处理系统具有m台服务器S－1、...、S－a、...、S－m和n台共享存储器装置M－1、...、M－b、...、M－n（m、n分别为2以上的正整数），m台服务器分别与n台共享存储器装置分别连接成可通信。m台服务器分别共享n台共享存储器装置所储存的数据。而且，m台服务器能够分别进行利用了n台共享存储器装置的、m台服务器相互间的数据交互。另外，在n台共享存储器装置之间复用各自所储存的数据。

在图1的构成中，当某个服务器将数据储存（store）到共享存储器装置时，该服务器对n台共享存储器装置分别同时传送并储存相同的数据。结果，在n台共享存储器装置间进行数据的复用。另外，在某服务器从共享存储器装置进行数据的读出（读取：fetch）时，从n台共享存储器装置中的任1台读出数据。如果在n台共享存储器装置间进行数据的复用，并且复用保证被维持，则无论从n台共享存储器装置中的哪1台得到数据，都能够得到相同的数据。

在此，设想n台共享存储器装置中的任1台从各服务器离线的情况。即使在这样的情况下，如果针对各个服务器，在线的共享存储器装置一致，则也能够在该在线的共享存储器装置间进行数据的复用。另一方面，针对各个服务器，当在线的共享存储器装置不一致时，数据在共享存储器装置间不一致，产生数据的复用不能进行的情况。关于该情况，与图2A、图2B一起说明。

图2A表示了2台服务器S－1、S－2共享2台共享存储器装置M－1、M－2各自的数据的情况的系统构成例。在此，如图2A所示，对于服务器1而言，2台共享存储器装置M－1、M－2双方在线，对于服务器2而言，共享存储器装置M－1处于在线状态，共享存储器装置M－2处于离线状态。在该图中，实线表示在线状态，虚线表示离线状态（以下同样）。即，该情况下，服务器S－1在线的共享存储器装置是M－1、M－2，与此相对，服务器S－2在线的共享存储器装置仅是M－1，相互不一致。即，在服务器S－1、S－2之间相对于共享存储器装置M－1、M－2的在线状态不一致。

该状态下，例如如图2A所示，服务器S－1向共享存储器装置M－1所具有的共享存储器Me－1的地址a储存数据x。由于如上所述，对于服务器S－1而言，共享存储器装置M－1、M－2双方在线，所以向共享存储器装置M－1、M－2双方的共享存储器Me－1、Me－2的地址a储存相同的数据x。结果，在共享存储器装置M－1、M－2间数据x被复用，服务器S－1、S－2的每一个无论访问共享存储器装置M－1、M－2中的哪一个共享存储器Me－1、Me－2的地址a，均能够得到相同的数据x。

接着，假设服务器S－2向共享存储器装置M－1所具有的共享存储器Me－1的地址a储存数据y。如上所述，对于服务器S－2而言，共享存储器装置M－1在线，但共享存储器装置M－2离线。因此，在共享存储器装置M－1的共享存储器Me－1的地址a中储存数据y，但在共享存储器装置M－2的共享存储器Me－2的地址a中未储存数据y。结果，在共享存储器装置M－2的共享存储器Me－2的地址a中维持储存数据x的状态。因此，对于服务器S－1而言，在访问了在线的2台共享存储器装置M－1、M－2各自的共享存储器Me－1、Me－2的地址a的情况下，得到了数据x或者数据y这样彼此不同的数据。这是因为如果从服务器S－1观察，则共享存储器装置M－1、M－2各自储存的数据相互不一致而引起的现象。另外，共享存储器装置M－1、M－2各自储存的数据的不一致是因为在服务器S－1、S－2间共享存储器装置M－1、M－2的在线状态不一致而导致的。

在实施例1中，在服务器S－1、S－2间检验共享存储器装置M－1、M－2的在线状态是否一致，如果不一致则将成为该不一致的因素的服务器或者存储器装置从系统切离。如此，在服务器S－1、S－2间使共享存储器装置M－1、M－2的在线状态一致。结果，能够防止数据在共享存储器装置M－1、M－2间不一致。将这样从各服务器S－1、S－2观察，在共享存储器装置M－1、M－2间是否满足数据一致所用的条件的验证称为“复用保证检验”。另外，将使上述复用保证检验的条件未得到满足的状态成为得到满足的状态称为“复用保证恢复”。

在图2A、图2B的例子的情况下，如上所述，在服务器S－1、S－2间，共享存储器装置M－1、M－2的在线状态不一致。在这样的状况下，图2B也如上所述，从各服务器S－1、S－2观察，可能在共享存储器装置M－1、M－2之间产生数据的不一致。因此，该情况下，复用保证的条件未得到满足。在此，为了复用保证恢复，即为了从服务器S－1、S－2观察在共享存储器装置M－1、M－2间不发生数据的不一致，只要使在服务器S－1、S－2间相对于共享存储器装置M－1、M－2的在线状态一致即可。例如，存在将共享存储器装置M－2设为系统离线而切离的方法。在此，共享存储器装置的系统离线是指该共享存储器装置与系统中包含的所有服务器相离线。在图2A、图2B的例子的情况下，只要使服务器S－1与共享存储器装置M－2之间离线即可。结果，共享存储器装置M－2与服务器S－1、S－2双方离线，成为系统离线。结果，服务器S－1、S－2各自相对于共享存储器装置M－1、M－2的在线状态均变成“与共享存储器装置M－1在线，与共享存储器装置M－2离线”，相互一致。在该状态下，从服务器S－1、S－2分别进行观察，不会发生共享存储器装置M－1的数据的不一致。因此，实现了复用保证恢复。

作为用于复用保证恢复的其他方法，存在使服务器S－2从系统离线的方法。服务器的系统离线是指该服务器与系统所含的所有共享存储器装置相离线的状态。即，使服务器S－2从共享存储器装置M－2离线，结果，服务器S－2与系统所含的2台共享存储器装置M－1、M－2全部相离线，变成系统离线。这样，通过将服务器S－2设为系统离线，服务器S－2无法访问共享存储器装置M－1、M－2中的任一个，因此不会由于服务器S－2的动作而在共享存储器装置M－1、M－2间发生数据的不一致。因此，从服务器S－1观察，不会发生共享存储器装置M－1、M－2间的数据的不一致。从而，实现了复用保证恢复的状态。鉴于该点，在实施例1中，将复用保证的条件设为“在除了系统离线的服务器之外的全部服务器间，与共享存储器装置M－1、M－2的在线状态一致”。通过如此设定，在如上所述服务器S－2为系统离线的状态下，如果除去系统离线的服务器S－2，则剩余的服务器仅为服务器S－1。因此，满足上述“在除了系统离线的服务器（S－2）之外的服务器（S－1）间与共享存储器装置的在线状态一致”这一条件，可实现复用保证恢复的状态。

另外，在实施例1中，优选利用硬件来进行使在线信息和数据有效标志的信息在各服务器以及各共享存储器装置间传送的动作以及复用保证检验的动作。这是因为，例如服务器与共享存储器装置之间的在线／离线控制被以微秒单位处理，与此相对，例如若利用软件来进行复用保证检验，则因此会存在需要数毫秒的情况，与利用硬件来进行的情况相比，延迟较大。

在此为了进行比较，设想以软件进行复用保证检验等的情况。在此，假定能够通过在服务器上运行的程序使任意的服务器或共享存储器装置动态地从系统离线／在线的系统。在该系统中，如果在短时间进行在线／离线的变更，则认为存在无法追随软件进行的复用保证检验的动作的情况。即，在软件所进行的复用保证检验的动作结束的时刻已经成为“具有复用保证”的状态，与此相对，基于上述在线／离线的变更前的信息进行了基于软件的复用保证检验的结果是，存在误判定为“没有复用保证”的情况。在这样的情况下，存在基于该误判定进行将本来无需从系统切离的装置从系统切离（系统离线）这一误动作的可能性。在实施例1中，通过利用硬件进行复用保证检验的动作等，能够防止这样的误判定、误动作。

以下与附图一起更详细地对实施例1进行说明。

图3是用于说明实施例1涉及的信息处理系统所具有的功能的图。如图3所示，该信息处理系统与图2A、2B同样具有2台服务器S－1、S－2以及2台共享存储器装置M－1、M－2。而且，服务器S－1、S－2分别对共享存储器装置M－1、M－2的共享存储器Me－1、Me－2各自所储存的数据进行共享。此外，图3中记载了包含2台服务器S－1、S－2以及2台共享存储器装置M－1、M－2的信息处理系统，但是信息处理系统所含的服务器S－1、S－2的台数不限于2台，也可以如图1所示为3台以上。同样，信息处理系统所含的共享存储器装置M－1、M－2的台数不限于2台，也可以如图1所示为3台以上。

服务器S－1具有在线寄存器OR－1，服务器S－2具有在线寄存器OR－2。这些在线寄存器OR－1、OR－2各自具有与系统所含的所有共享存储器装置M－1、M－2的台数相应的位。在此，图3中将“表示服务器a与共享存储器装置b之间的在线状态的位”表示为Lab。在线寄存器OR－1储存服务器S－1复用数据并向共享存储器装置M－1以及M－2储存时的数据的传送目的地的共享存储器装置M－1、M－2的在线信息。另外，在线寄存器OR－2也储存服务器S－2复用数据并向共享存储器装置M－1、M－2储存时的数据的传送目的地的共享存储器装置M－1、M－2的在线信息。即，服务器S－1在向共享存储器装置储存数据时参照本装置内的在线寄存器OR－1，对具有表示“在线”的“1”位的共享存储器装置分别传送要储存的数据。服务器S－2也在向共享存储器装置储存数据时，参照本装置内的在线寄存器OR－2，对具有表示“在线”的“1”位的共享存储器装置分别传送要储存的数据。

并且，服务器S－1具有数据有效信息寄存器ER－1，服务器S－2具有数据有效信息寄存器ER－2。数据有效信息寄存器ER－1储存系统所含的所有共享存储器装置M－1、M－2各自的数据有效标志EF－1、EF－2的值。数据有效信息寄存器ER－2也储存系统所含的所有共享存储器装置M－1、M－2各自的数据有效标志EF－1、EF－2的值。

服务器S－1、S－2和共享存储器装置M－1、M－2借助接口（通信线路等）P－1～P－4分别连接，数据从服务器S－1、S－2对共享存储器装置M－1、M－2的储存（store）动作以及读出（fetch）动作包含所有经由这些接口P－1～P－4的指令以及数据的传送动作。

共享存储器装置M－1、M－2分别具有共享存储器Me－1、Me－2。共享存储器Me－1储存从服务器S－1、S－2传送来的数据。共享存储器Me－2也储存从服务器S－1、S－2传送来的数据。另外，共享存储器装置M－1、M－2具有数据有效标志EF－1、EF－2，数据有效标志EF－1、EF－2分别表示共享存储器Me－1、Me－2所储存的数据有效还是无效。

并且，共享存储器装置M－1具有在线信息表OT－1，共享存储器装置M－2具有在线信息表OT－2。在线信息表OT－1按照各个服务器来储存服务器S－1、S－2所具有的上述在线寄存器OR－1、OR－2的信息。在线信息表OT－2也按照各个服务器来储存服务器S－1、S－2所具有的上述在线寄存器OR－1、OR－2的信息。并且，共享存储器装置M－1具有数据有效信息表ET－1，共享存储器装置M－1具有数据有效信息表ET－2。数据有效信息表ET－1储存服务器S－1或者S－2所具有的数据有效信息寄存器ER－1或者ER－2的信息。数据有效信息表ET－2储存服务器S－1或者S－2所具有的数据有效信息寄存器ER－1或者ER－2的信息。

并且，图3所示的信息处理系统具有以下叙述的各功能。即，将共享存储器装置M－1所具有的数据有效标志EF－1的信息经由接口P－1、P－3分别传送给服务器S－1、S－2，并分别储存在服务器S－1、S－2的数据有效信息寄存器ER－1、ER－2中。同样，将共享存储器装置M－2所具有的数据有效标志EF－2的信息经由接口P－2、P－4分别传送给服务器S－1、S－2，并分别储存在服务器S－1、S－2的数据有效信息寄存器ER－1、ER－2中。

另外，将服务器S－1所具有的在线寄存器OR－1的信息经由接口P－1、P－2传送给共享存储器装置M－1、M－2的在线信息表OT－1、OT－2并分别进行储存。同样，将服务器S－2所具有的在线寄存器OR－2的信息经由接口P－3、P－4传送给共享存储器装置M－1、M－2的在线信息表OT－1、OT－2并进行储存。

并且，将服务器S－1所具有的数据有效信息寄存器ER－1的信息经由接口P－1、P－2分别传送给共享存储器装置M－1、M－2的数据有效信息表ET－1、ET－2，并进行储存。同样，将服务器S－2所具有的数据有效信息寄存器ER－2的信息经由接口P－3、P－4分别传送给共享存储器装置M－1、M－2的数据有效信息表ET－1、ET－2，并进行储存。

因此，所有服务器S－1、S－2的在线寄存器OR－1、OR－2的信息都被复制到共享存储器装置M－1的在线信息表OT－1。同样，所有服务器S－1、S－2的在线寄存器OR－1、OR－2的信息也被复制到共享存储器装置M－2的在线信息表OT－2。另外，所有共享存储器装置M－1、M－2的数据有效标志EF－1、EF－2的信息都被复制到服务器S－1的数据有效信息寄存器ER－1。同样，所有共享存储器装置M－1、M－2的数据有效标志EF－1、EF－2的信息都被复制到服务器S－2的数据有效信息寄存器ER－2。并且，所有共享存储器装置M－1、M－2的数据有效信息寄存器ER－1、ER－2的信息都被复制到共享存储器装置M－1的数据有效信息表ET－1。或者，所有共享存储器装置M－1、M－2的数据有效信息寄存器ER－1、ER－2的信息都被复制到共享存储器装置M－2的数据有效信息表ET－2。

利用图4至图5B，与图3一起来说明上述的信息处理系统执行的动作例。在图4中，若作为例子而着眼于服务器S－1，则首先服务器S－1的硬件监视本装置的在线寄存器OR－1。而且，如果检测到在线寄存器OR－1所具有的任意位的值被变更，则将在线寄存器OR－1的信息（值）经由接口P－1、P－2分别传送给共享存储器装置M－1、M－2。共享存储器装置M－1、M－2分别接收从服务器S－1传送来的在线寄存器OR－1的信息，向在线信息表OT－1、OT－2中分别储存服务器S－1被分配的记录（entry）（服务器1）。

这样，首先服务器S－1的在线寄存器OR－1、OR－2的信息被分别传送给共享存储器装置M－1、M－2。

下面，在图5A中，作为例子而着眼于共享存储器装置M－1，首先，共享存储器装置M－1的硬件监视数据有效标志EF－1。而且，如果检测到数据有效标志EF－1的位的值的变更，则经由接口P－1、P－3将数据有效标志EF－1的信息（值）分别传送给服务器S－1、S－2。服务器S－1、S－2接收从共享存储器装置M－1传送来的数据有效标志EF－1的信息，在数据有效信息寄存器ER－1、ER－2中，分别储存到共享存储器装置M－1被分配的位（V1）。

另外，在图5B中，作为例子，服务器S－1的硬件监视数据有效信息寄存器ER－1。其中，与图5A一起如上所述，服务器S－1接收从共享存储器装置M－1传送来的数据有效标志EF－1的信息，在数据有效信息寄存器ER－1中，储存到共享存储器装置M－1被分配的位（V1）。结果，服务器S－1的硬件检测数据有效信息寄存器ER－1的信息的变更，将数据有效信息寄存器ER－1的信息（值）经由接口P－1、P－2分别传送给共享存储器装置M－1、M－2。共享存储器装置M－1、M－2接收从服务器S－1传送来的数据有效信息寄存器ER－1的信息，分别储存在数据有效信息表ET－1、ET－2中。同样，服务器S－2的硬件也检测数据有效信息寄存器ER－2的信息的变更，将数据有效信息寄存器ER－2的信息（值）经由接口P－3、P－4分别传送给共享存储器装置M－1、M－2。共享存储器装置M－1、M－2接收从服务器S－2传送来的数据有效信息寄存器ER－2的信息，分别储存在数据有效信息表ET－1、ET－2中。

如此，所有共享存储器装置M－1、M－2的数据有效标志EF－1、EF－2的信息被分别传送给各共享存储器装置M－1、M－2。

与图3～图5B一起如上所述，如果检测到在线寄存器OR－1、OR－2的信息、数据有效标志EF－1、EF－2的信息的变更，则进行以下的动作。即，被检测出变更的在线寄存器OR－1、OR－2的信息、数据有效标志EF－1、EF－2的信息分别被传送给在线的服务器S－1、S－2、共享存储器装置M－1、M－2。而且，各共享存储器装置M－1、M－2的在线信息表OT－1、OT－2或者数据有效信息表ET－1、ET－2最终分别被更新。这样，在各共享存储器装置M－1、M－2中汇集复用保证检验的动作所需要的信息。在此，在各共享存储器装置M－1、M－2中，由于各服务器与各存储器装置间的数据传送需要时间，所以在检测出在线信息表OT－1、OT－2或者数据有效信息表ET－1、ET－2的变更之后，等待经过规定的延迟时间。而且，在经过该规定的延迟时间、各服务器与各存储器装置间的数据传送完成的时刻，各共享存储器装置M－1、M－2基于在线信息表OT－1、OT－2以及数据有效信息表ET－1、ET－2的信息分别进行复用保证检验。

其中，在各服务器S－1、S－2中，当本装置变成系统离线时，将本装置所具有的数据有效寄存器ER－1、ER－2的信息（值）全部分别清零。另外，在各共享存储器装置M－1、M－2中，当本装置变成系统离线时，将本装置所具有的在线信息表OT－1、OT－2的信息（值）以及数据有效信息表ET－1、ET－2的值分别全部清零。

下面，与图6A、图6B一起来说明各共享存储器装置M－1、M－2进行复用保证检验的动作的复用保证检验电路212（参照图15）的构成例。如图6A所示，复用保证检验电路212具有针对共享存储器装置M－1进行检验的电路部分（1）、针对共享存储器装置M－2进行检验的电路部分（2）、...、针对共享存储器装置M－n进行检验的电路部分（n）。另外，如图6B所示，复用保证检验电路212还具有检验各服务器S－1～S－m是否系统离线的电路部分。

上述图6A的电路部分（1）具有针对服务器S－1进行检验的逻辑和电路即OR电路O－11、针对服务器S－2进行检验的OR电路O－21、...、针对服务器S－m进行检验的电路部分O－m1。另外，电路部分（1）具有针对服务器S－1进行检验的逻辑积电路即AND电路A－11、针对服务器S－2进行检验的AND电路A－21、...、针对服务器S－m进行检验的电路部分A－m1。还具有将OR电路O－11～O－m1的输出作为输入的AND电路A－1－1、将AND电路A－11～A－m1的输出作为输入的AND电路A－1－2。还具有将AND电路A－1－1以及A－1－2各自的输出以及共享存储器装置M－1的数据有效标志的值作为输入的OR电路O－1－1。

同样，上述图6A的电路部分（2）具有针对服务器S－1进行检验的OR电路O－12、针对服务器S－2进行检验的OR电路O－22、...、针对服务器S－m进行检验的电路部分O－m2。另外，电路部分（2）具有针对服务器S－1进行检验的AND电路A－12、针对服务器S－2进行检验的AND电路A－22、...、针对服务器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－1以及A－2－2各自的输出以及共享存储器装置M－2的数据有效标志的值作为输入的OR电路O－2－1。

同样，上述图6A的电路部分（n）具有针对服务器S－1进行检验的OR电路O－1n、针对服务器S－2进行检验的OR电路O－2n、...、针对服务器S－m进行检验的电路部分O－mn。另外，电路部分（n）具有针对服务器S－1进行检验的AND电路A－1n、针对服务器S－2进行检验的AND电路A－2n、...、针对服务器S－m进行检验的电路部分A－mn。还具有将OR电路O－1n～O－mn的输出作为输入的AND电路A－n－1、将AND电路A－1n～A－mn的输出作为输入的AND电路A－n－2。还具有将AND电路A－n－1以及A－n－2各自的输出以及共享存储器装置M－n的数据有效标志的值作为输入的OR电路O－n－1。

还具有将OR电路O－1－1、OR电路O－2－1、...、OR电路O－n－1各自的输出作为输入的NAND电路NA－1。并且，具有将对检测出在线信息表或者数据有效信息表的内容的变更时输出的检验触发赋予规定的延迟时间的定时器W－1的输出和NAND电路NA－1的输出作为输入的AND电路A－0。

另外，图6B的电路部分分别具有针对服务器S－1检验是否系统离线的OR电路O－10、针对服务器S－2检验是否系统离线的OR电路O－20、...、针对服务器S－m检验是否系统离线的OR电路O－m0。

下面说明具有上述构成的复用保证检验电路212的动作。首先，图6B的电路部分所含的OR电路O－10被输入在线信息表中的服务器S－1的记录的值L11、L12、...、L1n。在服务器S－1为系统离线的情况下，由于针对各共享存储器装置M－1、M－2、...M－n全部离线，所以上述值L11、L12、...、L1n全部为0。结果，OR电路O－10的输出L10为0。同样，在服务器S－2离线的情况下，OR电路O－20的输出L20为0、...，在服务器S－m离线的情况下，OR电路O－m0的输出Lm0为0。

下面说明图6A的电路部分（1）的动作。针对服务器S－1进行检验的OR电路O－11被输入将上述服务器S－1系统离线的情况下为0的L10反转后的值和服务器S－1所涉及的在线信息L11。因此，如果服务器S－1系统离线则O－11输出1，如果服务器S－1不是系统离线，则若共享存储器装置M－1和服务器S－1在线则O－11输出1，若离线则O－11输出0。对于其他的OR电路O－21、...、O－m1也同样。即，如果相应的服务器是系统离线则输出1，如果不是系统离线，则若共享存储器装置M－1和该服务器在线则输出1，若离线则输出0。而且，AND电路A－1－1仅在O－11～O－m1中的全部输出都为1的情况下才输出1，如果任何一个为0则输出0。在此，O－11～O－m1全部的输出为1的情况是共享存储器装置M－1相对于除了系统离线的服务器之外的全部服务器均在线的情况。即，该情况下，服务器相对于共享存储器装置M－1的在线状态是除了系统离线的服务器之外的全部服务器均在线，因此相对于共享存储器装置M－1的在线状态在除了系统离线的服务器之外的全部服务器间，在线状态一致。因此，仅当相对于共享存储器装置M－1的在线状态在除了系统离线的服务器之外的全部服务器间，在线状态一致时，AND电路A－1－1才输出1。

在相同的电路部分（1）中针对服务器S－1进行检验的AND电路A－11被输入上述服务器S－1系统离线的情况下为0的L10和服务器S－1所涉及的在线信息L11。因此，如果服务器S－1为系统离线则A－11输出0，如果服务器S－1不是系统离线，则若共享存储器装置M－1与服务器S－1在线则A－11输出1，若离线则A－11输出0。其他的AND电路A－21、...、A－m1也同样。即，如果相应的服务器为系统离线则输出0，如果不是系统离线，则若共享存储器装置M－1与该服务器在线则输出1，若离线则输出0。而且，对AND电路A－1－2而言，由于所有输入的值均被反转，所以仅在A－11～A－m1中的全部输出为0的情况下才输出1，如果任一个为1则输出0。在此，A－11～A－m1全部的输出为0的情况是共享存储器装置M－1相对于除了系统离线的服务器之外的全部服务器均离线的情况。即，该情况下，相对于共享存储器装置M－1的在线状态是除了系统离线的服务器之外的全部服务器离线，因此当相对于共享存储器装置M－1的在线状态在除了系统离线的服务器之外的全部的服务器间离线状态一致时，AND电路A－1－2输出1。因此，仅当相对于共享存储器装置M－1的在线状态在除了系统离线的服务器之外的全部服务器间离线离线状态一致时，AND电路A－1－2输出1。

而且，OR电路O－1－1在共享存储器装置M－1的数据无效（V1＝0），或者AND电路A－1－1的输出为1，或者AND电路A－1－2的输出为1的情况下输出1。即，在共享存储器装置M－1的数据有效的情况下，仅当相对于共享存储器装置M－1的在线状态在除了系统离线的服务器之外的全部服务器间为在线或者离线而一致时，OR电路O－1－1才输出1。

同样，OR电路O－2－1在共享存储器装置M－2的数据无效（V2＝0），或者AND电路A－2－1的输出为1，或者AND电路A－2－2的输出为1的情况下输出1。即，在共享存储器装置M－2的数据有效的情况下，仅当相对于共享存储器装置M－2的在线状态在除了系统离线的服务器之外的全部服务器间为在线或者离线而一致时，OR电路O－2－1才输出1。

结果，作为否定的逻辑积电路的NAND电路NA－1仅在服务器相对于共享存储器装置M－1～M－n中的除了数据无效的共享存储器装置之外的全部共享存储器装置的在线状态在除了系统离线的服务器之外的全部服务器间为在线或者离线而一致时才输出0。因此，检测出在线信息表或者数据有效信息表被更新，在规定的延迟时间后，进行以下的动作。

即，仅当相对于共享存储器装置M－1～M－n中的、数据有效的全部共享存储器装置各自的在线状态在除了系统离线的服务器之外的全部服务器间在线状态或者离线状态一致时，从AND电路A－0输出0。在此，相对于数据有效的全部共享存储器装置各自的在线状态在除了系统离线的服务器之外的全部服务器间一致的情况是满足复用保证检验的条件。即，数据的复用所使用的共享存储器装置不包含数据无效的共享存储器装置。并且，也不包括与系统在线的全部服务器之间离线的共享存储器装置。因此，如上所述，相对于数据有效的全部共享存储器装置各自的在线状态在除了系统离线的服务器之外的全部服务器间一致的情况是满足复用保证检验的条件。

因此，在AND电路A－0输出1的情况下，意味着不满足上述的复用保证检验条件，在实施例1中，作为AND电路A－0的输出，以具有1的值的信号为触发，使作为该条件未被满足的因素的服务器或者共享存储器装置从系统离线。即，具有输出了该信号的复用保证检验电路212的共享存储器装置对各服务器发行使作为未满足上述条件的因素的服务器或者共享存储器装置从系统离线的指令。接收到该指令的服务器进行将相应的服务器或者共享存储器装置从系统离线的动作。结果，作为上述条件未被满足的因素的服务器或者共享存储器装置从系统切离，使得上述条件得到满足。即，可实现进行了复用保证恢复的状态。

这样，根据实施例1，在具有多个服务器和多个共享存储器装置的信息处理系统中，通过硬件在各装置间分别传送数据有效信息以及在线信息。而且，将数据有效信息以及在线信息汇集到各共享存储器装置。在各共享存储器装置中，基于汇集得到的信息通过硬件来进行复用保证检验，在判定为复用保证检验的条件未被满足的情况下，决定成为因素的服务器或者共享存储器装置，服务器的硬件使该服务器或者共享存储器装置离线。结果，复用保证检验的条件得到满足。这样，能够在不产生误判定的情况下，通过高速地切离成为复用保证检验的条件未得到满足的因素的装置，来实现复用保证恢复完成的状态。

以下与图7A～图11B一起来说明实施例1的信息处理系统的具体动作例。

首先，与图7A～图7C一起来说明在线寄存器的信息（值）被变更了的情况的动作例。在此，设想包含m台服务器和n台共享存储器装置的信息处理系统。以下，Lab表示对服务器S－a与共享存储器装置M－b的在线状态进行表示的在线信息。另外，Lab表示在服务器S－a的在线寄存器中与共享存储器装置M－b对应的位。而且，Lab的“0”表示离线，"1"表示在线。同样，Lxb表示对服务器S－x与共享存储器装置M－b的在线状态进行表示的在线信息，并且表示在服务器S－x的在线寄存器中与共享存储器装置M－b对应的位，“0”表示离线，“1”表示在线。

图7A表示初始状态，服务器S－a为系统离线，服务器S－a以外的服务器与全部共享存储器装置在线。接着，将共享存储器装置M－b设为系统离线。结果，如图7B所示，在服务器S－a以外的全部服务器S－1、．．、S－m的在线寄存器OR－1、...、OR－m中，与服务器M－b对应的位（L1b、...、Lmb）全部为0。并且在共享存储器装置M－b的在线信息表OT－b中，全部值均被清零。

结果，服务器S－a以外的全部服务器S－1、．．、S－m检测到本装置内的在线寄存器OR－1、...、OR－m的值被变更。而且如图7C所示，服务器S－a以外的全部服务器S－1、．．、S－m分别对在线的全部共享存储器装置、即共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n传送本装置的在线寄存器OR－1、...、OR－m的值。接收到在线寄存器的值的共享存储器装置M－b以外的各共享存储器装置M－1、...、M－n根据该在线寄存器的值，分别更新本装置的在线信息表OT－1、...、OT－n中与传送源的服务器对应的记录。结果，如图7C所示，在离线的共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n所具有的在线信息表OT－1、...、OT－n中，离线的服务器S－a以外的各服务器S－1、．．、S－m所涉及的记录中与共享存储器装置M－b对应的位Lxb分别被从1变更成0。

下面，与图8A～图8D一起来说明检测到数据有效标志的变更时的动作例。在此，Vb表示共享存储器装置M－b的数据有效标志EF－b的值，“0”表示数据无效，“1”表示数据有效。

图8A表示初始状态，服务器S－a以及共享存储器装置M－b分别为系统离线，服务器S－a以外的全部服务器S－1、．．、S－m和共享存储器装置M－1、...、M－c在线。另外，共享存储器装置M－1的数据有效标志EF－1是“1”，其他的全部共享存储器装置的数据有效标志是“0”。其中，离线的共享存储器装置M－b所具有的数据有效信息表ET－b所有的位均被清零。

接着，如图8B所示，共享存储器装置M－c的数据有效标志EF－c被从“0”变更到“1”。共享存储器装置M－c检测出该数据有效标志EF－c的值的变更。而且，如图8C所示，分别对在线的全部服务器即服务器S－a以外的所有服务器传送本装置内的数据有效标志EF－c的值。接收到数据有效标志的传送后的各服务器如图8C所示，根据该数据有效标志的值，将在本装置的数据有效信息寄存器中与传送源的共享存储器装置M－c对应的位分别变更成“1”。

接着，如此更新了本装置的数据有效信息寄存器后的、系统离线的服务器S－a以外的所有服务器S－1、．．、S－m分别检测该本装置的数据有效信息寄存器ER－1、...、ER－m的变更。结果，如图8D所示，系统离线的服务器S－a以外的所有服务器S－1、．．、S－m对在线的全部共享存储器装置，即系统离线的共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－c分别传送本装置的数据有效寄存器ER－1、...、ER－m的值。从服务器接收到数据有效信息寄存器的值后的各共享存储器装置根据接收到的数据有效信息寄存器的值，分别更新本装置的数据有效信息表中与传送源的服务器对应的位。即如图8D所示，共享存储器装置M－b以外的所有共享存储器装置M－1、...、M－c的数据有效信息表ET－1、...、ET－c中与共享存储器装置M－c对应的位Vc被从0变更到1。

下面，与图9A～图9C一起来说明复用保证检验的条件未被满足的情况的动作例。如图9A所示，信息处理系统具有m台服务器S－1、．．、S－m和n台共享存储器装置M－1、...、M－n。在图9A所示的初始状态中，所有服务器和所有共享存储器装置分别在线，并且所有的共享存储器装置的数据有效标志为“1”。其中，在该动作例的情况下，假设之后全部的数据有效标志、数据有效信息寄存器、数据有效信息表没有被变更，在图9B、图9C中省略了数据有效标志的表示。

接着，由于未预期到的因素，服务器S－a与共享存储器装置M－b之间的通信线路（接口）因故障等而变成切断状态，成为离线。结果，如图9B所示，在服务器S－a所具有的在线寄存器OR－a中，与共享存储器装置M－b对应的位变成0。另外，在共享存储器装置M－b所具有的在线信息表中，服务器S－a所涉及的记录（服务器a）所有的位均被清零。

结果，服务器S－a检测出在线寄存器OR－a的变更，如图9C所示，将该在线寄存器OR－a的值分别传送给离线的共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n。结果，在共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n所具有的在线信息表OT－1、...、OT－n中，与传送源的服务器S－a对应的记录被传送来的在线寄存器OR－a的值更新。结果，在共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n所具有的在线信息表OT－1、...、OT－n中，在传送源的服务器S－a所涉及的记录中，如图9C所示，与共享存储器装置M－b对应的位Lxb被从1变更到0。

如此接收到在线寄存器的值的传送的、共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n的上述复用保证检验电路212进行复用保证检验。在该共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n所具有的在线信息表OT－1、...、OT－n中，在所有服务器S－1、．．、S－m间，相对于各共享存储器装置的在线状态不一致。具体如图9C所示，相对于共享存储器装置M－b（Lxb），仅服务器S－a离线（0），其他的全部服务器S－1、．．、S－m在线（1）。因此，可知上述在线状态的不一致的因素（复用保证检验的条件未得到满足的因素）是共享存储器装置M－b以及服务器S－a。即，在共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n所具有的在线信息表OT－1、...、OT－n中，通过除去与共享存储器装置M－b对应的值Lxb或者与服务器S－a对应的值，来消除上述不一致。

如上所述，共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n所具有的上述复用保证检验电路212检测复用保证检验的条件未得到满足的情况。结果，作为一例，共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n对全部服务器S－1、．．、S－m发行指示作为上述不一致的因素之一的共享存储器装置M－b离线的指令（图10A）。

所有服务器S－1、．．、S－m中的、共享存储器装置M－b已经离线的服务器S－a以外的所有服务器根据该指令来使共享存储器装置M－b离线，并且将本装置的在线寄存器OR－1、...、OR－m中与共享存储器装置M－b对应的位L1b、...、Lmb变更成0（图10B）。另外，在与所有服务器相离线（系统离线）的共享存储器装置M－b的在线信息表OT－b中，与服务器S－a相关的记录以外的全部记录的所有位均被清零。

结果，服务器S－a以外的所有服务器S－1、．．、S－m分别检测出上述在线寄存器OR－1、...、OR－m的变更，将在线寄存器OR－1、...、OR－m的值分别传送给离线的共享存储器装置M－b以外的所有共享存储器装置M－1、...、M－n（图10C）。被传送来在线寄存器OR－1、...、OR－m的值后的共享存储器装置M－b以外的共享存储器装置M－1、...、M－n分别根据传送来的在线寄存器OR－1、...、OR－m的值，更新本装置的在线信息表OT－1、...、OT－n中各个传送源的记录。而且，如此接收到该在线寄存器的值的传送后的共享存储器装置M－b以外的所有共享存储器装置M－1、...、M－n再次进行复用保证检验。

该情况下，如图10C所示，在共享存储器装置M－b以外的所有共享存储器装置M－1、...、M－n的在线信息表OT－1、...、OT－n中，与共享存储器装置M－b对应的位Lxb全部变成0。即，表示共享存储器装置M－b为系统离线。该情况下，与上述的图9C的情况相比较，相对于共享存储器装置M－b（Lxb），包含服务器S－a的所有服务器S－1、．．、S－m为离线（0），在所有服务器S－1、．．、S－m间相对于各共享存储器装置的在线状态一致。结果，复用保证检验的条件被满足，可实现进行了复用保证恢复的状态。

以上，与图10A～图10C一起说明了通过将作为复用保证检验的条件未被满足的因素之一的共享存储器装置M－b切离来进行复用保证恢复的方法。

下面，与图11A～图11C一起来说明在上述的图9C的状态中复用保证检验的条件未得到满足的情况下，通过切离作为共享存储器装置M－b以外的因素的服务器S－a来进行复用保证恢复的方法。其中，切离作为复用保证检验的条件未得到满足的因素的服务器和共享存储器装置中的哪一个，可以根据来自外部的设定来决定。

与同图9C一起如上述那样，检测到复用保证检验的条件未被满足的共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n进行以下的动作。即，共享存储器装置M－b以外的全部共享存储器装置M－1、...、M－n对包含服务器S－a的全部服务器S－1、．．、S－m分别发行指示作为上述不一致的因素的服务器S－a离线的指令（图11A）。接收到该指令的服务器S－1、．．、S－m中的服务器S－a分别使已经离线的共享存储器装置M－b以外的所有共享存储器装置M－1、...、M－n离线（图11B）。结果，服务器S－a所具有的在线寄存器OR－a所有的位均被清零。对于服务器S－a以外的所有服务器S－1、．．、S－m而言，由于本装置处于上述指令的对象之外，所以分别废弃该指令。在此，离线了的共享存储器装置M－b以外的共享存储器装置M－1、...、M－n如此检测出与服务器S－a之间成为离线的状态，分别更新本装置的在线信息表OT－1、...、OT－n（图11C）。具体而言，服务器S－a所涉及的记录的所有位均被清零。

另外，如此检测到离线的共享存储器装置M－b以外的共享存储器装置M－1、...、M－n分别再次进行复用保证检验。该情况下，如图11C所示，在共享存储器装置M－b以外的共享存储器装置M－1、...、M－n的在线信息表OT－1、...、OT－n中，和图9C的情况相比，与服务器S－a对应的记录的所有位均为0。这表示服务器S－a为系统离线。因此，在除了系统离线的服务器S－a之外的所有服务器间，相对于各共享存储器装置的离线状态一致。从而复用保证检验的条件得到满足，可实现进行了复用保证恢复的状态。

下面，与图12一起来说明实施例1的信息处理系统所含的各服务器执行的动作的流程。

在步骤S1、S2中，判定本装置的在线寄存器的值是否发生了变更。在判定的结果是未发生变更的情况下（步骤S2的“否”），进入步骤S4。在发生了变更的情况下，进入步骤S3。

在步骤S3中，对定时器1设置第1规定的延迟时间并开始计时，进入步骤S4。在步骤S4中，判定设置后的定时器1是否由于经过第1规定的延迟时间而超时。如果尚未经过第1规定的延迟时间，没有超时则进入步骤S6，如果已经经过第1规定的延迟时间而超时，则进入步骤S5。其中，在设置后的定时器1超时，且该超时一旦在步骤S4中被判定之后，直到定时器1被再次设置为止，步骤S4的判定结果为否。

在步骤S5中，对在线的共享存储器装置传送本装置的在线寄存器的值，进入步骤S6。在步骤S6中，判定是否从共享存储器装置传送来数据有效标志的值。如果没有被传送则进入步骤S11，如果被传送了则进入步骤S7。在步骤S7中，利用传送来的数据有效标志的值，来更新本装置的数据有效信息寄存器，然后进入步骤S8。

在步骤S8、S9中，判定本装置的数据有效信息寄存器的值是否发生了变更。如果没有发生变更则进入步骤S11，如果发生了变更则进入步骤S10。在步骤S10中，对定时器2设置第2规定的延迟时间并开始计时，然后进入步骤S11。在步骤S11中，判定设置后的定时器2是否由于第2规定的延迟时间的经过而超时。如果尚未经过第2规定的延迟时间、没有超时，则返回到步骤S1，如果已经经过第2规定的延迟时间而超时，则进入步骤S12。其中，在设置后的定时器2超时、该超时一旦在步骤S11被判定出之后，直到定时器2被再次设置之前，步骤S11的判定结果为否。

在步骤S12中，对在线的共享存储器装置传送本装置的在线寄存器的值，然后返回到步骤S1。

下面，与图13一起来说明实施例1的信息处理系统所含的各共享存储器装置执行的动作的流程。

在步骤S21、S22中，判定本装置的数据有效标志的值是否发生了变更。如果没有发生变更则进入步骤S24，如果发生了变更则进入步骤S23。在步骤S23中，对定时器21设置第1规定的延迟时间并开始计时，然后进入步骤S24。在步骤S24中，判定设置后的定时器21是否由于第1规定的延迟时间的经过而超时。如果尚未经过第1规定的延迟时间，没有超时，则进入步骤S26，如果已经经过第1规定的延迟时间而超时，则进入步骤S25。其中，在设置后的定时器21超时、该超时一旦在步骤S24被判定出之后，直到定时器21被再次设置为止，步骤S24的判定结果为否。

在步骤S25中，对在线的服务器传送本装置的数据有效标志的值，然后进入步骤S26。在步骤S26中判定是否从服务器传送了在线寄存器的值。如果未传送则进入步骤S30，如果被传送则进入步骤S27。

在步骤S27中，以传送来的在线寄存器的值来更新本装置的在线信息表，进入步骤S28。在步骤S28中判定本装置的在线信息表是否发生了变更。如果未发生变更则进入步骤S30，如果发生了变更则进入步骤S29。在步骤S29中，对定时器22设置第2规定的延迟时间并开始计时，然后进入步骤S30。定时器22与图6A所示的定时器W－1对应。

在步骤S30中，判定是否检测到在线的服务器的离线。如果没有检测到离线则进入步骤S33，如果检测到离线则进入步骤S31。在步骤S31中，对应于该离线的检测，更新本装置的在线信息表，然后进入步骤S32。在步骤S32中，设置定时器22，进入步骤S33。

在步骤S33中，判定是否从服务器传送来数据有效信息寄存器的值。如果未被传送则进入步骤S37，如果被传送了则进入步骤S34。在步骤S34中，以传送来的数据有效信息寄存器的值更新本装置的数据有效信息表，进入步骤S35。在步骤S35中，判定本装置的数据有效信息表的内容是否发生了变更。如果没有发生变更则进入步骤S37，如果发生了变更则进入步骤S36。

在步骤S36中，对定时器22设置第2规定的延迟时间并开始计时，然后进入步骤S37。在步骤S37中，判定被设置的定时器22是否由于第2规定的延迟时间的经过而超时。如果尚未经过第2规定的延迟时间，未超时，则返回到步骤S21，如果已经经过第2规定的延迟时间而超时，则进入步骤S38。其中，在被设置的定时器22超时，该超时一旦在步骤S37被判定出之后，直到定时器22被再次设置之前步骤S37的判定结果为否。

在步骤S38、S39中，进行复用保证检验。复用保证检验例如通过图6A、图6B所示的复用保证检验电路来进行。如果复用保证检验的结果是复用保证检验的条件得到了满足（否），则进入步骤S21，如果未得到满足则进入步骤S40。在步骤S40中，当切离复用保证检验的条件未得到满足的因素的装置时，判定是否预先进行了切离服务器的设定。如果没有预先进行切离服务器的设定，则进入步骤S42，如果预先进行了切离服务器的设定，则进入步骤S41。在步骤S41中，将切离复用保证检验的条件未得到满足的因素的服务器（使其离线）的指令传送给在线的服务器，然后返回到步骤S21。在步骤S42中，将切离复用保证检验的条件未被满足的因素的共享存储器装置（使其离线）的指令传送给在线的服务器，然后返回到步骤S21。

与图14一起来说明实施例1涉及的信息处理系统中含有的服务器S－1所具有的功能涉及的功能块的构成例。其中，对于实施例1的信息处理系统所含的其他服务器S－2、...而言，分别具有与该服务器S－1同样的构成。

服务器S－1具有共享存储器装置接口接收电路1－1、2－1、...、在线寄存器104、变更检测电路105、定时器106、在线寄存器值送出电路107。共享存储器装置接口接收电路1－1、2－1、..、、分别接收从在线的共享存储器装置传送来的信息，对在线寄存器104输出表示与各个共享存储器装置的在线状态的信号1－2、2－2、...。在线寄存器104与上述在线寄存器OR－1、OR－2、...对应。变更检测电路105对在线寄存器104所具有的值的变更进行检测。定时器106与上述定时器1对应，使将在线寄存器104的值向在线寄存器值送出电路107传送的定时延迟第1规定的延迟时间，来缓和在线寄存器的值向共享存储器装置传送的频度。在线寄存器值送出电路107在变更检测电路105检测到在线寄存器104的值的变更时，将在线寄存器104的值向共享存储器装置传送。多路复用器1－12选择向共享存储器装置传送的信息。

另外，服务器S－1具有选择器1－3、2－3、...、数据有效信息寄存器108、变更检测电路109、定时器110、数据有效信息寄存器值送出电路111、共享存储器装置传送控制部114。服务器S－1还具有多路复用器1－12、2－12、...、以及共享存储器装置接口发送电路1－13、2－13、...。选择器1－3、2－3、...在共享存储器装置传送控制部114的控制下，将从各个共享存储器装置接收到的指令、信息按各个指令、信息的种类而分配给不同的地址。数据有效信息寄存器108与上述数据有效信息寄存器ER－1、ER－2、...对应。变更检测电路109检测数据有效信息寄存器108所具有的值的变更。定时器110与上述定时器2对应，使将数据有效信息寄存器108的值传送给数据有效信息寄存器值送出电路111的定时延迟第2规定的延迟时间，来缓和数据有效寄存器的值向共享存储器装置传送的频度。数据有效信息寄存器值送出电路111在变更检测电路109检测到数据有效信息寄存器108的值的变更时，将数据有效信息寄存器108的值传送给共享存储器装置。多路复用器1－12、2－12、...在共享存储器装置传送控制部114的控制下，选择向各个共享存储器装置传送的信息。共享存储器装置接口发送电路1－13、2－13、...基于在线寄存器104的内容，对在线的共享存储器装置发送信息。

服务器S－1还具有对该服务器整体进行管理的处理器即服务器管理处理器115。

与图15一起来说明实施例1涉及的信息处理系统中含有的共享存储器装置M－1所具有的功能涉及的功能块的构成例。其中，对于实施例1涉及的信息处理系统所含的其他共享存储器装置M－2、...，也分别具有与该共享存储器装置M－1同样的构成。

共享存储器装置M－1具有服务器接口接收电路11－1、12－1、...、选择器11－3、12－3、...、数据有效标志204、变更检测电路205、定时器206、数据有效标志送出电路207。共享存储器装置M－1还具有多路复用器11－15、12－15、...、以及服务器接口发送电路11－16、12－16、...。服务器接口接收电路11－1、12－1、...接收从各个服务器传送来的信息，将对与各个服务器的在线状态进行表示的信号11－2、12－2、...分别传送给离线检测电路218以及服务器接口发送电路11－16、12－16、...。选择器11－3、12－3、...将从服务器接收到的指令、信息根据指令、信息的种类分配给不同的传送目的地。数据有效标志204与上述数据有效标志EF－1、EF－2、...对应。变更检测电路205检测数据有效标志204的变更。定时器206与上述定时器21对应，使将数据有效标志204的值向数据有效标志送出电路207传送的定时延迟第1规定的延迟时间，来缓和数据有效标志204的值向服务器传送的频度。数据有效标志送出电路207在变更检测电路205检测到数据有效标志204的变更时，将数据有效标志204的值传送给服务器。多路复用器11－15、12－15、...选择向服务器传送的信息。服务器接口发送电路11－16、12－16、...基于对与各个服务器的在线状态进行表示的信号11－2、12－2、...，对在线的服务器发送信息。

共享存储器装置M－1还具有离线检测电路218、在线信息表208、数据有效信息表209、变更检测电路210、定时器211、复用保证检验电路212、服务器／共享存储器装置切离指令生成电路213以及共享存储器214。离线检测电路218基于对与各个服务器的在线状态进行表示的信号11－2、12－2、...，检测服务器为离线的情况，根据该检测结果来更新在线信息表208。在线信息表208与上述在线信息表OT－1、OT－2、...对应。数据有效信息表209与上述数据有效信息表ET－1、ET－2、...对应。变更检测电路210检测在线信息表208以及数据有效信息表209中的内容的变更。定时器211与上述定时器22对应，能够使从各个服务器延迟传送的在线寄存器的值、数据有效信息寄存器的值等等待第2规定的延迟时间，来开始复用保证检验电路212的动作。

复用保证检验电路212具有图6A、图6B所示那样的电路构成，基于在线信息表208以及数据有效信息表209各自的内容，判定复用保证检验的条件是否得到满足。另外，在通过变更检测电路211检测到在线信息表208或者数据有效信息表209的变更后，复用保证检验电路212在基于定时器211的规定的延迟时间后，开始复用保证检验的动作。服务器／共享存储器装置切离指令生成电路213（装置切离指示发送部）在复用保证检验电路212发出了复用保证检验的条件未被满足的判定时，根据外部设定来生成用于将复用保证检验的条件未被满足的因素的服务器或者共享存储器装置切离的指令。而且，服务器／共享存储器装置切离指令生成电路213将生成的指令向服务器传送。共享存储器214与上述共享存储器Me－1、Me－2、...对应。

共享存储器装置M－1还具有共享存储器装置管理处理器217。共享存储器装置管理处理器217管理该共享存储器装置整体。

与图16一起来说明实施例1涉及的信息处理系统所含的服务器S－1的整体的构成例。其中，对于实施例1涉及的信息处理系统所含的其他服务器S－2、...，也具有与该服务器S－1同样的构成。

服务器S－1具有系统控制器501、多个CPU(Central ProcessingUnit)502－0、502－1、...、主存储控制装置503、主存储装置504、信道处理装置505、共享存储器装置控制部507以及服务器管理处理器508。系统控制器501进行从CPU502－0、502－1、...、信道处理装置505以及共享存储器装置控制部507对主存储控制部503的访问控制、数据控制。CPU502－0、502－1、...执行从主存储装置504读出的命令。信道处理装置505控制输入输出装置506与主存储装置504之间的数据传送。输入输出装置506可以包括例如显示器、打印机、键盘、鼠标等。

共享存储器装置控制部507进行主存储装置504与共享存储器装置之间的指令、数据的传送。另外，共享存储器装置控制部507发挥例如图14所示的功能块的构成中除了服务器管理处理器115之外的各个功能块的功能。服务器管理处理器508与图14的服务器管理处理器115对应。

与图17一起来说明实施例1涉及的信息处理系统所含的共享存储器装置M－1的整体的构成例。其中，对于实施例1涉及的信息处理系统所含的其他共享存储器装置M－2、...，也具有与该共享存储器装置M－1同样的构成。

共享存储器装置M－1具有输入输出控制部601－1、601－2、...、构成控制部602、访问起动部603、存储器访问控制部604、共享存储器605以及共享存储器装置管理处理器606。输入输出控制部601－1、601－2、...控制与各个服务器的信息的输入输出。另外，输入输出控制部601－1、601－2、...与图15所示的服务器接口接收电路11－1、12－1、选择器11－3、12－3、多路复用器11－15、12－15以及服务器接口发送电路11－16、12－16对应。构成控制部602进行共享存储器装置、服务器的在线控制。另外，构成控制部602发挥图15所示的功能块中除了服务器接口接收电路11－1、选择器11－3、多路复用器11－15及服务器接口发送电路11－16、共享存储器装置管理处理器217以及共享存储器214之外的各个功能块的功能。

访问起动部603控制来自多个服务器的指令的执行顺序。存储器访问控制部604进行对共享存储器605的写入（存储）以及读出（获取）的控制。共享存储器605与图15的共享存储器214对应。共享存储器装置管理处理器606与图15的共享存储器装置管理处理器217对应。

附图标志说明：S－1、S－1、S－a、S－m：服务器（信息处理装置）；M－1、M－2、M－b、M－c、M－n：共享存储器装置（共享存储装置）；Me－1、Me－2、Me－b、Me－n：共享存储器；OR－1、OR－2、OR－a、OR－m：在线寄存器；ER－1、ER－2、ER－a、ER－m：数据有效信息寄存器；EF－1、EF－2、EF－b、EF－c、EF－n：数据有效标志；OT－1、OT－2、OT－b、OT－n：在线信息表（整体在线信息储存部）；ET－1、ET－2、ET－b、ET－c：数据有效信息表（整体数据有效常用储存部）；107：在线寄存器值送出电路（在线信息传送部）；111：数据有效信息寄存器值送出电路（数据有效信息传送部）；207：数据有效标志送出电路（个别数据有效信息传送部）；212：复用保证检验电路（复用保证检验部）；213：服务器／共享存储器装置切离指令生成电路213（装置切离指示发送部）。

Claims (10)

1.一种信息处理系统，其特征在于，具有：

第1共享存储装置，其具有：传送对要储存的数据的有效性进行表示的个别数据有效信息的个别数据有效信息传送部；储存整体数据有效信息的整体数据有效信息储存部；储存第1个别在线信息和第2个别在线信息的整体在线信息储存部；和基于所述整体数据有效信息储存部以及所述整体在线信息储存部储存的信息，来判定在多个共享存储装置间是否可保证要储存的数据的复用的复用保证检验部；

第2共享存储装置，其具有：传送对要储存的数据的有效性进行表示的个别数据有效信息的个别数据有效信息传送部；储存整体数据有效信息的整体数据有效信息储存部；储存第1个别在线信息和第2个别在线信息的整体在线信息储存部；和基于所述整体数据有效信息储存部以及所述整体在线信息储存部储存的信息，来判定在多个共享存储装置间是否可保证要储存的数据的复用的复用保证检验部；

第1信息处理装置，其具有：将所述第1共享存储装置传送的所述个别数据有效信息和所述第2共享存储装置传送的所述个别数据有效信息作为所述整体数据有效信息，传送给所述第1及第2共享存储装置的整体数据有效信息传送部；和将对与所述第1共享存储装置以及所述第2共享存储装置的在线状态进行表示的所述第1个别在线信息，传送给所述第1及第2共享存储装置的在线信息传送部；以及

第2信息处理装置，其具有：将所述第1共享存储装置传送的所述个别数据有效信息和所述第2共享存储装置传送的所述个别数据有效信息作为所述整体数据有效信息，传送给所述第1及第2共享存储装置的整体数据有效信息传送部；和将对与所述第1共享存储装置及所述第2共享存储装置的在线状态进行表示的所述第2个别在线信息，传送给所述第1及第2共享存储装置的在线信息传送部。

2.根据权利要求1所述的信息处理系统，其特征在于，

所述复用保证检验部基于所述整体数据有效信息储存部储存的整体数据有效信息所包含的与所述第1共享存储装置相关的个别数据有效信息和与所述第2共享存储装置相关的个别数据有效信息，来判定要储存的数据为有效的共享存储装置；

基于所述整体在线信息储存部储存的整体在线信息所包含的所述第1个别在线信息以及所述第2个别在线信息，来判定所述第1以及第2信息处理装置中与所述第1以及第2共享存储装置均为离线状态的信息处理装置；

基于所述第1个别在线信息以及所述第2个别在线信息，来判定在除了与所述第1以及第2共享存储装置均为离线状态的信息处理装置之外的全部信息处理装置之间，相对于所述要储存的数据为有效的共享存储装置各自的在线状态是否为在线或离线而一致，

并且在所述第1共享存储装置以及所述第2共享存储装置中分别设定有装置切离指示发送部，该装置切离指示发送部为了在上述判定结果为不一致的情况下取得一致，将使所述第1及第2信息处理装置以及上述第1及第2共享存储装置中的至少一个装置离线的指示发送给所述第1以及第2信息处理装置。

3.根据权利要求1所述的信息处理系统，其特征在于，

所述第1以及第2共享存储装置各自的所述个别数据有效信息传送部在检测出所述个别数据有效信息的变更时，将变更后的个别数据有效信息传送给所述第1以及第2信息处理装置，

所述第1以及第2共享存储装置各自的所述整体数据有效信息储存部在被从所述第1或者第2信息处理装置传送来所述整体数据有效信息时，储存该整体数据有效信息，

所述第1以及第2共享存储装置各自的所述整体在线信息储存部在被从所述第1信息处理装置传送来所述第1个别在线信息时，储存该第1个别在线信息，在被从所述第2信息处理装置传送来所述第2个别在线信息时，储存该第2个别在线信息，

所述第1以及第2共享存储装置各自的复用保证检验部在被传送来所述整体数据有效信息的情况下、被传送来所述第1或者第2个别在线信息的情况下、或者在检测到第1或者第2信息处理装置的离线的情况下，判定在多个共享存储装置间是否可保证要储存的数据的复用。

4.一种存储装置，其特征在于，具有：

个别数据有效信息传送部，其将对要储存的数据的有效性进行表示的个别数据有效信息传送给第1以及第2信息处理装置；

整体数据有效信息储存部，其将所述个别数据有效信息传送部向所述第1以及第2信息处理装置传送了的所述个别数据有效信息进一步被所述第1以及第2信息处理装置传送后的所述个别数据有效信息和其他的存储装置的个别数据有效信息传送部向所述第1以及第2信息处理装置传送了的其他的个别数据有效信息进一步被所述第1以及第2信息处理装置传送后的其他的个别数据有效信息，作为整体数据有效信息储存；

整体在线信息储存部，其储存对所述第1信息处理装置与存储装置以及所述其他的存储装置的在线状态进行表示的第1个别在线信息和对所述第2信息处理装置与所述存储装置以及所述其他的存储装置的在线状态进行表示的第2个别在线信息；以及

复用保证检验部，其基于所述整体数据有效信息储存部以及所述整体在线信息储存部储存的信息，来判定在多个共享存储装置间是否可保证要储存的数据的复用。

5.根据权利要求4所述的存储装置，其特征在于，

所述复用保证检验部基于所述整体数据有效信息储存部储存的整体数据有效信息所包含的与所述第1存储装置相关的个别数据有效信息和与所述第1存储装置相关的个别数据有效信息，来判定要储存的数据为有效的存储装置，

基于所述整体在线信息储存部储存的整体在线信息所包含的所述第1个别在线信息以及所述第2个别在线信息，来判定所述第1以及第2信息处理装置中与所述第1以及第2存储装置均为离线状态的信息处理装置，

基于所述第1个别在线信息以及所述第2个别在线信息，来判定在除了与所述第1以及第2共享存储装置均为离线状态的信息处理装置之外的全部信息处理装置之间，相对于所述要储存的数据为有效的共享存储装置各自的在线状态是否为在线或者离线而一致，

还具有为了在该判定的结果为不一致的情况下取得一致，将使所述第1及第2信息处理装置以及上述第1及第2共享存储装置中的至少一个装置离线的指示发送给所述第1以及第2信息处理装置的装置切离指示发送部。

6.根据权利要求4所述的存储装置，其特征在于，

所述个别数据有效信息传送部在检测到所述个别数据有效信息的变更时，将变更后的个别数据有效信息传送给所述第1以及第2信息处理装置，

所述整体数据有效信息储存部在被从所述第1或者第2信息处理装置传送了所述整体数据有效信息时，储存该整体数据有效信息，

所述整体在线信息储存部在被从所述第1信息处理装置传送了所述第1个别在线信息时储存该第1个别在线信息，在被从所述第2信息处理装置传送了所述第2个别在线信息时储存该第2个别在线信息，

所述复用保证检验部在被传送了所述整体数据有效信息的情况下、在被传送了所述第1或者第2个别在线信息的情况下、或者在检测到第1或者第2信息处理装置的离线的情况下，判定在多个共享存储装置间是否可保证要储存的数据的复用。

7.一种信息处理装置，其特征在于，具有：

整体数据有效信息传送部，其将对第1共享存储装置要传送的该第1共享存储装置的数据的有效性进行表示的个别数据有效信息和对第2共享存储装置要传送的该第1共享存储装置的数据的有效性进行表示的所述个别数据有效信息作为整体数据有效信息，传送给所述第1以及第2共享存储装置；和

在线信息传送部，其将对所述第1共享存储装置以及所述第2共享存储装置的在线状态进行表示的个别在线信息传送给所述第1以及第2共享存储装置。

8.一种信息处理系统的控制方法，其特征在于，具有：

第1共享存储装置的个别数据有效信息传送部传送对所述第1共享存储装置要储存的数据的有效性进行表示的个别数据有效信息的步骤、向整体数据有效信息储存部储存整体数据有效信息的步骤、向整体在线信息储存部储存第1个别在线信息和第2个别在线信息的步骤、以及复用保证检验部基于所述整体数据有效信息储存部以及所述整体在线信息储存部储存的信息来判定在多个共享存储装置间是否可保证要储存的数据的复用的步骤；

第2共享存储装置的个别数据有效信息传送部传送对所述第2共享存储装置要储存的数据的有效性进行表示的个别数据有效信息的步骤、向整体数据有效信息储存部储存整体数据有效信息的步骤、向整体在线信息储存部储存第1个别在线信息和第2个别在线信息的步骤、以及复用保证检验部基于所述整体数据有效信息储存部以及所述整体在线信息储存部储存的信息来判定在多个共享存储装置间是否可保证要储存的数据的复用的步骤；

第1信息处理装置的整体数据有效信息传送部将所述第1共享存储装置传送的所述个别数据有效信息和所述第2共享存储装置传送的所述个别数据有效信息作为所述整体数据有效信息传送给所述第1以及第2共享存储装置的步骤、在线信息传送部将对所述第1共享存储装置以及所述第2共享存储装置的在线状态进行表示的所述第1个别在线信息传送给所述第1及第2共享存储装置的步骤；和

第2信息处理装置的整体数据有效信息传送部将所述第1共享存储装置传送的所述个别数据有效信息和所述第2共享存储装置传送的所述个别数据有效信息作为所述整体数据有效信息传送给所述第1以及第2共享存储装置的步骤、在线信息传送部将对所述第1共享存储装置以及所述第2共享存储装置的在线状态进行表示的所述第2个别在线信息传送给所述第1以及第2共享存储装置的步骤。

9.根据权利要求8所述的信息处理系统的控制方法，其特征在于，

所述复用保证检验部基于所述整体数据有效信息储存部储存的整体数据有效信息所包含的与所述第1共享存储装置相关的个别数据有效信息和与所述第1共享存储装置相关的个别数据有效信息，来判定要储存的数据为有效的共享存储装置，

基于所述整体在线信息储存部储存的整体在线信息所包含的所述第1个别在线信息以及所述第2个别在线信息，来判定所述第1以及第2信息处理装置中与所述第1以及第2共享存储装置均为离线状态的信息处理装置，

基于所述第1个别在线信息以及所述第2个别在线信息，来判定在除了与所述第1以及第2共享存储装置均为离线状态的信息处理装置之外的全部信息处理装置之间，针对所述要储存的数据为有效的共享存储装置各自的在线状态是否为在线或者离线而一致，

并且，为了在该判定结果为不一致的情况下取得一致，将使所述第1及第2信息处理装置以及上述第1及第2共享存储装置中的至少一个装置离线的指示发送给所述第1以及第2信息处理装置。

10.根据权利要求8所述的信息处理系统的控制方法，其特征在于，

所述第1以及第2共享存储装置各自的所述个别数据有效信息传送部在检测到所述个别数据有效信息的变更时，将变更后的个别数据有效信息传送给所述第1以及第2信息处理装置，

所述第1以及第2共享存储装置各自的所述整体数据有效信息储存部在被从所述第1或者第2信息处理装置传送来所述整体数据有效信息时，储存该整体数据有效信息，

所述第1以及第2共享存储装置各自的所述整体在线信息储存部在被从所述第1信息处理装置传送来所述第1个别在线信息时储存该第1个别在线信息，在被从所述第2信息处理装置传送来所述第2个别在线信息时储存该第2个别在线信息，

所述第1以及第2共享存储装置各自的复用保证检验部在被传送来所述整体数据有效信息的情况下、被传送来所述第1或者第2个别在线信息的情况下、或者在检测到第1或者第2信息处理装置的离线的情况下，判定在多个共享存储装置间是否可保证要储存的数据的复用。

Images