JPH1124973A - 分散トランザクション整合方法及びプログラムを記録した機械読み取り可能な記録媒体 - Google Patents
分散トランザクション整合方法及びプログラムを記録した機械読み取り可能な記録媒体Info
- Publication number
- JPH1124973A JPH1124973A JP9187401A JP18740197A JPH1124973A JP H1124973 A JPH1124973 A JP H1124973A JP 9187401 A JP9187401 A JP 9187401A JP 18740197 A JP18740197 A JP 18740197A JP H1124973 A JPH1124973 A JP H1124973A
- Authority
- JP
- Japan
- Prior art keywords
- transaction
- server
- semantic
- transactions
- client
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000000034 method Methods 0.000 title claims abstract description 72
- 238000001514 detection method Methods 0.000 claims description 24
- 238000007689 inspection Methods 0.000 claims 5
- 238000010586 diagram Methods 0.000 description 7
- 238000007796 conventional method Methods 0.000 description 6
- 238000012217 deletion Methods 0.000 description 5
- 230000037430 deletion Effects 0.000 description 5
- 230000005540 biological transmission Effects 0.000 description 4
- 238000000926 separation method Methods 0.000 description 4
- 230000000694 effects Effects 0.000 description 2
- 239000004065 semiconductor Substances 0.000 description 2
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L67/00—Network arrangements or protocols for supporting network services or applications
- H04L67/01—Protocols
- H04L67/10—Protocols in which an application is distributed across nodes in the network
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/40—Network security protocols
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L69/00—Network arrangements, protocols or services independent of the application payload and not provided for in the other groups of this subclass
- H04L69/30—Definitions, standards or architectural aspects of layered protocol stacks
- H04L69/32—Architecture of open systems interconnection [OSI] 7-layer type protocol stacks, e.g. the interfaces between the data link level and the physical level
- H04L69/322—Intralayer communication protocols among peer entities or protocol data unit [PDU] definitions
- H04L69/329—Intralayer communication protocols among peer entities or protocol data unit [PDU] definitions in the application layer [OSI layer 7]
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L69/00—Network arrangements, protocols or services independent of the application payload and not provided for in the other groups of this subclass
- H04L69/40—Network arrangements, protocols or services independent of the application payload and not provided for in the other groups of this subclass for recovering from a failure of a protocol instance or entity, e.g. service redundancy protocols, protocol state redundancy or protocol service redirection
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Computer Security & Cryptography (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
(57)【要約】
【課題】 複数のクライアントで協調作業を行う分散シ
ステムにおいて、複数のクライアントからのトランザク
ションが意味的に矛盾する場合の整合方法を、サーバ側
のアプリケーション毎に定めることができるようにす
る。 【解決手段】 サーバ100 のトランザクションマネージ
ャ122 は、複数のクライアント200 から送出されるトラ
ンザクションを並行して実行する。複数のトランザクシ
ョン間でデータのアクセス競合が生じると、これら競合
する複数のトランザクションの意味的矛盾の検査がサー
バ100 のアプリケーション110 の意味的矛盾検査部111
で行われる。意味的矛盾検査部111 は、意味的矛盾が存
在する場合、その意味的矛盾の内容に応じた解消方法を
実装する処理ルーチンへのアドレスをトランザクション
マネージャ122 に返却する。トランザクションマネージ
ャ122 は、この処理ルーチンを呼び出すことで、複数の
トランザクションの意味的矛盾を解消する。
ステムにおいて、複数のクライアントからのトランザク
ションが意味的に矛盾する場合の整合方法を、サーバ側
のアプリケーション毎に定めることができるようにす
る。 【解決手段】 サーバ100 のトランザクションマネージ
ャ122 は、複数のクライアント200 から送出されるトラ
ンザクションを並行して実行する。複数のトランザクシ
ョン間でデータのアクセス競合が生じると、これら競合
する複数のトランザクションの意味的矛盾の検査がサー
バ100 のアプリケーション110 の意味的矛盾検査部111
で行われる。意味的矛盾検査部111 は、意味的矛盾が存
在する場合、その意味的矛盾の内容に応じた解消方法を
実装する処理ルーチンへのアドレスをトランザクション
マネージャ122 に返却する。トランザクションマネージ
ャ122 は、この処理ルーチンを呼び出すことで、複数の
トランザクションの意味的矛盾を解消する。
Description
【０００１】
【発明の属する技術分野】本発明は、複数のクライアン
トがネットワークを介してサーバに接続された分散シス
テムにおける分散トランザクション整合方法に関する。
トがネットワークを介してサーバに接続された分散シス
テムにおける分散トランザクション整合方法に関する。
【０００２】
【従来の技術】この種の分散システムにおいて、複数の
クライアント間で共有するデータに対して個々のクライ
アントから異なる操作を指示するトランザクションが投
入された場合に、これら競合するトランザクションを調
停する方法として、従来、以下のような方法が採用され
ている。
クライアント間で共有するデータに対して個々のクライ
アントから異なる操作を指示するトランザクションが投
入された場合に、これら競合するトランザクションを調
停する方法として、従来、以下のような方法が採用され
ている。
【０００３】第１の従来方法は、複数のトランザクショ
ンを並行して実行できる分散トランザクションシステム
において一般に採用されている方法で、処理が先行して
いる更新トランザクション内で共有データに対してロッ
クをかけて、同じデータを参照や更新している他のトラ
ンザクションの処理を待たせ、共有データに対するトラ
ンザクションを時間的に直列化する方法である。
ンを並行して実行できる分散トランザクションシステム
において一般に採用されている方法で、処理が先行して
いる更新トランザクション内で共有データに対してロッ
クをかけて、同じデータを参照や更新している他のトラ
ンザクションの処理を待たせ、共有データに対するトラ
ンザクションを時間的に直列化する方法である。
【０００４】第２の従来方法は、特開昭６３−３１００
４２号公報に記載されている方法で、共有データに対し
て複数の利用者が意味的に異なる操作を指示した場合
に、利用者間で打ち合わせを行って意思の疎通を図り、
正しい操作を決定する方法である。
４２号公報に記載されている方法で、共有データに対し
て複数の利用者が意味的に異なる操作を指示した場合
に、利用者間で打ち合わせを行って意思の疎通を図り、
正しい操作を決定する方法である。
【０００５】
【発明が解決しようとする課題】競合するトランザクシ
ョンを調停する方法として、従来より上述した各種の方
法が提案されているが、何れの従来方法も画一的な調停
しか行えないという問題がある。その理由は、第１の従
来方法では、競合するトランザクションをその意味的矛
盾の内容にかかわらず必ず直列的に実行するからであ
り、第２の従来方法では、競合するトランザクションの
調停をその意味的矛盾の内容にかかわらず必ず利用者間
の打ち合わせによって解消するからである。
ョンを調停する方法として、従来より上述した各種の方
法が提案されているが、何れの従来方法も画一的な調停
しか行えないという問題がある。その理由は、第１の従
来方法では、競合するトランザクションをその意味的矛
盾の内容にかかわらず必ず直列的に実行するからであ
り、第２の従来方法では、競合するトランザクションの
調停をその意味的矛盾の内容にかかわらず必ず利用者間
の打ち合わせによって解消するからである。
【０００６】また第２の従来方法では更に、トランザク
ションが競合する度に利用者間の打ち合わせが必ず行わ
れるため、オンラインで協調作業を進める場合、作業が
度々中断して煩わしいという問題もある。
ションが競合する度に利用者間の打ち合わせが必ず行わ
れるため、オンラインで協調作業を進める場合、作業が
度々中断して煩わしいという問題もある。
【０００７】そこで本発明の目的は、複数のクライアン
トでサーバ側の文書作成アプリケーション，図形描画ア
プリケーションなどのアプリケーションを共有して協調
作業を行う分散システムにおいて、複数のクライアント
からのトランザクションが意味的に矛盾する場合の整合
方法を、サーバ側の各アプリケーション毎および意味的
矛盾の内容毎に定めることができるようにした分散トラ
ンザクション整合方法を提供することにある。
トでサーバ側の文書作成アプリケーション，図形描画ア
プリケーションなどのアプリケーションを共有して協調
作業を行う分散システムにおいて、複数のクライアント
からのトランザクションが意味的に矛盾する場合の整合
方法を、サーバ側の各アプリケーション毎および意味的
矛盾の内容毎に定めることができるようにした分散トラ
ンザクション整合方法を提供することにある。
【０００８】
【課題を解決するための手段】本発明は上記の目的を達
成するために、サーバと、該サーバにネットワークを介
して接続可能な複数のクライアントとから構成される分
散システムにおけるトランザクション整合方法におい
て、クライアントのアプリケーションを通じてユーザが
データの変更操作を行ったときに生成されるトランザク
ションを、ネットワークを介してサーバ側のトランザク
ションマネージャが受信したとき、他のクライアントか
ら受信したトランザクションと意味的に矛盾するか否か
の検査を、サーバ側のアプリケーションの意味的矛盾検
査部にて行い、意味的矛盾が存在しない場合はトランザ
クションマネージャがそのトランザクションを実行し、
意味的矛盾が存在する場合は、その意味的矛盾の内容に
応じた解消方法を実装する処理ルーチンへのアドレスを
意味的矛盾検査部からトランザクションマネージャに返
却し、トランザクションマネージャにて、前記返却され
たアドレスの処理ルーチンを呼び出すことで、前記複数
のトランザクションの意味的矛盾を解消することを特徴
とする。
成するために、サーバと、該サーバにネットワークを介
して接続可能な複数のクライアントとから構成される分
散システムにおけるトランザクション整合方法におい
て、クライアントのアプリケーションを通じてユーザが
データの変更操作を行ったときに生成されるトランザク
ションを、ネットワークを介してサーバ側のトランザク
ションマネージャが受信したとき、他のクライアントか
ら受信したトランザクションと意味的に矛盾するか否か
の検査を、サーバ側のアプリケーションの意味的矛盾検
査部にて行い、意味的矛盾が存在しない場合はトランザ
クションマネージャがそのトランザクションを実行し、
意味的矛盾が存在する場合は、その意味的矛盾の内容に
応じた解消方法を実装する処理ルーチンへのアドレスを
意味的矛盾検査部からトランザクションマネージャに返
却し、トランザクションマネージャにて、前記返却され
たアドレスの処理ルーチンを呼び出すことで、前記複数
のトランザクションの意味的矛盾を解消することを特徴
とする。
【０００９】より具体的には、複数のクライアントがネ
ットワークを介してサーバに接続された分散システムに
おける分散トランザクション整合方法において、以下の
手順を含んでいる。 （１）クライアントのアプリケーションを通じてユーザ
がデータの変更操作を行ったときに生成されるトランザ
クションを、クライアントからネットワークを介してサ
ーバ側のトランザクションマネージャに送信する段階 （２）サーバ側のトランザクション競合検知部にて、ク
ライアントから受信したトランザクションと他のクライ
アントから受信したトランザクションとで共有データへ
のアクセスの競合が生じているか否かを検知する段階 （３）サーバ側のトランザクションマネージャにて、ア
クセスの競合する複数のトランザクション間の意味的矛
盾を検査するようにサーバ側のアプリケーションに要求
する段階 （４）サーバ側のアプリケーションの意味的矛盾検査部
にて、競合する複数のトランザクションの意味的矛盾を
検査する段階 （５）サーバ側のトランザクションマネージャにて、競
合する複数のトランザクションに意味的矛盾が存在しな
い場合に前記複数のトランザクションの実行を継続する
段階 （６）サーバ側のアプリケーションの意味的矛盾検査部
にて、競合する複数のトランザクションに意味的矛盾が
存在する場合に、その意味的矛盾の内容に応じた解消方
法を実装する処理ルーチンへのアドレスをトランザクシ
ョンマネージャに返却する段階 （７）トランザクションマネージャにて、前記返却され
たアドレスの処理ルーチンを呼び出すことで、前記複数
のトランザクションの意味的矛盾を解消する段階
ットワークを介してサーバに接続された分散システムに
おける分散トランザクション整合方法において、以下の
手順を含んでいる。 （１）クライアントのアプリケーションを通じてユーザ
がデータの変更操作を行ったときに生成されるトランザ
クションを、クライアントからネットワークを介してサ
ーバ側のトランザクションマネージャに送信する段階 （２）サーバ側のトランザクション競合検知部にて、ク
ライアントから受信したトランザクションと他のクライ
アントから受信したトランザクションとで共有データへ
のアクセスの競合が生じているか否かを検知する段階 （３）サーバ側のトランザクションマネージャにて、ア
クセスの競合する複数のトランザクション間の意味的矛
盾を検査するようにサーバ側のアプリケーションに要求
する段階 （４）サーバ側のアプリケーションの意味的矛盾検査部
にて、競合する複数のトランザクションの意味的矛盾を
検査する段階 （５）サーバ側のトランザクションマネージャにて、競
合する複数のトランザクションに意味的矛盾が存在しな
い場合に前記複数のトランザクションの実行を継続する
段階 （６）サーバ側のアプリケーションの意味的矛盾検査部
にて、競合する複数のトランザクションに意味的矛盾が
存在する場合に、その意味的矛盾の内容に応じた解消方
法を実装する処理ルーチンへのアドレスをトランザクシ
ョンマネージャに返却する段階 （７）トランザクションマネージャにて、前記返却され
たアドレスの処理ルーチンを呼び出すことで、前記複数
のトランザクションの意味的矛盾を解消する段階
【００１０】このように本発明では、競合する複数のト
ランザクションに意味的矛盾が存在する場合のその解消
方法が、各アプリケーション毎および意味的矛盾の内容
毎に定めることができるため、各アプリケーションおよ
び意味的矛盾の内容に適した解消方法をとることができ
る。
ランザクションに意味的矛盾が存在する場合のその解消
方法が、各アプリケーション毎および意味的矛盾の内容
毎に定めることができるため、各アプリケーションおよ
び意味的矛盾の内容に適した解消方法をとることができ
る。
【００１１】また本発明では、サーバ側のアプリケーシ
ョンは、アクセス競合する複数のトランザクションの意
味的矛盾が、同一データの同一属性値を変更することに
ある場合、更にその変更度合いの差が予め定められた範
囲内にあるか否かを検査し、予め定められた範囲内にあ
るときは、変更度の大きいトランザクションのみ実行す
る処理ルーチン、或いは競合するトランザクションをそ
の到着順に実行する処理ルーチンへのアドレスをトラン
ザクションマネージャに返却する。このように無視でき
る程度の意味的矛盾の場合には、ユーザの介入無しに処
理を進めることで、協調作業の効率化が可能となる。
ョンは、アクセス競合する複数のトランザクションの意
味的矛盾が、同一データの同一属性値を変更することに
ある場合、更にその変更度合いの差が予め定められた範
囲内にあるか否かを検査し、予め定められた範囲内にあ
るときは、変更度の大きいトランザクションのみ実行す
る処理ルーチン、或いは競合するトランザクションをそ
の到着順に実行する処理ルーチンへのアドレスをトラン
ザクションマネージャに返却する。このように無視でき
る程度の意味的矛盾の場合には、ユーザの介入無しに処
理を進めることで、協調作業の効率化が可能となる。
【００１２】また本発明では、サーバ側のアプリケーシ
ョン毎に、競合する複数のトランザクションの意味的矛
盾の種類毎に、複数の処理ルーチンの内から実際に使用
する処理ルーチンを事前に選択しておくため、任意の解
消方法を利用できる。
ョン毎に、競合する複数のトランザクションの意味的矛
盾の種類毎に、複数の処理ルーチンの内から実際に使用
する処理ルーチンを事前に選択しておくため、任意の解
消方法を利用できる。
【００１３】なお、サーバ側のトランザクションマネー
ジャにて、オンライン接続中のクライアントから受信し
たトランザクションが他のクライアントから受信したト
ランザクションとアクセス競合するか否かは、例えば、
共有データに対するロック待ちが生じているか否かによ
って検知することができる。
ジャにて、オンライン接続中のクライアントから受信し
たトランザクションが他のクライアントから受信したト
ランザクションとアクセス競合するか否かは、例えば、
共有データに対するロック待ちが生じているか否かによ
って検知することができる。
【００１４】更に、本発明は、サーバと、該サーバにネ
ットワークを介して接続可能な複数のクライアントとか
ら構成される分散システムにおけるクライアント再接続
時のトランザクション整合方法において、クライアント
のアプリケーションを通じてユーザがデータの変更操作
を行ったときに生成されるトランザクションを、そのク
ライアントの再接続時にネットワークを介してサーバ側
のトランザクションマネージャが受信したとき、他のク
ライアントから受信し記憶装置にログとして記録したト
ランザクションと意味的に矛盾するか否かの検査を、サ
ーバ側のアプリケーションの意味的矛盾検査部にて行
い、意味的矛盾が存在しない場合はトランザクションマ
ネージャがそのトランザクションを実行し、意味的矛盾
が存在する場合は、その意味的矛盾の内容に応じた解消
方法を実装する処理ルーチンへのアドレスを意味的矛盾
検査部からトランザクションマネージャに返却し、トラ
ンザクションマネージャにて、前記返却されたアドレス
の処理ルーチンを呼び出すことで、トランザクションの
意味的矛盾を解消する。
ットワークを介して接続可能な複数のクライアントとか
ら構成される分散システムにおけるクライアント再接続
時のトランザクション整合方法において、クライアント
のアプリケーションを通じてユーザがデータの変更操作
を行ったときに生成されるトランザクションを、そのク
ライアントの再接続時にネットワークを介してサーバ側
のトランザクションマネージャが受信したとき、他のク
ライアントから受信し記憶装置にログとして記録したト
ランザクションと意味的に矛盾するか否かの検査を、サ
ーバ側のアプリケーションの意味的矛盾検査部にて行
い、意味的矛盾が存在しない場合はトランザクションマ
ネージャがそのトランザクションを実行し、意味的矛盾
が存在する場合は、その意味的矛盾の内容に応じた解消
方法を実装する処理ルーチンへのアドレスを意味的矛盾
検査部からトランザクションマネージャに返却し、トラ
ンザクションマネージャにて、前記返却されたアドレス
の処理ルーチンを呼び出すことで、トランザクションの
意味的矛盾を解消する。
【００１５】この場合、クライアントの再接続時にネッ
トワークを介して受信したトランザクションの意味的矛
盾の検知範囲を、他のクライアントから受信し記憶装置
にログとして記録した一部のトランザクションに限定し
て行うようにしても良い。
トワークを介して受信したトランザクションの意味的矛
盾の検知範囲を、他のクライアントから受信し記憶装置
にログとして記録した一部のトランザクションに限定し
て行うようにしても良い。
【００１６】
【発明の実施の形態】次に本発明の実施の形態の例につ
いて図面を参照して詳細に説明する。
いて図面を参照して詳細に説明する。
【００１７】図１は本発明を適用した分散処理システム
の一例を示すブロック図である。この例の分散処理シス
テムは、サーバ１００と複数のクライアント２００とが
ＬＡＮ，ＷＡＮなどのネットワークを介して接続されて
いる。
の一例を示すブロック図である。この例の分散処理シス
テムは、サーバ１００と複数のクライアント２００とが
ＬＡＮ，ＷＡＮなどのネットワークを介して接続されて
いる。
【００１８】サーバ１００は、複数のアプリケーション
１１０と、これら複数のアプリケーション１１０に共通
な共通処理部１２０と、磁気ディスク等の記憶装置１３
０と、記録媒体１４０とを有している。個々のアプリケ
ーション１１０は、例えば文書作成アプリケーション，
図形描画アプリケーションの如きアプリケーションプロ
グラムであり、文書作成や図形描画にかかる基本的な機
能を司る主処理部１１２を有すると共に、アプリケーシ
ョン意味的矛盾検査部１１１を有している。また共通処
理部１２０は、トランザクション競合検知部１２１とト
ランザクションマネージャ１２２とを有している。
１１０と、これら複数のアプリケーション１１０に共通
な共通処理部１２０と、磁気ディスク等の記憶装置１３
０と、記録媒体１４０とを有している。個々のアプリケ
ーション１１０は、例えば文書作成アプリケーション，
図形描画アプリケーションの如きアプリケーションプロ
グラムであり、文書作成や図形描画にかかる基本的な機
能を司る主処理部１１２を有すると共に、アプリケーシ
ョン意味的矛盾検査部１１１を有している。また共通処
理部１２０は、トランザクション競合検知部１２１とト
ランザクションマネージャ１２２とを有している。
【００１９】各アプリケーション１１０内のアプリケー
ション意味的矛盾検査部１１１は、自アプリケーション
に関して競合する複数のトランザクションの意味的矛盾
を検査し、その解消方法を決定する部分である。このア
プリケーション意味的矛盾検査部１１１は、トランザク
ションマネージャ１２２から競合する複数のトランザク
ションの意味的矛盾を検査するよう要求された場合に、
これら競合するトランザクションの意味的矛盾を検査
し、意味的矛盾がない場合にはその旨をトランザクショ
ンマネージャ１２２に通知し、意味的矛盾が存在する場
合には、その意味的矛盾の内容に応じた解消方法を実装
する処理ルーチンへのアドレスをトランザクションマネ
ージャに返却する。アプリケーション意味的矛盾検査部
１１１には、システムの立ち上げ時或いはシステムの運
用中に、競合する複数のトランザクションの意味的矛盾
の内容に応じて、それに適した解消方法を実装する処理
ルーチンのアドレスを各アプリケーション毎に設定する
ことが可能である。
ション意味的矛盾検査部１１１は、自アプリケーション
に関して競合する複数のトランザクションの意味的矛盾
を検査し、その解消方法を決定する部分である。このア
プリケーション意味的矛盾検査部１１１は、トランザク
ションマネージャ１２２から競合する複数のトランザク
ションの意味的矛盾を検査するよう要求された場合に、
これら競合するトランザクションの意味的矛盾を検査
し、意味的矛盾がない場合にはその旨をトランザクショ
ンマネージャ１２２に通知し、意味的矛盾が存在する場
合には、その意味的矛盾の内容に応じた解消方法を実装
する処理ルーチンへのアドレスをトランザクションマネ
ージャに返却する。アプリケーション意味的矛盾検査部
１１１には、システムの立ち上げ時或いはシステムの運
用中に、競合する複数のトランザクションの意味的矛盾
の内容に応じて、それに適した解消方法を実装する処理
ルーチンのアドレスを各アプリケーション毎に設定する
ことが可能である。
【００２０】トランザクション競合検知部１２１は、競
合するトランザクションを検知する部分である。トラン
ザクションが競合するか否かは、本実施例の場合、トラ
ンザクションの実行によって共有データに対するロック
待ちが生じたか否かによって行う。
合するトランザクションを検知する部分である。トラン
ザクションが競合するか否かは、本実施例の場合、トラ
ンザクションの実行によって共有データに対するロック
待ちが生じたか否かによって行う。
【００２１】トランザクションマネージャ１２２は、ク
ライアント２００から送られてくるトランザクションの
サーバ１００上での実行全般を管理する部分である。各
クライアント２００から送られたトランザクションに対
して時刻印を付与して記憶装置１３０にトランザクショ
ンログ（受信ログ）として記録する処理や、トランザク
ションを実行する処理や、その実行結果をクライアント
に通知する処理などを行う。また、トランザクション競
合検知部１２１で或るアプリケーション１１０に関する
複数のトランザクションの競合が検知された場合、その
アプリケーション１１０のアプリケーション意味的矛盾
検査部１１１にその意味的矛盾を検査するように要求
し、意味的矛盾が存在した場合にアプリケーション意味
的矛盾検査部１１１から返却されるアドレスの処理ルー
チンを呼び出すことにより、競合する複数のトランザク
ション間の意味的矛盾を解消する。意味的矛盾が存在し
ない旨の通知をアプリケーション意味的矛盾検査部１１
１から受けたときは、当該競合する複数のトランザクシ
ョンの実行を継続する。トランザクションマネージャ１
２２は複数のトランザクションなどを並行処理できるよ
うにマルチスレッドで動作する。
ライアント２００から送られてくるトランザクションの
サーバ１００上での実行全般を管理する部分である。各
クライアント２００から送られたトランザクションに対
して時刻印を付与して記憶装置１３０にトランザクショ
ンログ（受信ログ）として記録する処理や、トランザク
ションを実行する処理や、その実行結果をクライアント
に通知する処理などを行う。また、トランザクション競
合検知部１２１で或るアプリケーション１１０に関する
複数のトランザクションの競合が検知された場合、その
アプリケーション１１０のアプリケーション意味的矛盾
検査部１１１にその意味的矛盾を検査するように要求
し、意味的矛盾が存在した場合にアプリケーション意味
的矛盾検査部１１１から返却されるアドレスの処理ルー
チンを呼び出すことにより、競合する複数のトランザク
ション間の意味的矛盾を解消する。意味的矛盾が存在し
ない旨の通知をアプリケーション意味的矛盾検査部１１
１から受けたときは、当該競合する複数のトランザクシ
ョンの実行を継続する。トランザクションマネージャ１
２２は複数のトランザクションなどを並行処理できるよ
うにマルチスレッドで動作する。
【００２２】記録媒体１４０は、ＣＤ−ＲＯＭ，磁気デ
ィスク，半導体メモリ等の機械読み取り可能な記録媒体
であり、ここに記録されたサーバ用プログラムは、サー
バ１００を構成するコンピュータに読み取られ、そのコ
ンピュータ上に各アプリケーション１１０および共通処
理部１２０を実現する。
ィスク，半導体メモリ等の機械読み取り可能な記録媒体
であり、ここに記録されたサーバ用プログラムは、サー
バ１００を構成するコンピュータに読み取られ、そのコ
ンピュータ上に各アプリケーション１１０および共通処
理部１２０を実現する。
【００２３】他方、各クライアント２００は、複数のア
プリケーション２１０と、これら複数のアプリケーショ
ン２１０に共通な共通処理部２２０と、記憶装置２３０
と、表示装置２４０と、入力装置２５０と、記録媒体２
６０とを有している。個々のアプリケーション２１０
は、例えば文書作成アプリケーション，図形描画アプリ
ケーションの如きアプリケーションプログラムであり、
入力装置２５０でデータに対する変更操作が行われたと
き、その変更操作にかかるトランザクションを生成して
実行し、その実行結果に応じて記憶装置２３０中のデー
タを更新したり、表示装置２４０の画面を更新したりす
る文書作成や図形描画にかかる基本的な機能を司る主処
理部２１１を有する。また、共通処理部２２０はトラン
ザクションロギング部２２１を有している。
プリケーション２１０と、これら複数のアプリケーショ
ン２１０に共通な共通処理部２２０と、記憶装置２３０
と、表示装置２４０と、入力装置２５０と、記録媒体２
６０とを有している。個々のアプリケーション２１０
は、例えば文書作成アプリケーション，図形描画アプリ
ケーションの如きアプリケーションプログラムであり、
入力装置２５０でデータに対する変更操作が行われたと
き、その変更操作にかかるトランザクションを生成して
実行し、その実行結果に応じて記憶装置２３０中のデー
タを更新したり、表示装置２４０の画面を更新したりす
る文書作成や図形描画にかかる基本的な機能を司る主処
理部２１１を有する。また、共通処理部２２０はトラン
ザクションロギング部２２１を有している。
【００２４】共通処理部２２０は、アプリケーション２
１０によってユーザ毎の操作に対応して生成されたトラ
ンザクションをサーバ１００に送出する処理や、他のク
ライアント２００のトランザクション実行結果をサーバ
１００から受信したときに自クライアント上の該当する
アプリケーションの状態をそれに合わせる処理などを司
る。また、トランザクションロギング部２２１は、サー
バ１００に送出したトランザクションを、送出した順番
に、記憶装置２２０にトランザクションログ（送信ロ
グ）として保存する処理や、サーバ１００からトランザ
クションのキャンセルが通知されてきた時などに、送信
ログを参照して該当するアプリケーション２１０の状態
をそのトランザクションの実行前の状態に戻す処理など
を行う。
１０によってユーザ毎の操作に対応して生成されたトラ
ンザクションをサーバ１００に送出する処理や、他のク
ライアント２００のトランザクション実行結果をサーバ
１００から受信したときに自クライアント上の該当する
アプリケーションの状態をそれに合わせる処理などを司
る。また、トランザクションロギング部２２１は、サー
バ１００に送出したトランザクションを、送出した順番
に、記憶装置２２０にトランザクションログ（送信ロ
グ）として保存する処理や、サーバ１００からトランザ
クションのキャンセルが通知されてきた時などに、送信
ログを参照して該当するアプリケーション２１０の状態
をそのトランザクションの実行前の状態に戻す処理など
を行う。
【００２５】記録媒体２６０は、ＣＤ−ＲＯＭ，磁気デ
ィスク，半導体メモリ等の機械読み取り可能な記録媒体
であり、ここに記録されたクライアント用プログラム
は、クライアント２００を構成するコンピュータに読み
取られ、そのコンピュータ上に各アプリケーション２１
０および共通処理部２２０を実現する。
ィスク，半導体メモリ等の機械読み取り可能な記録媒体
であり、ここに記録されたクライアント用プログラム
は、クライアント２００を構成するコンピュータに読み
取られ、そのコンピュータ上に各アプリケーション２１
０および共通処理部２２０を実現する。
【００２６】本実施例の動作は、クライアント２００の
アプリケーション２１０を介したユーザからのデータ変
更操作をクライアント２００上で実行すると共に、その
データ変更操作にかかるトランザクションをサーバ１０
０に送信し、それを受信したサーバ１００がトランザク
ションを実行する際に、互いに競合するトランザクショ
ンをトランザクション競合検知部１２１で検知し、その
競合するトランザクションの意味的矛盾，その解消方法
を該当するアプリケーション１１０のアプリケーション
意味的矛盾検査部１１１で決定し、トランザクションマ
ネージャ１２２がその決定された解消方法を実行すると
いう流れが基本となる。
アプリケーション２１０を介したユーザからのデータ変
更操作をクライアント２００上で実行すると共に、その
データ変更操作にかかるトランザクションをサーバ１０
０に送信し、それを受信したサーバ１００がトランザク
ションを実行する際に、互いに競合するトランザクショ
ンをトランザクション競合検知部１２１で検知し、その
競合するトランザクションの意味的矛盾，その解消方法
を該当するアプリケーション１１０のアプリケーション
意味的矛盾検査部１１１で決定し、トランザクションマ
ネージャ１２２がその決定された解消方法を実行すると
いう流れが基本となる。
【００２７】図２はクライアント２００の処理の一例を
示すフローチャート、図３はサーバ１００の処理の一例
を示すフローチャートである。以下、図１〜図３を参照
して本実施の形態の動作を説明する。
示すフローチャート、図３はサーバ１００の処理の一例
を示すフローチャートである。以下、図１〜図３を参照
して本実施の形態の動作を説明する。
【００２８】各クライアント２００のユーザが入力装置
２５０を通じてアプリケーション２１０にデータ変更操
作を指示すると（図２の２０１）、各クライアント２０
０のアプリケーション２１０はその変更操作にかかる処
理を実行する（２０２）。これにより、各クライアント
２００ではその変更操作に対応する処理が即座に行われ
る。次にアプリケーション２１０は、その変更操作にか
かるトランザクションを生成し（２０３）、この生成し
たトランザクションを共通処理部２２０に通知する。共
通処理部２２０は、このトランザクションをネットワー
クを介してサーバ１００に送信し（２０４）、また、ト
ランザクションロギング部２２１は、このトランザクシ
ョンを記憶装置２３０に送信ログとして記録する（２０
５）。
２５０を通じてアプリケーション２１０にデータ変更操
作を指示すると（図２の２０１）、各クライアント２０
０のアプリケーション２１０はその変更操作にかかる処
理を実行する（２０２）。これにより、各クライアント
２００ではその変更操作に対応する処理が即座に行われ
る。次にアプリケーション２１０は、その変更操作にか
かるトランザクションを生成し（２０３）、この生成し
たトランザクションを共通処理部２２０に通知する。共
通処理部２２０は、このトランザクションをネットワー
クを介してサーバ１００に送信し（２０４）、また、ト
ランザクションロギング部２２１は、このトランザクシ
ョンを記憶装置２３０に送信ログとして記録する（２０
５）。
【００２９】サーバ１００のトランザクションマネージ
ャ１２２は、各クライアント２００から或るアプリケー
ション１１０に関するトランザクションを受信すると
（図３の３０１）、一旦、受信ログとして記憶装置１３
０に保存する（３０２）。記憶装置１３０に保存された
トランザクションのうち未実行のトランザクションは、
トランザクションマネージャ１２２によってその到着順
に読みだされ、トランザクションの実行が開始される
（３０３）。即ち、該当するアプリケーション１１０の
主処理部１１２にトランザクション実行スレッドを割り
当て、当該トランザクションを実行する。次に、実行を
開始した当該トランザクションが当該アプリケーション
に関する他の実行中のトランザクションとアクセス競合
するか否かがトランザクション競合検知部１２１で調べ
られる（３０４）。
ャ１２２は、各クライアント２００から或るアプリケー
ション１１０に関するトランザクションを受信すると
（図３の３０１）、一旦、受信ログとして記憶装置１３
０に保存する（３０２）。記憶装置１３０に保存された
トランザクションのうち未実行のトランザクションは、
トランザクションマネージャ１２２によってその到着順
に読みだされ、トランザクションの実行が開始される
（３０３）。即ち、該当するアプリケーション１１０の
主処理部１１２にトランザクション実行スレッドを割り
当て、当該トランザクションを実行する。次に、実行を
開始した当該トランザクションが当該アプリケーション
に関する他の実行中のトランザクションとアクセス競合
するか否かがトランザクション競合検知部１２１で調べ
られる（３０４）。
【００３０】並行して実行されている他のトランザクシ
ョンと競合しない場合には（３０４でＮＯ）、当該トラ
ンザクションの実行を継続し（３１１）、その実行完了
時に実行結果を当該トランザクションの送出元クライア
ント以外のクライアントに通知する（３１２）。この通
知を受けたクライアント２００では、自クライアント上
で同じ変更操作を行うことで、他のクライアントで行わ
れた変更操作を自クライアントに反映する。
ョンと競合しない場合には（３０４でＮＯ）、当該トラ
ンザクションの実行を継続し（３１１）、その実行完了
時に実行結果を当該トランザクションの送出元クライア
ント以外のクライアントに通知する（３１２）。この通
知を受けたクライアント２００では、自クライアント上
で同じ変更操作を行うことで、他のクライアントで行わ
れた変更操作を自クライアントに反映する。
【００３１】他方、他のトランザクションと競合するこ
とがトランザクション競合検知部１２１で検知された場
合（３０４でＹＥＳ）、トランザクションマネージャ１
２２は、競合するトランザクション間の意味的矛盾を検
査するように当該トランザクションにかかるアプリケー
ション１１０のアプリケーション意味的矛盾検査部１１
１に要求する（３０５）。
とがトランザクション競合検知部１２１で検知された場
合（３０４でＹＥＳ）、トランザクションマネージャ１
２２は、競合するトランザクション間の意味的矛盾を検
査するように当該トランザクションにかかるアプリケー
ション１１０のアプリケーション意味的矛盾検査部１１
１に要求する（３０５）。
【００３２】アプリケーション意味的矛盾検査部１１１
は、競合するトランザクションの内容を記録装置１３０
の受信ログから参照し、それらのトランザクションの意
味的矛盾を検査する（３０６）。意味的矛盾が存在しな
い場合（３０７でＹＥＳ）は、アプリケーション意味的
矛盾検査部１１１はその旨をトランザクションマネージ
ャ１２２に通知し、トランザクションマネージャ１２２
は当該トランザクションの実行を継続する（３１１）。
は、競合するトランザクションの内容を記録装置１３０
の受信ログから参照し、それらのトランザクションの意
味的矛盾を検査する（３０６）。意味的矛盾が存在しな
い場合（３０７でＹＥＳ）は、アプリケーション意味的
矛盾検査部１１１はその旨をトランザクションマネージ
ャ１２２に通知し、トランザクションマネージャ１２２
は当該トランザクションの実行を継続する（３１１）。
【００３３】他方、意味的矛盾が存在する場合、アプリ
ケーション意味的矛盾検査部１１１は、その意味的矛盾
の内容に応じた解消方法を実装する処理ルーチンを決定
し、そのアドレスをトランザクションマネージャ１２２
に通知する（３０８）。トランザクションマネージャ１
２２は、この返却されたアドレスの処理ルーチンを呼び
出すことで、競合する複数のトランザクション間の意味
的矛盾を解消する（３０９）。具体的な解消方法につい
ては後述するが、この処理ルーチンの実行によって、本
トランザクションがキャンセルされたり、トランザクシ
ョンの実行順序が変更されたりする。
ケーション意味的矛盾検査部１１１は、その意味的矛盾
の内容に応じた解消方法を実装する処理ルーチンを決定
し、そのアドレスをトランザクションマネージャ１２２
に通知する（３０８）。トランザクションマネージャ１
２２は、この返却されたアドレスの処理ルーチンを呼び
出すことで、競合する複数のトランザクション間の意味
的矛盾を解消する（３０９）。具体的な解消方法につい
ては後述するが、この処理ルーチンの実行によって、本
トランザクションがキャンセルされたり、トランザクシ
ョンの実行順序が変更されたりする。
【００３４】次にトランザクションマネージャ１２２
は、処理ルーチンの実行によって、本トランザクション
がキャンセルされた場合には（３１０でＹＥＳ）、本ト
ランザクションに関する処理を終了する。本トランザク
ションがキャンセルされなかった場合は、本トランザク
ションの実行を継続し（３１１）、その実行完了時に実
行結果を当該トランザクションの送出元クライアント以
外のクライアントに通知する（５１０）。この通知を受
けたクライアント２００では、自クライアント上で同じ
変更操作を行うことで、他のクライアントで行われた変
更操作を自クライアントに反映する。
は、処理ルーチンの実行によって、本トランザクション
がキャンセルされた場合には（３１０でＹＥＳ）、本ト
ランザクションに関する処理を終了する。本トランザク
ションがキャンセルされなかった場合は、本トランザク
ションの実行を継続し（３１１）、その実行完了時に実
行結果を当該トランザクションの送出元クライアント以
外のクライアントに通知する（５１０）。この通知を受
けたクライアント２００では、自クライアント上で同じ
変更操作を行うことで、他のクライアントで行われた変
更操作を自クライアントに反映する。
【００３５】次に、クライアント２００とサーバ１００
の動作を、トランザクションの整合方法を中心に具体例
を挙げて説明する。
の動作を、トランザクションの整合方法を中心に具体例
を挙げて説明する。
【００３６】例としては、図４のように、Ａ，Ｂの二つ
のクライアント２００がネットワークを介してサーバ１
００（Ｓ）に接続された分散処理システムにおいて、図
形描画アプリケーション１１０，２１０を使用して、一
つの文書Ｘを共有しながら協調作業を行う例を用いる。
ここで、協調作業の開始時点では、図５に示すように文
書部品Ｘ１，Ｘ２，Ｘ３（各々１つのオブジェクトであ
る）から成る文書Ｘが、各クライアントＡ，Ｂの記憶装
置２３０およびサーバ１００の記憶装置１３０に記憶さ
れており、各クライアントＡ，Ｂは同じ画面表示を得て
いるものとする。
のクライアント２００がネットワークを介してサーバ１
００（Ｓ）に接続された分散処理システムにおいて、図
形描画アプリケーション１１０，２１０を使用して、一
つの文書Ｘを共有しながら協調作業を行う例を用いる。
ここで、協調作業の開始時点では、図５に示すように文
書部品Ｘ１，Ｘ２，Ｘ３（各々１つのオブジェクトであ
る）から成る文書Ｘが、各クライアントＡ，Ｂの記憶装
置２３０およびサーバ１００の記憶装置１３０に記憶さ
れており、各クライアントＡ，Ｂは同じ画面表示を得て
いるものとする。
【００３７】この状態で、各クライアントＡ，Ｂのユー
ザが入力装置２５０を通じてアプリケーション２１０に
文書Ｘにかかる変更操作を行うと、各クライアントＡ，
Ｂのアプリケーション２１０はその変更操作に対応した
処理を自クライアント上で実行すると共に、その変更操
作にかかるトランザクションを生成して各々の共通処理
部２２０に通知する。
ザが入力装置２５０を通じてアプリケーション２１０に
文書Ｘにかかる変更操作を行うと、各クライアントＡ，
Ｂのアプリケーション２１０はその変更操作に対応した
処理を自クライアント上で実行すると共に、その変更操
作にかかるトランザクションを生成して各々の共通処理
部２２０に通知する。
【００３８】図６に、このとき生成されるトランザクシ
ョンのレコード形式の一例を示す。図６において、デー
タ操作コマンド列６０３は、ユーザが文書Ｘに対して行
った変更操作の内容を示し、例えば文書部品Ｘ１を削除
するコマンドや、文書部品Ｘ１の位置を移動するコマン
ドなどが設定される。
ョンのレコード形式の一例を示す。図６において、デー
タ操作コマンド列６０３は、ユーザが文書Ｘに対して行
った変更操作の内容を示し、例えば文書部品Ｘ１を削除
するコマンドや、文書部品Ｘ１の位置を移動するコマン
ドなどが設定される。
【００３９】操作カテゴリ６０１とオプションデータ６
０２とは、アプリケーション意味的矛盾検査部１１１の
意味的矛盾検査の便宜のためのアプリケーション情報で
ある。このうち操作カテゴリ６０１は、変更操作のカテ
ゴリを示す。操作カテゴリ６０１には、オブジェクトの
追加とオブジェクトの削除とオブジェクトの属性値の変
更という三つの何れかが設定される。例えば図形描画ア
プリケーションでは、オブジェクトの追加と削除とは、
丸，四角，三角などの各図形オブジェクトの追加と削除
とにそれぞれ対応する。また、各図形オブジェクトの位
置，大きさ，塗りつぶし色などがオブジェクトの属性で
あり、従ってオブジェクトの属性値の変更は、各図形オ
ブジェクトの位置の移動，大きさの変更，色の変更など
に対応する。他方、オプションデータ６０２は、競合す
るトランザクションの調停方法を決定する際に利用する
付加的な情報を設定する部分である。このオプションデ
ータ６０２の利用方法については後述する。
０２とは、アプリケーション意味的矛盾検査部１１１の
意味的矛盾検査の便宜のためのアプリケーション情報で
ある。このうち操作カテゴリ６０１は、変更操作のカテ
ゴリを示す。操作カテゴリ６０１には、オブジェクトの
追加とオブジェクトの削除とオブジェクトの属性値の変
更という三つの何れかが設定される。例えば図形描画ア
プリケーションでは、オブジェクトの追加と削除とは、
丸，四角，三角などの各図形オブジェクトの追加と削除
とにそれぞれ対応する。また、各図形オブジェクトの位
置，大きさ，塗りつぶし色などがオブジェクトの属性で
あり、従ってオブジェクトの属性値の変更は、各図形オ
ブジェクトの位置の移動，大きさの変更，色の変更など
に対応する。他方、オプションデータ６０２は、競合す
るトランザクションの調停方法を決定する際に利用する
付加的な情報を設定する部分である。このオプションデ
ータ６０２の利用方法については後述する。
【００４０】各クライアントＡ，Ｂの共通処理部２２０
は、アプリケーション２１０からトランザクションを受
け取ると、それをネットワークを介してサーバ１００に
送信すると共に、トランザクションロギング部２２１を
通じて記憶装置２３０に送信ログとして記録する。
は、アプリケーション２１０からトランザクションを受
け取ると、それをネットワークを介してサーバ１００に
送信すると共に、トランザクションロギング部２２１を
通じて記憶装置２３０に送信ログとして記録する。
【００４１】サーバ１００のトランザクションマネージ
ャ１２２は、クライアントＡ，Ｂからトランザクション
を受信すると、受信ログとして記憶装置１３０に保存し
た後、受信した各々のトランザクションの実行スレッド
を生成し、複数のトランザクションを並行して処理す
る。また、トランザクションマネージャ１２２は、トラ
ンザクション間の競合を検知するためにトランザクショ
ン競合検知部１２１を或るスレッドにてバックグラウン
ドで走行させておく。
ャ１２２は、クライアントＡ，Ｂからトランザクション
を受信すると、受信ログとして記憶装置１３０に保存し
た後、受信した各々のトランザクションの実行スレッド
を生成し、複数のトランザクションを並行して処理す
る。また、トランザクションマネージャ１２２は、トラ
ンザクション間の競合を検知するためにトランザクショ
ン競合検知部１２１を或るスレッドにてバックグラウン
ドで走行させておく。
【００４２】或るトランザクションがロックした共有デ
ータに対して別のトランザクションがロックしようとし
た場合、即ち共有データのアクセス競合が生じた場合、
トランザクション競合検知部１２１がそのことを検知
し、トランザクション競合が発生したことをトランザク
ションマネージャ１２２に通知する。
ータに対して別のトランザクションがロックしようとし
た場合、即ち共有データのアクセス競合が生じた場合、
トランザクション競合検知部１２１がそのことを検知
し、トランザクション競合が発生したことをトランザク
ションマネージャ１２２に通知する。
【００４３】この通知を受けるとトランザクションマネ
ージャ１２２は、１つのスレッドを生成し、競合してい
るトランザクションの識別子などを伴ってアプリケーシ
ョン１１０のアプリケーション意味的矛盾検査部１１１
を呼び出す。
ージャ１２２は、１つのスレッドを生成し、競合してい
るトランザクションの識別子などを伴ってアプリケーシ
ョン１１０のアプリケーション意味的矛盾検査部１１１
を呼び出す。
【００４４】アプリケーション意味的矛盾検査部１１１
は、記憶装置１３０の受信ログから該当するトランザク
ションの内容を読み出し、競合する複数のトランザクシ
ョンの意味的矛盾を検査する。意味的矛盾は、競合する
複数のトランザクションの図６の操作カテゴリ６０１と
必要に応じてデータ操作コマンド列６０３とに基づいて
行う。そして、意味的矛盾が存在しない場合には、その
旨をトランザクションマネージャ１２２に通知する。他
方、意味的矛盾が存在する場合には、その意味的矛盾の
内容に応じた解消方法を実装する処理ルーチンへのアド
レスをトランザクションマネージャに返却する。以下、
具体例に基づき、アプリケーション意味的矛盾検査部１
１１の機能を説明する。
は、記憶装置１３０の受信ログから該当するトランザク
ションの内容を読み出し、競合する複数のトランザクシ
ョンの意味的矛盾を検査する。意味的矛盾は、競合する
複数のトランザクションの図６の操作カテゴリ６０１と
必要に応じてデータ操作コマンド列６０３とに基づいて
行う。そして、意味的矛盾が存在しない場合には、その
旨をトランザクションマネージャ１２２に通知する。他
方、意味的矛盾が存在する場合には、その意味的矛盾の
内容に応じた解消方法を実装する処理ルーチンへのアド
レスをトランザクションマネージャに返却する。以下、
具体例に基づき、アプリケーション意味的矛盾検査部１
１１の機能を説明する。
【００４５】（１）同じオブジェクトの削除と属性値の
変更が競合する場合 図４および図５において、クライアントＡが文書部品Ｘ
１を削除するトランザクションを発行した直後に、クラ
イアントＢが文書部品Ｘ１の位置を移動するトランザク
ションを発行した場合が、この競合の一例である。クラ
イアントＡの上記トランザクションをＴＲi ，このトラ
ンザクションＴＲi をサーバ１００が受信した時刻をｔ
i ，クライアントＢの上記トランザクションをＴ
Ｒi+1 ，このトランザクションＴＲi+1 をサーバ１００
が受信した時刻をｔi+1 とした場合、図７に示すよう
に、サーバ１００上では、例えば、スレッド１でトラン
ザクションＴＲi が、スレッド２でトランザクションＴ
Ｒi+1 がそれぞれ実行される。なお、トランザクション
競合検知部１２１はスレッド３で実行されているものと
する。そして、先行するトランザクションＴＲi の実行
中に文書部品Ｘ１にロックをかけると、後続のトランザ
クションＴＲi+1 は文書部品Ｘ１の参照で待たされ、そ
の結果、バックグラウンドのスレッド３で走行している
トランザクション競合検知部１２１がアクセス競合を検
知して、トランザクションマネージャ１２２に通知す
る。これにより、トランザクションマネージャ１２２は
アプリケーション意味的矛盾検査部１１１用のスレッド
４を生成し、アプリケーション１１０のアプリケーショ
ン意味的矛盾検査部１１１を呼び出す。
変更が競合する場合 図４および図５において、クライアントＡが文書部品Ｘ
１を削除するトランザクションを発行した直後に、クラ
イアントＢが文書部品Ｘ１の位置を移動するトランザク
ションを発行した場合が、この競合の一例である。クラ
イアントＡの上記トランザクションをＴＲi ，このトラ
ンザクションＴＲi をサーバ１００が受信した時刻をｔ
i ，クライアントＢの上記トランザクションをＴ
Ｒi+1 ，このトランザクションＴＲi+1 をサーバ１００
が受信した時刻をｔi+1 とした場合、図７に示すよう
に、サーバ１００上では、例えば、スレッド１でトラン
ザクションＴＲi が、スレッド２でトランザクションＴ
Ｒi+1 がそれぞれ実行される。なお、トランザクション
競合検知部１２１はスレッド３で実行されているものと
する。そして、先行するトランザクションＴＲi の実行
中に文書部品Ｘ１にロックをかけると、後続のトランザ
クションＴＲi+1 は文書部品Ｘ１の参照で待たされ、そ
の結果、バックグラウンドのスレッド３で走行している
トランザクション競合検知部１２１がアクセス競合を検
知して、トランザクションマネージャ１２２に通知す
る。これにより、トランザクションマネージャ１２２は
アプリケーション意味的矛盾検査部１１１用のスレッド
４を生成し、アプリケーション１１０のアプリケーショ
ン意味的矛盾検査部１１１を呼び出す。
【００４６】アプリケーション意味的矛盾検査部１１１
は、記憶装置１３０の受信ログからトランザクションＴ
Ｒi ，ＴＲi+1 の内容を読み出す。今の場合、トランザ
クションＴＲi の図６における操作カテゴリ６０１は文
書部品Ｘ１の「削除」，トランザクションＴＲi+1 にお
ける操作カテゴリ６０１は文書部品Ｘ１の「属性値の変
更」になっている。このことからアプリケーション意味
的矛盾検査部１１１は、削除しようとするオブジェクト
の属性値の変更が行われようとしているという意味的矛
盾を検知し、それに応じた解消方法を実装する処理ルー
チンへのアドレスをトランザクションマネージャ１２２
に返却する。具体的な処理ルーチンの内容としては、以
下のようなものがある。
は、記憶装置１３０の受信ログからトランザクションＴ
Ｒi ，ＴＲi+1 の内容を読み出す。今の場合、トランザ
クションＴＲi の図６における操作カテゴリ６０１は文
書部品Ｘ１の「削除」，トランザクションＴＲi+1 にお
ける操作カテゴリ６０１は文書部品Ｘ１の「属性値の変
更」になっている。このことからアプリケーション意味
的矛盾検査部１１１は、削除しようとするオブジェクト
の属性値の変更が行われようとしているという意味的矛
盾を検知し、それに応じた解消方法を実装する処理ルー
チンへのアドレスをトランザクションマネージャ１２２
に返却する。具体的な処理ルーチンの内容としては、以
下のようなものがある。
【００４７】（ａ）トランザクションＴＲi の実行が終
了する前に、トランザクションＴＲi+1 との意味的矛盾
が検知された場合は以下の何れか。 トランザクションＴＲi+1 をキャンセルし、その旨を
クライアントＢに伝える。 トランザクションＴＲi をキャンセルし、その旨をク
ライアントＡに伝える。 トランザクションＴＲi ，ＴＲi+1 の実行順序を入れ
替えるために、トランザクションＴＲi の実行をキャン
セルして、トランザクションＴＲi+1 を実行してから、
トランザクションＴＲi の実行をなお行うか否かをクラ
イアントＡに確認する。 （ｂ）トランザクションＴＲi の実行が終了した後に、
トランザクションＴＲi+1 との意味的矛盾が検知された
場合は以下の何れか。 トランザクションＴＲi+1 をキャンセルし、その旨を
クライアントＢに伝える。 トランザクションＴＲi の実行を元に戻し、上記
（ａ）の何れかを実行する。
了する前に、トランザクションＴＲi+1 との意味的矛盾
が検知された場合は以下の何れか。 トランザクションＴＲi+1 をキャンセルし、その旨を
クライアントＢに伝える。 トランザクションＴＲi をキャンセルし、その旨をク
ライアントＡに伝える。 トランザクションＴＲi ，ＴＲi+1 の実行順序を入れ
替えるために、トランザクションＴＲi の実行をキャン
セルして、トランザクションＴＲi+1 を実行してから、
トランザクションＴＲi の実行をなお行うか否かをクラ
イアントＡに確認する。 （ｂ）トランザクションＴＲi の実行が終了した後に、
トランザクションＴＲi+1 との意味的矛盾が検知された
場合は以下の何れか。 トランザクションＴＲi+1 をキャンセルし、その旨を
クライアントＢに伝える。 トランザクションＴＲi の実行を元に戻し、上記
（ａ）の何れかを実行する。
【００４８】例えば、上記の処理ルーチンのアドレス
がアプリケーション意味的矛盾検査部１１１から返却さ
れた場合、トランザクションマネージャ１２２は、トラ
ンザクションＴＲi+1 をキャンセルし、その旨をクライ
アントＢに伝える。このときクライアントＢでは文書部
品Ｘ１の位置を元の位置に戻す。トランザクションＴＲ
i の実行完了後、その結果をクライアントＢに送るの
で、クライアントＢでも文書部品Ｘ１が削除される。
がアプリケーション意味的矛盾検査部１１１から返却さ
れた場合、トランザクションマネージャ１２２は、トラ
ンザクションＴＲi+1 をキャンセルし、その旨をクライ
アントＢに伝える。このときクライアントＢでは文書部
品Ｘ１の位置を元の位置に戻す。トランザクションＴＲ
i の実行完了後、その結果をクライアントＢに送るの
で、クライアントＢでも文書部品Ｘ１が削除される。
【００４９】（２）オブジェクトの追加と削除とが競合
する場合 図４および図５において、クライアントＡが文書部品Ｘ
１〜Ｘ３が記載されているページＰ１を削除するトラン
ザクションを発行した直後に、クライアントＢがページ
Ｐ１上に新しい文書部品Ｘ４を追加するトランザクショ
ンを発行した場合が、この競合の一例である。クライア
ントＡの上記トランザクションをＴＲi，サーバ１００
でトランザクションＴＲi を受信した時刻をｔi ，クラ
イアントＢの上記トランザクションをＴＲi+1 ，サーバ
１００でトランザクションＴＲi+1 を受信した時刻をｔ
i+1 とした場合、図７に示すように、サーバ１００上で
は、例えば、スレッド１でトランザクションＴＲi が、
スレッド２でトランザクションＴＲi+1 がそれぞれ実行
される。なお、トランザクション競合検知部１２１はス
レッド３で実行されているものとする。そして、先行す
るトランザクションＴＲi の実行中に文書部品Ｘ１〜Ｘ
３が記載されたページＰ１にロックをかけると、後続の
トランザクションＴＲi+1 はページＰ１上の文書部品Ｘ
１の参照で待たされ、その結果、バックグラウンドのス
レッド３で走行しているトランザクション競合検知部１
２１がアクセス競合を検知して、トランザクションマネ
ージャ１２２に通知する。これにより、トランザクショ
ンマネージャ１２２は、アプリケーション意味的矛盾検
査部１１１用のスレッド４を生成し、アプリケーション
１１０のアプリケーション意味的矛盾検査部１１１を呼
び出す。
する場合 図４および図５において、クライアントＡが文書部品Ｘ
１〜Ｘ３が記載されているページＰ１を削除するトラン
ザクションを発行した直後に、クライアントＢがページ
Ｐ１上に新しい文書部品Ｘ４を追加するトランザクショ
ンを発行した場合が、この競合の一例である。クライア
ントＡの上記トランザクションをＴＲi，サーバ１００
でトランザクションＴＲi を受信した時刻をｔi ，クラ
イアントＢの上記トランザクションをＴＲi+1 ，サーバ
１００でトランザクションＴＲi+1 を受信した時刻をｔ
i+1 とした場合、図７に示すように、サーバ１００上で
は、例えば、スレッド１でトランザクションＴＲi が、
スレッド２でトランザクションＴＲi+1 がそれぞれ実行
される。なお、トランザクション競合検知部１２１はス
レッド３で実行されているものとする。そして、先行す
るトランザクションＴＲi の実行中に文書部品Ｘ１〜Ｘ
３が記載されたページＰ１にロックをかけると、後続の
トランザクションＴＲi+1 はページＰ１上の文書部品Ｘ
１の参照で待たされ、その結果、バックグラウンドのス
レッド３で走行しているトランザクション競合検知部１
２１がアクセス競合を検知して、トランザクションマネ
ージャ１２２に通知する。これにより、トランザクショ
ンマネージャ１２２は、アプリケーション意味的矛盾検
査部１１１用のスレッド４を生成し、アプリケーション
１１０のアプリケーション意味的矛盾検査部１１１を呼
び出す。
【００５０】アプリケーション意味的矛盾検査部１１１
は、記憶装置１３０の受信ログからトランザクションＴ
Ｒi ，ＴＲi+1 の内容を読み出す。今の場合、トランザ
クションＴＲi の図６における操作カテゴリ６０１はペ
ージＰ１の「削除」，トランザクションＴＲi+1 におけ
る操作カテゴリ６０１はページＰ１への文書部品Ｘ４の
「追加」になっている。このことからアプリケーション
意味的矛盾検査部１１１は、削除しようとするオブジェ
クト配下に新たなオブジェクトの追加が行われようとし
ているという意味的矛盾を検知し、それに応じた解消方
法を実装する処理ルーチンへのアドレスをトランザクシ
ョンマネージャ１２２に返却する。具体的な処理ルーチ
ンの内容としては、前記（１）同様のものが考えられ
る。勿論、前記（１）と異なる処理ルーチンを用意して
おくことも可能である。
は、記憶装置１３０の受信ログからトランザクションＴ
Ｒi ，ＴＲi+1 の内容を読み出す。今の場合、トランザ
クションＴＲi の図６における操作カテゴリ６０１はペ
ージＰ１の「削除」，トランザクションＴＲi+1 におけ
る操作カテゴリ６０１はページＰ１への文書部品Ｘ４の
「追加」になっている。このことからアプリケーション
意味的矛盾検査部１１１は、削除しようとするオブジェ
クト配下に新たなオブジェクトの追加が行われようとし
ているという意味的矛盾を検知し、それに応じた解消方
法を実装する処理ルーチンへのアドレスをトランザクシ
ョンマネージャ１２２に返却する。具体的な処理ルーチ
ンの内容としては、前記（１）同様のものが考えられ
る。勿論、前記（１）と異なる処理ルーチンを用意して
おくことも可能である。
【００５１】（３）オブジェクトの削除どうしが競合す
る場合 図４および図５において、クライアントＡが文書部品Ｘ
１を削除するトランザクションを発行した直後に、クラ
イアントＢが同じ文書部品Ｘ１を削除するトランザクシ
ョンを発行した場合が、この競合の一例である。クライ
アントＡの上記トランザクションをＴＲi ，サーバ１０
０でトランザクションＴＲi を受信した時刻をｔi ，ク
ライアントＢの上記トランザクションをＴＲi+1 ，サー
バ１００でトランザクションＴＲi+1 を受信した時刻を
ｔi+1 とした場合、図７に示すように、サーバ１００上
では、例えば、スレッド１でトランザクションＴＲ
i が、スレッド２でトランザクションＴＲi+1 がそれぞ
れ実行される。トランザクション競合検知部１２１はス
レッド３で実行されているものとする。そして、先行す
るトランザクションＴＲi の実行中に文書部品Ｘ１にロ
ックをかけると、後続のトランザクションＴＲi+1 は文
書部品Ｘ１の参照で待たされ、その結果、バックグラウ
ンドのスレッド３で走行しているトランザクション競合
検知部１２１がアクセス競合を検知して、トランザクシ
ョンマネージャ１２２に通知する。これにより、トラン
ザクションマネージャ１２２はアプリケーション意味的
矛盾検査部１１１用のスレッド４を生成し、アプリケー
ション１１０のアプリケーション意味的矛盾検査部１１
１を呼び出す。
る場合 図４および図５において、クライアントＡが文書部品Ｘ
１を削除するトランザクションを発行した直後に、クラ
イアントＢが同じ文書部品Ｘ１を削除するトランザクシ
ョンを発行した場合が、この競合の一例である。クライ
アントＡの上記トランザクションをＴＲi ，サーバ１０
０でトランザクションＴＲi を受信した時刻をｔi ，ク
ライアントＢの上記トランザクションをＴＲi+1 ，サー
バ１００でトランザクションＴＲi+1 を受信した時刻を
ｔi+1 とした場合、図７に示すように、サーバ１００上
では、例えば、スレッド１でトランザクションＴＲ
i が、スレッド２でトランザクションＴＲi+1 がそれぞ
れ実行される。トランザクション競合検知部１２１はス
レッド３で実行されているものとする。そして、先行す
るトランザクションＴＲi の実行中に文書部品Ｘ１にロ
ックをかけると、後続のトランザクションＴＲi+1 は文
書部品Ｘ１の参照で待たされ、その結果、バックグラウ
ンドのスレッド３で走行しているトランザクション競合
検知部１２１がアクセス競合を検知して、トランザクシ
ョンマネージャ１２２に通知する。これにより、トラン
ザクションマネージャ１２２はアプリケーション意味的
矛盾検査部１１１用のスレッド４を生成し、アプリケー
ション１１０のアプリケーション意味的矛盾検査部１１
１を呼び出す。
【００５２】アプリケーション意味的矛盾検査部１１１
は、記憶装置１３０の受信ログからトランザクションＴ
Ｒi ，ＴＲi+1 の内容を読み出す。今の場合、トランザ
クションＴＲi の図６における操作カテゴリは文書部品
Ｘ１の「削除」，トランザクションＴＲi+1 における操
作カテゴリも文書部品Ｘ１の「削除」になっている。こ
のことからアプリケーション意味的矛盾検査部１１１
は、削除しようとするオブジェクトが更に削除されよう
としているという意味的矛盾を検知し、それに応じた解
消方法を実装する処理ルーチンへのアドレスをトランザ
クションマネージャ１２２に返却する。具体的な処理ル
ーチンとしては、トランザクションＴＲiの実行が終了
する前にトランザクションＴＲi+1 との意味的矛盾が検
知された場合、トランザクションＴＲi の実行が終了し
た後にトランザクションＴＲi+1 との意味的矛盾が検知
された場合とも、トランザクションＴＲi+1 をキャンセ
ルする処理ルーチンが考えられる。
は、記憶装置１３０の受信ログからトランザクションＴ
Ｒi ，ＴＲi+1 の内容を読み出す。今の場合、トランザ
クションＴＲi の図６における操作カテゴリは文書部品
Ｘ１の「削除」，トランザクションＴＲi+1 における操
作カテゴリも文書部品Ｘ１の「削除」になっている。こ
のことからアプリケーション意味的矛盾検査部１１１
は、削除しようとするオブジェクトが更に削除されよう
としているという意味的矛盾を検知し、それに応じた解
消方法を実装する処理ルーチンへのアドレスをトランザ
クションマネージャ１２２に返却する。具体的な処理ル
ーチンとしては、トランザクションＴＲiの実行が終了
する前にトランザクションＴＲi+1 との意味的矛盾が検
知された場合、トランザクションＴＲi の実行が終了し
た後にトランザクションＴＲi+1 との意味的矛盾が検知
された場合とも、トランザクションＴＲi+1 をキャンセ
ルする処理ルーチンが考えられる。
【００５３】（４）同じオブジェクトの属性値の変更が
競合する場合 図４および図５において、クライアントＡが文書部品Ｘ
１を或る位置ｐに移動するトランザクションを発行した
直後に、クライアントＢが文書部品Ｘ１を別の位置ｑに
移動するトランザクションを発行した場合が、この競合
の一例である。クライアントＡの上記トランザクション
をＴＲi ，サーバ１００でトランザクションＴＲi を受
信した時刻をｔi ，クライアントＢの上記トランザクシ
ョンをＴＲi+1 ，サーバ１００でトランザクションＴＲ
i+1 を受信した時刻をｔi+1 とした場合、図７に示すよ
うに、サーバ１００上では、例えば、スレッド１でトラ
ンザクションＴＲi が、スレッド２でトランザクション
ＴＲi+1 がそれぞれ実行される。なお、トランザクショ
ン競合検知部１２１はスレッド３で実行されているもの
とする。そして、先行するトランザクションＴＲi の実
行中に文書部品Ｘ１にロックをかけると、後続のトラン
ザクションＴＲi+1 は文書部品Ｘ１の参照で待たされ、
その結果、バックグラウンドのスレッド３で走行してい
るトランザクション競合検知部１２１がアクセス競合を
検知して、トランザクションマネージャ１２２に通知す
る。これにより、トランザクションマネージャ１２２は
アプリケーション意味的矛盾検査部１１１用にスレッド
４を生成し、アプリケーション１１０のアプリケーショ
ン意味的矛盾検査部１１１を呼び出す。
競合する場合 図４および図５において、クライアントＡが文書部品Ｘ
１を或る位置ｐに移動するトランザクションを発行した
直後に、クライアントＢが文書部品Ｘ１を別の位置ｑに
移動するトランザクションを発行した場合が、この競合
の一例である。クライアントＡの上記トランザクション
をＴＲi ，サーバ１００でトランザクションＴＲi を受
信した時刻をｔi ，クライアントＢの上記トランザクシ
ョンをＴＲi+1 ，サーバ１００でトランザクションＴＲ
i+1 を受信した時刻をｔi+1 とした場合、図７に示すよ
うに、サーバ１００上では、例えば、スレッド１でトラ
ンザクションＴＲi が、スレッド２でトランザクション
ＴＲi+1 がそれぞれ実行される。なお、トランザクショ
ン競合検知部１２１はスレッド３で実行されているもの
とする。そして、先行するトランザクションＴＲi の実
行中に文書部品Ｘ１にロックをかけると、後続のトラン
ザクションＴＲi+1 は文書部品Ｘ１の参照で待たされ、
その結果、バックグラウンドのスレッド３で走行してい
るトランザクション競合検知部１２１がアクセス競合を
検知して、トランザクションマネージャ１２２に通知す
る。これにより、トランザクションマネージャ１２２は
アプリケーション意味的矛盾検査部１１１用にスレッド
４を生成し、アプリケーション１１０のアプリケーショ
ン意味的矛盾検査部１１１を呼び出す。
【００５４】アプリケーション意味的矛盾検査部１１１
は、記憶装置１３０の受信ログからトランザクションＴ
Ｒi ，ＴＲi+1 の内容を読み出す。今の場合、トランザ
クションＴＲi の図６における操作カテゴリ６０１は文
書部品Ｘ１の「属性値の変更」，トランザクションＴＲ
i+1 における操作カテゴリ６０１も文書部品Ｘ１の「属
性値の変更」になっている。このようにアクセス競合す
る複数のトランザクションが、共に属性値を変更するこ
とにある場合、アプリケーション意味的矛盾検査部１１
１は、更にトランザクションＴＲi ，ＴＲi+1 の図６の
データ操作コマンド列６０３を参照し、属性値の変更内
容を更に詳細に検査する。
は、記憶装置１３０の受信ログからトランザクションＴ
Ｒi ，ＴＲi+1 の内容を読み出す。今の場合、トランザ
クションＴＲi の図６における操作カテゴリ６０１は文
書部品Ｘ１の「属性値の変更」，トランザクションＴＲ
i+1 における操作カテゴリ６０１も文書部品Ｘ１の「属
性値の変更」になっている。このようにアクセス競合す
る複数のトランザクションが、共に属性値を変更するこ
とにある場合、アプリケーション意味的矛盾検査部１１
１は、更にトランザクションＴＲi ，ＴＲi+1 の図６の
データ操作コマンド列６０３を参照し、属性値の変更内
容を更に詳細に検査する。
【００５５】今の場合、トランザクションＴＲi は文書
部品Ｘ１を位置ｐへ移動することであり、トランザクシ
ョンＴＲi+1 は同じ文書部品Ｘ１を位置ｑへ移動するこ
とであり、意味的な矛盾がある。しかし、変更される属
性は共に「位置」で等しい。そこで、移動後の位置ｐと
位置ｑとの差を求め、その差が予め設定された差以下で
あれば意味的矛盾がごく僅かである場合の解消方法を実
装する処理ルーチンのアドレスをトランザクションマネ
ージャ１２２に返却する。このような処理ルーチンとし
ては以下のようなものがある。
部品Ｘ１を位置ｐへ移動することであり、トランザクシ
ョンＴＲi+1 は同じ文書部品Ｘ１を位置ｑへ移動するこ
とであり、意味的な矛盾がある。しかし、変更される属
性は共に「位置」で等しい。そこで、移動後の位置ｐと
位置ｑとの差を求め、その差が予め設定された差以下で
あれば意味的矛盾がごく僅かである場合の解消方法を実
装する処理ルーチンのアドレスをトランザクションマネ
ージャ１２２に返却する。このような処理ルーチンとし
ては以下のようなものがある。
【００５６】（ａ）トランザクションＴＲi の実行が終
了する前に、トランザクションＴＲi+1 との意味的矛盾
が検知された場合は以下の何れか。 トランザクションＴＲi による移動量とトランザクシ
ョンＴＲi+1 による移動量とを比較し、移動量の大きい
方を実行し、小さい方をキャンセルする。 トランザクションＴＲi の実行終了後に、トランザク
ションＴＲi+1 を実行する。即ち、到着順に実行する。 （ｂ）トランザクションＴＲi の実行が終了した後に、
トランザクションＴＲi+1 との意味的矛盾が検知された
場合は以下の何れか。 トランザクションＴＲi による移動量とトランザクシ
ョンＴＲi+1 による移動量とを比較し、トランザクショ
ンＴＲi による移動量が大きい場合にはトランザクショ
ンＴＲi+1 をキャンセルし、その旨をクライアントＢに
伝える。 トランザクションＴＲi の実行終了後に、トランザク
ションＴＲi+1 を実行する。即ち、到着順に実行する。
了する前に、トランザクションＴＲi+1 との意味的矛盾
が検知された場合は以下の何れか。 トランザクションＴＲi による移動量とトランザクシ
ョンＴＲi+1 による移動量とを比較し、移動量の大きい
方を実行し、小さい方をキャンセルする。 トランザクションＴＲi の実行終了後に、トランザク
ションＴＲi+1 を実行する。即ち、到着順に実行する。 （ｂ）トランザクションＴＲi の実行が終了した後に、
トランザクションＴＲi+1 との意味的矛盾が検知された
場合は以下の何れか。 トランザクションＴＲi による移動量とトランザクシ
ョンＴＲi+1 による移動量とを比較し、トランザクショ
ンＴＲi による移動量が大きい場合にはトランザクショ
ンＴＲi+1 をキャンセルし、その旨をクライアントＢに
伝える。 トランザクションＴＲi の実行終了後に、トランザク
ションＴＲi+1 を実行する。即ち、到着順に実行する。
【００５７】このようにアクセス競合する複数のトラン
ザクションの意味的矛盾が、同一データの同一属性値を
変更することにある場合、更にその変更度合いの差が予
め定められた範囲内にあるか否かを検査し、予め定めら
れた範囲内にあるときは、変更度の大きいトランザクシ
ョンのみ実行する処理ルーチン、或いは競合するトラン
ザクションをその到着順に実行する処理ルーチンへのア
ドレスをトランザクションマネージャに返却する。「大
きさ」や「色」など他の属性値についても同様に扱う。
ザクションの意味的矛盾が、同一データの同一属性値を
変更することにある場合、更にその変更度合いの差が予
め定められた範囲内にあるか否かを検査し、予め定めら
れた範囲内にあるときは、変更度の大きいトランザクシ
ョンのみ実行する処理ルーチン、或いは競合するトラン
ザクションをその到着順に実行する処理ルーチンへのア
ドレスをトランザクションマネージャに返却する。「大
きさ」や「色」など他の属性値についても同様に扱う。
【００５８】他方、トランザクションＴＲi による位置
ｐとトランザクションＴＲi+1 による位置ｑとの差が予
め定められた値を超えている場合には、例えば上記
（１）と同様の方法で処理ルーチンを決定する。
ｐとトランザクションＴＲi+1 による位置ｑとの差が予
め定められた値を超えている場合には、例えば上記
（１）と同様の方法で処理ルーチンを決定する。
【００５９】また、例えばトランザクションＴＲi ，Ｔ
Ｒi+1 で変更する属性値が異なる場合は、意味的な矛盾
が無いとする。アクセス競合する複数のトランザクショ
ンに意味的矛盾が無い他の例としては、同一ページにそ
れぞれ文書部品を新たに追加する場合などがある。
Ｒi+1 で変更する属性値が異なる場合は、意味的な矛盾
が無いとする。アクセス競合する複数のトランザクショ
ンに意味的矛盾が無い他の例としては、同一ページにそ
れぞれ文書部品を新たに追加する場合などがある。
【００６０】次に図６のトランザクション中に付加する
オプションデータ６０２の利用方法について説明する。
オプションデータ６０２の利用方法について説明する。
【００６１】オプションデータ６０２の利用方法の一つ
は、トランザクションのキャンセル可，不可をそのトラ
ンザクションにかかるデータ変更操作を行ったユーザが
指定できるようにすることである。前述した実施例で
は、意味的矛盾がある複数のトランザクションの何れか
が、サーバ側のトランザクションマネージャ１２２で一
方的にキャンセルされる場合があった。このような一方
的なキャンセルを望まないユーザは、データ変更操作時
にキャンセル不可を指定すれば、この情報がアプリケー
ション２１０によってトランザクションのオプションデ
ータ６０２に設定され、意味的矛盾検査時にアプリケー
ション意味的矛盾検査部１１１で考慮される。この場合
にアプリケーション意味的矛盾検査部１１１で選択され
る処理ルーチンの内容としては、例えば、競合するトラ
ンザクションの実行を停止し、競合するトランザクショ
ンを投入した複数のクライアントに対して何れのトラン
ザクションを実行するかを決めるように促すものなどが
考えられる。多数決などでクライアント間で１つのトラ
ンザクションが決まると、それが実行され、残りのトラ
ンザクションはキャンセルされる。
は、トランザクションのキャンセル可，不可をそのトラ
ンザクションにかかるデータ変更操作を行ったユーザが
指定できるようにすることである。前述した実施例で
は、意味的矛盾がある複数のトランザクションの何れか
が、サーバ側のトランザクションマネージャ１２２で一
方的にキャンセルされる場合があった。このような一方
的なキャンセルを望まないユーザは、データ変更操作時
にキャンセル不可を指定すれば、この情報がアプリケー
ション２１０によってトランザクションのオプションデ
ータ６０２に設定され、意味的矛盾検査時にアプリケー
ション意味的矛盾検査部１１１で考慮される。この場合
にアプリケーション意味的矛盾検査部１１１で選択され
る処理ルーチンの内容としては、例えば、競合するトラ
ンザクションの実行を停止し、競合するトランザクショ
ンを投入した複数のクライアントに対して何れのトラン
ザクションを実行するかを決めるように促すものなどが
考えられる。多数決などでクライアント間で１つのトラ
ンザクションが決まると、それが実行され、残りのトラ
ンザクションはキャンセルされる。
【００６２】オプションデータ６０２の他の利用方法
は、意味的矛盾の詳細な検出をアプリケーション意味的
矛盾検査部１１１が簡単に行えるようにするために、ト
ランザクションのオプションデータ６０２に意味的矛盾
の検出に役立つ情報をクライアント側でオプションデー
タ６０２に設定しておくことである。例えば、前記
（４）の例では、クライアントＡのトランザクションの
オプションデータ６０２に、属性値の変更の詳細な情報
として「文書部品Ｘ１を位置ｐに移動すること」を、ク
ライアントＢのトランザクションのオプションデータ６
０２に、属性値の変更の詳細な情報として「文書部品Ｘ
１を位置ｑに移動すること」を、それぞれクライアント
Ａ，Ｂ側で設定しておく。こうすれば、アプリケーショ
ン意味的矛盾検査部１１１は、データ操作コマンド列６
０３を解析せずに、意味的矛盾の詳細を判断することが
できる。
は、意味的矛盾の詳細な検出をアプリケーション意味的
矛盾検査部１１１が簡単に行えるようにするために、ト
ランザクションのオプションデータ６０２に意味的矛盾
の検出に役立つ情報をクライアント側でオプションデー
タ６０２に設定しておくことである。例えば、前記
（４）の例では、クライアントＡのトランザクションの
オプションデータ６０２に、属性値の変更の詳細な情報
として「文書部品Ｘ１を位置ｐに移動すること」を、ク
ライアントＢのトランザクションのオプションデータ６
０２に、属性値の変更の詳細な情報として「文書部品Ｘ
１を位置ｑに移動すること」を、それぞれクライアント
Ａ，Ｂ側で設定しておく。こうすれば、アプリケーショ
ン意味的矛盾検査部１１１は、データ操作コマンド列６
０３を解析せずに、意味的矛盾の詳細を判断することが
できる。
【００６３】以上の実施例では、オンライン接続中のク
ライアント２００から送出されるトランザクションの整
合方法について説明したが、本発明は、クライアント２
００をネットワークから切り離して単独で使用した後
に、再び、ネットワークを通じてサーバ１００に接続し
て協調作業を行うモバイル環境における携帯端末上のア
プリケーションとサーバとの間の分散トランザクション
整合方法としても利用可能である。以下、この点につい
て説明する。
ライアント２００から送出されるトランザクションの整
合方法について説明したが、本発明は、クライアント２
００をネットワークから切り離して単独で使用した後
に、再び、ネットワークを通じてサーバ１００に接続し
て協調作業を行うモバイル環境における携帯端末上のア
プリケーションとサーバとの間の分散トランザクション
整合方法としても利用可能である。以下、この点につい
て説明する。
【００６４】クライアント２００がサーバ１００と接続
されている状況において、サーバ１００のトランザクシ
ョンマネージャ１２２は、記憶装置１３０に保存した最
新のトランザクションログのトランザクション識別子を
クライアント２００に送り付け、クライアント２００側
ではその最新の識別子を記録しておく。クライアント２
００がサーバ１００とのネットワーク接続を切断する
と、このような最新の識別子を受信できなくなるため、
クライアント２００のサーバ１００への再接続時にクラ
イアント２００が保持する最新の識別子をサーバ１００
に送れば、サーバ１００では、そのクライアント２００
の分離中に発生したトランザクションログ（当該クライ
アント２００に実行結果を送っていないトランザクショ
ン）を把握できる。
されている状況において、サーバ１００のトランザクシ
ョンマネージャ１２２は、記憶装置１３０に保存した最
新のトランザクションログのトランザクション識別子を
クライアント２００に送り付け、クライアント２００側
ではその最新の識別子を記録しておく。クライアント２
００がサーバ１００とのネットワーク接続を切断する
と、このような最新の識別子を受信できなくなるため、
クライアント２００のサーバ１００への再接続時にクラ
イアント２００が保持する最新の識別子をサーバ１００
に送れば、サーバ１００では、そのクライアント２００
の分離中に発生したトランザクションログ（当該クライ
アント２００に実行結果を送っていないトランザクショ
ン）を把握できる。
【００６５】クライアント２００は、サーバ１００と分
離した状態でもアプリケーション２１０の実行により文
書等の作成が可能である。但し、サーバ１００と接続さ
れていないので、アプリケーション２１０で生成された
トランザクションはサーバ１００には送出されず、記憶
装置２３０に保存されるだけである。クライアント２０
０のサーバ１００への再接続時、この保存されたトラン
ザクションがサーバ１００に転送される。
離した状態でもアプリケーション２１０の実行により文
書等の作成が可能である。但し、サーバ１００と接続さ
れていないので、アプリケーション２１０で生成された
トランザクションはサーバ１００には送出されず、記憶
装置２３０に保存されるだけである。クライアント２０
０のサーバ１００への再接続時、この保存されたトラン
ザクションがサーバ１００に転送される。
【００６６】サーバ１００のトランザクションマネージ
ャ１２２は、クライアント２００から送られてきた個々
のトランザクション毎に、そのクライアント２００の分
離中に他のクライアントから送出され記憶装置１３０に
ログとして記録されたトランザクションとの意味的矛盾
を検査し、意味的矛盾がある場合に解消を行う。このと
きに、本発明の分散トランザクション整合方法を適用で
きる。即ち、アプリケーション意味的矛盾検査部１１１
を呼び出し、意味的な矛盾を検査させ、意味的矛盾があ
る場合は、その解消方法を実装する処理ルーチンを決定
させる。
ャ１２２は、クライアント２００から送られてきた個々
のトランザクション毎に、そのクライアント２００の分
離中に他のクライアントから送出され記憶装置１３０に
ログとして記録されたトランザクションとの意味的矛盾
を検査し、意味的矛盾がある場合に解消を行う。このと
きに、本発明の分散トランザクション整合方法を適用で
きる。即ち、アプリケーション意味的矛盾検査部１１１
を呼び出し、意味的な矛盾を検査させ、意味的矛盾があ
る場合は、その解消方法を実装する処理ルーチンを決定
させる。
【００６７】例えば図８に示すように、再接続したクラ
イアント２００からトランザクションＴＲ１１〜ＴＲ１
３が送られてきたとする。また、そのクライアント２０
０の分離中にサーバ１００が他のクライアントから受信
し記憶装置１３０にログとして記録されたトランザクシ
ョンとしてＴＲ２１〜ＴＲ２３があるとする。この場
合、アプリケーション意味的矛盾検査部１１１は、トラ
ンザクションＴＲ１１とトランザクションＴＲ２１とに
意味的矛盾があることを検知し、その解消方法として例
えばトランザクションＴＲ１１をキャンセルする処理ル
ーチンを決定する。また、トランザクションＴＲ１２と
トランザクションＴＲ２２とに意味的矛盾があることを
検知し、その解消方法として例えばトランザクションＴ
Ｒ２１をキャンセルする処理ルーチンを決定する。残り
のトランザクションについては意味的な矛盾はない。こ
の結果、再接続したクライアント２００では、トランザ
クションＴＲ１１，ＴＲ１２がキャンセルされ、またサ
ーバ１００からそのクライアント２００にトランザクシ
ョンＴＲ２１，ＴＲ２２，ＴＲ２３の実行結果が送ら
れ、クライアント２００に反映される。従って、クライ
アント２００では、トランザクションＴＲ１３，ＴＲ２
１，ＴＲ２２，ＴＲ２３が実行された状態となる。ま
た、サーバ１００はトランザクションＴＲ１３を実行
し、その実行結果を他のクライアントに送る。これによ
り、全クライアントの状態が同じになる。
イアント２００からトランザクションＴＲ１１〜ＴＲ１
３が送られてきたとする。また、そのクライアント２０
０の分離中にサーバ１００が他のクライアントから受信
し記憶装置１３０にログとして記録されたトランザクシ
ョンとしてＴＲ２１〜ＴＲ２３があるとする。この場
合、アプリケーション意味的矛盾検査部１１１は、トラ
ンザクションＴＲ１１とトランザクションＴＲ２１とに
意味的矛盾があることを検知し、その解消方法として例
えばトランザクションＴＲ１１をキャンセルする処理ル
ーチンを決定する。また、トランザクションＴＲ１２と
トランザクションＴＲ２２とに意味的矛盾があることを
検知し、その解消方法として例えばトランザクションＴ
Ｒ２１をキャンセルする処理ルーチンを決定する。残り
のトランザクションについては意味的な矛盾はない。こ
の結果、再接続したクライアント２００では、トランザ
クションＴＲ１１，ＴＲ１２がキャンセルされ、またサ
ーバ１００からそのクライアント２００にトランザクシ
ョンＴＲ２１，ＴＲ２２，ＴＲ２３の実行結果が送ら
れ、クライアント２００に反映される。従って、クライ
アント２００では、トランザクションＴＲ１３，ＴＲ２
１，ＴＲ２２，ＴＲ２３が実行された状態となる。ま
た、サーバ１００はトランザクションＴＲ１３を実行
し、その実行結果を他のクライアントに送る。これによ
り、全クライアントの状態が同じになる。
【００６８】なお、トランザクションＴＲ１１〜ＴＲ１
３の意味的矛盾を、そのクライアント２００の分離中に
サーバ１００が他のクライアントから受信し記憶装置１
３０にログとして記録された全てのトランザクションＴ
Ｒ２１〜ＴＲ２３との間で検査する代わりに、記憶装置
１３０にログとして記録されたトランザクションＴＲ２
１〜ＴＲ２３のうちのカレントなトランザクション（ま
さに実行されようとしているトランザクション）を基準
に或る範囲内で時間的に近接するトランザクションとの
み意味的矛盾を検査するようにしても良い。この時間的
に近接する範囲の条件はアプリケーション１１０が自由
に変更できるようにパラメータとして与えられる。例え
ば、条件としてｔ±ａとあれば、ａ＝１のときサーバ上
のトランザクションログにおけるカレントなトランザク
ションの前後１つずつの範囲内のトランザクションとの
み意味的矛盾の検査を行う。従って、図８の場合、例え
ばトランザクションＴＲ２３がカレントなトランザクシ
ョンであれば、トランザクションＴＲ２１は除外され
る。この結果、トランザクションＴＲ１１は意味的矛盾
無しと判断されることになり、サーバ１００で実行さ
れ、その結果が他のクライアントに送られ、文書部品Ｘ
１が全クライアントで削除される。
３の意味的矛盾を、そのクライアント２００の分離中に
サーバ１００が他のクライアントから受信し記憶装置１
３０にログとして記録された全てのトランザクションＴ
Ｒ２１〜ＴＲ２３との間で検査する代わりに、記憶装置
１３０にログとして記録されたトランザクションＴＲ２
１〜ＴＲ２３のうちのカレントなトランザクション（ま
さに実行されようとしているトランザクション）を基準
に或る範囲内で時間的に近接するトランザクションとの
み意味的矛盾を検査するようにしても良い。この時間的
に近接する範囲の条件はアプリケーション１１０が自由
に変更できるようにパラメータとして与えられる。例え
ば、条件としてｔ±ａとあれば、ａ＝１のときサーバ上
のトランザクションログにおけるカレントなトランザク
ションの前後１つずつの範囲内のトランザクションとの
み意味的矛盾の検査を行う。従って、図８の場合、例え
ばトランザクションＴＲ２３がカレントなトランザクシ
ョンであれば、トランザクションＴＲ２１は除外され
る。この結果、トランザクションＴＲ１１は意味的矛盾
無しと判断されることになり、サーバ１００で実行さ
れ、その結果が他のクライアントに送られ、文書部品Ｘ
１が全クライアントで削除される。
【００６９】
【発明の効果】以上説明したように本発明によれば、以
下のような効果を得ることができる。
下のような効果を得ることができる。
【００７０】競合する複数のトランザクションに意味的
矛盾が存在する場合のその解消方法を、各アプリケーシ
ョン毎および意味的矛盾の内容毎に定めることができる
ため、各アプリケーションおよび意味的矛盾の内容に適
した解消方法をとることができる。
矛盾が存在する場合のその解消方法を、各アプリケーシ
ョン毎および意味的矛盾の内容毎に定めることができる
ため、各アプリケーションおよび意味的矛盾の内容に適
した解消方法をとることができる。
【００７１】競合する複数のトランザクションの意味的
矛盾が、同一データの同一属性値を変更することにある
場合、更にその変更度合いの差が予め定められた範囲内
にあるか否かを検査し、予め定められた範囲内にあると
きは、変更度の大きいトランザクションのみ実行する処
理ルーチン、或いは競合するトランザクションをその到
着順に実行する処理ルーチンを実行することにより、無
視できる程度の意味的矛盾の場合には、ユーザの介入無
しに処理を進めることができ、協調作業の効率化が可能
となる。
矛盾が、同一データの同一属性値を変更することにある
場合、更にその変更度合いの差が予め定められた範囲内
にあるか否かを検査し、予め定められた範囲内にあると
きは、変更度の大きいトランザクションのみ実行する処
理ルーチン、或いは競合するトランザクションをその到
着順に実行する処理ルーチンを実行することにより、無
視できる程度の意味的矛盾の場合には、ユーザの介入無
しに処理を進めることができ、協調作業の効率化が可能
となる。
【図１】本発明を適用した分散処理システムの一例を示
すブロック図である。
すブロック図である。
【図２】クライアントの処理の一例を示すフローチャー
トである。
トである。
【図３】サーバの処理の一例を示すフローチャートであ
る。
る。
【図４】本発明の実施例の動作説明に用いる分散処理シ
ステムの例を示すブロック図である。
ステムの例を示すブロック図である。
【図５】本発明の実施例の動作説明に用いる文書の構造
例を示す図である。
例を示す図である。
【図６】トランザクションのレコード形式の一例を示す
図である。
図である。
【図７】サーバ上で複数のトランザクションなどがマル
チスレッドで実行される様子を示す図である。
チスレッドで実行される様子を示す図である。
【図８】再接続したクライアントから送出されるトラン
ザクションの例と、その時点でサーバに記録されている
トランザクションログの例とを示す図である。
ザクションの例と、その時点でサーバに記録されている
トランザクションログの例とを示す図である。
１００…サーバ １１０…アプリケーション １１１…アプリケーション意味的矛盾検査部 １１２…主処理部 １２０…共通処理部 １２１…トランザクション競合検知部 １２２…トランザクションマネージャ １３０…記憶装置 １４０…記録媒体 ２００…クライアント ２１０…アプリケーション ２１１…主処理部 ２２０…共通処理部 ２２１…トランザクションロギング部 ２３０…記憶装置 ２４０…表示装置 ２５０…入力装置 ２６０…記録媒体
Claims (8)
- 【請求項１】 サーバと、該サーバにネットワークを介
して接続可能な複数のクライアントとから構成される分
散システムにおけるトランザクション整合方法におい
て、 クライアントのアプリケーションを通じてユーザがデー
タの変更操作を行ったときに生成されるトランザクショ
ンを、ネットワークを介してサーバ側のトランザクショ
ンマネージャが受信したとき、他のクライアントから受
信したトランザクションと意味的に矛盾するか否かの検
査を、サーバ側のアプリケーションの意味的矛盾検査部
にて行い、意味的矛盾が存在しない場合はトランザクシ
ョンマネージャがそのトランザクションを実行し、意味
的矛盾が存在する場合は、その意味的矛盾の内容に応じ
た解消方法を実装する処理ルーチンへのアドレスを意味
的矛盾検査部からトランザクションマネージャに返却
し、トランザクションマネージャにて、前記返却された
アドレスの処理ルーチンを呼び出すことで、前記複数の
トランザクションの意味的矛盾を解消することを特徴と
する分散トランザクション整合方法。 - 【請求項２】 複数のクライアントがネットワークを介
してサーバに接続された分散システムにおけるトランザ
クション整合方法において、 クライアントのアプリケーションを通じてユーザがデー
タの変更操作を行ったときに生成されるトランザクショ
ンを、クライアントからネットワークを介してサーバ側
のトランザクションマネージャに送信する段階、 サーバ側のトランザクション競合検知部にて、クライア
ントから受信したトランザクションと他のクライアント
から受信したトランザクションとで共有データへのアク
セスの競合が生じているか否かを検知する段階、 サーバ側のトランザクションマネージャにて、アクセス
の競合する複数のトランザクション間の意味的矛盾を検
査するようにサーバ側のアプリケーションに要求する段
階、 サーバ側のアプリケーションの意味的矛盾検査部にて、
競合する複数のトランザクションの意味的矛盾を検査す
る段階、 サーバ側のトランザクションマネージャにて、競合する
複数のトランザクションに意味的矛盾が存在しない場合
に前記複数のトランザクションの実行を継続する段階、 サーバ側のアプリケーションの意味的矛盾検査部にて、
競合する複数のトランザクションに意味的矛盾が存在す
る場合に、その意味的矛盾の内容に応じた解消方法を実
装する処理ルーチンへのアドレスをトランザクションマ
ネージャに返却する段階、 トランザクションマネージャにて、前記返却されたアド
レスの処理ルーチンを呼び出すことで、前記複数のトラ
ンザクションの意味的矛盾を解消する段階、 を含むことを特徴とする分散トランザクション整合方
法。 - 【請求項３】 サーバ側のアプリケーションは、アクセ
ス競合する複数のトランザクションの意味的矛盾が、同
一データの同一属性値を変更することにある場合、更に
その変更度合いの差が予め定められた範囲内にあるか否
かを検査し、予め定められた範囲内にあるときは、変更
度の大きいトランザクションのみ実行する処理ルーチ
ン、或いは競合するトランザクションをその到着順に実
行する処理ルーチンへのアドレスをトランザクションマ
ネージャに返却することを特徴とする請求項２記載の分
散トランザクション整合方法。 - 【請求項４】 サーバ側のアプリケーション毎に、競合
する複数のトランザクションの意味的矛盾の種類毎に、
複数の処理ルーチンの内から実際に使用する処理ルーチ
ンを事前に選択しておく段階を含むことを特徴とする請
求項２または３記載の分散トランザクション整合方法。 - 【請求項５】 サーバ側のトランザクションマネージャ
にて、オンライン接続中のクライアントから受信したト
ランザクションが他のクライアントから受信したトラン
ザクションとアクセス競合するか否かを、共有データに
対するロック待ちが生じているか否かによって検知する
ことを特徴とする請求項２，３または４記載の分散トラ
ンザクション整合方法。 - 【請求項６】 サーバと、該サーバにネットワークを介
して接続可能な複数のクライアントとから構成される分
散システムにおけるクライアント再接続時のトランザク
ション整合方法において、 クライアントのアプリケーションを通じてユーザがデー
タの変更操作を行ったときに生成されるトランザクショ
ンを、そのクライアントの再接続時にネットワークを介
してサーバ側のトランザクションマネージャが受信した
とき、他のクライアントから受信し記憶装置にログとし
て記録したトランザクションと意味的に矛盾するか否か
の検査を、サーバ側のアプリケーションの意味的矛盾検
査部にて行い、意味的矛盾が存在しない場合はトランザ
クションマネージャがそのトランザクションを実行し、
意味的矛盾が存在する場合は、その意味的矛盾の内容に
応じた解消方法を実装する処理ルーチンへのアドレスを
意味的矛盾検査部からトランザクションマネージャに返
却し、トランザクションマネージャにて、前記返却され
たアドレスの処理ルーチンを呼び出すことで、トランザ
クションの意味的矛盾を解消することを特徴とする分散
トランザクション整合方法。 - 【請求項７】 クライアントの再接続時にネットワーク
を介して受信したトランザクションの意味的矛盾の検知
範囲を、他のクライアントから受信し記憶装置にログと
して記録した一部のトランザクションに限定して行うこ
とを特徴とする請求項６記載の分散トランザクション整
合方法。 - 【請求項８】 複数のクライアントがネットワークを介
してサーバに接続された分散コンピュータシステムに、 クライアントのアプリケーションを通じてユーザがデー
タの変更操作を行ったときに生成されるトランザクショ
ンを、クライアントからネットワークを介してサーバ側
のトランザクションマネージャに送信する段階、 サーバ側のトランザクション競合検知部にて、クライア
ントから受信したトランザクションと他のクライアント
から受信したトランザクションとで共有データへのアク
セスの競合が生じているか否かを検知する段階、 サーバ側のトランザクションマネージャにて、アクセス
の競合する複数のトランザクション間の意味的矛盾を検
査するようにサーバ側のアプリケーションに要求する段
階、 サーバ側のアプリケーションの意味的矛盾検査部にて、
競合する複数のトランザクションの意味的矛盾を検査す
る段階、 サーバ側のトランザクションマネージャにて、競合する
複数のトランザクションに意味的矛盾が存在しない場合
に前記複数のトランザクションの実行を継続する段階、 サーバ側のアプリケーションの意味的矛盾検査部にて、
競合する複数のトランザクションに意味的矛盾が存在す
る場合に、その意味的矛盾の内容に応じたトランザクシ
ョン整合方法を実装する処理ルーチンへのアドレスをト
ランザクションマネージャに返却する段階、 トランザクションマネージャにて、前記返却されたアド
レスの処理ルーチンを呼び出すことで、前記複数のトラ
ンザクションの意味的矛盾を解消する段階、 を実行させるプログラムを記録した機械読み取り可能な
記録媒体。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP18740197A JP3367385B2 (ja) | 1997-06-27 | 1997-06-27 | 分散トランザクション整合方法及びプログラムを記録した機械読み取り可能な記録媒体 |
| US09/104,356 US6332160B1 (en) | 1997-06-27 | 1998-06-25 | Method for matching distributed transactions and machine-readable recording medium with method programs |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP18740197A JP3367385B2 (ja) | 1997-06-27 | 1997-06-27 | 分散トランザクション整合方法及びプログラムを記録した機械読み取り可能な記録媒体 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH1124973A true JPH1124973A (ja) | 1999-01-29 |
| JP3367385B2 JP3367385B2 (ja) | 2003-01-14 |
Family
ID=16205391
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP18740197A Expired - Fee Related JP3367385B2 (ja) | 1997-06-27 | 1997-06-27 | 分散トランザクション整合方法及びプログラムを記録した機械読み取り可能な記録媒体 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US6332160B1 (ja) |
| JP (1) | JP3367385B2 (ja) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2012155498A (ja) * | 2011-01-25 | 2012-08-16 | Fujitsu Ltd | データベースサーバ装置、データベース更新方法及びデータベース更新プログラム |
| JP2013077063A (ja) * | 2011-09-29 | 2013-04-25 | Fujitsu Ltd | データ管理プログラム、ノード、および分散データベースシステム |
| JP2019121946A (ja) * | 2018-01-09 | 2019-07-22 | Kddi株式会社 | 文書管理システム、文書管理方法及び文書管理プログラム |
Families Citing this family (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP3828290B2 (ja) * | 1998-07-24 | 2006-10-04 | 富士通株式会社 | ドキュメント管理装置およびコンピュータをドキュメント管理装置として機能させるためのプログラムを記録したコンピュータ読み取り可能な記録媒体 |
| JP2000278290A (ja) * | 1999-03-29 | 2000-10-06 | Matsushita Electric Ind Co Ltd | ネットワーク管理システム |
| US9052944B2 (en) * | 2002-07-16 | 2015-06-09 | Oracle America, Inc. | Obstruction-free data structures and mechanisms with separable and/or substitutable contention management mechanisms |
| US20040167863A1 (en) * | 2003-02-21 | 2004-08-26 | Knowles W. Jeffrey | System and method of transferring data through transaction process |
| US20040167854A1 (en) * | 2003-02-21 | 2004-08-26 | Knowles W. Jeffrey | System and method of currency conversion in financial transaction process |
| US8041633B2 (en) | 2003-02-21 | 2011-10-18 | Mtrex, Inc. | System and method of electronic data transaction processing |
| US20040187108A1 (en) * | 2003-02-21 | 2004-09-23 | Knowles W. Jeffrey | Method of scheduling and event processing in computer operating system |
| US20050027648A1 (en) * | 2003-07-29 | 2005-02-03 | Knowles W. Jeffrey | System and method of account reconciliation for electronic transactions |
| US8813021B1 (en) | 2006-02-16 | 2014-08-19 | Cypress Semiconductor Corporation | Global resource conflict management for an embedded application design |
| WO2007124616A1 (en) * | 2006-04-27 | 2007-11-08 | Intel Corporation | System based method for content-based partitioning and mining |
| US9985843B2 (en) | 2015-02-27 | 2018-05-29 | International Business Machines Corporation | Efficient parallel processing of a network with conflict constraints between nodes |
| US20240394096A1 (en) * | 2023-05-23 | 2024-11-28 | Microsoft Technology Licensing, Llc | Cloud-based architecture for processing distributed transactions |
Family Cites Families (27)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63310042A (ja) | 1987-06-12 | 1988-12-19 | Nippon Telegr & Teleph Corp <Ntt> | デ−タベ−スの整合保証方式 |
| FR2630838A2 (fr) | 1987-07-15 | 1989-11-03 | Centre Nat Rech Scient | Unite de gestion d'acces en memoire, a identifiants logiques invariants, notamment pour la gestion de bases de donnees, et procede de gestion d'acces correspondant |
| US4974191A (en) * | 1987-07-31 | 1990-11-27 | Syntellect Software Inc. | Adaptive natural language computer interface system |
| JPH01166231A (ja) | 1987-12-23 | 1989-06-30 | Mitsubishi Electric Corp | 索引ファイルのデータ処理方式 |
| US5893117A (en) * | 1990-08-17 | 1999-04-06 | Texas Instruments Incorporated | Time-stamped database transaction and version management system |
| US5329626A (en) * | 1990-10-23 | 1994-07-12 | Digital Equipment Corporation | System for distributed computation processing includes dynamic assignment of predicates to define interdependencies |
| JPH0520269A (ja) | 1991-07-12 | 1993-01-29 | Hitachi Eng Co Ltd | 排他制御方式 |
| US5455949A (en) * | 1991-09-06 | 1995-10-03 | International Business Machines Corporation | Method for representing and signaling run-time program conditions |
| US5701480A (en) * | 1991-10-17 | 1997-12-23 | Digital Equipment Corporation | Distributed multi-version commitment ordering protocols for guaranteeing serializability during transaction processing |
| JPH05143434A (ja) | 1991-11-18 | 1993-06-11 | Toshiba Corp | 分散データベースシステム |
| US5515491A (en) * | 1992-12-31 | 1996-05-07 | International Business Machines Corporation | Method and system for managing communications within a collaborative data processing system |
| GB9316948D0 (en) * | 1993-08-14 | 1993-09-29 | Ibm | Programming aid for distributed computing systems |
| JPH0784851A (ja) * | 1993-09-13 | 1995-03-31 | Toshiba Corp | 共有データ管理方法 |
| US5774644A (en) * | 1993-12-17 | 1998-06-30 | International Business Machines Corporation | Method and apparatus for generating a pair of interoperating communications programs |
| US5752026A (en) * | 1994-04-28 | 1998-05-12 | The United States Of America As Represented By The Secretary Of The Navy | Early commit locking computer database protocol |
| JPH08286916A (ja) * | 1994-12-16 | 1996-11-01 | Internatl Business Mach Corp <Ibm> | オブジェクトにより手続きソフトウェアを機能的に改良するシステム及び方法 |
| US5835758A (en) * | 1995-02-28 | 1998-11-10 | Vidya Technologies, Inc. | Method and system for respresenting and processing physical and conceptual entities |
| US5724508A (en) * | 1995-03-09 | 1998-03-03 | Insoft, Inc. | Apparatus for collaborative computing |
| US5828880A (en) * | 1995-07-06 | 1998-10-27 | Sun Microsystems, Inc. | Pipeline system and method for multiprocessor applications in which each of a plurality of threads execute all steps of a process characterized by normal and parallel steps on a respective datum |
| US5806074A (en) * | 1996-03-19 | 1998-09-08 | Oracle Corporation | Configurable conflict resolution in a computer implemented distributed database |
| US5787262A (en) * | 1996-06-26 | 1998-07-28 | Microsoft Corporation | System and method for distributed conflict resolution between data objects replicated across a computer network |
| US6012083A (en) * | 1996-09-24 | 2000-01-04 | Ricoh Company Ltd. | Method and apparatus for document processing using agents to process transactions created based on document content |
| GB2320594A (en) * | 1996-12-20 | 1998-06-24 | Ibm | Dispatching client method calls to parallel execution threads within a server |
| JP3733695B2 (ja) * | 1997-02-05 | 2006-01-11 | 富士ゼロックス株式会社 | データベース管理システム |
| US6009269A (en) * | 1997-03-10 | 1999-12-28 | Digital Equipment Corporation | Detecting concurrency errors in multi-threaded programs |
| US6021413A (en) * | 1997-04-01 | 2000-02-01 | The University Of Illinois Board Of Trustees | Application-directed variable-granularity caching and consistency management |
| US6092175A (en) * | 1998-04-02 | 2000-07-18 | University Of Washington | Shared register storage mechanisms for multithreaded computer systems with out-of-order execution |
-
1997
- 1997-06-27 JP JP18740197A patent/JP3367385B2/ja not_active Expired - Fee Related
-
1998
- 1998-06-25 US US09/104,356 patent/US6332160B1/en not_active Expired - Lifetime
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2012155498A (ja) * | 2011-01-25 | 2012-08-16 | Fujitsu Ltd | データベースサーバ装置、データベース更新方法及びデータベース更新プログラム |
| US9020916B2 (en) | 2011-01-25 | 2015-04-28 | Fujitsu Limited | Database server apparatus, method for updating database, and recording medium for database update program |
| JP2013077063A (ja) * | 2011-09-29 | 2013-04-25 | Fujitsu Ltd | データ管理プログラム、ノード、および分散データベースシステム |
| JP2019121946A (ja) * | 2018-01-09 | 2019-07-22 | Kddi株式会社 | 文書管理システム、文書管理方法及び文書管理プログラム |
Also Published As
| Publication number | Publication date |
|---|---|
| US6332160B1 (en) | 2001-12-18 |
| JP3367385B2 (ja) | 2003-01-14 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP3367385B2 (ja) | 分散トランザクション整合方法及びプログラムを記録した機械読み取り可能な記録媒体 | |
| JP2705717B2 (ja) | ロック装置及び方法、ロック要求の細分性を判別するための装置及び方法 | |
| US20090287749A1 (en) | Method and system for data processing with data replication for the same | |
| US7328213B2 (en) | Transaction processing method, transaction control apparatus and program thereof | |
| JPH0833857B2 (ja) | システム間デ−タベ−ス共用システムジヤ−ナルマ−ジ方式 | |
| JPH0131216B2 (ja) | ||
| JPH11306173A (ja) | 共同作業支援システム及びプログラムを記録した機械読み取り可能な記録媒体 | |
| US20060064408A1 (en) | Program, method and apparatus for database management, and recording medium | |
| JP3042600B2 (ja) | 分散ファイルの同期方式 | |
| JPH036751A (ja) | フアイル・ロツク方法及び装置 | |
| US7089265B1 (en) | Database management system for implementing independent database actions in response to events of interest | |
| JP3006491B2 (ja) | トランザクション実行状態管理システム、管理方法、および管理プログラムを記憶する媒体 | |
| JP2830826B2 (ja) | 分散ファイルの同期システムと方法 | |
| JPH0528138A (ja) | 文書編集システム | |
| US20020062317A1 (en) | Apparatuses and method for information processing | |
| JP2904243B2 (ja) | ネットワーク管理システムにおける排他制御方式 | |
| JPH09330240A (ja) | 資源排他制御方式 | |
| JP4430900B2 (ja) | データベース制御システム及びデータベース制御用プログラム | |
| JPH09288608A (ja) | 分散処理システムにおけるファイル共用制御装置 | |
| JP2000003333A (ja) | クライアント・サーバ・システム及び記録媒体 | |
| JPH10312331A (ja) | データベースの動的アクセス方法 | |
| JPH11272536A (ja) | データベースのデータロック方法 | |
| KR100266220B1 (ko) | 실시간 운영체제 커널 상에서의 락 서버방법 | |
| JP2001014274A (ja) | 情報処理装置及び排他制御方法 | |
| JPH06139208A (ja) | 共用データ管理システム |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20071108 Year of fee payment: 5 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20081108 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20081108 Year of fee payment: 6 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091108 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091108 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20101108 Year of fee payment: 8 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20111108 Year of fee payment: 9 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20111108 Year of fee payment: 9 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20121108 Year of fee payment: 10 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20121108 Year of fee payment: 10 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20131108 Year of fee payment: 11 |
|
| LAPS | Cancellation because of no payment of annual fees |