JPH0962521A - 臨界領域を支援するラッチ管理方法 - Google Patents

臨界領域を支援するラッチ管理方法

Info

Publication number
JPH0962521A
JPH0962521A JP8125718A JP12571896A JPH0962521A JP H0962521 A JPH0962521 A JP H0962521A JP 8125718 A JP8125718 A JP 8125718A JP 12571896 A JP12571896 A JP 12571896A JP H0962521 A JPH0962521 A JP H0962521A
Authority
JP
Japan
Prior art keywords
latch
user
request
management means
mutual exclusion
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.)
Pending
Application number
JP8125718A
Other languages
English (en)
Inventor
Yon Paak Suun
ヨン パーク スーン
Su Lee Jin
スー リー ジン
Churu Paaku Yon
チュル パーク ヨン
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
KANKOKU DENKI TSUSHIN KOUSHIYA
KANKOKU DENSHI TSUSHIN KENKYUSHO
KOREA TELECOMMUN
Electronics and Telecommunications Research Institute ETRI
Original Assignee
KANKOKU DENKI TSUSHIN KOUSHIYA
KANKOKU DENSHI TSUSHIN KENKYUSHO
KOREA TELECOMMUN
Electronics and Telecommunications Research Institute ETRI
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by KANKOKU DENKI TSUSHIN KOUSHIYA, KANKOKU DENSHI TSUSHIN KENKYUSHO, KOREA TELECOMMUN, Electronics and Telecommunications Research Institute ETRI filed Critical KANKOKU DENKI TSUSHIN KOUSHIYA
Publication of JPH0962521A publication Critical patent/JPH0962521A/ja
Pending legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/50—Allocation of resources, e.g. of the central processing unit [CPU]
    • G06F9/5061—Partitioning or combining of resources
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores
    • G06F9/526—Mutual exclusion algorithms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2209/00—Indexing scheme relating to G06F9/00
    • G06F2209/50—Indexing scheme relating to G06F9/50
    • G06F2209/5022—Workload threshold
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S707/00—Data processing: database and file management or data structures
    • Y10S707/99931—Database or file accessing
    • Y10S707/99938—Concurrency, e.g. lock management in shared database

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Multi Processors (AREA)
  • Storage Device Security (AREA)

Abstract

(57)【要約】 【課題】構造と管理方法が簡単であり、臨界領域が求め
る条件を満足するラッチを具顕することで、臨界領域に
対した使用者接近の同時性を向上させることが可能なラ
ッチ構造およびその管理方法を提供する。 【解決手段】臨界領域を支援するラッチ管理方法におけ
るラッチ獲得処理では、使用者が臨界領域に進入するた
めにラッチ管理手段へ発行したラッチ獲得の機会の要求
の有無をチェックする第１工程（Ｓ１０１）と、使用者
がmutexを占めてラッチ管理手段が使用者の要求を登録
する第２工程（Ｓ１０２〜１０７）と、使用者がmutex
を返す第３工程（Ｓ１０７）と、使用者にラッチを獲得
させる第４工程（Ｓ１０８〜Ｓ１１１）とを少なくとも
含んで構成される。

Description

【発明の詳細な説明】
【０００１】
【発明の属する技術分野】本発明は、多数使用者環境
（multi-user environment）を支援するシステムで臨界
領域に対した使用者らの同時接近を効率的に制御するた
めのラッチ（latch)の構造と管理方法に関するものであ
る。ここで、ラッチというのは使用者要求に対したスケ
ジューリング（scheduling）を提供するために使用され
るデータ構造である。
【０００２】
【従来の技術】多数の使用者環境を提供するシステムで
は共有データ（shared data)に対した一致性（consiste
ncy)維持と同時性（concurrency)向上のために共有され
るデータを適当な大きさの臨界領域（critical sectio
n）に指定して管理する必要がある。
【０００３】臨界領域とは、任意の瞬間に一人の使用者
要求（user request）のみ行われる共有データ領域（sh
ared data area）であり、この臨界領域に同時に接近す
る使用者らをどのように同期化させるかの方法によっ
て、全体システムの性能が大いに左右されることができ
る。
【０００４】即ち、全体システムの性能は臨界領域を具
顕する方法によって大いに左右されることができる。
【０００５】臨界領域を具顕する方法は相互排除（mutu
al exclusion）と進行性（progress）と限定待期（boun
ded waiting）の３種の条件を満足しなければならな
い。
【０００６】ここで、相互排除の条件というのは多数の
使用者が同時に臨界領域に進入する時、一度に一つの使
用者要求のみ臨界領域に入れるように使用者の要求を制
御するものである。
【０００７】なお、進行性の条件というのはある使用者
が臨界領域に進入しようとする際、他の使用者が臨界領
域を使用していないと、必ず該当臨界領域に進入すべき
であるということである。
【０００８】そして、限定待期条件というのは臨界領域
に進入することを要求する使用者が条件が満足されない
時に待期状態で条件が満足されることを永遠に待つので
はなく、時間が流れると、必ず臨界領域に進入すべきで
あるということである。
【０００９】上記の３種の条件がぜんぶ満足される時、
始めて共有データの無欠性（integrity)維持と多数の使
用者に対した効率的な同時性制御（concurrency contro
l)が保障されることができる。
【００１０】臨界領域に接近しようとする使用者の要求
に対した同期化のために使用された既存の同期化の方法
としては運営体制（operating system）で提供されるセ
マフォ(semaphore）を使用する方法とラッチを具顕して
使用する方法があった。
【００１１】ここで、ラッチというのは、臨界領域に進
入しようとする使用者要求に対したスケジューリング
（scheduling）のために共有変数である相互排除変数
（mutualexclusion variable 以下 mutexと略称する）
によってカプセル化されたデータ構造（encapsulated d
ata structure)である。
【００１２】
【発明が解決しようとする課題】ところで、運営体制で
提供するセマフォはＰ，Ｖ演算により臨界領域に対した
使用者らの同時接近を完璧に制御することができ、具顕
の方法も簡単であるが、セマフォの使用個数の制限があ
ることだけでなく、システム呼出を伴うので非常に高い
資源である。
【００１３】したがって、セマフォを利用して臨界領域
を支援する方法はこれを利用するシステムの性能の観点
で問題になる。
【００１４】反面に、ラッチを具顕して臨界領域を支援
する方法は、システム呼出を使用するセマフォを使用す
る方法より少ない費用で多数の使用者環境を支援するこ
とができる方法である。
【００１５】しかし、従来に使用されたラッチは、相互
排除変数であるmutex自体をラッチに看做する概念下で
具顕されるので使用者が臨界領域に進入して作業する間
継続してmutexを占める（hold）ため、mutexを有してい
る時間が臨界領域の大きさに比例して大きくなるという
問題点がある。
【００１６】さらに、他の問題点は上記３種の条件がぜ
んぶ満足できないが、上記３種の条件を満足するために
はラッチ構造とかその管理方法が非常に複雑になるとい
うところにある。
【００１７】上記の問題点を解決するための本発明の目
的は、構造と管理方法が簡単であり、臨界領域が求める
条件を満足するラッチを具顕することで、臨界領域に対
した使用者接近の同時性を向上させるラッチ構造および
その管理方法を提供することにある。
【００１８】
【課題を解決するための手段】上記の目的を達成するた
めの本発明の特徴は、相互排除変数とラッチ管理を統制
するラッチ管理手段を利用して臨界領域を支援するラッ
チ獲得方法において、使用者が臨界領域に進入するため
にラッチ管理手段にラッチ獲得の機会を要求する第１の
工程と、使用者が相互排除変数を占めてラッチ管理手段
が使用要求を登録する第２の工程と、使用者が相互排除
変数を返す第３の工程および使用者がラッチを獲得する
第４の工程とを含むことにある。
【００１９】また、上記目的を達成するための本発明の
他の特徴は、相互排除変数とラッチ管理を統制するラッ
チ管理手段を利用して臨界領域を支援するラッチ返還方
法において、使用者が既に獲得したラッチを返還するた
めに上記ラッチ管理手段に上記当該使用者がラッチ返し
の機会を上記ラッチ管理手段に要求する第１工程と、前
記ラッチ管理手段が当該使用者要求以外の他の使用者要
求がラッチqueueにあるか否かを判断する第２の工程
と、前記第２の工程で、前記当該使用者要求以外の他の
使用者要求が、前記ラッチqueueにないと判断される
と、前記当該使用者が前記相互排除変数の点有可能可否
によって前記当該使用者が、前記相互排除変数を占める
第３の工程と、当該使用者要求のみが前記ラッチqueue
にあるか否かについて当該使用者が前記当該使用者要求
を前記ラッチqueueで削除しつつ前記相互排除変数を返
す第４の工程と、前記第２の工程で前記当該使用者要求
以外の他の使用者要求が、前記ラッチqueueにあると判
断されると、次の使用者要求を決定して、前記当該使用
者要求を上記ラッチqueueで削除しつつ前記次の使用者
要求を覚ます第５の工程とを含むことにある。
【００２０】また、上記目的を達成するために本発明で
は、相互排除変数を利用して臨界領域を支援するラッチ
管理手段を備えるマルチユーザーシステムにおいて、前
記ラッチ管理手段が、使用者が臨界領域に進入するため
に発行したラッチ獲得要求を受け付ける第１の手段と、
上記使用者からのラッチ獲得要求を受け付けた場合に、
当該使用者に相互排除変数を占有させ、上記受け付けた
使用者のラッチ獲得要求を登録する第２の手段と、上記
使用者が占有していた相互排除変数を返還させる第３の
手段と、上記使用者にラッチを獲得させる第４の手段と
を有する。
【００２１】また、上記目的を達成するために本発明で
は、相互排除変数を利用して臨界領域を支援するラッチ
管理手段を備えるマルチユーザーシステムにおいて、前
記ラッチ管理手段が、使用者が既に獲得したラッチを返
還するために当該使用者が発行したラッチ返還要求を受
け付ける第１の手段と、上記使用者のラッチ返還要求以
外の他の使用者要求がラッチqueueにあるか否かを判断
する第２の手段と、上記第２の手段で上記使用者要求以
外の他の使用者要求が上記ラッチqueueにないと判断さ
れた場合に、上記使用者による上記相互排除変数の占有
可能可否に応じて上記使用者に上記相互排除変数を占め
させる第３の手段と、上記使用者要求のみが上記ラッチ
queueにあるか否かに応じて上記使用者要求を上記ラッ
チqueueから削除して、上記使用者に上記相互排除変数
を返還させる第４の手段と、上記第２の手段で上記使用
者要求以外の他の使用者要求が上記ラッチqueueにある
と判断された場合に、次の使用者要求を決定して、上記
使用者要求を上記ラッチqueueから削除して、上記決定
した次の使用者要求を覚ます第５の手段とを有する。
【００２２】
【発明の実施の形態】以下、添付した図面を参照して本
発明の一実施形態を詳細に説明する。
【００２３】図１は本発明が適用されるハードウェアシ
ステムの構成図である。
【００２４】本実施形態のシステムにおいては、図１に
示すように、Ｐ1乃至Ｐnのプロセッサ１１は共通のバス
を通じてメモリ領域１２内に設けられている共有メモリ
領域１３に接近し、入出力専用処理装置（ＩＯＰ）１４
は補助記憶装置１５への接近を制御する。
【００２５】このように、本発明は単一プロセッサ又は
マルチィプロセッサを含む一般的なハードウェア環境で
作動が可能である。
【００２６】図２は本発明が適用されるラッチの構造図
である。
【００２７】本実施形態においては、図２に示すよう
に、本発明のラッチ２２はＣ言語の形態を借りて表現す
ると、次のようなデータ構造２１を有する。
【００２８】 ここで、Ｔ＿ＴＲＡＮＳはラッチを要求する使用者要求
２２を表現する構造である。
【００２９】本発明のラッチ構造Ｅ＿ＬＡＴＣＨはqueu
eとqueueの管理のために使用されるmutexにより構成さ
れるが、これは臨界領域に進入しようとする使用者の要
求等２２を順次に維持するためのものである。
【００３０】mutexは相互排除変数としてqueueの管理に
対した無欠性維持するために使用されるが、ラッチを獲
得しようとする使用者の要求に対したリストであるqueu
eが変更されるためには、このmutexを先に占有するべき
である。
【００３１】mutexに対した相互排除の具顕において重
要なことは、mutexの値を読み、そのmutexの値をほかの
値に設定する動作が、一つの命令（atomic instructio
n）のように行なわなければならないというものであ
る。
【００３２】このような相互排除具顕の単位性（atomic
ity)を保障するために相互排除はアッセンブリに具顕さ
れる。
【００３３】臨界領域を支援するラッチを管理する方法
では相互排除変数であるmutexとラッチ管理手段を利用
するが、ラッチ管理手段は中央プロセッサとしてラッチ
の管理を統制する。
【００３４】なお、本明細書において‘寝かす（slee
p)’という言葉と、‘覚ます（wakeup）’という言葉を
用いる。‘寝かす’という言葉はプロセッサを中止させ
るという意味で、ここでは使用者要求を停止状態にする
という意味であり、‘覚ます’という言葉は中止された
プロセッサを再生させるという意味で、ここでは使用者
要求の停止状態を解除するという意味である。
【００３５】図３はラッチ獲得動作のフローチャートで
ある。
【００３６】以下に図３を参照して、使用者（ユーザ）
は臨界領域に進入するためにラッチ管理手段にラッチ獲
得の機会を要求した場合に実行される、本実施形態のラ
ッチ獲得動作を詳細に説明する。
【００３７】最初、上記ラッチ管理手段は、ラッチ獲得
要求があったかをチェックし（Ｓ１０１）、要求があっ
た場合には以下の処理へ進む。
【００３８】次に、上記ラッチ管理手段は、使用者の要
求がmutexを占有することができるかを判断する（Ｓ１
０２）。このとき既に他の使用者がmutexを所有してい
るかをチェックして、他の使用者がmutexを所有してい
るのであれば、mutexを占有することができない状態で
あると判断する。上記判断（Ｓ１０２）でmutexを占有
できないと判断されると、上記ラッチ管理手段は上記使
用者の要求を寝かし（sleep)（Ｓ１０３）、所定の時間
が流れた後、上記ラッチ管理手段は使用者要求を覚まし
（wakeup)（Ｓ１０４）、上記Ｓ１０２に進行する。
【００３９】一方、上記判断処理（Ｓ１０２）で占有す
ることができると判断されると、上記ラッチ管理手段
は、上記mutexを使用者に占有させる（Ｓ１０５）。
【００４０】次に、上記使用者要求をqueueに登録し
（Ｓ１０６）、使用者がmutexを返還する（Ｓ１０
７）。
【００４１】次に、上記ラッチ管理手段は上記登録され
た使用者の要求がqueueの端に位置するかどうかを見て
行なわれる順番になったのかを判断する（Ｓ１０８）。
Ｓ１０８の判断で、上記登録された使用者の要求がqueu
eの端に位置しており、行なわれる順番になったと判断
されると、使用者はラッチを獲得する（Ｓ１１１）。
【００４２】一方、Ｓ１０８の判断で上記登録された使
用者の要求がqueueの端に位置しないので行なわれる順
番にならなかったと判断されると、上記ラッチ管理手段
は、上記登録された使用者の要求を寝かす（Ｓ１０
９）。
【００４３】次に、Ｓ１１０では、他の使用者の要求が
ラッチの使用を済ましラッチを返還して上記Ｓ１０９で
寝かした要求を覚ますときまで待つ。すなわち、Ｓ１０
８で使用者要求がqueueの終わりに位置しなければ、現
在ラッチを要求する使用者以前に他の使用者がすでに該
当ラッチに対する要求をしたことであるので、該当ラッ
チを獲得した使用者がラッチの使用を済まして、ラッチ
の返還をしながら覚ますときまで待つ。
【００４４】Ｓ１０８で登録された使用者の要求がqueu
eの終わりに位置する場合、および、Ｓ１１０で寝かし
た要求を覚ました場合には、Ｓ１１１で使用者にラッチ
を獲得させる。
【００４５】図４はラッチ返還動作のフローチャートで
ある。
【００４６】以下に図４を参照して、使用者（ユーザ）
がすでに獲得しているラッチの返還の機会を要求した場
合に実行される、本実施形態でのラッチ返還動作を詳細
に説明する。
【００４７】最初、上記ラッチ管理手段はラッチ返還要
求をあったかをチェックし（Ｓ２０１）、要求があった
場合には以下の処理へ進む。
【００４８】次に、上記ラッチ管理手段は、当該使用者
要求以外の他の使用者要求がラッチqueueにあるかを判
断する（Ｓ２０２）。上記Ｓ２０２の判断で、当該使用
者要求以外の他の使用者要求が上記ラッチqueueにある
と判断されると、Ｓ２１１に進行する。また、上記Ｓ２
０２の判断で、当該使用者要求以外の他の使用者要求が
上記ラッチqueueにないと判断されると、Ｓ２０３へ進
み、上記ラッチ管理手段が、使用者がmutexを占められ
るか否かを判断する。
【００４９】上記Ｓ２０３の判断で上記mutexを占めら
れないと判断されると、Ｓ２０８へ進み、上記ラッチ管
理手段が、当該使用者要求以外の他の使用者要求がラッ
チqueueにあるか否かを判断する。
【００５０】上記Ｓ２０８の判断で、当該使用者要求以
外の他の使用者要求が上記ラッチqueueにあると判断さ
れると、Ｓ２１１に進行する。上記Ｓ２０８の判断で、
当該使用者要求以外の他の使用者要求が上記ラッチqueu
eにないと判断されると、Ｓ２０９へ進み、上記ラッチ
管理手段が上記使用者要求を一定時間寝かした後、この
使用者要求を覚まして、上記Ｓ２０３に戻る。
【００５１】上記Ｓ２０３の判断で上記mutexを占めら
れると判断されると、Ｓ２０４へ進み、上記ラッチ管理
手段が上記mutexを占める。
【００５２】次に、Ｓ２０５では、上記ラッチ管理手段
が当該使用者要求だけが、上記ラッチqueueにあるか否
かを判断する。上記Ｓ２０５の判断で、上記ラッチ管理
手段が当該使用者要求だけが上記ラッチqueueにあると
判断すると、上記Ｓ２０６へ進み、上記ラッチ管理手段
が当該使用者要求を上記ラッチqueueから削除する。
【００５３】Ｓ２０７では、使用者が上記mutexを返還
して、本処理を終了する。
【００５４】一方、上記Ｓ２０５の判断で、上記ラッチ
管理手段が当該使用者要求だけが上記ラッチqueueにあ
るのではないと判断されると、Ｓ２１０へ進み、上記mu
texを返還する。
【００５５】本処理では、上記Ｓ２０２及びＳ２０８で
ラッチqueueに他の使用者の要求があると判断された場
合、及び、上記Ｓ２１０でmutexを返還した場合には、
Ｓ２１１へ進み、次の順番の使用者要求を選択する。こ
れはqueueに他の使用者要求などが存在する場合に、que
ueの順番上でラッチ所有者(queueの終わりに位置する)
のすぐ前にある使用者の要求を次回のラッチ所有者候補
に決定するためである。
【００５６】Ｓ２１２では、上記ラッチ管理手段が、当
該使用者要求を上記ラッチqueueの中から削除する。こ
こで削除する当該使用者要求は、現在queueの終わりに
位置していて、これを削除するとＳ２１１で決定された
次の使用者要求がqueueの終わりに位置される。
【００５７】つづいてＳ２１３では、上記ラッチ管理手
段がＳ２１１で決定した次の順番の使用者要求（Ｓ２１
２の削除によりqueueの終わりに位置される)を覚まし
て、本処理を終了する。
【００５８】
【発明の効果】本発明によれば、構造と管理方法が簡単
であり、臨界領域が求める条件を満足するラッチを具顕
することで、臨界領域に対した使用者接近の同時性を向
上させ、よって全体システムの性能も大いに向上させる
ことが可能な、ラッチ構造およびその管理方法を提供す
ることができる。
【図面の簡単な説明】
【図１】本発明が適用されるシステムの一実施形態にお
けるハードウェア構成を示すブロック図。
【図２】本発明が適用されるラッチの構造を示すブロッ
ク図。
【図３】本発明によるラッチ獲得動作を示すフローチャ
ート。
【図４】本発明によるラッチ返還動作を示すフローチャ
ート。
【符号の説明】
１１ プロセッサ １２ メモリ １３ メモリ内の共有メモリ領域 １４ 入出力専用処理装置 １５ 補助記憶装置 ２１ 臨界領域に指定されたラッチ ２２ ラッチに対した使用者要求
───────────────────────────────────────────────────── フロントページの続き (72)発明者 ジン スー リー 大韓民国、デェジョン、ユソンク、イォー ウンドン 99 (72)発明者 ヨン チュル パーク 大韓民国、ダエグ、ブクク、サンキョウク ドン 1370

Claims (9)

    【特許請求の範囲】
  1. 【請求項１】相互排除変数とラッチ管理を統制するラッ
    チ管理手段を利用して臨界領域を支援するラッチ管理方
    法において、 ラッチ獲得のための処理として、 使用者が臨界領域に進入するために上記ラッチ管理手段
    へ発行したラッチ獲得の機会の要求を受け付ける第１の
    工程と、 当該使用者に相互排除変数を占有させ、上記ラッチ管理
    手段が前記受け付けた当該使用者の要求を登録する第２
    の工程と、 当該使用者が占有していた相互排除変数を返還させる第
    ３の工程と、 当該使用者にラッチを獲得させる第４の工程とを含むこ
    とを特徴とするラッチ管理方法。
  2. 【請求項２】請求項１において、上記第２の工程が、 上記ラッチ管理手段が上記使用者が相互排除変数を占有
    することができるか否かを判断する第１の段階と、 上記第１の段階で占有することができないと判断された
    場合に、上記ラッチ管理手段が上記使用者の要求を寝か
    す第２の段階と、上記ラッチ管理手段が寝かしていた上
    記使用者の要求を所定の時間後に覚ます第３の段階と、
    当該第３の段階の後に上記第１の段階へ戻る第４の段階
    と、 上記第１の段階で占有することができると判断された場
    合に、上記ラッチ管理手段が上記相互排除変数を占有す
    る第５の段階と、上記ラッチ管理手段が上記使用者の要
    求を登録する第６の段階とからなることを特徴とするラ
    ッチ管理方法。
  3. 【請求項３】請求項１において、上記第４の工程が、 上記ラッチ管理手段が上記登録された上記使用者の要求
    が行なわれる順番になったかを判断する第１の段階と、 上記第１の段階で上記登録された使用者の要求が行なわ
    れる順番になったと判断された場合に、上記使用者にラ
    ッチを獲得させる第２の段階と、 上記第１の段階で上記登録された使用者の要求が行なわ
    れる順番にならなかったと判断された場合に、上記ラッ
    チ管理手段が上記登録された使用者の要求を寝かす第３
    の段階と、 他の使用者の要求が上記第３の段階で寝かしていた要求
    を覚ましたかを判断する第４の段階と、 上記第４の段階で寝かされていた要求が覚まされたと判
    断された場合に、上記使用者にラッチを獲得させる第５
    の段階とからなることを特徴とするラッチ管理方法。
  4. 【請求項４】相互排除変数とラッチ管理を統制するラッ
    チ管理手段を利用して臨界領域を支援するラッチ管理方
    法において、 ラッチ返還のための処理として、 使用者が既に獲得したラッチを返還するために当該使用
    者が前記ラッチ管理手段へ発行したラッチ返還の機会の
    要求を受け付ける第１の工程と、 前記ラッチ管理手段が、上記使用者要求以外の他の使用
    者要求がラッチqueueにあるか否かを判断する第２の工
    程と、 上記第２の工程で、上記使用者要求以外の他の使用者要
    求が上記ラッチqueueにないと判断された場合に、当該
    使用者による上記相互排除変数の占有可能可否に応じて
    当該使用者に上記相互排除変数を占めさせる第３の工程
    と、当該使用者要求のみが上記ラッチqueueにあるか否
    かに応じて、当該使用者要求を前記ラッチqueueから削
    除して、上記相互排除変数を返還させる第４の工程と、 上記第２の工程で、上記使用者要求以外の他の使用者要
    求が上記ラッチqueueにあると判断された場合に、次の
    使用者要求を決定して、上記使用者要求を上記ラッチqu
    eueから削除して、前記次の使用者要求を覚ます第５の
    工程とを含むことを特徴とするラッチ管理方法。
  5. 【請求項５】請求項４において、上記第３の工程が、 上記ラッチ管理手段が、上記使用者が上記相互排除変数
    を占められるか否かを判断する第１の段階と、 上記第１の段階で、上記相互排除変数が占められないと
    判断された場合に、上記ラッチ管理手段が上記使用者要
    求以外の他の使用者要求がラッチqueueにあるか否かを
    判断する第２の段階と、 上記第２の段階で、上記使用者要求以外の他の使用者要
    求が上記ラッチqueueにあると判断された場合に上記第
    ５の工程に進行する第３の段階と、 上記第２の段階で、上記使用者要求以外の他の使用者要
    求が上記ラッチqueueにないと判断された場合に上記ラ
    ッチ管理手段が上記使用者要求を一定時間寝かす第４の
    段階と、上記ラッチ管理手段が上記第４の段階で寝かし
    た使用者要求を覚まして上記第１の段階に進行する第５
    の段階と、 上記第１の段階で、上記相互排除変数を占められると判
    断された場合に、上記ラッチ管理手段が上記使用者に上
    記相互排除変数を占めさせる第６の段階とからなること
    を特徴とするラッチ管理方法。
  6. 【請求項６】請求項４において、上記第４の工程が、 上記ラッチ管理手段が、上記使用者要求だけが上記ラッ
    チqueueにあるか否かを判断する第１の段階と、 上記第１の段階で、上記ラッチ管理手段が上記使用者要
    求だけが上記ラッチqueueにあると判断した場合に、上
    記ラッチ管理手段が上記使用者要求を上記ラッチqueue
    から削除する第２の段階と、上記使用者に上記相互排除
    変数を返還させる第３の段階と、 上記第１の段階で、上記ラッチ管理手段が上記使用者要
    求だけが上記ラッチqueueにあるのではないと判断した
    場合に、上記相互排除変数を返還させる上記第５の工程
    へ進行する第４の段階とからなることを特徴とするラッ
    チ管理方法。
  7. 【請求項７】請求項４において、上記第５の工程が、 上記ラッチ管理手段が次の順番の使用者要求を決定する
    第１の段階と、 上記ラッチ管理手段が上記使用者要求を上記ラッチqueu
    eから削除する第２の段階と、 上記ラッチ管理手段が次の順番の使用者要求を覚ます第
    ３の段階とからなることを特徴とするラッチ管理方法。
  8. 【請求項８】相互排除変数を利用して臨界領域を支援す
    るラッチ管理手段を備えるマルチユーザーシステムにお
    いて、 前記ラッチ管理手段が、 使用者が臨界領域に進入するために発行したラッチ獲得
    要求を受け付ける第１の手段と、 上記使用者からのラッチ獲得要求を受け付けた場合に、
    当該使用者に相互排除変数を占有させ、上記受け付けた
    使用者のラッチ獲得要求を登録する第２の手段と、 上記使用者が占有していた相互排除変数を返還させる第
    ３の手段と、 上記使用者にラッチを獲得させる第４の手段とを有する
    ことを特徴とするマルチユーザシステム。
  9. 【請求項９】相互排除変数を利用して臨界領域を支援す
    るラッチ管理手段を備えるマルチユーザーシステムにお
    いて、 前記ラッチ管理手段が、 使用者が既に獲得したラッチを返還するために当該使用
    者が発行したラッチ返還要求を受け付ける第１の手段
    と、 上記使用者のラッチ返還要求以外の他の使用者要求がラ
    ッチqueueにあるか否かを判断する第２の手段と、 上記第２の手段で上記使用者要求以外の他の使用者要求
    が上記ラッチqueueにないと判断された場合に、上記使
    用者による上記相互排除変数の占有可能可否に応じて上
    記使用者に上記相互排除変数を占めさせる第３の手段
    と、上記使用者要求のみが上記ラッチqueueにあるか否
    かに応じて上記使用者要求を上記ラッチqueueから削除
    して、上記使用者に上記相互排除変数を返還させる第４
    の手段と、 上記第２の手段で上記使用者要求以外の他の使用者要求
    が上記ラッチqueueにあると判断された場合に、次の使
    用者要求を決定して、上記使用者要求を上記ラッチqueu
    eから削除して、上記決定した次の使用者要求を覚ます
    第５の手段とを有することを特徴とするマルチユーザー
    システム。
JP8125718A 1995-08-21 1996-05-21 臨界領域を支援するラッチ管理方法 Pending JPH0962521A (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
KR1019950025697A KR0146551B1 (ko) 1995-08-21 1995-08-21 임계영역을 지원하는 래치 관리방법
KR95-25697 1995-08-21

Publications (1)

Publication Number Publication Date
JPH0962521A true JPH0962521A (ja) 1997-03-07

Family

ID=19423910

Family Applications (1)

Application Number Title Priority Date Filing Date
JP8125718A Pending JPH0962521A (ja) 1995-08-21 1996-05-21 臨界領域を支援するラッチ管理方法

Country Status (3)

Country Link
US (1) US5941975A (ja)
JP (1) JPH0962521A (ja)
KR (1) KR0146551B1 (ja)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0969369A2 (en) * 1998-06-30 2000-01-05 Sun Microsystems, Inc. Control of multiple computer processes

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6412031B1 (en) * 1998-02-10 2002-06-25 Gateway, Inc. Simultaneous control of live video device access by multiple applications via software locks and in accordance with window visibility of applications in a multiwindow environment
US7328263B1 (en) * 2001-01-30 2008-02-05 Cisco Technology, Inc. Controlling access of concurrent users of computer resources in a distributed system using an improved semaphore counting approach
KR20090071563A (ko) 2006-09-25 2009-07-01 코닌클리케 필립스 일렉트로닉스 엔.브이. 다중 스레드 애플리케이션에서의 견고한 임계 영역 설계
US7801852B2 (en) * 2007-07-31 2010-09-21 Oracle International Corporation Checkpoint-free in log mining for distributed information sharing
US9230002B2 (en) * 2009-01-30 2016-01-05 Oracle International Corporation High performant information sharing and replication for single-publisher and multiple-subscriber configuration
KR101080845B1 (ko) * 2009-10-30 2011-11-07 (주)지노게임즈 교착 상태의 방지를 위한 데이터 처리 방법 및 시스템
US9678894B2 (en) * 2015-03-27 2017-06-13 Intel Corporation Cache-less split tracker architecture for replay protection trees

Family Cites Families (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5175861A (en) * 1988-10-14 1992-12-29 Nec Corporation Lock processing system
US5263161A (en) * 1989-07-26 1993-11-16 Massachusetts Institute Of Technology Non-busy waiting resource control
JP2830116B2 (ja) * 1989-07-27 1998-12-02 日本電気株式会社 マルチプロセッサシステムにおけるロック制御機構
EP0548074A1 (en) * 1989-08-21 1993-06-30 Massachusetts Institute Of Technology Distributed building of service request lists
US5161227A (en) * 1989-11-13 1992-11-03 International Business Machines Corporation Multilevel locking system and method
AU633724B2 (en) * 1990-06-29 1993-02-04 Digital Equipment Corporation Interlock queueing
US5263155A (en) * 1991-02-21 1993-11-16 Texas Instruments Incorporated System for selectively registering and blocking requests initiated by optimistic and pessimistic transactions respectively for shared objects based upon associated locks
US5276844A (en) * 1991-08-05 1994-01-04 Ascom Autelca Ltd. Protection system for critical memory information
EP0543560B1 (en) * 1991-11-19 1999-12-22 Sun Microsystems, Inc. Arbitrating multiprocessor accesses to shared resources
US5450592A (en) * 1992-09-02 1995-09-12 Data General Corporation Shared resource control using a deferred operations list
US5317749A (en) * 1992-09-25 1994-05-31 International Business Machines Corporation Method and apparatus for controlling access by a plurality of processors to a shared resource

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0969369A2 (en) * 1998-06-30 2000-01-05 Sun Microsystems, Inc. Control of multiple computer processes
EP0969369A3 (en) * 1998-06-30 2004-01-07 Sun Microsystems, Inc. Control of multiple computer processes

Also Published As

Publication number Publication date
US5941975A (en) 1999-08-24
KR0146551B1 (ko) 1998-09-15
KR970012182A (ko) 1997-03-29

Similar Documents

Publication Publication Date Title
US9250978B2 (en) Asynchronous grace-period primitives for user-space applications
US9430388B2 (en) Scheduler, multi-core processor system, and scheduling method
US8108696B2 (en) Optimizing non-preemptible read-copy update for low-power usage by avoiding unnecessary wakeups
US8938631B2 (en) Energy efficient implementation of read-copy update for light workloads running on systems with many processors
US20130061071A1 (en) Energy Efficient Implementation Of Read-Copy Update For Light Workloads Running On Systems With Many Processors
US9348765B2 (en) Expediting RCU grace periods under user mode control
US7395383B2 (en) Realtime-safe read copy update with per-processor read/write locks
US6910212B2 (en) System and method for improved complex storage locks
US8495641B2 (en) Efficiently boosting priority of read-copy update readers while resolving races with exiting and unlocking processes
US7734879B2 (en) Efficiently boosting priority of read-copy update readers in a real-time data processing system
CN100481014C (zh) 用于信息处理的系统和方法
US8972801B2 (en) Motivating lazy RCU callbacks under out-of-memory conditions
JP4568292B2 (ja) キャッシュライン・ポーリングを実行する方法、装置、プログラム及び情報処理システム
Saglam et al. System-on-a-chip processor synchronization support in hardware
EP3824397B1 (en) Version-based table locking
Rajwar et al. Improving the throughput of synchronization by insertion of delays
US10289306B1 (en) Data storage system with core-affined thread processing of data movement requests
JPH0962521A (ja) 臨界領域を支援するラッチ管理方法
US20090007124A1 (en) Method and mechanism for memory access synchronization
JP7346649B2 (ja) 同期制御システムおよび同期制御方法
JPS58169659A (ja) 共用ロツク制御方式
Jidin et al. Implementing Multi Threaded System Support for Hybrid FPGA/CPU Computational Components.
KR0152714B1 (ko) 다중 사용자 환경의 저장시스템에서 버퍼 잠금기법을 이용한 버퍼 관리방법
US7013463B2 (en) Latch mechanism for concurrent computing environments
JP2018049406A (ja) 複数プロセッサ間のタスク連携装置

Legal Events

Date Code Title Description
A602 Written permission of extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A602

Effective date: 20040210

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20040507

A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20040608