特開2024-129866データ同期システム、データ同期方法、及びデータ同期プログラム
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2024129866
(43)【公開日】2024-09-30
(54)【発明の名称】データ同期システム、データ同期方法、及びデータ同期プログラム
(51)【国際特許分類】
G06F 3/06 20060101AFI20240920BHJP
G06F 11/14 20060101ALI20240920BHJP
G06F 16/178 20190101ALI20240920BHJP
G06F 13/10 20060101ALI20240920BHJP
G06F 11/20 20060101ALI20240920BHJP
【ＦＩ】
G06F3/06 304F
G06F11/14 612
G06F3/06 301X
G06F16/178
G06F13/10 340B
G06F11/20 666
【審査請求】未請求
【請求項の数】8
【出願形態】ＯＬ
(21)【出願番号】P 2023039228
(22)【出願日】2023-03-14
(71)【出願人】
【識別番号】000006013
【氏名又は名称】三菱電機株式会社
(74)【代理人】
【識別番号】110002491
【氏名又は名称】弁理士法人クロスボーダー特許事務所
(72)【発明者】
【氏名】岸 純也
【テーマコード（参考）】
5B034
【Ｆターム（参考）】
5B034CC04
5B034DD06
(57)【要約】
【課題】通信容量を十分に確保することができない場合におけるデータ同期システムであって、密なサーバ連携を行い、かつ、データの欠落を防止するデータ同期システムを提供したい。
【解決手段】メインサーバと１つ以上の他サーバとを備えるデータ同期システム９０において、各他サーバは、メインサーバが管理している対象データの同期データを管理しており、対象データに対応する自サーバデータを管理しており、自サーバデータ更新部１２０と更新データ予測部１１０と他サーバデータ更新部１４０とを備える。自サーバデータ更新部１２０は更新後の自サーバデータの正解値を求める。更新データ予測部１１０は、更新用データを用いて更新した自サーバデータが正解値と一致するか判定する。他サーバデータ更新部１４０は、当該自サーバデータが正解値と一致しない場合に、正解値に関する状態遷移に基づいて自サーバデータを更新する。
【選択図】図１
【解決手段】メインサーバと１つ以上の他サーバとを備えるデータ同期システム９０において、各他サーバは、メインサーバが管理している対象データの同期データを管理しており、対象データに対応する自サーバデータを管理しており、自サーバデータ更新部１２０と更新データ予測部１１０と他サーバデータ更新部１４０とを備える。自サーバデータ更新部１２０は更新後の自サーバデータの正解値を求める。更新データ予測部１１０は、更新用データを用いて更新した自サーバデータが正解値と一致するか判定する。他サーバデータ更新部１４０は、当該自サーバデータが正解値と一致しない場合に、正解値に関する状態遷移に基づいて自サーバデータを更新する。
【選択図】図１
【特許請求の範囲】
【請求項1】
メインサーバと１つ以上の他サーバとを備えるデータ同期システムであって、
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバは、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信するデータ送受信部と、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新する他サーバデータ更新部と、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成する自サーバデータ更新部と、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定する更新データ予測部と
を備え、
前記対象他サーバの他サーバデータ更新部は、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとするデータ同期システム。
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバは、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信するデータ送受信部と、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新する他サーバデータ更新部と、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成する自サーバデータ更新部と、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定する更新データ予測部と
を備え、
前記対象他サーバの他サーバデータ更新部は、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとするデータ同期システム。
【請求項2】
前記対象他サーバは、前記１つ以上の他サーバのうち前記対象他サーバ以外の各他サーバが管理している自サーバデータを各他サーバデータとして管理しており、
前記対象他サーバは、さらに、
前記受信更新用データと、各他サーバデータとの相関関係を導出する相関判定部
を備え、
前記他サーバデータ更新部は、導出された各他サーバデータに対応する相関関係に基づいて各他サーバデータを更新する請求項１に記載のデータ同期システム。
前記対象他サーバは、さらに、
前記受信更新用データと、各他サーバデータとの相関関係を導出する相関判定部
を備え、
前記他サーバデータ更新部は、導出された各他サーバデータに対応する相関関係に基づいて各他サーバデータを更新する請求項１に記載のデータ同期システム。
【請求項3】
前記メインサーバは、前記対象データを管理しており、前記対象データの同期データとして前記１つ以上の他サーバの各他サーバが管理しているデータと同じデータを各他サーバデータとして管理しており、
前記メインサーバは、前記メインサーバが管理している各他サーバデータを対象他サーバデータとしたとき、
前記更新用データを用いて前記対象他サーバデータを更新することができる場合に、前記対象データと前記対象他サーバデータとの相関関係を導出する相関判定部と、
前記対象データと前記対象他サーバデータとの相関関係が導出された場合に、前記更新用データを用いて前記対象他サーバデータを更新する他サーバデータ更新部と、
前記１つ以上の他サーバの各他サーバに前記更新用データを送信するデータ送受信部とを備える請求項１又は２に記載のデータ同期システム。
前記メインサーバは、前記メインサーバが管理している各他サーバデータを対象他サーバデータとしたとき、
前記更新用データを用いて前記対象他サーバデータを更新することができる場合に、前記対象データと前記対象他サーバデータとの相関関係を導出する相関判定部と、
前記対象データと前記対象他サーバデータとの相関関係が導出された場合に、前記更新用データを用いて前記対象他サーバデータを更新する他サーバデータ更新部と、
前記１つ以上の他サーバの各他サーバに前記更新用データを送信するデータ送受信部とを備える請求項１又は２に記載のデータ同期システム。
【請求項4】
前記対象他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が基準発生確率以下である状態遷移とのいずれかに対応する場合に、
前記対象他サーバのデータ送受信部は、前記メインサーバに対して前記更新用データを再送することを要求し、
前記メインサーバのデータ送受信部は、前記１つ以上の他サーバの各他サーバに前記更新用データを再送し、
前記対象他サーバのデータ送受信部は、再送された更新用データを受信し、受信した更新用データを前記受信更新用データとする請求項１又は２に記載のデータ同期システム。
前記対象他サーバのデータ送受信部は、前記メインサーバに対して前記更新用データを再送することを要求し、
前記メインサーバのデータ送受信部は、前記１つ以上の他サーバの各他サーバに前記更新用データを再送し、
前記対象他サーバのデータ送受信部は、再送された更新用データを受信し、受信した更新用データを前記受信更新用データとする請求項１又は２に記載のデータ同期システム。
【請求項5】
前記データ同期システムは、前記１つ以上の他サーバとして複数の他サーバを備え、
前記複数の他サーバのうち第１他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が前記基準発生確率以下である状態遷移とのいずれかに対応する場合に、
前記複数の他サーバのうち前記第１他サーバ以外の他サーバである第２他サーバのデータ送受信部は、再送された更新データを受信し、受信した更新用データを前記受信更新用データとする請求項４に記載のデータ同期システム。
前記複数の他サーバのうち第１他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が前記基準発生確率以下である状態遷移とのいずれかに対応する場合に、
前記複数の他サーバのうち前記第１他サーバ以外の他サーバである第２他サーバのデータ送受信部は、再送された更新データを受信し、受信した更新用データを前記受信更新用データとする請求項４に記載のデータ同期システム。
【請求項6】
前記更新用データは、前記対象イベントの発生によって前記対象データに発生する状態遷移を実現するためのデータである請求項１又は２に記載のデータ同期システム。
【請求項7】
コンピュータであるメインサーバと、各々がコンピュータである１つ以上の他サーバとを備えるデータ同期システムにおいて実行されるデータ同期方法であって、
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバが、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信し、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新し、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成し、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定するデータ同期方法であって、
前記対象他サーバは、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとするデータ同期方法。
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバが、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信し、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新し、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成し、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定するデータ同期方法であって、
前記対象他サーバは、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとするデータ同期方法。
【請求項8】
コンピュータであるメインサーバと、各々がコンピュータである１つ以上の他サーバとを備えるデータ同期システムにおいて前記１つ以上の他サーバの各他サーバが実行するデータ同期プログラムであって、
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバに、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信するデータ送受信処理と、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新する他サーバデータ更新処理と、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成する自サーバデータ更新処理と、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定する更新データ予測処理と
を実行させるデータ同期プログラムであって、
前記他サーバデータ更新処理において、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとするデータ同期プログラム。
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバに、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信するデータ送受信処理と、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新する他サーバデータ更新処理と、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成する自サーバデータ更新処理と、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定する更新データ予測処理と
を実行させるデータ同期プログラムであって、
前記他サーバデータ更新処理において、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとするデータ同期プログラム。
【発明の詳細な説明】
【技術分野】
【0001】
本開示は、データ同期システム、データ同期方法、及びデータ同期プログラムに関する。
【背景技術】
【0002】
データの復元率を向上させつつ、バックアップに要する時間等を改善するための分散バックアップシステムが提案されている（例えば、特許文献１参照）。分散バックアップシステムは、データを管理する管理サーバと、管理サーバのデータのバックアップ先である複数のサーバとを有する。分散バックアップシステムでは、管理サーバにおいて、データを複数のデータに分割することによってデータ容量を小さくしてから各サーバにデータを伝送することにより、高速なサーバ間連携が可能となる。また、分割した各データをランク付けすることにより、重要なデータの復元率を向上させることができる。
【先行技術文献】
【特許文献】
【0003】
【特許文献1】特開２０１５－０４３１４２号公報
【発明の概要】
【発明が解決しようとする課題】
【0004】
特許文献１は、画像データを複数の画像データに分割することによってデータ容量を小さくすることを通じて高速なサーバ間連携を行う技術を開示している。しかしながら、当該技術は、トータルとして伝送に必要なデータを削減することができないため、通信容量に対して伝送されるデータが多い場合におけるシステム間連携の課題を解決することができない。
また、特許文献１は、分割したデータにランク付けすることによって重要なデータを復元することができる可能性を向上させる技術を開示している。当該技術によって伝送及び同期の効率化は図られるが、当該技術によれば、データの欠落等が発生した場合に、重要度が低いデータの復元率が低いためにデータを完全に復旧させることが困難である。
本開示は、通信容量を十分に確保することができない場合におけるデータ同期システムであって、密なサーバ連携を行い、かつ、データの欠落を防止するデータ同期システムを提供することを目的とする。
また、特許文献１は、分割したデータにランク付けすることによって重要なデータを復元することができる可能性を向上させる技術を開示している。当該技術によって伝送及び同期の効率化は図られるが、当該技術によれば、データの欠落等が発生した場合に、重要度が低いデータの復元率が低いためにデータを完全に復旧させることが困難である。
本開示は、通信容量を十分に確保することができない場合におけるデータ同期システムであって、密なサーバ連携を行い、かつ、データの欠落を防止するデータ同期システムを提供することを目的とする。
【課題を解決するための手段】
【0005】
本開示に係るデータ同期システムは、
メインサーバと１つ以上の他サーバとを備えるデータ同期システムであって、
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバは、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信するデータ送受信部と、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新する他サーバデータ更新部と、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成する自サーバデータ更新部と、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定する更新データ予測部と
を備え、
前記対象他サーバの他サーバデータ更新部は、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとする。
メインサーバと１つ以上の他サーバとを備えるデータ同期システムであって、
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバは、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信するデータ送受信部と、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新する他サーバデータ更新部と、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成する自サーバデータ更新部と、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定する更新データ予測部と
を備え、
前記対象他サーバの他サーバデータ更新部は、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとする。
【発明の効果】
【0006】
本開示によれば、各他サーバにおいて、データ送受信部がメインサーバから更新用データを受信し、他サーバデータ更新部が、受信した更新用データに基づいて、メインサーバが管理している対象データの同期データを更新後対象同期データに更新する。また、他サーバデータ更新部は、第１更新後自サーバデータと第２更新後自サーバデータとが一致しないと判定された場合に、更新後対象同期データを、自サーバデータが示す状態から第１更新後自サーバデータが示す状態への状態遷移に基づいて対象同期データを更新したデータとする。ここで、対象データは対象イベントの発生によって更新されるデータである。更新用データは、対象イベントの発生によって発生する状態遷移を実現するためのデータであってもよい。第１更新後自サーバデータは、メインサーバにおいて対象データが更新されたロジックと同じロジックを用いて自サーバデータを更新したデータである。第２更新後自サーバデータは、更新用データを用いて自サーバデータを更新したデータである。
従って、本開示によれば、通信容量を十分に確保することができない場合におけるデータ同期システムであって、密なサーバ連携を行い、かつ、データの欠落を防止するデータ同期システムを提供することができる。
従って、本開示によれば、通信容量を十分に確保することができない場合におけるデータ同期システムであって、密なサーバ連携を行い、かつ、データの欠落を防止するデータ同期システムを提供することができる。
【図面の簡単な説明】
【0007】
【図1】実施の形態１に係るデータ同期システム９０の構成例を示す図。
【図2】実施の形態１に係るサーバ１００のハードウェア構成例を示す図。
【図3】実施の形態１に係るデータ同期システム９０の処理フローを示す図。
【図4】実施の形態１に係るデータ同期システム９０の処理フローを示す図。
【図5】実施の形態１に係るデータ同期システム９０の処理フローを示す図。
【図6】実施の形態１に係るデータ同期システム９０の処理フローを示す図。
【発明を実施するための形態】
【0008】
実施の形態の説明及び図面において、同じ要素及び対応する要素には同じ符号を付している。同じ符号が付された要素の説明は、適宜に省略又は簡略化する。図中の矢印はデータの流れ又は処理の流れを主に示している。また、「部」を、「回路」、「工程」、「手順」、「処理」又は「サーキットリー」に適宜読み替えてもよい。
【0009】
実施の形態１．
以下、本実施の形態について、図面を参照しながら詳細に説明する。
以下、本実施の形態について、図面を参照しながら詳細に説明する。
【0010】
＊＊＊構成の説明＊＊＊
図１は、本実施の形態に係るデータ同期システム９０の構成例を示している。データ同期システム９０は、本図に示すように、複数のサーバ１００を備える。
図１は、本実施の形態に係るデータ同期システム９０の構成例を示している。データ同期システム９０は、本図に示すように、複数のサーバ１００を備える。
【0011】
各サーバ１００は、更新データ予測部１１０と、自サーバデータ更新部１２０と、相関判定部１３０と、他サーバデータ更新部１４０と、データ送受信部１５０とを備える。矢印及び各部に付されている数字は、後述の各処理の番号である。
複数のサーバ１００のうち１つのサーバ１００はメインサーバである。メインサーバは、複数のサーバ１００の中からどのように選択されてもよい。複数のサーバ１００のうち、メインサーバ以外の各サーバ１００は他サーバとも呼ばれる。なお、メインサーバが故障した場合に、他サーバのうちいずれか１つがメインサーバに切り替えられる。
メインサーバは、対象データを管理しており、対象データの同期データとして１つ以上の他サーバの各他サーバが管理しているデータと同じデータを各他サーバデータとして管理している。対象データは、対象イベントの発生によって更新後対象データに更新されるデータである。
１つ以上の他サーバの各他サーバを対象他サーバとしたとき、対象他サーバは、メインサーバが管理している対象データの同期データを対象同期データとして管理している。具体例として、サーバ２及びサーバ３の各々において、対象同期データはサーバ１データである。また、対象他サーバは、対象データに対応するデータを自サーバデータとして管理しており、対象他サーバ以外の各他サーバが管理している自サーバデータを各他サーバデータとして管理している。なお、他サーバデータには対象同期データも含まれる。
複数のサーバ１００のうち１つのサーバ１００はメインサーバである。メインサーバは、複数のサーバ１００の中からどのように選択されてもよい。複数のサーバ１００のうち、メインサーバ以外の各サーバ１００は他サーバとも呼ばれる。なお、メインサーバが故障した場合に、他サーバのうちいずれか１つがメインサーバに切り替えられる。
メインサーバは、対象データを管理しており、対象データの同期データとして１つ以上の他サーバの各他サーバが管理しているデータと同じデータを各他サーバデータとして管理している。対象データは、対象イベントの発生によって更新後対象データに更新されるデータである。
１つ以上の他サーバの各他サーバを対象他サーバとしたとき、対象他サーバは、メインサーバが管理している対象データの同期データを対象同期データとして管理している。具体例として、サーバ２及びサーバ３の各々において、対象同期データはサーバ１データである。また、対象他サーバは、対象データに対応するデータを自サーバデータとして管理しており、対象他サーバ以外の各他サーバが管理している自サーバデータを各他サーバデータとして管理している。なお、他サーバデータには対象同期データも含まれる。
【0012】
【0013】
データ同期システム９０は、イベントの発生により内容が変化し得るデータについて、イベントの発生前とイベントの発生後との間におけるデータの相関性に着目したシステムである。メインサーバは、イベントの発生後の状態そのものを示すデータを送信せず、イベントの発生前の状態からイベントの発生後の状態に遷移させるために最小限必要なデータを他のサーバ１００に送信する。
データ同期システム９０において、相関性及び相関性判定ロジックを活用することにより密なサーバ間連携が達成される。具体的には、データ同期システム９０において、メインサーバ以外の各サーバ１００が、メインサーバから受信したデータと、メインサーバが用いた相関性判定ロジックと同じ相関性判定ロジックとを用いて状態を復元することにより、密なサーバ間連携が達成される。
データ同期システム９０において、相関性及び相関性判定ロジックを活用することにより密なサーバ間連携が達成される。具体的には、データ同期システム９０において、メインサーバ以外の各サーバ１００が、メインサーバから受信したデータと、メインサーバが用いた相関性判定ロジックと同じ相関性判定ロジックとを用いて状態を復元することにより、密なサーバ間連携が達成される。
【0014】
また、データ同期システム９０では、相関性判定ロジックを情報の正確性判定にも使用する。具体的には、相関性判定ロジックを、同期先サーバのデータに対応する状態遷移が起こり得るか否かを判定することによるデータの欠落の判定と、自サーバのデータを正しく復元することができているか否かの判定とに用いることにより、サーバ同期の精度向上を図る。ここで、図１に示す例において、サーバ２に対応する自サーバはサーバ２であり、サーバ２に対応する他サーバはサーバ１とサーバ３との各々である。
なお、相関性判定ロジックは、更新データ予測部１１０と相関判定部１３０とにおいて用いられる。
なお、相関性判定ロジックは、更新データ予測部１１０と相関判定部１３０とにおいて用いられる。
【0015】
メインサーバの更新データ予測部１１０は、メインサーバが他サーバに切り替えられた場合に用いられる。
対象他サーバの更新データ予測部１１０は、各他サーバのデータ送受信部１５０がメインサーバから受信更新用データとして受信した更新用データを用いて自サーバデータを更新することにより第２更新後自サーバデータを生成し、後述の第１更新後自サーバデータと、第２更新後自サーバデータとが一致するか否かを判定する。
対象他サーバの更新データ予測部１１０は、各他サーバのデータ送受信部１５０がメインサーバから受信更新用データとして受信した更新用データを用いて自サーバデータを更新することにより第２更新後自サーバデータを生成し、後述の第１更新後自サーバデータと、第２更新後自サーバデータとが一致するか否かを判定する。
【0016】
各他サーバの自サーバデータ更新部１２０は、メインサーバにおいて対象データが更新後対象データに更新されたロジックと同じロジックを用いて自サーバデータを更新することにより第１更新後自サーバデータを生成する。
自サーバデータ更新部１２０には、初期状態において自サーバデータの初期値が格納されており、自サーバデータが更新された場合に更新後の自サーバデータが格納される。自サーバデータは、自サーバデータ更新部１２０を備えるサーバ１００のデータである。具体例として、サーバ１の自サーバデータ更新部１２０にはサーバ１の自サーバデータが格納されている。
自サーバデータ更新部１２０には、初期状態において自サーバデータの初期値が格納されており、自サーバデータが更新された場合に更新後の自サーバデータが格納される。自サーバデータは、自サーバデータ更新部１２０を備えるサーバ１００のデータである。具体例として、サーバ１の自サーバデータ更新部１２０にはサーバ１の自サーバデータが格納されている。
【0017】
メインサーバの相関判定部１３０は、メインサーバが管理している各他サーバデータを対象他サーバデータとしたとき、更新用データを用いて対象他サーバデータを更新することができる場合に、対象データと対象他サーバデータとの相関関係を導出する。更新用データは、対象データを更新後対象データに更新することに用いられるデータであり、具体例として、対象イベントの発生によって対象データに発生する状態遷移を実現するためのデータである。
各他サーバの相関判定部１３０は、各他サーバのデータ送受信部１５０がメインサーバから受信更新用データとして受信した更新用データと、対象同期データ以外の各他サーバデータとの相関関係を導出する。
各他サーバの相関判定部１３０は、各他サーバのデータ送受信部１５０がメインサーバから受信更新用データとして受信した更新用データと、対象同期データ以外の各他サーバデータとの相関関係を導出する。
【0018】
他サーバデータ更新部１４０には、初期状態において他サーバデータの初期値が格納されており、他サーバデータが更新された場合に更新後の他サーバデータが格納される。他サーバデータは、データ同期システム９０が備えるサーバ１００のうち他サーバデータ更新部１４０を備えるサーバ１００以外の各サーバ１００のデータである。具体例として、サーバ１の他サーバデータ更新部１４０には、サーバ２の自サーバデータと、サーバ３の自サーバデータとが格納されている。
メインサーバの他サーバデータ更新部１４０は、メインサーバの相関判定部１３０によって対象データと対象他サーバデータとの相関関係が導出された場合に、更新用データを用いて対象他サーバデータを更新する。
各他サーバの他サーバデータ更新部１４０は、受信更新用データを用いて対象同期データを更新後対象同期データに更新し、各他サーバの相関判定部１３０によって導出された相関関係であって、対象同期データ以外の各他サーバデータに対応する相関関係に基づいて、対象同期データ以外の各他サーバデータを更新する。各他サーバの他サーバデータ更新部１４０は、更新データ予測部１１０によって第１更新後自サーバデータと第２更新後自サーバデータとが一致しないと判定された場合に、更新後対象同期データを、自サーバデータが示す状態から第１更新後自サーバデータが示す状態への状態遷移に基づいて対象同期データを更新したデータとする。
メインサーバの他サーバデータ更新部１４０は、メインサーバの相関判定部１３０によって対象データと対象他サーバデータとの相関関係が導出された場合に、更新用データを用いて対象他サーバデータを更新する。
各他サーバの他サーバデータ更新部１４０は、受信更新用データを用いて対象同期データを更新後対象同期データに更新し、各他サーバの相関判定部１３０によって導出された相関関係であって、対象同期データ以外の各他サーバデータに対応する相関関係に基づいて、対象同期データ以外の各他サーバデータを更新する。各他サーバの他サーバデータ更新部１４０は、更新データ予測部１１０によって第１更新後自サーバデータと第２更新後自サーバデータとが一致しないと判定された場合に、更新後対象同期データを、自サーバデータが示す状態から第１更新後自サーバデータが示す状態への状態遷移に基づいて対象同期データを更新したデータとする。
【0019】
データ送受信部１５０は、他のサーバ１００との間でデータを送受信する。
サーバ１のデータ送受信部１５０は、サーバ１データを他のサーバ１００との間で送受信する。
メインサーバのデータ送受信部１５０は、１つ以上の他サーバの各他サーバに更新用データを送信する。メインサーバのデータ送受信部１５０は、対象他サーバからの要求に応じて、１つ以上の他サーバの各他サーバに更新用データを再送する。
各他サーバのデータ送受信部１５０は、更新用データを受信更新用データとして受信する。
また、対象他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が基準発生確率以下である状態遷移とのいずれかに対応する場合に、対象他サーバのデータ送受信部１５０は、メインサーバに対して更新用データを再送することを要求する。この場合において、対象他サーバのデータ送受信部１５０は、再送された更新用データを受信し、受信した更新用データを受信更新用データとする。基準発生確率は、起こりにくい状態遷移に対応する確率であり、どのように定められてもよい。
また、複数の他サーバのうち第１他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が基準発生確率以下である状態遷移とのいずれかに対応する場合に、複数の他サーバのうち第１他サーバ以外の他サーバである第２他サーバのデータ送受信部１５０は、メインサーバのデータ送受信部１５０によって再送された更新データを受信し、受信した更新用データを受信更新用データとする。
サーバ１のデータ送受信部１５０は、サーバ１データを他のサーバ１００との間で送受信する。
メインサーバのデータ送受信部１５０は、１つ以上の他サーバの各他サーバに更新用データを送信する。メインサーバのデータ送受信部１５０は、対象他サーバからの要求に応じて、１つ以上の他サーバの各他サーバに更新用データを再送する。
各他サーバのデータ送受信部１５０は、更新用データを受信更新用データとして受信する。
また、対象他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が基準発生確率以下である状態遷移とのいずれかに対応する場合に、対象他サーバのデータ送受信部１５０は、メインサーバに対して更新用データを再送することを要求する。この場合において、対象他サーバのデータ送受信部１５０は、再送された更新用データを受信し、受信した更新用データを受信更新用データとする。基準発生確率は、起こりにくい状態遷移に対応する確率であり、どのように定められてもよい。
また、複数の他サーバのうち第１他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が基準発生確率以下である状態遷移とのいずれかに対応する場合に、複数の他サーバのうち第１他サーバ以外の他サーバである第２他サーバのデータ送受信部１５０は、メインサーバのデータ送受信部１５０によって再送された更新データを受信し、受信した更新用データを受信更新用データとする。
【0020】
図２は、本実施の形態に係るサーバ１００のハードウェア構成例を示している。サーバ１００はコンピュータから成る。サーバ１００は複数のコンピュータから成ってもよい。
【0021】
サーバ１００は、本図に示すように、プロセッサ１１と、メモリ１２と、補助記憶装置１３と、入出力ＩＦ（Ｉｎｔｅｒｆａｃｅ）１４と、通信装置１５等のハードウェアを備えるコンピュータである。これらのハードウェアは、信号線１９を介して適宜接続されている。
【0022】
プロセッサ１１は、演算処理を行うＩＣ（Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ）であり、かつ、コンピュータが備えるハードウェアを制御する。プロセッサ１１は、具体例として、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）、ＤＳＰ（Ｄｉｇｉｔａｌ Ｓｉｇｎａｌ Ｐｒｏｃｅｓｓｏｒ）、又はＧＰＵ（Ｇｒａｐｈｉｃｓ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）である。
サーバ１００は、プロセッサ１１を代替する複数のプロセッサを備えてもよい。複数のプロセッサはプロセッサ１１の役割を分担する。
サーバ１００は、プロセッサ１１を代替する複数のプロセッサを備えてもよい。複数のプロセッサはプロセッサ１１の役割を分担する。
【0023】
メモリ１２は、典型的には揮発性の記憶装置であり、具体例としてＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）である。メモリ１２は、主記憶装置又はメインメモリとも呼ばれる。メモリ１２に記憶されたデータは、必要に応じて補助記憶装置１３に保存される。
【0024】
補助記憶装置１３は、典型的には不揮発性の記憶装置であり、具体例として、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）、ＨＤＤ（Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅ）、又はフラッシュメモリである。補助記憶装置１３に記憶されたデータは、必要に応じてメモリ１２にロードされる。
メモリ１２及び補助記憶装置１３は一体的に構成されていてもよい。
メモリ１２及び補助記憶装置１３は一体的に構成されていてもよい。
【0025】
入出力ＩＦ１４は、入力装置及び出力装置が接続されるポートである。入出力ＩＦ１４は、具体例として、ＵＳＢ（Ｕｎｉｖｅｒｓａｌ Ｓｅｒｉａｌ Ｂｕｓ）端子である。入力装置は、具体例として、キーボード及びマウスである。出力装置は、具体例として、ディスプレイである。
【0026】
通信装置１５は、レシーバ及びトランスミッタである。通信装置１５は、具体例として、通信チップ又はＮＩＣ（Ｎｅｔｗｏｒｋ Ｉｎｔｅｒｆａｃｅ Ｃａｒｄ）である。
【0027】
サーバ１００の各部は、他の装置等と通信する際に、入出力ＩＦ１４及び通信装置１５を適宜用いてもよい。
【0028】
補助記憶装置１３はデータ同期プログラムを記憶している。データ同期プログラムは、サーバ１００が備える各部の機能をコンピュータに実現させるプログラムである。データ同期プログラムは、メモリ１２にロードされて、プロセッサ１１によって実行される。サーバ１００が備える各部の機能は、ソフトウェアにより実現される。
【0029】
データ同期プログラムを実行する際に用いられるデータと、データ同期プログラムを実行することによって得られるデータ等は、記憶装置に適宜記憶される。サーバ１００の各部は記憶装置を適宜利用する。記憶装置は、具体例として、メモリ１２と、補助記憶装置１３と、プロセッサ１１内のレジスタと、プロセッサ１１内のキャッシュメモリとの少なくとも１つから成る。なお、データという用語と情報という用語とは同等の意味を有することもある。記憶装置は、コンピュータと独立したものであってもよい。
メモリ１２及び補助記憶装置１３の機能は、他の記憶装置によって実現されてもよい。
メモリ１２及び補助記憶装置１３の機能は、他の記憶装置によって実現されてもよい。
【0030】
データ同期プログラムは、コンピュータが読み取り可能な不揮発性の記録媒体に記録されていてもよい。不揮発性の記録媒体は、具体例として、光ディスク又はフラッシュメモリである。データ同期プログラムは、プログラムプロダクトとして提供されてもよい。
【0031】
＊＊＊動作の説明＊＊＊
データ同期システム９０の動作手順はデータ同期方法に相当する。また、データ同期システム９０の動作を実現するプログラムはデータ同期プログラムに相当する。
データ同期システム９０の動作手順はデータ同期方法に相当する。また、データ同期システム９０の動作を実現するプログラムはデータ同期プログラムに相当する。
【0032】
図３から図６は、データ同期システム９０の処理フローの一例を示す図である。図３から図６を用いてデータ同期システム９０の処理フローを説明する。
なお、データ同期システム９０において、各サーバ１００の電源投入後、メインサーバの選択と、メインサーバのデータの更新とが発生することにより、下記の処理１から処理２７が周期的に発生する。以下、データ同期システム９０はサーバ１とサーバ２とサーバ３との３台のサーバ１００を備え、また、サーバ１がメインサーバとして選択されたものとする。
なお、データ同期システム９０において、各サーバ１００の電源投入後、メインサーバの選択と、メインサーバのデータの更新とが発生することにより、下記の処理１から処理２７が周期的に発生する。以下、データ同期システム９０はサーバ１とサーバ２とサーバ３との３台のサーバ１００を備え、また、サーバ１がメインサーバとして選択されたものとする。
【0033】
＜処理１＞
サーバ１において、自サーバデータ更新部１２０は、更新前のサーバ１データが示す状態から更新後のサーバ１データが示す状態への状態遷移を示すデータ（以降、「サーバ１差分データ」と呼ぶ。）を相関判定部１３０に送信する。サーバ１データはメインサーバのデータである。サーバ１差分データは更新用データに当たる。
サーバ１において、自サーバデータ更新部１２０は、更新前のサーバ１データが示す状態から更新後のサーバ１データが示す状態への状態遷移を示すデータ（以降、「サーバ１差分データ」と呼ぶ。）を相関判定部１３０に送信する。サーバ１データはメインサーバのデータである。サーバ１差分データは更新用データに当たる。
【0034】
＜処理２＞
サーバ１において、相関判定部１３０は、サーバ２データ及びサーバ３データの取得要求を示すデータを他サーバデータ更新部１４０に送信する。サーバ２データはサーバ２のデータであり、サーバ３データはサーバ３のデータである。
サーバ１において、相関判定部１３０は、サーバ２データ及びサーバ３データの取得要求を示すデータを他サーバデータ更新部１４０に送信する。サーバ２データはサーバ２のデータであり、サーバ３データはサーバ３のデータである。
【0035】
＜処理３＞
サーバ１において、他サーバデータ更新部１４０は、サーバ２データ及びサーバ３データを相関判定部１３０に送信する。
サーバ１において、他サーバデータ更新部１４０は、サーバ２データ及びサーバ３データを相関判定部１３０に送信する。
【0036】
＜処理４＞
サーバ１において、相関判定部１３０は、受信したサーバ１差分データを基に、受信したサーバ２データとサーバ３データとの各々を更新することができるか否かを判定する。
サーバ１において、相関判定部１３０は、受信したサーバ１差分データを基に、受信したサーバ２データとサーバ３データとの各々を更新することができるか否かを判定する。
【0037】
＜処理５＞
サーバ１において、相関判定部１３０は、処理４の結果を示すデータを自サーバデータ更新部１２０及び他サーバデータ更新部１４０の各々に送信する。このとき、具体例として、他サーバデータとサーバ１差分データとの間において相関がある場合に相関がある箇所を示すデータが送信され、他サーバデータとサーバ１差分データとの間において相関がない場合に０を示すデータが送信される。０を示すデータが送信された場合、次に処理７が実行される。サーバ１における他サーバデータは、サーバ２データ及びサーバ３データの各々である。
サーバ１において、相関判定部１３０は、処理４の結果を示すデータを自サーバデータ更新部１２０及び他サーバデータ更新部１４０の各々に送信する。このとき、具体例として、他サーバデータとサーバ１差分データとの間において相関がある場合に相関がある箇所を示すデータが送信され、他サーバデータとサーバ１差分データとの間において相関がない場合に０を示すデータが送信される。０を示すデータが送信された場合、次に処理７が実行される。サーバ１における他サーバデータは、サーバ２データ及びサーバ３データの各々である。
【0038】
＜処理６＞
サーバ１において、他サーバデータ更新部１４０は、各他サーバデータとサーバ１差分データとの間において相関がある場合に限り、各他サーバデータを更新する。
サーバ１において、他サーバデータ更新部１４０は、各他サーバデータとサーバ１差分データとの間において相関がある場合に限り、各他サーバデータを更新する。
【0039】
＜処理７＞
サーバ１において、自サーバデータ更新部１２０は、サーバ１差分データをデータ送受信部１５０に送信する。
サーバ１において、自サーバデータ更新部１２０は、サーバ１差分データをデータ送受信部１５０に送信する。
【0040】
＜処理８＞
サーバ１において、データ送受信部１５０は、各他サーバのデータ送受信部１５０にサーバ１差分データを送信する。以下、他サーバはサーバ２とサーバ３との各々である。
サーバ１において、データ送受信部１５０は、各他サーバのデータ送受信部１５０にサーバ１差分データを送信する。以下、他サーバはサーバ２とサーバ３との各々である。
【0041】
＜処理９＞
各他サーバにおいて、データ送受信部１５０は、サーバ１からサーバ１差分データを受信し、受信したサーバ１差分データを相関判定部１３０に送信する。
各他サーバにおいて、データ送受信部１５０は、サーバ１からサーバ１差分データを受信し、受信したサーバ１差分データを相関判定部１３０に送信する。
【0042】
＜処理１０＞
各他サーバにおいて、相関判定部１３０は、他サーバデータ更新部１４０に、サーバ１データ以外の各他サーバデータの取得要求を示すデータを送信する。
各他サーバにおいて、相関判定部１３０は、他サーバデータ更新部１４０に、サーバ１データ以外の各他サーバデータの取得要求を示すデータを送信する。
【0043】
＜処理１１＞
各他サーバにおいて、他サーバデータ更新部１４０は、相関判定部１３０に、サーバ１データ以外の各他サーバデータを送信する。
各他サーバにおいて、他サーバデータ更新部１４０は、相関判定部１３０に、サーバ１データ以外の各他サーバデータを送信する。
【0044】
＜処理１２＞
各他サーバにおいて、相関判定部１３０は、受信したサーバ１差分データと他サーバデータとを基に、サーバ１データ以外の各他サーバデータと、サーバ１差分データとの間において相関がある箇所に対応する値を導出する。
各他サーバにおいて、相関判定部１３０は、受信したサーバ１差分データと他サーバデータとを基に、サーバ１データ以外の各他サーバデータと、サーバ１差分データとの間において相関がある箇所に対応する値を導出する。
【0045】
＜処理１３＞
各他サーバにおいて、相関判定部１３０は、処理１２において導出した値が、起こり得ない状態遷移、又は発生確率が低い状態遷移に対応する値である場合、サーバ１差分データの再取得要求を示すデータをデータ送受信部１５０に送信する。
なお、サーバ２とサーバ３との少なくともいずれかにおいて起こり得ない状態遷移、又は発生確率が低い状態遷移であると判断された場合に、サーバ２とサーバ３との各々にサーバ１差分データが再送信される。
また、処理１２において導出した値が、起こり得ない状態遷移と、発生確率が低い状態遷移とのいずれにも対応しない値であるケースにおいて、処理１２実施後の一定時間内（処理１３から処理１８の実行に要する時間）にサーバ２とサーバ３との双方がサーバ１差分データを再受信しない場合、処理１９が実行されずに処理２０が実行される。本ケースにおいて、処理１２実施後の一定時間内に他サーバがサーバ１差分データを再受信した場合（対象ケース）、処理１９が実行される。対象ケースは、具体例として、サーバ２ではサーバ１差分データの再取得要求を示すデータが送信されなかったが、サーバ３ではサーバ１差分データの再取得要求を示すデータが送信された場合に、サーバ２において発生する。
各他サーバにおいて、相関判定部１３０は、処理１２において導出した値が、起こり得ない状態遷移、又は発生確率が低い状態遷移に対応する値である場合、サーバ１差分データの再取得要求を示すデータをデータ送受信部１５０に送信する。
なお、サーバ２とサーバ３との少なくともいずれかにおいて起こり得ない状態遷移、又は発生確率が低い状態遷移であると判断された場合に、サーバ２とサーバ３との各々にサーバ１差分データが再送信される。
また、処理１２において導出した値が、起こり得ない状態遷移と、発生確率が低い状態遷移とのいずれにも対応しない値であるケースにおいて、処理１２実施後の一定時間内（処理１３から処理１８の実行に要する時間）にサーバ２とサーバ３との双方がサーバ１差分データを再受信しない場合、処理１９が実行されずに処理２０が実行される。本ケースにおいて、処理１２実施後の一定時間内に他サーバがサーバ１差分データを再受信した場合（対象ケース）、処理１９が実行される。対象ケースは、具体例として、サーバ２ではサーバ１差分データの再取得要求を示すデータが送信されなかったが、サーバ３ではサーバ１差分データの再取得要求を示すデータが送信された場合に、サーバ２において発生する。
【0046】
＜処理１４＞
各他サーバにおいて、データ送受信部１５０は、サーバ１差分データの再取得要求を示すデータをサーバ１のデータ送受信部１５０に送信する。
各他サーバにおいて、データ送受信部１５０は、サーバ１差分データの再取得要求を示すデータをサーバ１のデータ送受信部１５０に送信する。
【0047】
＜処理１５＞
サーバ１において、データ送受信部１５０は、他サーバからサーバ１差分データの再取得要求を示すデータを受信し、受信したサーバ１差分データの再取得要求を示すデータを自サーバデータ更新部１２０に送信する。
サーバ１において、データ送受信部１５０は、他サーバからサーバ１差分データの再取得要求を示すデータを受信し、受信したサーバ１差分データの再取得要求を示すデータを自サーバデータ更新部１２０に送信する。
【0048】
＜処理１６＞
サーバ１において、自サーバデータ更新部１２０は、サーバ１差分データをデータ送受信部１５０に再送信する。
サーバ１において、自サーバデータ更新部１２０は、サーバ１差分データをデータ送受信部１５０に再送信する。
【0049】
＜処理１７＞
サーバ１において、データ送受信部１５０は、サーバ１差分データを各他サーバのデータ送受信部１５０に再送信する。
サーバ１において、データ送受信部１５０は、サーバ１差分データを各他サーバのデータ送受信部１５０に再送信する。
【0050】
＜処理１８＞
各他サーバにおいて、データ送受信部１５０は、サーバ１からサーバ１差分データを再度受信し、受信したサーバ１差分データを相関判定部１３０に送信する。
各他サーバにおいて、データ送受信部１５０は、サーバ１からサーバ１差分データを再度受信し、受信したサーバ１差分データを相関判定部１３０に送信する。
【0051】
＜処理１９＞
各他サーバにおいて、相関判定部１３０は、受信した他サーバデータと再取得したサーバ１差分データとを基に、サーバ１データ以外の各他サーバデータと、サーバ１差分データとの間において相関がある箇所に対応する値を導出する。
各他サーバにおいて、相関判定部１３０は、受信した他サーバデータと再取得したサーバ１差分データとを基に、サーバ１データ以外の各他サーバデータと、サーバ１差分データとの間において相関がある箇所に対応する値を導出する。
【0052】
＜処理２０＞
各他サーバにおいて、相関判定部１３０は、「サーバ１差分データ」と「処理１２又は処理１９において導出した値」とを、他サーバデータ更新部１４０に送信する。
各他サーバにおいて、相関判定部１３０は、「サーバ１差分データ」と「処理１２又は処理１９において導出した値」とを、他サーバデータ更新部１４０に送信する。
【0053】
＜処理２１＞
各他サーバにおいて、他サーバデータ更新部１４０は、サーバ１データと「サーバ１差分データ」とを用いてサーバ１データを更新し、サーバ１以外に対応する「他サーバデータ」と「処理１２又は処理１９において導出した値」とを用いてサーバ１以外に対応する「他サーバデータ」を更新する。サーバ２において、サーバ１以外に対応する「他サーバデータ」はサーバ３データである。
各他サーバにおいて、他サーバデータ更新部１４０は、サーバ１データと「サーバ１差分データ」とを用いてサーバ１データを更新し、サーバ１以外に対応する「他サーバデータ」と「処理１２又は処理１９において導出した値」とを用いてサーバ１以外に対応する「他サーバデータ」を更新する。サーバ２において、サーバ１以外に対応する「他サーバデータ」はサーバ３データである。
【0054】
＜処理２２＞
各他サーバにおいて、相関判定部１３０は、サーバ１差分データを更新データ予測部１１０に送信する。
各他サーバにおいて、相関判定部１３０は、サーバ１差分データを更新データ予測部１１０に送信する。
【0055】
＜処理２３＞
各他サーバにおいて、更新データ予測部１１０は、更新前の自サーバデータと、更新後の自サーバデータとに関する取得要求を示すデータを自サーバデータ更新部１２０に送信する。
各他サーバにおいて、更新データ予測部１１０は、更新前の自サーバデータと、更新後の自サーバデータとに関する取得要求を示すデータを自サーバデータ更新部１２０に送信する。
【0056】
＜処理２４＞
各他サーバにおいて、自サーバデータ更新部１２０は、更新後の自サーバデータを生成し、更新前の自サーバデータと、生成した更新後の自サーバデータとを更新データ予測部１１０に送信する。なお、各他サーバの自サーバデータ更新部１２０は、メインサーバから受信したデータを用いずに、更新前の自サーバデータを更新後の自サーバデータに更新する。
各他サーバにおいて、自サーバデータ更新部１２０は、更新後の自サーバデータを生成し、更新前の自サーバデータと、生成した更新後の自サーバデータとを更新データ予測部１１０に送信する。なお、各他サーバの自サーバデータ更新部１２０は、メインサーバから受信したデータを用いずに、更新前の自サーバデータを更新後の自サーバデータに更新する。
【0057】
＜処理２５＞
各他サーバにおいて、更新データ予測部１１０は、「サーバ１データ差分」と「更新前の自サーバデータ」とから「更新後の自サーバデータ」を予測し、自サーバデータ更新部１２０から取得した「更新後の自サーバデータ」と、予測した「更新後の自サーバデータ」とを比較する。ここで、自サーバデータ更新部１２０から取得した「更新後の自サーバデータ」は、正解値に当たり、また、第１更新後自サーバデータに当たる。更新データ予測部１１０が予測した「更新後の自サーバデータ」は、予測値に当たり、また、第２更新後自サーバデータに当たる。
自サーバデータ更新部１２０から取得した「更新後の自サーバデータ」と、予測した「更新後の自サーバデータ」とが一致しない場合、処理２６以降が実行される。それ以外の場合、処理２５の実行終了をもって今回の周期の処理は終了する。
各他サーバにおいて、更新データ予測部１１０は、「サーバ１データ差分」と「更新前の自サーバデータ」とから「更新後の自サーバデータ」を予測し、自サーバデータ更新部１２０から取得した「更新後の自サーバデータ」と、予測した「更新後の自サーバデータ」とを比較する。ここで、自サーバデータ更新部１２０から取得した「更新後の自サーバデータ」は、正解値に当たり、また、第１更新後自サーバデータに当たる。更新データ予測部１１０が予測した「更新後の自サーバデータ」は、予測値に当たり、また、第２更新後自サーバデータに当たる。
自サーバデータ更新部１２０から取得した「更新後の自サーバデータ」と、予測した「更新後の自サーバデータ」とが一致しない場合、処理２６以降が実行される。それ以外の場合、処理２５の実行終了をもって今回の周期の処理は終了する。
【0058】
＜処理２６＞
各他サーバにおいて、処理２５において両データが一致しない場合、更新データ予測部１１０は、更新前の自サーバデータが示す状態から更新後の自サーバデータが示す状態への状態遷移を示す「状態遷移を示すデータ」を、各他サーバの他サーバデータ更新部１４０と、サーバ１の他サーバデータ更新部１４０との各々に送信する。
各他サーバにおいて、処理２５において両データが一致しない場合、更新データ予測部１１０は、更新前の自サーバデータが示す状態から更新後の自サーバデータが示す状態への状態遷移を示す「状態遷移を示すデータ」を、各他サーバの他サーバデータ更新部１４０と、サーバ１の他サーバデータ更新部１４０との各々に送信する。
【0059】
＜処理２７＞
サーバ１と各他サーバとにおいて、他サーバデータ更新部１４０は、「更新前の他サーバデータ」と受信した「状態遷移を示すデータ」とに基づいて他サーバデータを求め、求めた他サーバデータを更新後の他サーバデータとする。
サーバ１と各他サーバとにおいて、他サーバデータ更新部１４０は、「更新前の他サーバデータ」と受信した「状態遷移を示すデータ」とに基づいて他サーバデータを求め、求めた他サーバデータを更新後の他サーバデータとする。
【0060】
以上の処理により、データの欠落等がない場合、各サーバ１００間でやり取りするデータはサーバ１データのみである。
また、相関判定部１３０は、起こり得ないデータ更新と、発生確率が低いデータ更新とを検知する機能を有しているためにデータの欠落を検知することができる。データの欠落が検知された場合、各サーバ１００間においてサーバ１データを再送することにより、データの欠落を防止することができる。
また、相関判定部１３０は、起こり得ないデータ更新と、発生確率が低いデータ更新とを検知する機能を有しているためにデータの欠落を検知することができる。データの欠落が検知された場合、各サーバ１００間においてサーバ１データを再送することにより、データの欠落を防止することができる。
【0061】
なお、図１ではサーバ１００が３台であるが、４台以上のサーバ１００を備えるデータ同期システム９０に対しても本実施の形態を適用することができる。
【0062】
＊＊＊実施の形態１の効果の説明＊＊＊
本実施の形態によれば、密なサーバ間連携と、サーバ同期の精度向上とを実現することができる。効果の詳細については、下記の通りである。
本実施の形態によれば、密なサーバ間連携と、サーバ同期の精度向上とを実現することができる。効果の詳細については、下記の通りである。
【0063】
＜密なサーバ間連携＞
相関判定部１３０は、「サーバ１差分データ」を基に、サーバ２データとサーバ３データとの各々を更新することができるか否かを判定する（処理４と処理１２と処理１９とを参照）。
他サーバデータ更新部１４０は、相関判定部１３０の判定結果に基づいて他サーバデータを更新する（処理６と処理２１と処理２７とを参照）。
そのため、本実施の形態によれば、更新後の自サーバデータの予測値が正しく、かつ、データの欠落がない場合に、サーバ１００間の通信回数は、１周期あたり２回である。一方、特許文献１によれば、通信回数は１周期あたり４回以上である。そのため、本実施の形態によれば、先行技術と比較して少ない通信回数でサーバ間連携を実現することができる。また、本実施の形態によれば、トータルとして伝送に必要なデータ量を先行技術と比較して削減することができる。
相関判定部１３０は、「サーバ１差分データ」を基に、サーバ２データとサーバ３データとの各々を更新することができるか否かを判定する（処理４と処理１２と処理１９とを参照）。
他サーバデータ更新部１４０は、相関判定部１３０の判定結果に基づいて他サーバデータを更新する（処理６と処理２１と処理２７とを参照）。
そのため、本実施の形態によれば、更新後の自サーバデータの予測値が正しく、かつ、データの欠落がない場合に、サーバ１００間の通信回数は、１周期あたり２回である。一方、特許文献１によれば、通信回数は１周期あたり４回以上である。そのため、本実施の形態によれば、先行技術と比較して少ない通信回数でサーバ間連携を実現することができる。また、本実施の形態によれば、トータルとして伝送に必要なデータ量を先行技術と比較して削減することができる。
【0064】
＜サーバ同期の精度向上＞
予測値が正しくない場合、又はデータの欠落がある場合において、サーバ１００間の通信回数が２回以上に増える。しかしながら、本実施の形態によれば、サーバ１００間でより正確なデータをやり取りすることができる。
予測値が正しくない場合、又はデータの欠落がある場合において、サーバ１００間の通信回数が２回以上に増える。しかしながら、本実施の形態によれば、サーバ１００間でより正確なデータをやり取りすることができる。
【0065】
また、部隊が野外展開する指揮システムにおけるサーバ間のデータ連携は、部隊に割り当てられている野外通信が狭帯域であることから、最低限のデータ同期と、音声等の人員を介したデータ共有等によって狭帯域をカバーする場合がある。
将来の戦闘では、ドローン等の民生技術の転用により、同時に複数の場所で戦闘が生起するようなことが予想されるため、野外展開しているサーバ同士であっても短時間で密な連携を行う必要がある。しかしながら、通信帯域が狭帯域であるために、データの欠落が起きることにより、正しくないデータをユーザーに伝えてしまう可能性がある。データの欠落が発生した場合に味方機を敵機と間違えて撃墜する等の恐れがあるため、データの欠落を防止する必要がある。一方、本実施の形態によれば、このように通信容量を十分に確保することができないデータ同期システムにおいて、密なサーバ連携を行うことができ、かつ、データの欠落を防止することができるデータ同期システムを実現することができる。
将来の戦闘では、ドローン等の民生技術の転用により、同時に複数の場所で戦闘が生起するようなことが予想されるため、野外展開しているサーバ同士であっても短時間で密な連携を行う必要がある。しかしながら、通信帯域が狭帯域であるために、データの欠落が起きることにより、正しくないデータをユーザーに伝えてしまう可能性がある。データの欠落が発生した場合に味方機を敵機と間違えて撃墜する等の恐れがあるため、データの欠落を防止する必要がある。一方、本実施の形態によれば、このように通信容量を十分に確保することができないデータ同期システムにおいて、密なサーバ連携を行うことができ、かつ、データの欠落を防止することができるデータ同期システムを実現することができる。
【0066】
＊＊＊他の実施の形態＊＊＊
実施の形態１について説明したが、本実施の形態のうち、複数の部分を組み合わせて実施しても構わない。あるいは、本実施の形態を部分的に実施しても構わない。その他、本実施の形態は、必要に応じて種々の変更がなされても構わず、全体としてあるいは部分的に、どのように組み合わせて実施されても構わない。
なお、前述した実施の形態は、本質的に好ましい例示であって、本開示と、その適用物と、用途の範囲とを制限することを意図するものではない。フローチャート等を用いて説明した手順は適宜変更されてもよい。
実施の形態１について説明したが、本実施の形態のうち、複数の部分を組み合わせて実施しても構わない。あるいは、本実施の形態を部分的に実施しても構わない。その他、本実施の形態は、必要に応じて種々の変更がなされても構わず、全体としてあるいは部分的に、どのように組み合わせて実施されても構わない。
なお、前述した実施の形態は、本質的に好ましい例示であって、本開示と、その適用物と、用途の範囲とを制限することを意図するものではない。フローチャート等を用いて説明した手順は適宜変更されてもよい。
【0067】
以下、本開示の諸態様を付記としてまとめて記載する。
【0068】
（付記１）
メインサーバと１つ以上の他サーバとを備えるデータ同期システムであって、
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバは、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信するデータ送受信部と、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新する他サーバデータ更新部と、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成する自サーバデータ更新部と、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定する更新データ予測部と
を備え、
前記対象他サーバの他サーバデータ更新部は、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとするデータ同期システム。
メインサーバと１つ以上の他サーバとを備えるデータ同期システムであって、
前記１つ以上の他サーバの各他サーバを対象他サーバとしたとき、前記対象他サーバは、前記メインサーバが管理している対象データの同期データを対象同期データとして管理しており、前記対象データに対応するデータを自サーバデータとして管理しており、
前記対象データは、対象イベントの発生によって更新後対象データに更新され、
前記対象他サーバは、
前記対象データを前記更新後対象データに更新することに用いられる更新用データを受信更新用データとして前記メインサーバから受信するデータ送受信部と、
前記受信更新用データを用いて前記対象同期データを更新後対象同期データに更新する他サーバデータ更新部と、
前記メインサーバにおいて前記対象データが前記更新後対象データに更新されたロジックと同じロジックを用いて前記自サーバデータを更新することにより第１更新後自サーバデータを生成する自サーバデータ更新部と、
前記受信更新用データを用いて前記自サーバデータを更新することにより第２更新後自サーバデータを生成し、前記第１更新後自サーバデータと、前記第２更新後自サーバデータとが一致するか否かを判定する更新データ予測部と
を備え、
前記対象他サーバの他サーバデータ更新部は、前記第１更新後自サーバデータと前記第２更新後自サーバデータとが一致しないと判定された場合に、前記更新後対象同期データを、前記自サーバデータが示す状態から前記第１更新後自サーバデータが示す状態への状態遷移に基づいて前記対象同期データを更新したデータとするデータ同期システム。
【0069】
（付記２）
前記対象他サーバは、前記１つ以上の他サーバのうち前記対象他サーバ以外の各他サーバが管理している自サーバデータを各他サーバデータとして管理しており、
前記対象他サーバは、さらに、
前記受信更新用データと、各他サーバデータとの相関関係を導出する相関判定部
を備え、
前記他サーバデータ更新部は、導出された各他サーバデータに対応する相関関係に基づいて各他サーバデータを更新する付記１に記載のデータ同期システム。
前記対象他サーバは、前記１つ以上の他サーバのうち前記対象他サーバ以外の各他サーバが管理している自サーバデータを各他サーバデータとして管理しており、
前記対象他サーバは、さらに、
前記受信更新用データと、各他サーバデータとの相関関係を導出する相関判定部
を備え、
前記他サーバデータ更新部は、導出された各他サーバデータに対応する相関関係に基づいて各他サーバデータを更新する付記１に記載のデータ同期システム。
【0070】
（付記３）
前記メインサーバは、前記対象データを管理しており、前記対象データの同期データとして前記１つ以上の他サーバの各他サーバが管理しているデータと同じデータを各他サーバデータとして管理しており、
前記メインサーバは、前記メインサーバが管理している各他サーバデータを対象他サーバデータとしたとき、
前記更新用データを用いて前記対象他サーバデータを更新することができる場合に、前記対象データと前記対象他サーバデータとの相関関係を導出する相関判定部と、
前記対象データと前記対象他サーバデータとの相関関係が導出された場合に、前記更新用データを用いて前記対象他サーバデータを更新する他サーバデータ更新部と、
前記１つ以上の他サーバの各他サーバに前記更新用データを送信するデータ送受信部とを備える付記１又は２に記載のデータ同期システム。
前記メインサーバは、前記対象データを管理しており、前記対象データの同期データとして前記１つ以上の他サーバの各他サーバが管理しているデータと同じデータを各他サーバデータとして管理しており、
前記メインサーバは、前記メインサーバが管理している各他サーバデータを対象他サーバデータとしたとき、
前記更新用データを用いて前記対象他サーバデータを更新することができる場合に、前記対象データと前記対象他サーバデータとの相関関係を導出する相関判定部と、
前記対象データと前記対象他サーバデータとの相関関係が導出された場合に、前記更新用データを用いて前記対象他サーバデータを更新する他サーバデータ更新部と、
前記１つ以上の他サーバの各他サーバに前記更新用データを送信するデータ送受信部とを備える付記１又は２に記載のデータ同期システム。
【0071】
（付記４）
前記対象他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が基準発生確率以下である状態遷移とのいずれかに対応する場合に、
前記対象他サーバのデータ送受信部は、前記メインサーバに対して前記更新用データを再送することを要求し、
前記メインサーバのデータ送受信部は、前記１つ以上の他サーバの各他サーバに前記更新用データを再送し、
前記対象他サーバのデータ送受信部は、再送された更新用データを受信し、受信した更新用データを前記受信更新用データとする付記１から３のいずれか１つに記載のデータ同期システム。
前記対象他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が基準発生確率以下である状態遷移とのいずれかに対応する場合に、
前記対象他サーバのデータ送受信部は、前記メインサーバに対して前記更新用データを再送することを要求し、
前記メインサーバのデータ送受信部は、前記１つ以上の他サーバの各他サーバに前記更新用データを再送し、
前記対象他サーバのデータ送受信部は、再送された更新用データを受信し、受信した更新用データを前記受信更新用データとする付記１から３のいずれか１つに記載のデータ同期システム。
【0072】
（付記５）
前記データ同期システムは、前記１つ以上の他サーバとして複数の他サーバを備え、
前記複数の他サーバのうち第１他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が前記基準発生確率以下である状態遷移とのいずれかに対応する場合に、
前記複数の他サーバのうち前記第１他サーバ以外の他サーバである第２他サーバのデータ送受信部は、再送された更新データを受信し、受信した更新用データを前記受信更新用データとする付記４に記載のデータ同期システム。
前記データ同期システムは、前記１つ以上の他サーバとして複数の他サーバを備え、
前記複数の他サーバのうち第１他サーバにおいて導出された相関関係が、起こり得ない状態遷移と、発生確率が前記基準発生確率以下である状態遷移とのいずれかに対応する場合に、
前記複数の他サーバのうち前記第１他サーバ以外の他サーバである第２他サーバのデータ送受信部は、再送された更新データを受信し、受信した更新用データを前記受信更新用データとする付記４に記載のデータ同期システム。
【0073】
（付記６）
前記更新用データは、前記対象イベントの発生によって前記対象データに発生する状態遷移を実現するためのデータである付記１から５のいずれか１つに記載のデータ同期システム。
前記更新用データは、前記対象イベントの発生によって前記対象データに発生する状態遷移を実現するためのデータである付記１から５のいずれか１つに記載のデータ同期システム。
【符号の説明】
【0074】
１１ プロセッサ、１２ メモリ、１３ 補助記憶装置、１４ 入出力ＩＦ、１５ 通信装置、１８ 処理回路、１９ 信号線、９０ データ同期システム、１００ サーバ、１１０ 更新データ予測部、１２０ 自サーバデータ更新部、１３０ 相関判定部、１４０ 他サーバデータ更新部、１５０ データ送受信部。
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】