JPH02195461A - Ｃｐｕベースの階層的通信システムにおいてタイ及びタイ・グループの保全制を維持するための方法 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 Ａ、産業上の利用分野 本発明は、開放型システム間接続（０８１）モデルを使
用した階層的層状通信サブシステムを有するＣＰＵに関
するものである。さらに具体的には、本発明は、経路破
壊状況が存在する場合にＯ８Ｉ層の接続制御ブロック表
示間の経路の保全性を維持するための、ＣＰＵホスト内
での方法に関するものである。

Ｂ、従来の技術 前川、外の著書、「オペレーティング・システム−上級
編（Ｏｐｅｒａｔｉｎｇ　Ｓｙｓｔｅｍ−Ａｄｖａｎｃ
ｅｄＣｏｎｃｅｐｔｓ）　Ｊ　、ベンジャミン／カミン
グス出版社（Ｂｅｎｊａｍｉｎ／Ｃｕｎｎｉｎｇｓ　　
Ｐｕｂｌｉｓｈｉｎｇ　　Ｃｏ、）　　、　１９８７年
刊、ｐｐ、１７７−２０８では、分散システムを、独立
なコンビ二一夕と、それらの間でメツセージを交換する
ための通信機構との集合体として定義している。重要な
ことであるが、そのようなシステムは共育メそりを使用
しない。むしろ、そうしたシステムは、分散同期化のた
めの基礎としてメツセージの受渡しに依存しなければな
らない。

コンビエータまたはプロセスがメツセージを交換するこ
とにより通信するときは、通信が行なわれる方法を制御
する、確立された１組の規則、すなわちプロトコルがな
ければならない。前記の前川の著書で指摘されているよ
うに、例えば、バッファ容量を超えないよう、かつメツ
セージが失われないようにするため、種々のレベルのプ
ロトコルが必要である。

開放型システム間接続（Ｏ８Ｉ）アーキテクチャの１つ
のモデルに関連するＩＳＯ国際標準７４８８を参照する
必要がある。この標準によれば、「開放型システム」は
、ネットワークを機能の１層」の階層構造として表し、
各１層」は、階層内でそれより上の１層」がアクセスし
、使用することのできる関連機能の集合体を提供する。

「開放型システム間接続」はまた、２つ以上の開放型シ
ステム間の通信のために使用される１組のプロトコルを
も指す。

１８０標準Ｏ８Ｉモデルでは、７つの層を定義する。こ
れらの層は上から下に向かって、（７）アプリケージ鰭
ン層、（６）プレゼンテーシーン層、（５）セラシロン
層、（４））ランスポート層、（３）ネットワーク層、
（２）データ・リンク層及び（１）物理層である。

通常、これらの層のいくつかを、処理されるアプリケー
ジ日ソに応じて組み合わせるか、または削除する。例え
ば、層（１）−（３）を組み合わせて、未処理ビット・
ストリームの伝送、送受信点の電気的協働、自動エラー
検出・回復、及びパケットとルーティングの管理要件を
含む通信層とすることができる。また、層（６）−（７
）を組み合わせて、情報の提示と使用に重点を置いた単
一のアプリケ−シロン層とすることができる。セッシ冒
ン層及びトランスポート層の機能は、特定のプロセス対
（各層状サブシステムで１つずつ）間の接続（セッシ１
ン）を実現し、同時に信頼性のあるホストＣＰＵ間の通
信を実現することである。

これと関連して、通信層は一般にハードウェアで実現さ
れるが、アプリケ−シーン層及び中間層は、今定義した
ように、ソフトウェアによって実現される。

０８１は、多層アーキテクチャとして、プロセス間の信
頼できる通信を確立し、メツセージが、送信顧に受信さ
れることを保証する。Ｏ８Ｉでは、各層はサービス提供
者と見なすことができる。すなわち、各層はその上の層
、すなわちユーザにサービスを提供して、そのユーザが
別のノードにいるその対等者と通信できるようにする。

各層は、最下部、すなわち物理通信層に達するまで、階
層内のすぐ下の層との接続を確立することにより、これ
らのサービスを提供する。最下部に達した時点で、メツ
セージはその宛先への物理経路上に加えられる。宛先ノ
ードでは、同じプロセスが逆の順序で繰り返される。

起点ホストで各層を上から下へと伝わるメツセージの下
降、物理経路または層を介して目標に向かう水平伝送、
及び目標ホストでの下から上への処理の進行は、従来技
術で十分に記載されている。

従来技術で扱われている問題の大部分は、水平すなわち
対等結合の面を強調した通信に関するものであった。そ
れには、セッシ騨ンの確立、ルーティング、及び雑音ま
たは可変帯域が存在する場合の同期の維持がある。実例
としては、１９８８年４月６日に発行されたパルライラ
イ（Ｂａｒｚｉｌａｉ）等の米国特許第４７３８３８θ
号「適応セッシ１ン・レベル歩調合せ（Ａｄａｐｔｉｖ
ｅ　ＳｅＳｅ５５ｉｏｎ−１ｅｖｅｌＰａｃｉｎ　Ｊを
参照されたい。

Ｃ０発明が解決しようとする課題 従来技術は、ＣＰＵホスト内での層化処理の保全性を維
持する問題、具体的には垂直態様を扱っていないことを
認識されたい。すなわち、各層を通るプロセス経路が、
経路の確立及び解除に応じて変化する。

したがって、本発明の目的は、層化通信サブシステムを
有するＣＰＵホストを、経路破壊が存在する場合にシス
テムが処理の再調整を行なえるような形で管理するため
の方法を提供することである。

さらに具体的に対象に焦点を絞るため、「制御ブロック
」は接続制御状態を定義するために使用される構成体で
あることを想起されたい。通信における各層は一群の機
能からなるので、層間の相互関係は、対になる制御ブロ
ック間の接続によって定義される。これらの制御ブロッ
クは「接続制御ブロック（ＣＣＢ）Ｊと呼ばれる。ＣＣ
Ｂ間の関係は「タイ」と呼ばれ、定義された１組のタイ
で結ばれたＣＣＢは「タイ・グループ」と呼ばれる。「
タイ」の作成により、ある環境で実行されるとき、同じ
層内で互いにタイで結ばれた全てのＣＣＢに対して作業
を直列化することが可能になる。

したがって、本発明の他の目的は、ＣＰＵベースの層化
通信サブシステムの各層内でタイ・グループの保全性を
維持する方法を考案することである。

００課題を解決するための手段 タイ及びそのＣＣＢは、タイ・グループ関係のエツジ本
位の（ｅｄｇｅ−ｏｒｉｅｎｔｅｄ）　　グラフ上に’
？９プできることが、はからずも認められた。しかし、
エツジ（タイ）の１つを、接続終了、故障またはエラー
のため除去しなければならなくなった場合、グラフの保
全性は、列挙されていないサブグラフまたは独立グラフ
の形成によって損なわれることになる。

本発明の方法は、もはやタイ・グループ内のＣＣＢを参
照しない頂点を有するエツジを列挙し、それらを除去し
、第２のタイ・グループを形成することによるグラフの
処理に関する。列挙は、グラフの残りのｎ個のエツジの
オイラー令トラバースによって行なわれる。ちなみに、
グラフのオイラー・トラバースは、ちょうど１同各エツ
ジを横切るトラバースである。そのようなトラバースに
より比較の回数ｍがＮ＜Ｍ＜Ｏ（Ｎ２）の範囲に減少す
る。このため、グラフにおけゐ各エツジの切断ごとに１
つまたは２つのタイ・グループを維持することが容易に
なる。

列挙の形式が、ノード本位グラフ（ｎｏｄｅ−ｏｒｉｅ
ｎｔｅｄ）の反復経路（深さ優先）を通るトラバースを
必要とする場合は、Ｏ（Ｎ２）回の比較が必要になる。

さらに具体的に言うと、上記の目的は、層化通信サブシ
ステムの各層内のタイ接続制御ブロック（ＣＣＢ）の保
全性を維持するための、コンビエータで実施した方法に
よって達成される。「タイ・グループ」とは、タイで結
ばれた１組のＣＣＢである。各層は、呼出し可能サブル
ーチンとして現われ、対になった接続終点間の関連を確
立するための開存な１組の機能を提供する。さらに、各
層は、その層における接続終点のサブセットを表す少な
くとも１つのＣＣＢを含む。この方法は、（ａ）現タイ
・グループのエツジ本位グラフ表現内にタイ関係を動的
に挿入するステップ、（ｂ）現タイ・グループのメンバ
ーであるＣＣＢに関する層呼出しプリミティブを順次処
理するステップ、（Ｃ）与えられたエツジ（タイ）の任
意の除去に応答して、グラフを通る経路を走査し、現タ
イ・グループを参照する少な（とも１つの頂点を示さな
い残りのエツジを除去するステップ、及び（ｄ）除去さ
れたエツジ（タイ）の頂点で参照されるＣＣＢから別の
タイ・グループを形成するステップを含む。

ステップ（Ｃ）に従って走査される経路は、１つのオイ
ラー・トラバースと１つの深さ優先トラバースからなる
組から選択したものである。さらに、ＣＣＢ間の各タイ
は１対１．１対多数、多数対１、及び多数対多数からな
る組から選択される。

Ｅ、実施例 Ｅ−１，ＩＳＯＯ８Ｉ８Ｉ基準モ デル第１図には、７層のＩＳＯＯ８Ｉ基準モデルを示す
。前述のように、層のい（つかは、層化通信の原則に違
反せずに、互いに結合することが可能である。その原則
とは、各層が、所定の順序で実行されるが他の層とは無
関係に実行可能ないわゆるプリミティブによって呼び出
される、１組の機能を構成することである。これらの機
能のいくつかは、隣接する層にある機能を呼び出すこと
ができる。すなわち、履Ｎにある機能は、層Ｎ−１にあ
る機能を呼び出すことができる。２つの層の間のインタ
ーフェースは、サービス・アクセス点を介して管理でき
る。なお、より下位の層は、概念上より高位の層に対す
るサービス提供者である。下位の層から見ると、高位の
層はサービス・ユーザである。

Ｅ−２，Ｏ８Ｉ層及びメツセージ処理 第２図に、例示的データ構造、及びアクシーンがアプリ
ケージ四ン履から物理層まで上から下へ通過するとき、
種々の層中の諸機能がデータ構造に加える変更を示す。

なお、アプリケ−２１７層及びプレゼンテーシーン層は
ユーザ間通信（ユーザ間通信プロトコル）を定義し、セ
フタ１フ層及びトランスポート層はプロセス間通信（プ
ロセス間通信プロトコル）を定義し、ネットワーク層、
データ・リンク層及び物理層は実際のデータ伝送（コン
ビエータ間通信プロトコル）を定義する。

例として１．ＣＰＵ　　Ａが、３つの層、つまりアプリ
ケ−シーン層、中間層及び通信層を有するＯ８Ｉシステ
ムを介して、メツセージＭをＣＰＵＢに送ろうとしてい
るものと仮定する。後続層を構成する各プロセスが呼び
出されると、そのプロセスはメツセージに作用する。し
たがって、アプリケ−シーン層によって生成されたメツ
セージＭでは、中間層が、メツセージをＫｌ（Ｍ）にな
るように変更する。次に、通信装置層が、その結果をに
２　（Ｋｌ　（Ｍｌ））になるように変更する。

複合メツセージはネットワークを介して送られ、宛先Ｃ
ＰＵ　　Ｂかに２　（Ｋｌ　（Ｍ））として受は取る。

複合メツセージは逆の層順で分解されるので、各層はそ
の対等者と通信することができる。

したがって、中間層Ａはメツセージに１（Ｍ）を中間層
Ｂに送り、ＣＰＵＢのアプリケ−シロン層が元のメツセ
ージＭを受は取る唯一の層である。

Ｅ−３，接続、制御ブロック、層 意味のある作業を行なうため、ある終点にいるユーザは
宛先の終点との「接続」を確立する。アクシーンは、呼
出し側ユーザに必要なサービスを提供する適当な層を通
る経路をたどる。「接続制御ブロックＪ　　（ＣＣＢ）
と呼ばれる構成体は、ある層が別の層のサービスを必要
とするときの、２つのシステムにおける終点間の接続全
体の一部分を表す。すなわち、ＣＣＢが各層間境界に存
在し、各システム内の「接続」は関連ＣＣＢの連鎖によ
って定義される。

Ｅ−４，Ｏ８Ｉベースの通信サブシステムのためのオペ
レーティング・システム環境 通信サブシステムは、層を構成する機能が、存限状態マ
シンと整合する形で実行される、実行待環境を提供する
。すなわち、通常の層は、状態遷移テーブル及び接続の
現状態を各ＣＣＢと関連づける。特定の接続のための作
業単位（ここでは、層がサービスを提供することを求め
る各要求を作業単位と見なす）を実行するために１つの
層が呼び出されると、その層は現状態、作業要求入力及
び状態遷移テーブルを使って、その要求を処理するため
のソフトウェアを見つける。見つかったソフトウェアを
実行すると、接続及び層の状態が変化し、また出力が発
生することもある。

層がサービスを提供することを求める各要求は作業単位
と見なされる。前述のように、層は一組の関連する呼出
し可能機能を含む。したがって、通信サブシステムは、
その要求に応答して層を呼び出し、関連するプロセスま
たは機能が完了すると、そこから戻る。作業単位の各要
求は特定のＣＣＢと関連づけられる。

現在実行中の層が、別の層にある１つの機能を呼び出す
場合、その要求または呼出しは、次に実行するようスケ
ジューリングされる。同じＣＣＢ（層）に対して出され
る全ての要求は、出された順に実行されることが必要で
ある。

「スレッド」とは、同期して実行される一連の関連する
要求である。最初に生成された要求に続く全ての要求は
、同じスレッド上で実行される。

複数のスレッドを操作し、それらをタスクに割り当てる
のは、通信サブシステムの責任である。複数タスク間で
のコンビエータ資源の割振り及びスケジユーリングは、
オペレーティング・システムの役目であり、本発明の範
囲に含まれない。

Ｅ−５，タイ及びタイ・グループの範嗜ＣＣＢ間の関係
は「タイ」と呼ばれ、定義された１組のタイで結合され
たＣＣＢは「タイ・グループ」と呼ばれることを想起さ
れたい。「タイ」を作成すると、ＣＰＵ環境での実行時
に、同じ層内で互いにタイで結合された全てのＣＣＢに
わたって作業を直列化することが可能になる。このとき
、タイ・グループの抽象表現はエツジ本位の無指向グラ
フであり、そこでは、ＣＣＢはノードとして働き、タイ
はエツジとして働く。

次に第３図には、本発明で使用されるタイ・グループの
範嗜の抽象表現を示す。本発明では、タイは、１番目の
層とその上のｉ＋１番目の層の間の接続を表すＣＣＢと
の間でしか作成できないと規定する。１＋１番目の層は
ユーザ層（ＵＣＣＢ）と呼ばれ、１番目の層はサービス
（ＰＣＣＢ）を提供する。それと関連して、タイ関係は
、１対１．１対多数、多数対！及び多数対多数からなる
組から選択される。これは、他の１つのＣＣＢにタイで
結合された１つのＣＣＢ、多数のＣＣＢにタイで結合さ
れた１つのＣＣＢ、１つのＣＣＢにタイで結合された多
数のＣＣＢ、及び多数のＣＣＢにタイで結合された多数
のＣＣＢに対応する。

第３図を参照すると、エツジｅセット及びタイφグルー
プの範曙は次の通りであることが明らかになる。

エツジ・セット　　　　　　　タイ・グループ（（Ａ、
１））　　　　　　　　　１対１（（８，２）、（８，
３））　　　　　　　　　１対多数（（２，８）、（３
，８））　　　　　　　　　多数対１（（Ｃ，４）　、
　（Ｄ、４）　、　（Ｄ、５）　、　（Ｅ、５）　　　
　多数対多数（Ｅ、６）　、　（Ｆ、６）　、　（Ｆ、
？）。（０，７））Ｅ−６，タイ動作 第４図に、本発明の好ましい実施例の例で使用されるタ
イ・グループのトポロジを示す。このグラフは、それぞ
れユーザＣＣＢ　（ＵＣＣＢ）及び提供者ＣＣＢ　（Ｐ
ＣＣＢ）と呼ばれる、ノードとしての上層ＣＣＢ及び下
履ＣＣＢ、ならびにエツジ（１、Ｃ）、（２、Ａ）等と
してのタイ関係を含んでいる。

次に第６図には、第４図に示したタイ・グループ・グラ
フに対する隣接性マトリックスを示す。

リストの各エツジ項目ごとに、リストの次の同じ側の項
目用の対応する項目がある。すなわち、ノード１（エツ
ジ１、Ｃ）に関する第１の参照は、リストの５番目の項
目に対するＵ（ユーザ）側参照を有する。次の（ノード
Ｃに関する）Ｐ（提供者）側参照は、リストの２番目の
項目である。

ＣＣＢは互いにタイで結合されるので、さらに多くの項
目がリストに加えられる。タイ・グループ内の各ＣＣＢ
は、リスト中のその最初のタイ・エツジを参照する。第
５図に示したリストでは、例えば、ＵＣＣＢ　　１の最
初の項目は０１であり、ＵＣＣＢ　　２の最初の項目は
０８であり、ｐｃｃＢＡの最初の項目は０３である。し
たがって、１対のＣＣＢを互いにタイで結合するための
動作は、（１）エツジをリストに加え、（２）この新し
い項目を、作用を受けるＣＣＢの最初の項目にすること
が必要である。

次に第６図には、タイ動作によって変更された第５図の
マトリックスを示す。第５図に加えられ、第８図に記載
されている変更については、次節で順を追って説明する
。

例として、ＵＣＣＢ　　３をＰＣＣＢ　　Ａにタイで結
合しようとしているものと仮定すると、以下のステップ
が含まれる。

（１）エツジ（３、Ａ）を項目０６としてリストに加え
る。

（２）次の項目番号（ＮｅｘｔＬｌ）は、同じＵＣＣＢ
ノード表示（ＵＣＣＢ　　３）を有する項目番号である
。これは項目０２になる。これはＵＣＣＢ３の最初の項
目であった。

（３）次の項目番号（ＮｅｘｔＰ　）は、同じＰＣＣＢ
ノード表示（ＰＣＣＢ　　Ａ）を有する項目番号である
。これは項目０３に対応する。これはＰＣＣＢＡの最初
の項目であった。

（４）ＵＣＣＢ　　３の最初の項目を０８になるように
修正する。

（５）ＰＣＣＢ　　Ａの最初の項目をＯθになるように
修正する。

上記アルゴリズムは、タイで結合された２つのＣＣＢが
既に同じタイ・グループに属しているかどうかにかかわ
らず、動作する。事実、２つのＣＣＢを互いにタイで結
合すると、２つのタイ・グループが結合されることは十
分あり得ることである。

Ｅ−７，アンタイ動作 ＣＣＢのアンタイ（タイ解除）はタイ動作の逆である。

アンタイを実行するには、エツジを破壊することが必要
である。（１）関連項目をリストから除去し、（２）エ
ツジの前の項目の各側のＣＣＢ参照に対する適当な逆方
向参照を行なう、動作ステップが含まれる。

例として、ＣＣＢ２及びＡを分離するものとする。

（１）項目０８をリストから除去する。

（２）項目０４がＵＣＣＢ　　２に対する最後の項目に
なる。

（３）項目０８がＰＣＣＢ　　Ａに対する最後の項目に
なる。

（４）ＵＣＣＢ　　２　’の最初の項目が０４になる。

次に第７図には、エツジ（２、Ａ）に関するアンタイ動
作の結果として変更されたグラフのリスト表示を示す。

なお、任意のＣＣＢとタイで結合されたＣＣＢの識別を
確認するには、所与のＣＣＢと関連する最初の項目を識
別し、次いで、連鎖をたどるだけでよい。

Ｅ−８，多数対多数のタイ・グループでのタイ及びアン
タイ動作 タイ・グループ構成体は、層サービス及び資源に対する
アクセスを直列化するために使用される。

多数対多数のタイ・グループで１つのエツジを除去する
と、２つの別々のグループができる可能性がある。そう
するとまた、タイ・グループが実際に独立し、別個のも
のであるかどうかについてあいまいさが生じる可能性も
ある。第１の問題は、２つ以上のタイ・グループの存在
を検出する問題である。これは、グラフを系統的に走査
し、調べた各ノードに印をつけ、走査完了時に、どのノ
ードが走査されなかったかを確認することと等価である
。従来技術の１つの方法では、反復した深さ優先の探索
またはトラバースを行なう。しかし、そのようなトラバ
ースには、０（Ｎ２）回の比較が必要である。

次に、本発明の方法に従ってオイラー・トラバースをエ
ツジ本位の多数対多数のタイ・グループ表示に適用する
ことについて説明する。

第８図には、エツジ（１、Ｃ）が除去されている点を除
いて、第４図と同じタイ・グループを示す。以下の処置
またはステップは、本発明に従って２つのタイ・グルー
プが存在するかどうかを確認するために使用する。

（１）元のタイ・グループ・リストから項目（１、Ｃ）
を取り出し、ＣＣＢ　　１及びＣＣＢＣを適当に調整す
る。

（２）リストの第２の項目、すなわちエツジ（３、Ｃ”
）を取り出し、それを新しいタイ・グループの最初の項
目にする。

（３）このエツジの同じ側（頂点３またはＣに接続され
た）をすべて新しいタイ・グループに移す。

（４）変更された元のリストに戻り、変更された元のリ
ストの次の項目が新しいリストのいずれかの項目と一致
する場合は、それを新しいリストに移す。

（５）その同じＰＣＣＢ側（ＰＣＣＢと等しい頂点を有
する全てのエツジ）をすべて新しいグループに移す。

（８）元のリストの終りに達するまで、ステップ（４）
及び（５）を繰り返す。

古いリストと新しいリストの一致は、各ＣＣＢが、その
タイ・グループ・リストを所有する制御ブロックをも参
照するという事実によって検出される。ＣＣＢが新しい
リストに移されるとき、そのタイ・グループ・ブロック
参照が調節される。

したがって、新しいリストを参照している旧リスト中の
各ＣＣＢは除去する必要がある。

Ｅ−８，この方法の実施例の擬似コード表現以下の第１
表ないし第３表に、本発明の方法を具体化したタイ・ア
ルゴリズム及びアンタイ・アルゴリズムのＰＡＳＣＡＬ
様擬似コード表示を示す。なお、第１表は、ＣＣＢ、タ
イ・グループ制御ブロック、エツジ制御ブロック等の構
成体を定義するものである。第２表はタイ手順を記述す
るも°のである。重要なことであるが、第３表は、グラ
フが２つ以上のタイ・グループを有するかどうか確認す
るためのテスト手順を含むアンタイ手順を記述するもの
である。制御の流れが容易に明らかになるように、手順
及び機能のそれぞれに詳しい注釈がつけである。

第１表 データ・タイプ ／＊　　ザータφり１′ブ ＊／ Ｔｙｐｅ　５ｉｄｅＴｙｐｅ　　　’＝（Ｕｓｅｒ、Ｐ
ｒｏｖｉｄｅｒ）ｉ　　　　　　　　　　／＊　　ＣＣ
Ｂのタイプ　　＊／Ｔｙｐｅ　ＣＣＢ＝ＥＣＢＲｅｃｏ
ｒｄ；　　　　　　　／＊　Ｃａ３を参照する＊／Ｔｙ
ｐｅ　ＴｉｅＧｒｏｕｐＰｔｒ＝＠ＴｉｅＧｒｏｕｐ：
　　　　　　／＊　９４・グループを参照する＊／Ｔｙ
ｐｅ　ＥｃｋｅＰｔｒ　　　＝＠Ｅｄｇｅ８　　　　　
　／ネタイ・グループ・ニーを参照する＊／／＊接続制
御ブロックー関連部分 ＊／ Ｔｙｐｅ　ＣＣＢＲｅｃｏｒｄ　＝　ＲｅｃｏｒｄＵｓ
ｅ　　　　　：　５ｉｄｅＴｙｐｅ：ｌホブ０フケの使
用、Ｕ側またはＰ６１１　　　　　　　宰／ＴｉｅＧｒ
ｏｕｐ　　：　ＴｉｅＧｒｏｕｐＰｔｒｉ　　　　　　
　　　　　　　　　　　＊／／＊　ＴｆｅＧｒｏｕｐこ
α口は次のものに所属する＊／ＦｉｒｓｔＥｃ３ｇｅ　
：　ＥｄｇｅＰｔｒｉ　　／＊　　　　　ＴｉｅＧｒｏ
ｕｐの最初のｂシネ／ＨｅｘｔＩｎＴｉｅ　：α１３　
　　　　／＊　　　　　ＴｆｅＧｒｏｕｐ内の次のブ昨
り＊／ＨｅｘｔＣＣＢ　　：　ｃｃａ：　　　　／宰Ｃ
ＣＢ連鎖上の次のＣＢ　　　　　　＊／Ｅｎｄ； Ｍ！？／ ／＊タイ・グループ制御光性−関連部分＊ｌ Ｔｙｐｅ　ＴｉｅＧｒｏｕｐ　＝　ＲｅｃｏｒｄＴ！ｅ
ｄＣＢｓ　　　：　ＥｄｇｅＰｔｒ；ＦｉｒｓｔＩｎＴ
ｉｅ　：　ＣＣＢ１ Ｌａ５ｔＩｎＴｉｅ　！　ＣＣＢ： Ｅｎｄ： ／＊　タイ・グループ・エツジ制ｅフケＴｙｐｅ　Ｅｄ
ｇｅ　ａ　ＲｅｃｏｒｄＴｉｅＢｌｋ　　ＴｉｃｉＧｒ
ｏｕｐＰｔｒ＋ＵＳｉｄｅＣＣＢｔ ＰＳｉｄｅ　　　ＣＣＢ： Ｎｅｘｔｌｌ　　　ＥｄｇｅＰｔｒ　：ＮｅｘｔＰ　　
　ＥｄｇｅＰｔｒ　： Ｎｅｘｔ　　　ＥｄｇｅＰｔｒ　５ Ｐｒｅｙ　　　ＥｄｇｅＰｔｒ　ｉ ｎｄｉ ／＊結合されたＣＣＢエフジ・リスト＊／／ネＴｔｅＧ
ｒｏｕｐ内の最初のＣＣＢ　＊／／ネＴｉｅＧｒｏｕｐ
内の最後のＣＣＢ　＊／＊／ 赫−中／ ／＊次のものと関連するＴｉｅＧｒｏｕｐ　＊／／＊結
合されたＵＣＣＢのＣＣ旧招汐　　幹／＊結合されたＰ
ＣＣＢのＣＣＢポ（汐　　掌／／＊このｙｃＣＢを含む
次のエツジ＊／／＊このＰＣＣＢを含む次のエツジ＊／
ｌ＊同じＴｆｅＧｒｏｕｐ内の次の工ｔジ＊／／ネ同じ
ＴｆｅＧｒｏｕｐ内の前のエフラネ／第２表 ／＊正式呼出し：＊／ ／＊手１［ｒｉｅ　（ＩＪＣＣＢｊ　ＣＣＢ：　　　　
　　　　結合すべき：ｔ＜Ｃａ　　　＊／／＊　　　　
　　ＰＣＣＢ４　ＣＣＢ）　Ｈ結合すべき提供ｍＢ　中
／／＊　　　　　　　　　　　　　　　　　　　　　　
　　　　　　宰／／ネ機能：＊／ ／ネ２つの（ＩＢを互いにタイで結合する　　　　　　
　　　　　　　　＊／／＊＊／ ｌ＊仮定：　　　　　　　　　　　　　　　　　　　　
　　　　宰／ｉ＊　１．　ＵＣＣＢとＰＣＣＢがまだ対
で結合されていない　　　　　　　＊／／＊　２．　Ｕ
ＣＣＢは１−ＥＣＢ、ＰＣＣＢ　Ｇｔ提供者α１であル
ネ／／＊３．単→スク処理環境にいる　　　　　　　　
　　　　　　　＊／Ｐｒｏｃｅｄｕｒｅ　Ｔｉｅ　（Ｉ
ＪＣＣＢ：　ＣＣＢ；　　　　　／＊　　　結合すべき
ユ（ＣＣＢ　＊／ＰＣＣＢ：　ＣＣＢ）　：　　　　　
／＊結合すべき提供者ＣＣＢ零／Ｖａｒ　０１ｄｒｉｅ
Ｇｒｏｕｐ　：　ＴｉｅＧｒｏｕｐＰｔｒｓｅｇｉｎ ／＊両方ｆｆＢが同じタイ・九−ブに属する場合は、も
う１つのおジをこのｔ４／／＊　ＴｉｅＳｅｒｉａｌ″
に１竹に加えるだけテヨイ。　　　　　　　　　　　ネ
／Ｉｆ　ＵＣＣＢ＠、ＴｉｅＧｒｏｕｐ　＝　ＰＣＣＢ
＠、ＴｔｅＧｒｏｕｐ　ｔｈｅｎＩｎｓｅｒｔＡｎＥｄ
ｇｅ ｌｓｅ ｉｇｉｎ ＩｎｓｅｒｔＡｎＥｄｇｅ　：　　　／＊新しいエツジ
を作成して連鎖させる：１０１ｄＴｉｅＧｒｏｕｐ　＋
＝　ＰＣＣＢ＠、ＴｉｅＧｒｏｕｐｉ／ネ　古いクイ・
グループに対するアドレスを保管　＊／／ネする　　　
　　　　　　　　　　幹ＪｏｉｎＴｉｅＧｒｏｕｐｓ：
　　　　／＊　２つのエツジ連鎖を連結する　　　　キ
／ＦｒｅｅＳｔｏｒａｇｅ　（０１ｄＴｉｅＧｒｏｕｐ
）ｉｌネ０１ｄＴｉｅＧｒｏｕｐはもはや必要でない＊
／ｅｎｄ： ｎｄｇ ／ネ機能１　ｔｌｃｃＢのタイ・グループ内のこれら２
つのＣＣＢに対する新しい　幹１本　　　ニー項目を作
成する　　　　　　　　　　　　　　　　掌／Ｗａｒ　
ＨｅｗＥｄｇｅ：　ＥｄｇｅＰｔｒ：Ｂｅ＠ｉｎ　　　
　　　　　　　　　　　　　　／＊新しい１婦を割り振
るｆＰ／ＧｅｔＳｔｏｒａｇｅ　（ＮｅｗＥｄｇｅ）　
：ｖｉｔｈ　　ＮｅｖＥｄｇｅ＠　　ｄ。

ｂｅｇｉｎ　　　　　　　　／本所盲側タイ・テｙル・
力→を再び指す　＄／Ｔｉｅ８１ｋ　ｇｉｌ　ＩＩｃｃ
Ｂ＠、ＴｉｅＧｒｏｕｐ＋／ネＩｊＳｉｄｅ、　ＰＳｉ
ｄｅ、　ＮｅｔＰ、　ＮｅｘｔＰ側を適当にセトアフブ
する。ネ／／＊全てのリスト項目はリストの前で行なわ
れることに留意する。＊／■５ｉｄｅ　：＝ＵＣＣＢ ＰＳｉｄｅ　：＝ＰＣＣＢ ＮｅｘｔＵ　：＝　１ＩｃｃＢ＠、ＦｉｒｓｔＥｄｇｅ
；ＮｅｘｔＰ　：＝　ＰＣＣＢ＠、ＦｉｒｓｔＥｄｇｅ
ｉ／ネ最後に、この初期設定されたエツジをＴｉｅＧｒ
ｏｕｐ光ｄ・リスト、＊／／ｌ　ＵＣＣＢ側のＦｉｒｓ
ｔＴｉｅｄ、ＰＣＣＢ側のＦｉｒｓｔＴｉｅｄに連鎖さ
せる　ネ／Ｎｅｘｔ　　：＝　ＴｉｅＢｌｋ　、Ｔｉｅ
ｄ：Ｂｓ１Ｐｒｅｙ　　：＝　Ｍｉｌ； Ｉｆ　Ｎｅｘｔ　＜＞　Ｎｉｌ　ｔｈｅｎ　　　　　／
ｉＥ最初の工づに注意する＄／Ｎｅｘｔ＠、Ｐｒｅｖ　
　　ｊ＝　ＨｅｖＥｄｇｅ：ＴｉｅＢｌｋ＠、Ｔｉｅｄ
ＣＢｓ　：＝　ＨｅｗＥｄｇｅ：ＵＣＣＢ＠、Ｆｉｒｓ
ｔＥｄｇｅ　ｓ＝　ＮｅｗＥｄｇｅ：ＰＣＣＢ＠、Ｆｉ
ｒｓｔＥｄｇｅ　　：＝　　ＮｅｗＥｄｇｅ；ａｎｄ　
１ ｅｎｄ： ／＊機能：２つの分離したタイ・グループをエツジ・リ
ストにより連結するネ／ Ｖａｒ ＣｕｒｒＣＢ　　　：　ＣＣＢ ＣｕｒｒＥｄｇｅ　＋　ＥｄｇｅＰｔｒ；／ネ探索中の
現在のＣＣＢ　＊／ ／＊探索中の現在の１婦＊／ ｅｇｉｎ ／ネ２つのエツジ・リストを連結する。ＰＣＣＢエツジ
・リストはＵＣＣ＆エツジ・リストの　　　ネ／／＊終
りに置かれる　　　　　　　　　　　　　　　　　　　
＊／１ｊｃｃＢＩ１．Ｌａ５ｔＩｎＴ！ｅ　、Ｎｅｘｔ
Ｉｎτｉｅ　＋＝　ＰＣ（Ｍ、　ＦｉｒｓｔＩｎＴｉｅ
ｉＤＣＣＭ、Ｌａ５ｔＩｎＴｉｅ　　　　　　　：＝Ｐ
ＣＣＢ＠、　Ｌａ５ｔＩｎＴｉｅｉｌネ次にＰＣＣＢに
ついてエツジ・リストを走査し、そのカバーの全てを　
　＊／ｉ＊　ＵＣＣＢのＴｉｅＧｒｏｕｐを指すように
変更する　　　　　　　　　零／ＣｕｒｒＣＢ　　　　
　　　　　　　　　　：＝　ＰＣＣＢ＠、ＦｉｒｓｔＩ
ｎＴｉｅ；ｅｐｅａｔ ＣｕｒｒＣＢ＠、ＴｉｅＧｒｏｕｐ　　　　　　　　：
：＋　ＵＣＣ関、ＴｉｅＧｒｏｕｐ；ＣｕｒｒＣＢ　　
　　　　　　　　　　　：ｚ　ＣｕｒｒＣＢ＠、Ｎｅｘ
ｔＩｎＴｉｅｉＵｎｔｉｌ　ＣｕｒｒＣＢ　＝　Ｎｉ１
ｇ／ネ次に、２つのエツジ・リストを互いに連鎖させる
。これで対の連結中／／＊は完了する。　　　　　　　
　　　　　　　　　　　　　　＊／Ｉｆ　ＰＱ：Ｂｅ、
ＴｉｅＧｒｏｕｐ＠、Ｔｆｅｄｌ：Ｂｅ　ＯＮｉｌ　　
ｔｈｅｎｅｇｉｎ ＣｕｒｒＥｄｇｅ　！＝　ＵＣＣＢ＠、ＴｉｅＧｒｏｕ
ｐ＠、ＴｉｅｄＣＢｓ；Ｗｈｉｌｅ　ＣｕｒｒＥｄｇｅ
飢Ｎｅｘｔ　ＯＮｔｌ　ｄ。

ＣｕｒｒＥｄｇｅ　：ｘ　ＣｕｒｒＥｄｇｅ＠、Ｎｅｘ
ｔｉＣｕｒｒＥｄｇｅ＠、Ｈｅｘｔ　　　　：＋　ＰＣ
ＣＢ＠、ＴｉｅｄＣＢｓ＋ＣｕｒｒＥｄｇｅ＠、Ｎｅｘ
ｔｅ、Ｐｒｅｖ　：＝　ＣｕｒｒＥｄｇｅ：／＊最後に
、全てのエツジ加算を正しいＴｉｅＧｒｏｕｐを指ずよ
うキ／／ネに変更する　　　　　　　　　　　　　　　
　　　＊／Ｖｈｉｌｅ　ＣｕｒｒＥｄｇｅ　　ＯＮｉｌ
　　ｄ。

ｅｇｉｎ ＣｕｒｒＥｄｇｅ＠、ＴｉｅＢｌｋ　ＨｚυＣＣＢ＠、
ＴｉｅＧｒｏｕｐ８ＣＵｒｒＥｄｇｅ　　　　　：＝Ｃ
ｕｒｒＥｄｇｅＯ，Ｎｅｘｔ；ｅｎｄ； ａｎｄ　１ ｅｎｄ＋ 第３表 ／＊正式呼出し： ／＊手順Ｕｎｔｉｅ　（ＵＣＣＢ：ＣＣＢ；ＰＣＣＢ：
ＣＣＢ）　ｉ ／ネ ／ネ機能＝ ／＊　ＴｉｅＧｒｏｕｐから２つのＣＣＢを分離し、か
つ２つのＴｉｅＧｒｏｕｐを作成／ネする必要があるか
どうか判定する。

／＊ ／＊仮定： ／＊１．ＵＣ２とＰＣＣＢは対で結合されている１＊　
２．　ｔｌｃｃＢｉｔｚ→’ＣＣＢ、ＰＣＣＢは提供＆
ロチあるｌネ３．単一似り処理環境にいる ／　　　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　＃Ｈ＊／Ｐｒｏｃｅｄｕｒｅ　　Ｕｎ
Ｔｉｅ　　　（ｔｌｃｃＢ：　　ＣＣＢ１　　　　　　
　　　　　　　　　　／中　５１イのユーザ但Ｉｔ　　
　＊／ＰＣＣＢ：　ＣＣＢＩ　　　　　　　／ｆ−タイ
の提供者側＊／Ｖａｒ　Ｔｉｅｄ！　ＥｄｇｅＰｔｒ；
　　　　　　　　　　　　　／Ｉ　ＣＣＢを表すエツジ
中／ｅｇｉｎ Ｔｉｅｄ　：ｊ　ＥｄｇｅＰｔｒ　ｗｈｉｃｈ　ｒｅｐ
ｒｅｓｅｎｔｓ　ｅｄｇｅ　ｂｅｔｗｅｅｎ　ＵＣＣＢ
　ａｎｄ　＊／ＣＣＢ ／ネこれら２つのＣＣＢを結合している工づを取り除り
＊／ＤｅｌｅｔｅＥｄｇｅｉ ／＊現截組の贅を有し、もう１つのタイ・グループを作
成すべきか　＊／／ネどうか判定する　　　　　　　　
　　　　　　　　　　　＊／ＭａｋｅＤｉｓＪｏｉｎｔ
Ｔｉｅｓ： ｌネこの時点で、２つのＣＣＢは分離され、２つの別々
のタイ・グループ　＊／ｌ傘が形成されている可能性が
ある　　　　　　　　　　　ネ／ｎｄｉ ／ネ零手順の開ヒ機能の注釈 ／ネ機能ニジ・グにづからニーを削除するネ／ Ｖａｒ　ＣｕｒｒＥｄｇｅ：　ＥｄｇｅＰｔｒ；ｅｇｉ
ｎ ／ネ探索中の現在の１婦ｆ４／ ／＊タイ結合されたものＭＣＣＢ　　　　ネ／／＊　Ｔ
ｉｅＧｒｏｕｐから連鎖解除される＊／Ｉｆ’　Ｔｉｅ
ｄｌ、Ｐｒｅｖ　’＝　Ｎｉｌ　ｔｈｅｒ＋１１ｃｃＢ
＠、ＴｉｅＧｒｏｕｐ＠、ＴｉｅｄＣＢｓ　：＝Ｔｉｅ
ｄ＠、Ｎｅｘｔ１ｓｅ Ｔｉｅｄｌ、Ｐｒｅｖ＠、Ｎｅｘｔ　：＝Ｔｉｅｄ＠、
Ｎｅｘｔ：Ｉｆ　Ｔｉｅｄｌ、Ｎｅｘｔ　ＯＮｉｌ　ｔ
ｈｅｎＴｉｅｄ＠、Ｈｅｘｔ＠、Ｐｒｅｖ　：＝　Ｔｉ
ｅｄｌ、Ｐｒｅｖ：／掌タイ結合されたもの燭ＣＣＢ　
ＴｉｅＥｄｇｅ連鎖から連鎖解除本／／本される　　　
　　　　　　　　　　　　　　　　　　　＄／Ｉｆ　Ｕ
ＣＣＢ＠、ＴｉｅＧｒｏｕｐ＠、ＦｉｒｓｔＥｄｇｅ　
＝　Ｔｉｅｄ　ｔｈｅｎＵＣＣＢ＠、ＴｉｅＧｒｏｕｐ
＠、ＦｉｒｓｔＥｄｇｅ　ニー　ＴｉｅｄＯ，Ｈｅｘｔ
Ｕｌｓｅ ｅｇｉｎ ＣｕｒｒＥｄｇｅ　　：＝　ｔｌｃｃＢ＠、ＴｉｅＧｒ
ｏｕｐ自、ＦｉｒｓｔＥｄｇｅ；Ｗｈｉｌｅ　Ｃｕｒｒ
Ｅｄｇｅ＠、Ｎｅｘｔｔｌ◇Ｔｉｅｄ　ｔ。

ＣｕｒｒＥｄｇｅ　：＝　ＣｕｒｒＥｄｇｅ＠、Ｎｅｘ
ｔＵｉＣｕｒｒＥｄｇｅ＠、ＮｅｘｔＵ　：＋Ｔｉｅｄ
＠、ＮｅｘｔＵ：ｎｄ　ｉ ／＊クイ結合されたものがＰＣＣＢからのエツジ・リス
トから連鎖解除　ネ／／ネされる　　　　　　　　　　
　　　　　　　　　　　　　　ｔＰＩＩｆ　ＰＣＣＢ＠
、ＴｉｅＧｒｏｕｐ＠、ＦｉｒｓｔＥｄｇｅ　＝Ｔｉｅ
ｄ　ｔｈｅｎＰＣＣＢ＠、ＴｉｅＧｒｏｕｐ＠、Ｆｉｒ
ｓｔＥｄｇｅ　＋＝　Ｔｉｅｄｌ、ＮｅｘｔＰｌｓｅ ｅｇｉｎ ＣｕｒｒＥｄｇｅ　：＝　ＰＯＣＢ＠、ＴｉｅＧｒｏｕ
ｐ＠、ＦｉｒｓｔＥｄｇｅ＋％ｆｈｆｌｅ　ＣｕｒｒＥ
ｄｇｅ＠、ＮｅｘｔＰ　ＯＴｉｅｄ　ｄ。

ＣｕｒｒＥｄｇｅ　：＝　ＣｕｒｒＥｄｇｅ＠、Ｎｅｘ
ｔＰ：ＣｕｒｒＥｄｇｅ＠、ＮｅｘｔＰ　：＋　Ｔｉｅ
ｄｌ、ＮｅｘｔＰ：ｎｄｌ ｈ−ν結合されたものはこのときもはやどこででも連　
零／ｌネ鎖されていないので、それを解放する　　　　
　　Ｒ％ｅｅＳｔｏｒａｇｅ（Ｔｉｅｄ）　＋ｎｄｉ ／＊＊手順の開始／機能の注釈− １本機能：タイ・グループを２つの独立グループに分割
しようｌネ　　　　とする Ｐｒｏｃｅｄｕｒｅ　ＭａｋｅＤｉｓｊｏｉｎｔＴｉｅ
ｓ：Ｖａｒ ０１ｄＣｉｒｏｕｐ　：　ＴｉｅＧｒｏｕｐＰｔｒＳ　
　　　　　／＊　　元の直列ブロック零／ＮｅｗＧｒｏ
ｕｐ　＋　ＴｆｅＧｒｏｕｐＰｔｒ：　　　　　　＃新
しい直列ブロック零／ｅｇｉｎ ０１ｄＧｒｏｕｐ　：”　ＣＢｕ＠、ＴｉｅＧｒｏｕｐ
ｉ／＊新しいＴｉｅＧｒｏｕｐを作成し、ＮｅｗＧｒｏ
ｕｐフィールドを初期設定する　＊／ＧｅｔＳｔｏｒａ
ｇｅ　（ＮｅｗＧｒｏｕｐ）　：ＮｅｗＧｒｏｕｐ＠、
ＴｉｅｄＣＢＳ　　　：＝　Ｎｉｌ：ＮｅｗＧｒｏｕｐ
＠、ＦｉｒｓｔＩｎＴｆｅ　＋＝　Ｎｉｌ：ＮｅｗＧｒ
ｏｕｐ＠、Ｌａ５ｔＩｎＴｉｅ　　＋＝　Ｎｉｌ：Ｉｆ
　ＬＩＣＣＢＩ！、ＦｉｒｓｔＴｉｅ　＝　Ｎｉｌ　ｔ
ｈｅｎ　／＊　ＵＣＣＢは完全に分離される＊／１）Ｃ
ＣＢ東ＴｉｅＧｒｏｕｐ　：＝　ＮｅｗＧｒｏｕｐｅｌ
ｓｅ　ｉｆ　ＰＣＣＢ＠、ＦｉｒｓｔＴｆｅ　＝　Ｎｉ
ｌ　ｔｈｅｎ／＊　ＰＣＣＢ　ｃｏｍｐｌｅｔｅｌｙ　
ｕｎｔ！ｅｄＰＣＣＢ＠、ＴｉｅＧｒｏｕｐ　Ｈｚ　Ｎ
ｅｗＧｒｏｕｐｅｌｓｅ　　　　　　　　　　　　　　
　　　　　　　　　　　　　　　　／＊　　多分２つの
タイ・グループ　＊／ＭａｋｅＤｉｓｊｏｉｎｔｓ； ／＊この時点で、２つのクイ・グルづを有することが保
証される。ネ／／ｌＥ各九−ブは少なくとも１つのＣＣ
Ｂをその中に有するが、　＄／／＊２つの対・グループ
が共に工づを持たないこともある　　　＊／５ｐｌｉｔ
ＴｉｅＬｉｓｔ；　　　　　　　　　　　　　　　　　
／＊　　クイ・グループ・リストを決定する　＊／Ｉｆ
　　０１ｄＧｒｏｕｐ＠、ＦｉｒｓｔＩｎＴｉｅ　　＝
　　Ｈｆｌ　　ｔｈｅｎ／＊空の場合は、古いクイ・残
づを解放する一ＰＩＦｒｅｅＳｔｒａｇｅ　（０１ｄＧ
ｒｏｕｐ）　！ｅｎｄ； ／ネ＊手順の開始／機能の注釈　　　　　　　　　　　
　　　　　／／ネ機能；ある九−ブに属する全てのエツ
ジを新しいタイ・グループに移す　ネ／Ｐｒｏｃｅｄｕ
ｒｅ　　ＭａｋｅＤｉｓＪｏｉｎｔＳｅｔｓ；Ｖａｒ　
ＣｕｒｒＥｄｇｅ　：　Ｅｄｇｅｐｔｒ：　　　　　／
＊　０１ｄＧｒｏｕｐ内の現在のエツジ＊／Ｂｅｇｉｎ
　　　　　／ネ０１ｄＧｒＯＬＩｇ）から最初のタイ−
ＱをＨｃｖＧｒｏｕｐに移す掌／ＭｏｖｅＥｄｇｅ　（
０１ｄＧｒｏｕｐ、　ＮｅｗＧｒｏｕｐ、０１ｄＧｒｏ
ｕ−、ＴｉｅｄＣＢｓ）；／＊最初の対・々類ａＬｌｓ
ｉｄａｓ及び同様のＰｓｉｄｅｓの全てを移す　＊ｌＣ
ｕｒｒＥｄｇｅ　：＝　ＮｅｗＧｒｏｕ−、ＴｉｅｄＣ
Ｂｓ：）ＧｏｖｅＳｉｄｅ　（０１ｄＧｒｏｕｐ、Ｎｅ
ｗＧｒｏｕｐ、ＣｕｒｒＥｄｇｅ＠、Ｕｓｉｄ−、Ｆｉ
ｒｓｔＥｄｇｅ。

Ｕｓｅｒ）　； ＭｏｖｅＳｉｄｅ　（０１ｄＧｒｏｕｐ、ＨｅｖＧｒｏ
ｕｐ、ＣｕｒｒＥｄｇｅ＠、Ｐｓｉｄｅ＠、Ｆｉｒｓｔ
Ｅｄｇｅ。

Ｐｒｏｖｉｄｅｒ）　： ／ｌｐ　０１ｄＧｒｏｕｐのエツジ連鎖を上から下へ連
続的にたどり、　　　＊／／＊　ＨｅｗＧｒｏｕｐでの
一致を含むエツジを移す。タイで結合されたＣＢ　　：
／／＊の終りに達したとき終了する　　　　　　　　　
　　　＊／ＣｕｒｒＥｄｇｅ　＋＝　０１ｄＧｒｏｕｐ
＠、ＴｉｅｄＣＢｓ＋Ｗｈｉｌｅ　　ＣｕｒｒＥｄｇｅ
　　ＯＮｉｌ　　Ｄ。

Ｉｆ　ＥｄｇｅＭａｔｃｈＦｏｕｎｄ　（ＣｕｒｒＥｄ
ｇｅ、ＨｅｖＧｒｏｕｐ）　ｔｈｅｎｅｇｉｎ ＭｏｖｅＳｉｄｅ　（０１ｄＧｒｏｕｐ、　ＮｅｗＧｒ
ｏｕｐｓＣｕｒｒＥｄｇｅ＠、Ｐｓｉｄｅ＠、Ｆｉｒｓ
ｔＥｄｇｅ、Ｐｒｏｖｉｄｅｒ）　ＮＣｕｒｒＥｄｇｅ
　！＝　０１ｄ［１ｉｒｏｕｐ＠、ＴｉｅｄＣＢｓ：ｎ
ｄ ｌｓｅ ＣｕｒｒＥｄｇｅ　＋＝　ＣｕｒｒＥｄｇｅ＠、Ｎｅｘ
ｔ；ｎｄ　Ｈ ／＊手順の開始／機能の注釈　　　　　　　　　　　　
　−９，−／ｌ＊機能：移されたばかりの討ジに関連す
るエイ側または提供者側＊／／＊すべてを新しいタイや
グループに移す　　　　　　　　　　　　　　ネ／Ｐｒ
ｏｃｅｄｕｒｅ　ＭｏｖｅＳｉｄｅ　（０１ｄＧｒｏｕ
ｐ　：　Ｔｉｅ（ｉｒｏｕｐＰｔｒ：ＮｅｗＧｒｏｕｐ
　：　ＴｉｅＧｒｏｕｐＰｔｒ：ＣｕｒｒＥｄｇｅ　：
　ＥｄｇｅＰｔｒ：５ｉｄｅ　　　：　ＢｌｏｃｋＵｓ
ｅ）　；Ｂｅｇｉｎ　　　　　　　　　　　　　　　／
傘　　同様な工づを全て移す＊／Ｔｈ１ｌｅ　Ｃｕｒｒ
Ｅｄｇｅ　ＯＮｉｌ　ｄ。

ｅｇｉｎ ）ＧｏｖｅＥｄｇｅ　（０１ｄＧｒｏｕｐ、１４ｅｗＧ
ｒｏｕｐ、ＣｕｒｒＥｄｇｅ）　：／車移動する次のエ
ツジをゲットする＊／Ｉｆ　５ｉｄｅ　＝　ｕｓｅｒ　
ｔｈｅｎＣｕｒｒＥｄｇｅ　：＝　ＣｕｒｒＥｄｇｅ＠
、ＨｅｘｔＵｌｓｅ ＣｕｒｒＥｄｇｅ　：＝　ＣｕｒｒＥｄｇｅ＠、Ｎｅｘ
ｔＰ＋ｅｎｄ： ｅｎｄ： ／ネ手順の開始／機能の注釈　　　　　　　　　　　　
　　　　　／／ネ機能：　０１ｄＧｒｏｕｐから１つの
エツジをＮｅｗＧｒｏｕｐに移し、全ての連鎖零／／ネ
　　　をそれに応じて調整する　　　　　　　　　　　
　　ネ／Ｐｒｏｃｅｄｕｒｅ　ＭｏｖｅＥｄｇｅ　（０
１ｄＧｒｏｕｐ　：　ＴｉｅＧｒｏｕｐＰｔｒ；Ｈｅｖ
Ｇｒｏｕｐ　：τｉｅＧｒｏｕｐＰｔｒｓＣｕｒｒＥｄ
ｇｅ　：　ＥｄｇｅＰｔｒ）ｉＢｅｇｉｎ　　　　　　
　　　／＊このエツジを０ｒｄＧｒｏｕｐ連鎖から取り
出す＊／Ｉｆ　ＣｕｒｒＥｄｇｅ！、Ｐｒｅｖ　＝　Ｎ
ｉｌ　ｔｈｅｎｅｇｉｎ ０１ｄＧｒｏｕｐ＠、ＴｉｅｄＣＢｓ　＝　ＣｕｒｒＥ
ｄｇｅ＠、ＨｅｘｔｓＩｆ　０１ｄＧｒｏｕｐ＠、Ｔｉ
ｅｄＣＢｓ　ＯＮｉｌ　ｔｈｅｎ０１ｄＧｒｏｕｐ＠、
ＴｉｅｄＣＢｓ＠、Ｐｒｅｖ　：＝　Ｎｉｌ；ｅｎｄ ｌｓｅ ｅｇｉｎ ＣｕｒｒＥｄｇｅ＠、Ｐｒｅｖ＠、Ｎｅｘｔ　＋＝　Ｃ
ｕｒｒＥｄｇｅ＠、Ｎｅｘｔ：Ｉｆ　ＣｕｒｒＥｄｇｅ
＠、Ｎｅｘｔ　ＯＨｉｔ　ｔｈｅｎＣｕｒｒＥｄｇｅ＠
、Ｎｅｘｔ東Ｐｒｅｖ　：＝ＣｕｒｒＥｄｇｅ＠＋Ｐｒ
ｅｖ；ｅｎｄ： ／宰この工→及び、ＮｅｗＧｒｏｕｐが所有するそのＣ
Ｏを作成し、ｔＰ／／＊次にこのニーをＮｅｗＧｒｏｕ
ｐの前に連鎖させる　　　　　　中／ＣｕｒｒＥｄｇｅ
＠。Ｔ！ｅＢ１ｋ　　　　　　Ｈｚ　ＨｅｖＧｒｏｕｐ
；ＣｕｒｒＥｄｇｅ＠、ＵＳｉｄｅ＠、ＴｉｅＧｒｏｕ
ｐ　：ｘ　ＮｅｖＧｒｏｕｐｉＣｕｒｒＥｄｇｅ飢ＰＳ
ｉｄ−、ＴｉｅＧｒｏｕｐ　ｘｘ　ＮｅｖＧｒｏｕｐ；
ＣｕｒｒＥｄｇｅ＠、Ｈｅｘｔ　　　　　　　雪ｓ　Ｈ
ｅｗＧｒｏｕｐ＠、ＴｉｅｄＣＢｓｉＣｕｒｒＥｄｇｅ
＠、Ｐｒｅｖ　　　　　　　：＝　Ｎｉｌ：ＮｅｗＧｒ
ｏｕｐ＠、丁ｆｅｄｃＢｓ　　　　　　　　：！　Ｃｕ
ｒｒＥｄｇｅＨＩｆ　ＣｕｒｒＥｄｇｅ＠、Ｎｅｘｔ　
ＯＨｉｔ　ｔｈｅｎＣｕｒｒＥｄｇｅ＠、Ｎｅｘｔ＠、
Ｐｒｅｖ　：＝　ＣｕｒｒＥｄｇｅｉｅｎｄ： ｌ井手順の間食１槻能の注釈 ｌネ機能：Ｘづの一致が見つかったかどうか調べる、、
、／ ＊／ ＴｉｅＢ）ｋ　　＝　ＴｉｅＧｒｏｕｐＰｔｒ）　：　
Ｂｏｏｌｅａｎ；ｅｇｉｎ ／＊　ＴｉｅＢｌｋは、全てのものが移される新しいＴ
ｉｅＧｒｏｕｐのアドレスで＊／／ｌｉあるＣｕｒｒＥ
ｄｇは、古いＴｆｆｉｅＧｒｏｕｐのエツジ連鎖から押
し出された＊／／零ばかりのニーである　　　　　　　
　　　　　　　　　　　＊／Ｉｆ　（ＣｕｒｒＥｄｇｅ
＠、１ＪＳｔｄ−、ＴｉｅＧｒｏｕｐ　＝　ＴｉｅＢｌ
ｋ）　ｏｒ（ＣｕｒｒＥｄｇｅ＠、ＰＳｉｄｅ＠、Ｔｉ
ｅＧｒｏｕｐ　嵩ＴｉｅＢｌｋ）　ｔｈｅｎＥｄｇｅ１
４ａｔｃｈＦｏｕｎｄ　：ｘ　Ｔｒｕｅｌｓｅ ＥｃｈｇｅＭａｔｃｈＦｏｕｎｄ　ｉ＝　Ｆａｌｓｅ＋
ｎｄ　ｉ ／ネネ手順の開始／機能の注釈＃＃キ＊…−９？−Ｐ’
Ｐ’ＰＩＴＷＷＭ？？！、ＭＷ＃／／ネ機能：飼・グル
ープ連鎖を分割する　　　　　　　　　　　　　　キｌ
ａｒ ＣｕｒｒＣＢ　：　ＣＣＢ　　　　　　　　　　　／＊
　　探索中の現在のＣＣＢ　＊／ＰｒｅｖＣＢ　！　Ｃ
ＣＢ　　　　　　　　　　　　／＊　　探索中の前のＣ
ＣＢ　　＊／ｅｇｉｎ ＣｕｒｒＣＢ　　：＝　　０１ｄＧｒｏｕｐ＠、Ｆｉｒ
ｓｔＩｎＴｉｅ；ＰｒｅｖＣＢ　：＝　Ｎｉｌ ／＊古いタイ・グループのカバー・リストの徹底的探索
　　　　　　　　　ｔｉ／Ｗｈｉｌｅ　ＣｕｒｒＣＢ　
ＯＮｉｌ　ｄ。

ｂｅｇｉ口 ／ｉ４そのＴｉｅＧｒｏｕｐＭｅｗＧｒｏｕｐに変更さ
れた場合、ＣＣＢは　　主１１本ＮｅｗＧｒｏｕｐのタ
イ・リストに記入される　　　　　　　　　　　ｔＩＩ
Ｉｆ　ＣｕｒｒＣ腑、ＴｉｅＧｒｏｕｐ　＝　ＨｅｖＧ
ｒｏｕｐ　ｔｈｅｎｅｇｉｎ ｌ＊これがシ・リスト中で最初のものでない場合は、リ
スト＊／／＊の中央部を調整する　　　　　　　　　　
　　＊／Ｉｆ　ＰｒｅｖＣＢ　Ｏ１ｌｉｌ　　ｔｈｅｎ
ｅｇｉｎ ＰｒｅｖＣＢｌ、ＮｅｘｔＩｎＴｉｅ　：＝　Ｃｕｒｒ
ＣＢｌ、ＨｅｘｔＩｎＴｉｅ：／＊これが似トの終りで
あったかどうか調べるネ／／ネため検査する　　　　　
　　　　　　　　ネ／Ｉｆ　０１ｃｊＧｒｏｕｐ＠、Ｌ
ａ５ｔＩｎＴｉｅ　＝　ＣｕｒｒＣＢ　ｔｈｅｎ０１ｄ
Ｇｒｏｕｐ＠、Ｌａ５ｔｌｎＴｉｅ　　＝　ＰｒｅｖＣ
ＢＳｎｄ ／＊さもない場合は、リストの前部を調整する　　幹１
ｓｅ ０１ｄＧｒｏｕｐ＠、ＦｉｒｓｔｌｎＴｉｅ　：＝：　
ＣｕｒｒＣＢｌ：、ＮｅｘｔＩｎＴｉｅ；ｌ掌空のＮｅ
ｗＧｒｏｕｐ％（・リストでは、Ｌａ５ｔ−ＩｎＴｔｅ
と　４／＊　Ｆｉｒｓｔ−ＩｎＴｉｅを同じにする。ソ
ノ後は、　　　＊／／＊　Ｌａ５ｔＩｎＴｔｅが再び変
わることがないように　＊／／＄新しい口を全て前部に
置（＊／ Ｉｆ　１ｌｅｖＧｒｏｕｐ＠、ＦｆｒｓｔＩｎＴｉｅ　
＝　Ｎｉｌ　ｔｈｅｎｅｇｉｎ ＮｅｗＧｒｏｕｐ＠、Ｌａ５ｔＩｎＴｉｅ　：＝　Ｃｕ
ｒｒＣＢ：ＣｕｒｒＣＢｌ、ＮｅｘｔＩｎＴｉｅ　　：
＝　Ｎｉｌ：ｅｎｄ １ｓｅ ＣｕｒｒＣＢ＠ＪｅｘｔＩｎＴｉｅ　　：＝　　Ｎｅｗ
Ｇｒｏｕｐ＠、ＦｉｒｓｔｌｎＴｔｅ：ＮｅｗＧｒｏｕ
ｐ＠、ＦｉｒｓｔＩｎＴｉｅ　：＝ＣｕｒｒＣＢ：／ネ
古いタイ・り外内の次のα１に移る　　　　　　　　＊
／Ｉｆ　ＰｒｅｖＣＢ　ＯＮｉｌ　ｔｈｅｎＣｕｒｒＣ
Ｂ　ｓｘ　Ｆ’ｒｅｖＣＢ１．ＮｅＸｔＩｎＴｉｅ１ｓ
ｅ ＣｕｒｒＣＢ　：：５０１ｄＧｒｏｕｐ＠、Ｆｉｒｓｔ
ＩｎＴｉｅ；ｅｎｄ　　／＊この口に対して変更はなく
、次に移るｅｌｓｅ ｅｇｉｎ ＰｒｅｖＣＢ　：＝　ＣｕｒｒＣＢ： ＣｕｒｒＣＢ　：＝　ＣｕｒｒＣＢ＠、ＮｅｘｔＩｎＴ
ｉｅ；ｅｎｄ： ｅｎｄ： ＊／ ｅｎｄ； Ｆ０発明の効果 本発明を用いれば、層状通信サブシステムの各層におい
てタイ・グループの保全性を良好に維持することができ
る。

【図面の簡単な説明】

第１図は、ホスト内のメツセージ処理の上下の動き及び
ホスト間の水平の動きを強調した、修正多層ＩＳＯＯ８
Ｉ基準モデルを示す図である。 第２図は、アプリケ−シーン層によって発生される基本
メツセージまたはデータと、伝送に先立って中間層及び
通信層がそれに対して加えた修正を記述する図である。 第３図は、本発明で使用されるタイ・グループの範嗜を
抽象的に表した図である。 第４図は、本発明の好ましい実施例における説明例で使
用されるタイ・グループのトポロジを記述する図である
。 第５図は、第４図に示したタイ・グループ・グラフ用の
隣接性／重複性マトリックスを示す図である。 第６図及び第７図は、それぞれタイ及びアンタイ動作に
よって修正された第５図のマトリックスを示す図である
。 第８図は、少なくとも１つのエツジが除去された状態の
、第４図に示したタイ・グループを示す図である。 出願人　　インターナシロナル・ビジネス・マシーンズ
ーコーポレーシロン 代理人　　弁理士　　頓　　宮　　孝　　−（外１名） １＃１タイ １対１し牧タイ叉ｉコ 汐数対１タイ ９Ｐ牧対埼し教クイ グループの種類 Ｆｉｇ、　３ Ｆｉｇ、　４

Claims (3)

【特許請求の範囲】
1. （１）各層の接続終点が接続制御ブロック（ＣＣＢ）に
   よって示され、ＣＣＢ間の関係がタイによって示される
   、ＣＰＵベースの階層的通信サブシステムにおいてタイ
   及びそれらの関連するタイ・グループの保全性を維持す
   るための方法であって、（ａ）タイ及びそれらのＣＣＢ
   を、頂点がＣＣＢを表し、エッジがタイを表すタイ・グ
   ループ関係のエッジ本位のグラフ上にマップするステッ
   プと、（ｂ）タイ・グループ内のＣＣＢをもはや参照し
   ない頂点を有するエッジを列挙し、それらを除去し、第
   ２のタイ・グループを形成するステップであって列挙が
   グラフの残りのｎ個のエッジのオイラー・トラバースに
   、ついて行なわれるステップとを含む方法。
2. （２）「タイ・グループ」が一組やタイで結合された接
   続制御ブロック（ＣＣＢ）であり、呼出し可能サブルー
   チンとして現われる各層が、対になった接続終点間の関
   連を確立するための固有な１組の機能を提供し、各層が
   、その層における接続終点のサブセットを表す少なくと
   も１つのＣＣＢを含む、ＣＰＵベースの階層的通信サブ
   システムの各層内のタイＣＣＢの保全性を維持するため
   の方法であって、 （ａ）グラフの頂点がＣＣＢであり、各エッジが１対の
   ラベルつき頂点で識別される、現タイ・グループのラベ
   ルつきエッジ本位グラフ表現に、タイ関係を動的に挿入
   するステップと、 （ｂ）呼び出された層と関連するタイ・グループである
   現タイ・グループのメンバーであるＣＣＢに関する層呼
   出しプリミティブを順次処理するステップと、 （ｃ）エッジ（タイ）の任意の除去に応答して、グラフ
   を通る経路を走査し、現タイ・グループを参照する少な
   くとも１つのラベルつき頂点を示さない走査済みの各エ
   ッジを評価し、除去するステップと、 （ｄ）除去されたエッジ（タイ）のラベルつき頂点で参
   照されるＣＣＢから別のタイ・グループを形成するステ
   ップと を含む方法。
3. （３）呼出し可能サブルーチンとして現れる各層が、対
   になった接続終了点間の関連を確立するための固有な１
   組の機能を提供し、各層が、その層における接続終点の
   サブセットを表す少なくとも１つの制御ブロック（ＣＣ
   Ｂ）を含み、 「サービス層」が、特定の層と関連するプロセスを呼び
   出し、それをその層におけるＣＣＢの指定された１つで
   パラメータ表示するための、外部から供給された構成体
   であり、「スレッド」が、対になったＣＣＢを横切って
   同期的に実行される一連の関連するサービス要求であり
   、 「タイ」が、同じ層内のＣＣＢ間の接続であり、「タイ
   ・グループ」が、１組のタイで結合されたＣＣＢであり
   、一時に１つのタイ、グループごとに１本のスレッドだ
   けが実行される、 ＣＰＵベースの階層的通信サブシステムにおいて、タイ
   及びそれらの関連するタイ・グループの保全性を維持す
   るための方法であって、 （ａ）現タイ・グループのエッジ本位グラフ表示にタイ
   関係を動的に挿入するステップと、 （ｂ）現タイ・グループのメンバーであるＣＣＢに対す
   るサービス要求を順次処理するステップと、（ｃ）グラ
   フを通るオイラー経路トラバースの間、上記現タイ・グ
   ループのメンバーであるＣＣＢ間のタイ関係を確認する
   ステップと、 （ｄ）走査中のエッジが、現タイ・グループを参照する
   少なくとも１つの頂点を欠く場合は、グラフからタイ関
   係（制御ブロック間のエッジ）を除去し、除去したタイ
   またはエッジから第２のタイ・グループを作成するステ
   ップと を含む方法。