JP2003131893A

JP2003131893A - 演算処理システム、コンピュータ・システム上でのタスク制御方法、並びに記憶媒体

Info

Publication number: JP2003131893A
Application number: JP2001325357A
Authority: JP
Inventors: Atsushi Togawa; 敦之戸川
Original assignee: Sony Corp
Current assignee: Sony Corp
Priority date: 2001-10-23
Filing date: 2001-10-23
Publication date: 2003-05-09

Abstract

(57)【要約】【課題】複数の制御の流れが存在するとともにそれぞ
れが共通のデータを操作するときに、高い優先度の処理
を延期することなくデータの一貫性を保つ。【解決手段】操作対象となるデータ毎に有効トランザ
クション変数を用意して、トランザクションの開始時に
タスクＩＤを有効トランザクション変数に代入する。ま
た、トランザクション開始時にスタック上に更新記録を
割り当てる。タスクは、有効トランザクション変数に自
分のタスクＩＤが残っているか否かで、操作対象データ
に対する更新記録の有効性を判断し、有効と判断された
ときに、スタック上の更新記録を操作対象のデータに反
映させる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、プログラムを実行
することにより所定の処理サービスを提供する演算処理
システム、コンピュータ・システム上でのタスク制御方
法、並びに記憶媒体に係り、特に、プログラム中に複数
の制御の流れ（例えば、割り込み処理プログラムと通常
処理プログラム、又は、複数のタスクなど）が存在する
タイプの演算処理システム、コンピュータ・システム上
でのタスク制御方法、並びに記憶媒体に関する。

【０００２】更に詳しくは、本発明は、複数の制御の流
れが存在するとともにそれぞれが共通のデータを操作す
る演算処理システム、コンピュータ・システム上でのタ
スク制御方法、並びに記憶媒体に係り、特に、データの
一貫性が保たれるようにそれぞれの制御の流れが共通の
データを操作する演算処理システム、コンピュータ・シ
ステム上でのタスク制御方法、並びに記憶媒体に関す
る。

【０００３】

【従来の技術】昨今のＬＳＩ（Large Scale Integratio
n）技術における革新的な進歩とも相俟って、さまざま
なタイプの情報処理機器や情報通信機器が開発・市販さ
れ、日常生活に深く浸透するに至っている。この種の機
器では、ＣＰＵ（Central Processing Unit）やその他
のプロセッサが所定のプログラム・コードを実行するこ
とによりさまざまな処理サービスを提供するようになっ
ている。

【０００４】ところで、プログラム設計において、プロ
グラム中に制御の流れ（「タスク」とも呼ばれる）を複
数存在させることが有用な場合がある。ここで、複数の
制御の流れとは、図９に示すように、プログラムの処理
の流れすなわちフローチャート中に「現在実行中の地
点」が複数個あることを意味する。同図に示す例では、
ある時点Ｔ１では、流れＩにおいてステップＳ１が、流
れIIにおいてステップＳ３が、それぞれ実行される。そ
して、これに対し、時間が経過して、次の時点Ｔ１で
は、流れＩにおいてステップＳ２が、流れIIにおいてス
テップＳ３が、それぞれ実行されるようになる。

【０００５】一般に、複数の流れが存在し、それぞれが
共通のデータを操作する場合、これらの間で同期をとら
なければデータの一貫性を保つことはできない。ここで
言う共通のデータには、タスク一覧や、条件変数などが
挙げられる。条件変数は、タスクが待っている条件を抽
象化した概念であり、タスクがいつ待ち状態に移行すべ
きか、又は、いつ実行可能状態に復帰すべきかをオペレ
ーティング・システムに伝える手段の１つとして用いら
れる。

【０００６】例えば、２つの制御の流れＢ及びＣが存在
する場合に、それぞれの制御の流れが以下の処理を行っ
た場合について考察してみる。

【０００７】手順１：変数ｘの値を読み出す。手順２：読み出した値に１を加えた値を変数ｘに代入す
る。

【０００８】２つの流れＢ及びＣがそれぞれ上記の処理
を１度行うと、同じ処理が２度行われることになる。し
たがって、変数ｘの値は２だけ増加するはずである。と
ころが、流れＢと流れＣが以下のように重なり合った場
合、変数ｘの値は１しか増加しない。

【０００９】流れＢが手順１を実行する。流れＣが手順１を実行する。流れＣが手順２を実行する。流れＢが手順２を実行する。

【００１０】このような動作の誤りを防ぐためには、あ
る流れにおいて行われた一連の参照・更新操作（トラン
ザクション）の間に、他の流れからデータが参照・更新
されることを禁じる必要がある。

【００１１】上述した例の場合、流れＢにおいて手順１
と手順２という一連の操作が完全に完了する前に、流れ
Ｃが変数ｘを参照・更新してしまったために、データの
一貫性が失われるという問題が生じた訳である。

【００１２】このデータの一貫性の問題を解決するため
に、既存のシステムでは「排他制御」と呼ばれる手法が
採用されている。すなわち、ある制御の流れにおいてあ
るデータに対して一連の処理が行われている間は、他の
制御の流れが同じデータへの操作を行うことを遅延す
る、すなわち特定のデータに対する操作を排他的に行う
ようになっている。

【００１３】例えば、割り込み処理と通常処理の間でこ
のような排他制御を行うために、割り込み要求を一時的
に無視することが行われている。また、タスク間の排他
制御のために「ｍｕｔｅｘ機構」や「セマフォア機構」
が使用されている。

【００１４】ところが、このような排他制御を用いる手
法には、高優先度の処理が低優先度の処理によって延期
される可能性、すなわち優先度逆転現象が発生する可能
性があるという問題がある。

【００１５】図１０には、優先度逆転現象を図解してい
る。同図に示す例では、優先度が低いタスクＡがあるデ
ータを操作中に、優先度の高いタスクＢが同じデータの
操作を開始しようとしても遅延を余儀なくされる。その
後、タスクＢよりも低いがタスクＡよりも高い優先度を
持つタスクＣの実行が開始すると、タスクＡは優先度が
より高いタスクによって実行が中断する。この結果、タ
スクＡによるデータ操作を待機するタスクＢはさらに遅
延する。すなわち、高優先度タスクが参照・更新しよう
としたデータを低優先度タスクがアクセス中だった場合
には、このデータの一貫性とは無関係な任意の中優先度
タスクの実行が、低優先度タスクのみならず、高優先度
タスクよりも優先されるという優先度の逆転現象が起き
てしまう。

【００１６】このような優先度逆転の問題を緩和するた
めの手法として、優先度継承プロトコル（Lui Sha、Rag
unathan Rajkumar、及びJohn P. Lehoczky共著の論文"P
riority Inheritance Protocols：An Approach to Real
-Time Synchronization"，IEEE Transactions on Compu
ters, Vol. 39, No. 9, pp. 1175-1185, September 199
0を参照のこと）などが提案されている。優先度継承プ
ロトコルとは、低優先度タスクが一連の操作を実行中に
高優先度タスクが同一データを操作しようとした場合に
は、低優先度タスクの操作が完了するまで、低優先度タ
スクの優先度を一時的に高優先度タスクと同一の優先度
へと上昇させるという手法である。

【００１７】図１１には、優先度継承プロトコルの動作
を図解している。この場合、優先度の低いタスクＡがあ
るデータを操作中に、優先度の高いタスクＢが同じデー
タの操作を開始しようとしても遅延を余儀なくされる。
このとき、タスクＡの優先度を一時的にタスクＢと同じ
レベルまで上昇させる。その後、タスクＢよりも低いが
タスクＡよりも高い優先度を持つタスクＣの実行が開始
しても、タスクＡの優先度はタスクＣよりも上昇してい
るので、タスクＡの実行が中断することはない。そし
て、タスクＡの終了後に、タスクＢは、データの一貫性
を維持しながら、自分よりも優先度の低いタスクＣに割
り込まれることなくデータの操作を開始することができ
る。

【００１８】しかしながら、この優先度継承プロトコル
においても、一連の操作が完了するまで高優先度の処理
が延期されるという問題は依然として残っている。例え
ば図１２に示す例では、タスクＡよりも高いがタスクＢ
よりも低い優先度を持つタスクは、自分よりも優先度が
低いタスクＡのために遅延する。

【００１９】特に、組込型コンピュータ・システムにお
いては、システムの応答時間に対して厳しい要求が課せ
られることが多いので、高優先度の処理が延期される時
間を一連の操作が完了する時間よりも短くできることが
望ましい。

【００２０】また、優先度継承プロトコルには、排他制
御を必要とするデータを操作しないタスクの実行時間が
遅延される可能性があるという問題もある。これは、低
優先度タスクの優先度が一時的に上昇するためであり、
本来ならば低優先度タスクよりも優先されるべき中優先
度タスクの実行が延期されてしまう。

【００２１】

【発明が解決しようとする課題】本発明の目的は、プロ
グラム中に複数の制御の流れ（例えば、割り込み処理プ
ログラムと通常処理プログラム、又は、複数のタスクな
ど）が存在するタイプの、優れた演算処理システム、コ
ンピュータ・システム上でのタスク制御方法、並びに記
憶媒体を提供することにある。

【００２２】本発明の更なる目的は、複数の制御の流れ
が存在するとともにそれぞれが共通のデータを操作する
ときに、データの一貫性を保つことができる、優れた演
算処理システム、コンピュータ・システム上でのタスク
制御方法、並びに記憶媒体を提供することにある。

【００２３】本発明の更なる目的は、複数の制御の流れ
が存在するとともにそれぞれが共通のデータを操作する
ときに、高い優先度の処理を延期することなくデータの
一貫性を保つことができる、優れた演算処理システム、
コンピュータ・システム上でのタスク制御方法、並びに
記憶媒体を提供することにある。

【００２４】

【課題を解決するための手段及び作用】本発明は、上記
課題を参酌してなされたものであり、その第１の側面
は、操作対象データに対してトランザクションを行う複
数のタスクを管理する演算処理システムであって、１以
上のタスクによる操作対象となるデータ毎に有効トラン
ザクション変数が用意されており、各タスクは、操作対
象データに対してトランザクションを開始する直前に該
操作対象データの有効トランザクション変数にトランザ
クション間で固有となる変数を代入し、タスク毎又はト
ランザクションの実行毎に用意されたデータ領域に該操
作対象データの更新内容を記録し、操作対象データに対
するトランザクションが完了後に、有効トランザクショ
ン変数を参照して、その値が変化しなかったことに応答
して、該データ領域に記録しておいた更新内容を操作対
象データに反映させる、ことを特徴とする演算処理シス
テムである。

【００２５】但し、ここで言う「システム」とは、複数
の装置（又は特定の機能を実現する機能モジュール）が
論理的に集合した物のことを言い、各装置や機能モジュ
ールが単一の筐体内にあるか否かは特に問わない。

【００２６】ここで、タスクが有効トランザクション変
数の参照、及び／又は、更新内容を操作対象データに反
映させる期間は、他のタスクによる割り込みを禁止す
る。

【００２７】また、操作対象データに対するトランザク
ションが完了後に、有効トランザクション変数に変化が
あった場合には、タスクは、自分がした更新内容が無効
であることが分かるので、操作対象データに対するトラ
ンザクションを再実行するようにすればよい。

【００２８】また、タスクは、トランザクション間で固
有となる変数として、更新内容を記録したアドレス又は
タスク識別子を有効トランザクション変数に代入するこ
とができる。

【００２９】本発明の第１の側面に係る演算処理システ
ムによれば、操作対象となるデータ毎に有効トランザク
ション変数を用意して、トランザクションの開始時に更
新記録のアドレスやタスクＩＤなどのトランザクション
間でユニークな値を有効トランザクション変数に代入す
る。また、トランザクション開始時にスタック上にデー
タの更新記録を割り当てる。トランザクション終了時
に、タスクは、有効トランザクション変数を参照して自
分の更新記録アドレスやタスクＩＤが残っているか否か
で、操作対象データに対する更新記録の有効性を判断
し、有効と判断されたときに、スタック上の更新記録を
操作対象のデータに反映させるようにする。

【００３０】したがって、複数の制御の流れが存在する
とともにそれぞれが共通のデータを操作するときに、高
い優先度の処理を延期することなくデータの一貫性を保
つことができる。

【００３１】また、本発明の第２の側面は、１以上のタ
スクによる操作対象となるデータ毎に設けられて、該操
作対象データに対する有効な操作を行っているトランザ
クションに固有となる変数を格納する有効トランザクシ
ョン変数と、タスク毎又はトランザクションの実行毎に
用意される、操作対象データに対する更新内容を記録す
るデータ領域と、操作対象データに対するトランザクシ
ョン完了後に、有効トランザクション変数を参照して、
その値が変化しなかったことに応答して、該トランザク
ションがデータ領域に記録しておいた更新内容を操作対
象データに反映させるデータ同期手段と、を具備するこ
とを特徴とする演算処理システムである。

【００３２】本発明の第２の側面に係る演算処理システ
ムは、前記データ同期手段が有効トランザクション変数
の参照及び／又は更新内容を捜査対象データに反映させ
ている期間は、データの一貫性を保つために、他のタス
クの割り込みを禁止する割り込み禁止手段をさらに備え
ることが好ましい。

【００３３】また、前記データ同期手段は、操作対象デ
ータに対するトランザクションが完了後に、有効トラン
ザクション変数に変化があった場合には、トランザクシ
ョンによる更新内容が無効となっているので、該トラン
ザクションを再実行させるようにすることが好ましい。

【００３４】また、トランザクションに固有となる変数
として更新内容を記録したアドレス又はタスク識別子を
有効トランザクション変数に格納することができる。

【００３５】本発明の第２の側面に係る演算処理システ
ムによれば、操作対象となるデータ毎に有効トランザク
ション変数を用意して、トランザクションの開始時に更
新記録のアドレスやタスクＩＤなどのトランザクション
間でユニークな値を有効トランザクション変数に代入す
る。また、トランザクション開始時にスタック上にデー
タの更新記録を割り当てる。トランザクション終了時
に、タスクは、有効トランザクション変数を参照して自
分の更新記録アドレスやタスクＩＤが残っているか否か
で、操作対象データに対する更新記録の有効性を判断
し、有効と判断されたときに、スタック上の更新記録を
操作対象のデータに反映させるようにする。

【００３６】したがって、複数の制御の流れが存在する
とともにそれぞれが共通のデータを操作するときに、高
い優先度の処理を延期することなくデータの一貫性を保
つことができる。

【００３７】また、本発明の第３の側面は、操作対象デ
ータに対してトランザクションを行う複数のタスクが並
行して実行されるコンピュータ・システム上でのタスク
制御方法であって、操作対象データに対してトランザク
ションを開始する直前に該操作対象データに設けられた
有効トランザクション変数にトランザクション間で固有
となる変数を代入するステップと、タスク毎又はトラン
ザクションの実行毎に用意されたデータ領域に該操作対
象データの更新内容を記録するステップと、操作対象デ
ータに対するトランザクションが完了後に、有効トラン
ザクション変数を参照して、その値が変化しなかったこ
とに応答して、該データ領域に記録しておいた更新内容
を操作対象データに反映させるステップと、を具備する
ことを特徴とするコンピュータ・システム上でのタスク
制御方法である。

【００３８】本発明の第３の側面に係るコンピュータ・
システム上でのタスク制御方法は、タスクが有効トラン
ザクション変数の参照、及び／又は、更新内容を操作対
象データに反映させる期間は割り込みを禁止するステッ
プをさらに備えるようにしてもよい。

【００３９】また、操作対象データに対するトランザク
ションが完了後に、有効トランザクション変数に変化が
あった場合には、タスクは操作対象データに対するトラ
ンザクションを再実行するステップをさらに備えるよう
にしてもよい。

【００４０】また、トランザクション間で固有となる変
数として、更新内容を記録したアドレス又はタスク識別
子を有効トランザクション変数に代入するようにしても
よい。

【００４１】また、本発明の第４の側面は、操作対象デ
ータに対してトランザクションを行う複数のタスクの管
理をコンピュータ・システム上で実行するように記述さ
れたコンピュータ・ソフトウェアをコンピュータ可読形
式で物理的に格納した記憶媒体であって、前記コンピュ
ータ・ソフトウェアは、操作対象データに対してトラン
ザクションを開始する直前に該操作対象データに設けら
れた有効トランザクション変数にトランザクション間で
固有となる変数を代入するステップと、タスク毎又はト
ランザクションの実行毎に用意されたデータ領域に該操
作対象データの更新内容を記録するステップと、操作対
象データに対するトランザクションが完了後に、有効ト
ランザクション変数を参照して、その値が変化しなかっ
たことに応答して、該データ領域に記録しておいた更新
内容を操作対象データに反映させるステップと、を具備
することを特徴とする記憶媒体である。

【００４２】本発明の第４の側面に係る記憶媒体は、例
えば、さまざまなプログラム・コードを実行可能な汎用
コンピュータ・システムに対して、コンピュータ・ソフ
トウェアをコンピュータ可読な形式で提供する媒体であ
る。このような媒体は、例えば、ＣＤ（Compact Disc）
やＦＤ（Floppy Disk）、ＭＯ（Magneto-Optical dis
c）などの着脱自在で可搬性の記憶媒体である。あるい
は、ネットワーク（ネットワークは無線、有線の区別を
問わない）などの伝送媒体などを経由してコンピュータ
・ソフトウェアを特定のコンピュータ・システムに提供
することも技術的に可能である。

【００４３】このような記憶媒体は、コンピュータ・シ
ステム上で所定のコンピュータ・ソフトウェアの機能を
実現するための、コンピュータ・ソフトウェアと記憶媒
体との構造上又は機能上の協働的関係を定義したもので
ある。換言すれば、本発明の第４の側面に係る記憶媒体
を介して所定のコンピュータ・ソフトウェアをコンピュ
ータ・システムにインストールすることによって、コン
ピュータ・システム上では協働的作用が発揮され、本発
明の第３の側面に係るコンピュータ・システム上でのタ
スク制御方法と同様の作用効果を得ることができる。

【００４４】本発明のさらに他の目的、特徴や利点は、
後述する本発明の実施例や添付する図面に基づくより詳
細な説明によって明らかになるであろう。

【００４５】

【発明の実施の形態】以下、図面を参照しながら本発明
の実施形態について詳解する。

【００４６】図１には、本発明の実施に供される演算処
理システム１０のハードウェア構成を模式的に示してい
る。同図に示すように、演算処理システム１０は、プロ
セッサ１１と、ＲＡＭ（Random Access Memory）１２
と、ＲＯＭ（Read Only Memory）１３と、複数の入出力
装置１４−１，１４−２…と、タイマ１５とを含んでい
る。

【００４７】プロセッサ１１は、演算処理システム１０
のメイン・コントローラであり、オペレーティング・シ
ステム（ＯＳ）の制御下で、各種のプログラム・コード
を実行するようになっている。

【００４８】オペレーティング・システムがプログラム
実行を管理・制御する単位は、一般に「タスク」と呼ば
れる。本実施形態に係る演算処理システム１０では、プ
ログラム中に複数のタスクが存在することを許容する。
したがって、実際に計算を進める実体であるプロセッサ
１１の個数よりも多くのタスクが存在することになる。
オペレーティング・システムは、プロセッサ１１により
処理されるタスクを頻繁に切り替えることにより、各タ
スクを擬似的に並列に実行させるようになっている。各
タスクには、他のタスクと識別可能なタスクＩＤが割り
振られている。また、各タスクは、スタック上のデータ
領域を用いてデータに対する一連の操作すなわちトラン
ザクションを行う。

【００４９】プロセッサ１１は、バス１６によって他の
機器類（後述）と相互接続されている。システム・バス
１６上の各機器にはそれぞれ固有のメモリ・アドレス又
はＩ／Ｏアドレスが付与されており、プロセッサ１１は
これらアドレスを指定することによって所定の機器への
アクセスが可能となっている。システム・バス１６は、
アドレス・バス、データ・バス、コントロール・バスを
含む共通信号伝送路である。

【００５０】ＲＡＭ１２は、書き込み可能なメモリであ
り、プロセッサ１１において実行されるプログラム・コ
ードをロードしたり、実行プログラムの作業データを一
時格納するために使用される。プログラム・コードに
は、例えば、ＢＩＯＳ（BasicInput/Output System：基
本入出力システム）、周辺機器をハードウェア操作する
ためのデバイス・ドライバ、オペレーティング・システ
ム、アプリケーションなどが挙げられる。

【００５１】ＲＯＭ１３は、所定のコードやデータを恒
久的に記憶するための不揮発メモリであり、例えば、Ｂ
ＩＯＳや始動時の自己診断プログラム（Power On Self
Test：ＰＯＳＴ）などを格納している。

【００５２】入出力装置１４には、ディスプレイ２１を
接続するためのディスプレイ・インターフェース１４−
１、キーボード２２やマウス２３のようなユーザ入力装
置を接続するためのユーザ入力装置インターフェース１
４−２、ハード・ディスク２４やメディア・ドライブ２
５などの外部記憶装置を接続するための外部記憶装置イ
ンターフェース１４−３、外部ネットワークと接続する
ためのネットワーク・インターフェース・カード（ＮＩ
Ｃ）１４−４などが含まれる。

【００５３】ディスプレイ・インターフェース１４−１
は、プロセッサ１１が発行する描画命令を実際に処理す
るための専用インターフェース・コントローラである。
ディスプレイ・インターフェース１４−１において処理
された描画データは、例えばフレーム・バッファ（図示
しない）に一旦書き込まれた後、ディスプレイ２１によ
って画面出力される。

【００５４】ＨＤＤ２４は、記憶担体としての磁気ディ
スクを固定的に搭載した外部記憶装置であり（周知）、
記憶容量やデータ転送速度などの点で他の外部記憶装置
よりも優れている。通常、ＨＤＤ２４には、プロセッサ
１１が実行すべきオペレーティング・システムのプログ
ラム・コードや、アプリケーション・プログラム、デバイ
ス・ドライバなどが不揮発的に格納されている。ソフト
ウェア・プログラムを実行可能な状態でＨＤＤ２４上に
置くことをプログラムのシステムへの「インストール」
と呼ぶ。例えば、本発明を実現するオペレーティング・
システムや、複数のタスクが存在するように設計された
アプリケーション・プログラムをＨＤＤ２４上にインス
トールすることができる。

【００５５】メディア・ドライブ２５は、ＣＤ（Compact
Disc）やＭＯ（Magneto-Optical disc）、ＤＶＤ（Dig
ital Versatile Disc）などの可搬型メディアを装填し
て、そのデータ記録面にアクセスするための装置であ
る。

【００５６】可搬型メディアは、主として、ソフトウェ
ア・プログラムやデータ・ファイルなどをコンピュータ可
読形式のデータとしてバックアップすることや、これら
をシステム間で移動（すなわち販売・流通・配布を含む）
する目的で使用される。例えば、本発明を実現するオペ
レーティング・システムや、複数のタスクが存在するよ
うに設計されたアプリケーション・プログラムを、これ
ら可搬型メディアを利用して複数の機器間で物理的に流
通・配布することができる。

【００５７】ネットワーク・インターフェース１４−１
は、Ｅｔｈｅｒｎｅｔなどの所定の通信プロトコルに従
って、システム１０をＬＡＮ（Local Area Network）な
どの局所的ネットワーク、さらにはインターネットのよ
うな広域ネットワークに接続することができる。

【００５８】ネットワーク上では、複数のホスト端末
（図示しない）がトランスペアレントな状態で接続さ
れ、分散コンピューティング環境が構築されている。ネ
ットワーク上では、ソフトウェア・プログラムやデータ
・コンテンツなどの配信が行うことができる。例えば、
本発明を実現するオペレーティング・システムや、複数
のタスクが存在するように設計されたアプリケーション
・プログラムを、ネットワーク経由でダウンロードする
ことができる。

【００５９】各入出力装置１４−１，１４−２…には、
割り込みレベルが割り当てられており、所定のイベント
発生（例えばキーボード入力やマウス・クリックなどの
ＧＵＩ処理や、ハード・ディスクにおけるデータ転送の
完了など）に応答して、割り込み要求信号線１９を介し
てプロセッサ１１に通知することができる。プロセッサ
１１は、このような割り込み要求に応答して、対応する
割り込みハンドラを実行する。

【００６０】タイマ１５は、タイマ信号を所定周期で発
生させる装置である。タイマ１５にも割り込みレベルが
割り当てられており、割り込み要求信号線１９を介して
プロセッサ１１に対して周期的な割り込みを発生する。

【００６１】なお、図１に示すような演算処理システム
１０の一例は、米ＩＢＭ社のパーソナル・コンピュータ"
ＰＣ／ＡＴ（Personal Computer/Advanced Technolog
y）"の互換機又は後継機である。勿論、他のアーキテク
チャを備えたコンピュータを、本実施形態に係る演算処
理システム１０として適用することも可能である。

【００６２】この演算処理システム１０の実行環境を提
供するオペレーティング・システムは、複数の制御の流
れが存在するとともにそれぞれが共通のデータを操作す
るときに、高い優先度の処理を延期することなくデータ
の一貫性を保つ機能を備えている。データの同期をとる
ために、操作対象となるデータ毎に、並列に実行され得
るトランザンション間でユニークであることが保証され
ている値を代入するための変数「有効トランザクショ
ン」を用意する。そして、各タスクは、データの一貫性
を保つために、以下のような手順を実行する。

【００６３】（１）データ操作（すなわち、トランザク
ション）の開始直前に、当該タスクが持つトランザンシ
ョン間でユニークな値を、有効トランザクション変数に
対して代入する。

【００６４】（２）データの更新時には、即座に操作対
象となる共通データに対して更新を行うのではなく、タ
スク毎あるいは操作の実行毎に用意されたデータ領域
（例えば、スタック中のデータ・ブロック）に更新内容
を記録しておく。

【００６５】（３）タスクによる一連の参照・更新操作
が完了した後に割り込みを禁止する。

【００６６】（４）上記の手順（１）で有効トランザク
ション変数に代入した値が引き続き有効トランザクショ
ン変数に格納されていた場合、スタックなどに記録して
おいた更新内容を操作対象となる共通データに反映さ
せ、割り込みを許可した後に処理を終了する。

【００６７】（５）他方、手順（１）で有効トランザク
ション変数に代入した値が有効トランザクション変数に
格納されていなかった場合、割り込みを許可した後に手
順（１）に戻って、共通データの更新処理を再実行す
る。

【００６８】有効トランザクション変数に対して代入さ
れる値は、以下の性質を備えている必要がある。

【００６９】同一データに対して一連の操作が並行に
実行される可能性がある場合、これらトランザンション
の間で異なる値を使用する。割り込み処理時に代入され得るどの値とも異なってい
る。

【００７０】より具体的には、各タスクに割り振られる
タスクＩＤやスタック上の更新記録のアドレスなどを有
効トランザクション変数に代入する値とし使用すること
ができる。

【００７１】次いで、本実施形態に係るデータの一貫性
を保つための処理手順についてより詳細に説明する。

【００７２】ここで、ある共通データａを操作する２つ
のタスクＡとタスクＢが存在し、タスクＡよりもタスク
Ｂの方が高い優先度を持つというケースを考える。

【００７３】タスクＡが共通データａを操作したい場合
には、図２に示すように、まず有効トランザクション変
数に自分のタスクＩＤを代入して、自分が有効なトラン
ザクションであることを示す。次いで、操作対象となる
共通データに対して更新を行うのではなく、自分が使用
するスタック中のデータ・ブロックに更新内容を記録す
る。

【００７４】そして、タスクＡは、スタック中のデータ
・ブロックに対して一連の参照・更新操作が完了する
と、割り込みを禁止して、有効トランザクション変数を
参照してまだ自分のタスクＩＤが記憶されているか否か
をチェックする。

【００７５】有効トランザクション変数に自分のタスク
ＩＤが残っている場合には、図３に示すように、スタッ
ク中の更新内容を操作対象となる共通データａに反映さ
せ、割り込みを許可した後にタスクＡの処理を終了す
る。

【００７６】他方、タスクＡがまず有効トランザクショ
ン変数に自分のタスクＩＤを代入した後、同じく共通デ
ータａを操作するタスクＢが起動すると、タスクＢの方
が高優先度のためタスクＡの実行が停止するとともに、
有効トランザクション変数にはタスクＢのタスクＩＤが
上書きされ、その値が変化する（図４を参照のこと）。

【００７７】タスクＢは、操作対象となる共通データに
対して更新を行うのではなく、自分が使用するスタック
中のデータ・ブロックに更新内容を記録する（同上）。

【００７８】そして、タスクＢは、スタック中のデータ
・ブロックに対して一連の参照・更新操作が完了する
と、割り込みを禁止して、有効トランザクション変数を
参照してまだ自分のタスクＩＤが記憶されていることを
確認してから、スタック中の更新内容を操作対象となる
共通データに反映させて（図５を参照のこと）、割り込
みを許可した後にタスクＢの処理を終了する。

【００７９】タスクＡは、タスクＢの処理終了に応答し
て実行を再開する。タスクＡは、スタック中のデータ・
ブロックに対して一連の参照・更新操作が完了すると、
割り込みを禁止して、有効トランザクション変数を参照
してまだ自分のタスクＩＤが記憶されているか否かをチ
ェックする。しかしながら、有効トランザクション変数
には自分のタスクＩＤは残っていないので、タスクＡの
更新内容は無効となっていることが分かる。このような
場合、割り込みを許可した後に、共通データの更新処理
を再実行する（図６を参照のこと）。

【００８０】本発明によれば、操作対象となるデータ毎
に有効トランザクション変数を用意する。そして、トラ
ンザクション（すなわち、各タスク又は割り込み処理プ
ログラムがデータに加える一連の操作）の開始時に、並
行に実行され得るトランザクション間でユニークなこと
が保証されている値を有効トランザクション変数に代入
する。

【００８１】有効トランザクション変数に代入する値と
して、タスクＩＤを使用することができる。このとき、
割り込み処理プログラムが代入する値はタスクＩＤとし
て使用される可能性がない任意の値を選べばよい。ま
た、後述する更新記録のアドレスを用いることも可能で
ある。この場合には、割り込み処理プログラムが代入す
る値としてヌルポインタ値などを使用することも可能で
ある。

【００８２】さらに、アドレスと値の組を要素とする配
列を幾つか使用する。これらの配列を「更新記録」と呼
ぶ。実行期間が互いに重なり得るトランザクションに
は、それぞれ異なる更新記録を割り付ける必要がある。
この割り付けを簡易に行う手法として、トランザクショ
ン開始時にスタック上に更新記録を割り当てることが考
えられる。また、オペレーティング・システムがタスク
毎、あるいは割り込み発生源毎に用意する領域に更新記
録を格納することも考えられる。

【００８３】したがって、各タスクは、有効トランザク
ション変数に自分のタスクＩＤが残っているか否かで、
操作対象となるデータに対して自分が行った更新内容が
有効か無効かを判断することができる。また、有効と判
断されたときに、スタック上の更新記録を操作対象のデ
ータに反映させることによって、データの一貫性を保証
することができる。

【００８４】図７には、上述したようなタスク間の共通
データの一貫性を保つための処理手順をフローチャート
の形式で示している。この処理手順は、実際には、プロ
セッサ１１が所定のプログラム・コードを実行するとい
う形態で実現する。以下、このフローチャートを参照し
ながら、共通データの一貫性を保つための処理について
説明する。

【００８５】タスクは、操作対象となるあるデータに対
する一連の操作すなわちトランザクションを開始する
と、まず、更新記録の確保を行う（ステップＳ１）。更
新記録をスタック上に配置する場合には、其処でその処
理を行う。

【００８６】次いで、操作対象となるデータに用意され
ている有効トランザクション変数に、トランザクション
間でユニークなことが保証されている値を代入する（ス
テップＳ２）。代入する値としては、タスクＩＤやスタ
ック上の更新記録のアドレスなどを使用することができ
る。このフローチャートでは更新記録のアドレスを使用
することにしている。

【００８７】ステップ２で有効トランザクション変数に
代入された値は、他のタスクや割り込み処理プログラム
がデータに対して操作を加えない限り、変化しない。有
効トランザクション変数が変化していないかどうかをス
テップＳ７で検査するようになっている（後述）。

【００８８】次の操作が、操作対象のデータに対する更
新である場合には（ステップＳ３）、スタック上でデー
タ更新を行うとともに、更新記録に更新対象アドレスと
値を追加する（ステップＳ４）。

【００８９】また、次の操作が、操作対象のデータへの
参照である場合には（ステップＳ３）、操作対象のデー
タを読み出して、スタック上に書き込む（ステップＳ
５）。

【００９０】また、次の操作が、トランザクションの終
了である場合には（ステップＳ３）、割り込みを禁止し
て（ステップＳ６）、有効トランザクション変数に更新
記録のアドレスが格納されているか否かを検査する（ス
テップＳ７）。

【００９１】有効トランザクション変数に更新記録のア
ドレスが格納されている場合には、ステップＳ８に進ん
で、スタック上の更新記録に格納されている更新内容
を、操作対象のデータに反映させ、その後、禁止してい
た割り込みを許可する（ステップＳ９）。

【００９２】また、有効トランザクション変数に更新記
録のアドレスが格納されていない場合には、更新記録を
空にするとともに割り込みを許可した後（ステップＳ１
０）、ステップＳ２に戻って、有効トランザクション変
数に更新記録のアドレスを代入するとともに、操作対象
のデータに対する操作をやり直す。

【００９３】上述したように、ステップＳ７では有効ト
ランザクション変数が変化していないかどうかを検査す
るが、ステップＳ６で割り込みを禁止しておくことによ
り、ステップＳ７の時点で有効トランザクション変数が
変化していなければ、ステップＳ２の完了時点からステ
ップＳ７の開始時点までの期間に他のトランザクション
が開始していなかったことが保証される。また、ステッ
プＳ９によって割り込みが再び許可されるまで、他のト
ランザクションが開始されないことが保証される。した
がって、ステップＳ５で読み出した値は、他のトランザ
クションの実行途中の結果ではなく、また、ステップＳ
８において更新内容を捜査対象のデータに反映させて
も、データの一貫性は損なわれない。

【００９４】他方、ステップＳ７において有効トランザ
クション変数の値の変化が検出された場合には、割り込
みを許可した後に、トランザクションを再度実行するこ
とになる。この場合、データに対する更新操作はすべて
スタック上の更新記録中に保持されているだけで、操作
対象データに対する実際の更新は行われていない。した
がって、他のトランザクションへの悪影響を与えてデー
タの一貫性を損なうようなことはない。

【００９５】ここで、共通の変数ｘに対して操作を行う
２つの流れＢ及び流れＣが並行して実行される場合を例
にとって、図７に示した処理手順についてより具体的に
説明する。

【００９６】まず、流れＢが変数ｘに対して操作を始め
る。このため、図７に示したフローチャート中のステッ
プＳ１及びＳ２が流れＢのために行われる。具体的に
は、流れＢに割り当てられているスタック領域中に更新
記録のための領域が確保されるとともに、このアドレス
（仮に、０ｘ４０００００００番地とする）が有効トラ
ンザクション変数に代入される。

【００９７】流れＢは、変数ｘの値を読み出そうとす
る。そこで、図７に示したフローチャート中のステップ
Ｓ３及びＳ５が流れＢのために実行される。このとき、
変数ｘの値として０が読み出されるとする。

【００９８】ここで、流れＣが変数ｘに対する操作を開
始する。このため、図７に示したフローチャート中のス
テップＳ１及びＳ２が流れＣのために行われる。具体的
には、流れＣに割り当てられているスタック領域中に更
新記録のための領域が確保されるとともに、このアドレ
ス（仮に、０ｘ６０００００００番地とする）が有効ト
ランザクション変数に代入される。これによって、有効
トランザクション変数の値は０ｘ４０００００００から
０ｘ６０００００００に変化して、流れＢによるトラン
ザクションが無効化される。

【００９９】流れＣは、変数ｘの値を読み出す。この値
は、上述した流れＢによる読み出しと同様に０である。

【０１００】流れＣは、変数ｘに、読み出した値０に１
を加えた値、すなわち１を代入しようとする。このた
め、図７に示したフローチャート中のステップＳ３及び
ステップＳ４が流れＣのために行われる。この結果、流
れＣに割り当てられているスタック領域中に確保されて
いる更新記録に数ｘのアドレスと値１が追記される。

【０１０１】流れＣが変数ｘに対する一連の操作すなわ
ちトランザクションをすべて終了すると、フローチャー
ト中のステップＳ６以降の処理が流れＣのために開始さ
れる。まずステップＳ７では有効トランザクション変数
が読み出されるが、この値は０ｘ６０００００００であ
る。これは、流れＣが最後に代入した値に等しいので、
後続のステップＳ８及びＳ９が流れＣのために実行され
ることになる。すなわち、変数ｘに対して値１が代入さ
れることになる。ここまでの処理によって、流れＣによ
る変数ｘの操作は成功裏に終わる。

【０１０２】一方、流れＢは、読み出した値０に１を加
えた値、すなわち、１を変数ｘに代入しようとする。こ
のため、図７に示したフローチャート中のステップＳ３
及びＳ４が流れＢのために行われる。すなわち、流れＢ
に割り当てられているスタック領域中に確保されている
更新記録に変数ｘのアドレスと値１が追記される。

【０１０３】流れＣはすでにトランザクションを終了し
ているので、図７に示したフローチャート中のステップ
Ｓ６以降の処理が流れＢのために開始される。ステップ
Ｓ７では有効トランザクション変数が読み出されるが、
この値は後に流れＣによって更新されているため（上
述）、０ｘ４００００００００からｘ６０００００００
に変化している。このため、ステップＳ１０が実行され
て、更新記録が空にされるとともに割り込みを許可し
て、再びステップＳ２から実行を継続する。

【０１０４】その後、流れＢについてステップＳ２，Ｓ
３，Ｓ５，Ｓ３，Ｓ４，Ｓ６，Ｓ７と実行が進む。前回
とは異なり，変数ｘの値として読み出されるのは、流れ
ＣがステップＳ８で更新した値、すなわち１である。有
効トランザクション変数の値は０ｘ４０００００００で
あるため、ステップＳ８及びＳ９へと実行が進む。ステ
ップＳ８では、値２が変数ｘに代入されることになる。

【０１０５】なお、上述した説明では、図７にフローチ
ャート中のステップＳ３が実行されるように説明してい
るが、現実の実装では、あらかじめ（すなわち，プログ
ラムのコーディング時に）ステップＳ４，Ｓ５，Ｓ６の
うちどの処理を行うべきかが分かっていることが多いの
で、ステップＳ３のような条件判断をプログラム・コー
ドから省略することも可能である。

【０１０６】図８には、同じデータを操作対象とするタ
スクＡとタスクＢが並行して実行される場合の処理動作
を図解している。但し、タスクＢの方がタスクＡよりも
優先度は高いものとする。

【０１０７】まず、タスクＡが実行開始してタスクＡが
共通データの操作を開始し、次いで，タスクＢが実行開
始して共通データの操作を開始したとする。

【０１０８】タスクＢは、タスクＡよりも高優先度なの
で、タスクＡのために処理が停止したり中断することな
く、共通データの操作を完了して、タスクＢの実行を終
了する。

【０１０９】一方、タスクＡは、高優先度のタスクＢの
ために処理が一時中断するが、タスクＢの実行終了に応
答して，処理を開始する。

【０１１０】但し、タスクＢが共通データを操作してい
るので，タスクＡがデータ操作を再開するも、これは無
駄なトランザクションとなる。

【０１１１】タスクＡは、データ操作を終了すると、有
効トランザクション変数を参照することにより、自分の
データ操作が無効であることを検出することができる。
この結果、タスクＡは、再度データ操作を行い、有効ト
ランザクション変数を基にトランザクションの有効性を
確認してから操作を完了することができる。

【０１１２】図８に示した処理動作を、図１０及び図１
１に示した従来技術と比較することからも明らかである
ように、本発明に係るタスク処理によって行われるデー
タ操作の調停は、ｍｕｔｅｘ機構などを採用した場合と
は相違し、低優先度処理がデータに対する操作を行って
いる間であっても、高優先度タスクがデータに対する操
作を開始することができる。

【０１１３】［追補］以上、特定の実施例を参照しなが
ら、本発明について詳解してきた。しかしながら、本発
明の要旨を逸脱しない範囲で当業者が該実施例の修正や
代用を成し得ることは自明である。すなわち、例示とい
う形態で本発明を開示してきたのであり、本明細書の記
載内容を限定的に解釈するべきではない。本発明の要旨
を判断するためには、冒頭に記載した特許請求の範囲の
欄を参酌すべきである。

【０１１４】

【発明の効果】以上詳記したように、本発明によれば、
プログラム中に複数の制御の流れ（例えば、割り込み処
理プログラムと通常処理プログラム、又は、複数のタス
クなど）が存在するタイプの、優れた演算処理システ
ム、コンピュータ・システム上でのタスク制御方法、並
びに記憶媒体を提供することができる。

【０１１５】また、本発明によれば、複数の制御の流れ
が存在するとともにそれぞれが共通のデータを操作する
ときに、データの一貫性を保つことができる、優れた演
算処理システム、コンピュータ・システム上でのタスク
制御方法、並びに記憶媒体を提供することができる。

【０１１６】また、本発明によれば、複数の制御の流れ
が存在するとともにそれぞれが共通のデータを操作する
ときに、高い優先度の処理を延期することなくデータの
一貫性を保つことができる、優れた演算処理システム、
コンピュータ・システム上でのタスク制御方法、並びに
記憶媒体を提供することができる。

【０１１７】本発明によれば、割り込み禁止期間を削減
することができる。すなわち、データ操作のうち更新操
作を実行する間だけ割り込みを禁止すればよいので、一
連のデータ操作を行う期間は割り込みを禁止するという
手法と比べて、割り込み禁止期間を短くすることができ
ることが多い。

【０１１８】その例外として、データの参照がほとんど
行われず、更新操作だけが行われる場合と、多数の更新
が行われるためｍｕｔｅｘ機構などによる排他制御より
も割り込み禁止期間が長くなる場合を挙げることができ
る。但し、このような場合に限って従来の手法を用いる
ことによって、最悪の場合でも従来手法と同等の割り込
み禁止時間を達成することが可能である。

【０１１９】また、本発明によれば、共有データを操作
しないタスクの遅延時間を削減することができる。すな
わち、本発明では、共有データを操作しないタスクの実
行が遅延されるのは割り込みが禁止される期間だけであ
るので、この時間は一連のデータ操作が完了するまでに
要する時間よりも短くすることが可能である。

【０１２０】また、本発明によれば、低優先度タスクに
よって高優先度タスクの実行が延期される時間を削減す
ることができる（但し、割り込みが禁止されている期間
を除き、プロセッサは常に実行可能タスクの中で最も優
先度が高いタスクを実行するものとする）。

【０１２１】本発明によれば、トランザクション処理が
中断されるのは、より優先度の高いタスクの実行が開始
された場合だけである。このため、高優先度タスクのト
ランザクション処理中に低優先度タスクのトランザクシ
ョンが処理されることはない。したがって、高優先度タ
スクの実行が延期されるのは割り込み禁止期間だけであ
る。この時間は従来手法と比べて短くすることが可能で
ある。

【図面の簡単な説明】

【図１】本発明の実施に供される演算処理システム１０
のハードウェア構成を模式的に示した図である。

【図２】ある共通データａを操作する２つのタスクＡと
タスクＢが存在し、タスクＡよりもタスクＢの方が高い
優先度を持つ場合を例にとって、データの一貫性を保つ
ための処理手順を示した図である。

【図３】ある共通データａを操作する２つのタスクＡと
タスクＢが存在し、タスクＡよりもタスクＢの方が高い
優先度を持つ場合を例にとって、データの一貫性を保つ
ための処理手順を示した図である。

【図４】ある共通データａを操作する２つのタスクＡと
タスクＢが存在し、タスクＡよりもタスクＢの方が高い
優先度を持つ場合を例にとって、データの一貫性を保つ
ための処理手順を示した図である。

【図５】ある共通データａを操作する２つのタスクＡと
タスクＢが存在し、タスクＡよりもタスクＢの方が高い
優先度を持つ場合を例にとって、データの一貫性を保つ
ための処理手順を示した図である。

【図６】ある共通データａを操作する２つのタスクＡと
タスクＢが存在し、タスクＡよりもタスクＢの方が高い
優先度を持つ場合を例にとって、データの一貫性を保つ
ための処理手順を示した図である。

【図７】タスク間の共通データの一貫性を保つための処
理手順を示したフローチャートである。

【図８】同じデータを操作対象とするタスクＡとタスク
Ｂが並行して実行される場合の処理動作を示したチャー
トである。

【図９】複数の制御の流れを持つプログラムのフローチ
ャートを示した図である。

【図１０】排他制御によりデータの一貫性を維持する場
合に生じる優先度逆転現象を示した図である。

【図１１】優先度継承プロトコルの動作を示した図であ
る。

【符号の説明】

１０…演算処理システム１１…プロセッサ１２…ＲＡＭ１３…ＲＯＭ１４…入出力装置１５…タイマ１６…システム・バス１９…割り込み要求線２１…ディスプレイ２２…キーボード２３…マウス２４…ＨＤＤ２５…メディア・ドライブ

Claims

【特許請求の範囲】

【請求項１】操作対象データに対してトランザクション
を行う複数のタスクを管理する演算処理システムであっ
て、１以上のタスクによる操作対象となるデータ毎に有効ト
ランザクション変数が用意されており、各タスクは、操作対象データに対してトランザクションを開始する直
前に該操作対象データの有効トランザクション変数にト
ランザクション間で固有となる変数を代入し、タスク毎又はトランザクションの実行毎に用意されたデ
ータ領域に該操作対象データの更新内容を記録し、操作対象データに対するトランザクションが完了後に、
有効トランザクション変数を参照して、その値が変化し
なかったことに応答して、該データ領域に記録しておい
た更新内容を操作対象データに反映させる、ことを特徴
とする演算処理システム。
【請求項２】タスクが有効トランザクション変数の参
照、及び／又は、更新内容を操作対象データに反映させ
る期間は割り込みを禁止する、ことを特徴とする請求項
１に記載の演算処理システム。
【請求項３】操作対象データに対するトランザクション
が完了後に、有効トランザクション変数に変化があった
場合には、タスクは操作対象データに対するトランザク
ションを再実行する、ことを特徴とする請求項１に記載
の演算処理システム。
【請求項４】タスクは、トランザクション間で固有とな
る変数として、更新内容を記録したアドレス又はタスク
識別子を有効トランザクション変数に代入する、ことを
特徴とする請求項１に記載の演算処理システム。
【請求項５】操作対象データに対してトランザクション
を行う複数のタスクを管理する演算処理システムであっ
て、１以上のタスクによる操作対象となるデータ毎に設けら
れて、該操作対象データに対する有効な操作を行ってい
るトランザクションに固有となる変数を格納する有効ト
ランザクション変数と、タスク毎又はトランザクションの実行毎に用意される、
操作対象データに対する更新内容を記録するデータ領域
と、操作対象データに対するトランザクション完了後に、有
効トランザクション変数を参照して、その値が変化しな
かったことに応答して、該トランザクションがデータ領
域に記録しておいた更新内容を操作対象データに反映さ
せるデータ同期手段と、を具備することを特徴とする演
算処理システム。
【請求項６】前記データ同期手段が有効トランザクショ
ン変数の参照及び／又は更新内容を捜査対象データに反
映させている期間は他のタスクの割り込みを禁止する割
り込み禁止手段をさらに備える、ことを特徴とする請求
項５に記載の演算処理システム。
【請求項７】前記データ同期手段は、操作対象データに
対するトランザクションが完了後に、有効トランザクシ
ョン変数に変化があった場合には、該トランザクション
を再実行させる、ことを特徴とする請求項５に記載の演
算処理システム。
【請求項８】トランザクションに固有となる変数として
更新内容を記録したアドレス又はタスク識別子を有効ト
ランザクション変数に格納する、ことを特徴とする請求
項５に記載の演算処理システム。
【請求項９】操作対象データに対してトランザクション
を行う複数のタスクが並行して実行されるコンピュータ
・システム上でのタスク制御方法であって、操作対象データに対してトランザクションを開始する直
前に該操作対象データに設けられた有効トランザクショ
ン変数にトランザクション間で固有となる変数を代入す
るステップと、タスク毎又はトランザクションの実行毎に用意されたデ
ータ領域に該操作対象データの更新内容を記録するステ
ップと、操作対象データに対するトランザクションが完了後に、
有効トランザクション変数を参照して、その値が変化し
なかったことに応答して、該データ領域に記録しておい
た更新内容を操作対象データに反映させるステップと、
を具備することを特徴とするコンピュータ・システム上
でのタスク制御方法。
【請求項１０】タスクが有効トランザクション変数の参
照、及び／又は、更新内容を操作対象データに反映させ
る期間は割り込みを禁止するステップをさらに備える、
ことを特徴とする請求項９に記載のコンピュータ・シス
テム上でのタスク制御方法。
【請求項１１】操作対象データに対するトランザクショ
ンが完了後に、有効トランザクション変数に変化があっ
た場合には、タスクは操作対象データに対するトランザ
クションを再実行するステップをさらに備える、ことを
特徴とする請求項９に記載のコンピュータ・システム上
でのタスク制御方法。
【請求項１２】トランザクション間で固有となる変数と
して、更新内容を記録したアドレス又はタスク識別子を
有効トランザクション変数に代入する、ことを特徴とす
る請求項９に記載のコンピュータ・システム上でのタス
ク制御方法。
【請求項１３】操作対象データに対してトランザクショ
ンを行う複数のタスクの管理をコンピュータ・システム
上で実行するように記述されたコンピュータ・ソフトウ
ェアをコンピュータ可読形式で物理的に格納した記憶媒
体であって、前記コンピュータ・ソフトウェアは、操作対象データに対してトランザクションを開始する直
前に該操作対象データに設けられた有効トランザクショ
ン変数にトランザクション間で固有となる変数を代入す
るステップと、タスク毎又はトランザクションの実行毎に用意されたデ
ータ領域に該操作対象データの更新内容を記録するステ
ップと、操作対象データに対するトランザクションが完了後に、
有効トランザクション変数を参照して、その値が変化し
なかったことに応答して、該データ領域に記録しておい
た更新内容を操作対象データに反映させるステップと、
を具備することを特徴とする記憶媒体。