JPS6022784B2

JPS6022784B2 - 重複デ−タの完全性維持方式

Info

Publication number: JPS6022784B2
Application number: JP53057788A
Authority: JP
Inventors: 義之西原
Original assignee: Nippon Electric Co Ltd
Current assignee: NEC Corp
Priority date: 1978-05-15
Filing date: 1978-05-15
Publication date: 1985-06-04
Also published as: JPS54148454A

Description

【発明の詳細な説明】本発明は分散型データベースシステムにおける重複デー
タの完全性を維持する方式に関するものである。

今日、情報処理技術の発展に伴ない、分散型データベー
スシステムが議論されている。

この中の一つに重複データの制御方式がある。重複デー
タとは物理的に異なるコンピュータによりそれぞれ管理
されるデータであるが、その内容が等しいデータを言う
。重複データの制御とは、１つのデータが更新された時
、他の重複データをも更新し、重複データの同一性を維
持することである。またプログラム間の同じデータに対
する競合を管理し、データの完全性を維持することであ
る。説明を簡単にするため完全性が崩壊する例を第１図
を使用して説明する。第１図において、あるレコードＲ
に対してプログラム１とプログラム２が更新処理を行な
っている。レコードＲの初期値をｒ，とする。まずプロ
グラム１がレコードＲの内容を′ＧＥＴ’する。次にプ
ログラム１がＲの値にｘ，をプラスする。これと同時に
プログラム２がＲの内容をＩＣＥＴ’する。この時点で
はＲの値はｈである。次にプログラム１がＲを‘ＳＴＯ
ＲＥＩする。

この値はｒｏ＋ｘ，である。またプログラム２ではＲの
値に均をブラスする。次の時点でプログラム２がＲを‘
ＳＴＯＲＥ’する。この値はｒｏ十×２である。この例
ではＲの値が【ｏ＋ｘ，十杉になる予定であったが同じ
Ｒに対するプログラム間の競合が生じ、【ｏ＋梅となっ
てしまった。このような現象を防止するのが完全性の維
持である。なお説明は１つのコンピュータ内における完
全性の問題について示したが、重複データの場合には、
複数のコンピュータ間の完全性を維持するため、より複
雑な問題が生じる。この完全性を維持する方式として従
来多数決方式等が提案されているが、更新可を決定する
までの時間が長すぎ実用化しがたい。

本発明の目的は短時間に更新可を決定可能な重複データ
の完全性維持方式を提供することにある。

まず本発明の基礎である論理時刻方式について説明する
。

論理時刻方式とは、分散型デー夕べ−スを構成する各コ
ンピュータにおいて、各コンピュータは物理的には同一
でない論理的な時刻（論理時刻）を有し、同一論理時刻
に対するデータ群を同一に限定する方式である。この論
理時刻方式の実現方式には種々考えられるが、例えば、
各コンピュータは対等の関係にあり、論理時刻ｋのコン
ピュータにおいて、他のコンピュータの論理時刻がｋま
たはそれ以上に進んだことが確認できた時点で論理時刻
を１つ進ませるようにすればよい。この例の場合には、
論理時刻ｋの時点で出された全ての更新要求が全てのコ
ンピュータに対しｋ十２の初めまでに到着済みである保
証ができ、ｋの時点に出された更新要求をｋ十２におい
て実行することにより、各コンピュータにおいて同一論
理時刻に更新するデ−タ群が限定される。本発明の第一
の実施例は完全性維持の基本である同じデータに対する
更新を防止する方式を提案したもので、各コンビュー外
こおいて同一論理時刻に更新する重複データに対する更
新が同じデータに対する更新か否かを判別し、同じデー
タに対する更新要求を排除し、同じデータに対する更新
要求以外の更新要求のみを実行することを特徴とする方
式である。重複データを有する各コンピュータは並列か
つ独立に処理を行なっているが、前記した論理時刻方式
を用いているため、各コンピュータで同一論理時刻に更
新するデータは同一なデータであり、各コンピュータに
おいて同じ結果を得ることができる。

すなわち第１の実施例により同じデー外こ対する二重の
更新を防止することが可能となる。

本発明を利用するプログラムには、更新だけでなく、参
照においても更新と同様な完全性を要求するものもある
。例えば、あるレコードＲ４の値を別のレコードＲ２に
転送する場合、転送中にＲ，の内容を更新されると完全
性が崩壊する。以下、更新およびまたは参照を単にアク
セスと表現する。第２の実施例は更新だけでなく、更新
を行なうため参照したデータも同機な完全性のチェック
を行なうもので、同一論理時刻に更新する重複データお
よび更新を行なうために参照した重複データの内同じデ
ータに対するアクセスかを判別し、同じデータに対する
アクセス以外のアクセスを実行することを特徴とした方
式であり、第１の実施例による更新の場合に加え参照に
ついても同機に処理されるものである。

したがって更新のみの場合、参照のみの場合、更新参照
の場合のいずれの場合についてもこの第２の実施例によ
って処理が可能となるものである。本発明を利用するプ
ログラムには流れがあり、１つのプログラムから要求さ
れたアクセス要求の内１つでも拒否された場合他の要求
が無意味となることが多い。

またその要求が更新の場合リカバリの必要も生じる。こ
のようにアクセスの可か否かの判定をプログラム単位に
行なうことを要求するアプリケーションも多い。本発明
の第３の実施例は、完全性維持のための排他制御をプロ
グラム単位に行なうもので、第２の実施例に加えて、同
じデータに対するアクセスを行なったプログラムから発
生した他のアクセスも拒否する機能を有することを特徴
とした方式である。

すなわち同じデータに対するアクセスを行なったプログ
ラム以外のプログラムが行なったアクセスを実行するこ
とを特徴とした方式である。また本発明を利用するプロ
グラムには一連の仕事があり、この一連の仕事の間そこ
で使用したデータの完全性を維持する必要がある。この
ためにプログラムから完全性のチェックを行なう区間を
指定できる機能が必要となる。第４の実施例は、第３の
実施例に加え、論理時刻の一時停止機能を付加したもの
である。

この機能によりプログラムは一連の仕事の初めに論理時
刻の一時停止を行ない、一連の仕事終了後に論理時刻の
停止解除を行なえば、一連の仕事は同一論理時刻に実行
され、完全性の維持を行なうことができる。

次に本発明の詳細をブロック図を用いて説明する。

まず第２図をもちいて第１の実施例を説明する。第２図
においてバッファ１は端子２を通し供給される当コンピ
ュータおよび他コンピュータからの更新要求を記憶する
。転送装置３は端子４を通し供給される論理時刻の変更
通知を受けると該バッファ１の中から、この論理時刻に
更新する更新要求をバッファ５に記憶し、排他制御装置
６を起動する。排他制御装置６は、バッファ５の内容を
チェックし、同一のデータに対する更新要求を排除し、
完了後に更新処理装置７を起動する。該更新処理装置７
はバッファ５に記憶されている更新要求を実行する。第
１の実施例により、同じデータに対する２重の更新が防
止できる。

次に第２実施例を説明する。

第２図において、バッファ１は端子２を通して供給され
る当コンピュータおよび他コンピュータからの更新要求
および更新を行なうために参照した参照要求を記憶する
。転送装置３は端子４を通し供給される論理時刻の変更
通知を受けると、該バッファ１の中から、この論理時刻
にアクセスするアクセス要求をバッファ５に記憶し、排
他制御装置６を記動する。排他制御装置６は、バッファ
５の内容をチェックし、同一データに対するアクセス要
求を排除し、完了後に更新処理装置７を起動する。更新
処理装置はバッファ５に記憶されているアクセス命令を
実行する。第３の実施例により更新だけでなく、更新を
行なうために参照したデータに対しても完全性が維持で
きる。

第３の実施例は第２の実施例に以下の機能を付加する。

排他制御装置６は、該バッファ５を排除する際に、同一
プログラムから出された他のアクセス要求も排除する。
第３の実施例により意味のないアクセス要求の実行が防
止され、効率が向上する。第４の実施例は第３の実施例
に加えて以下の機能であるが、端子４を通じて論理時刻
変更通知を供Ｖ給するところの論理時刻管理装置８は、
プログラムから端子９を通して論理時刻の変更を一時中
止する命令と、端子１０を通して中止解除命令とを供給
され、論理時刻進行を行なう機能を有する。

本発明により重複データの完全性の維持が短時間に可能
となった分散型デー夕べ−スシステムの提供が出来その
効果は多大なものである。

なお、本実施例では、単一の論理時刻にアクセスを行な
ったアクセス要求の間だけで完全性のチェックを行なっ
ているが、単一の論理時刻だけでなく、複数の論理時刻
にアクセスを行なったアクセス要求の間で完全性のチェ
ックを行なってもよく、これらが本発明の請求範囲を規
定するものでない。

【図面の簡単な説明】

第１図はデータの完全性の崩壊の例を示す概念図、第２
図は本発明の一実施例を示すブロック図であり、１がバ
ッファ、２が入力端子、３が転送装置、４が入力端子、
５がバッファ、６が排他制御装置、７が更新処理装置、
８が論理時刻管理装置、９および１０が入力端子を表わ
している。オー図オ２図

Claims

【特許請求の範囲】１物理的には同一でない論理的に同期のとられた論理
時刻を利用して重複データに対する更新を同一論理時刻
に更新する各コンピユータにおいて、同一論理時刻に更
新する重複デーの内同じデータに対する更新を排除する
排他制御装置と、前記排他制御装置による排除後の、同
じデータに対する更新以外の更新のみを実行する更新装
置とを有することを特徴とする重複データの完全性維持
方式。２物理的には同一でないが論理的に同期のとられた論
理時刻を利用して重複データに対する更新を同一論理時
刻に更新する各コンピユータにおいて、同一論理時刻に
更新する重複データおよび更新を行なうために参照した
重複データの内、同じデータに対するアクセスを排除す
る排他制御装置と、前記排他制御装置による排除後の同
じデータに対するアクセス以外のアクセスを実行する更
新装置と有することを特徴とする重複データの完全性維
持方式。３物理的には同一でないが論理的に同期のとられた論
理時刻を利用して重複データに対する更新を同一論理時
刻に更新する各コンピユータにおいて、同一論理時刻に
更新する重複データおよび更新を行なうために参照した
重複データの内、同じデータに対するアクセスを排除す
る排他制御装置と、前記排他制御装置による排除後の同
じデータに対するアクセスを行なつたプログラム以外の
プログラムが行なつたアクセスのみ実行する更新装置と
を有することを特徴とする重複データの完全性維持方式
。４物理的には同一でないが論理的に同期のとられた論
理時刻を利用して重複データに対する更新を同一論理時
刻に更新する各コンピユータにおいて、同一論理時刻に
更新する重複データおよび更新を行なうために参照した
重複データの内、同じデータに対するアクセスを排除す
る排他制御装置と、前記排他制御装置により排除後の同
じデータに対するアクセスを行なつたプログラム以外の
プログラムが行なつたアクセスのみ実行する更新装置と
、プログラムから論理時刻の一時停止が行なう手段とを
有することを特徴とする重複データの完全性維持方式。