Readers–writers problem とは

コンピュータサイエンスでは、読者 – ライターの問題は、並行処理における一般的なコンピューティングの問題の例です。多くのスレッドが同じ共有リソースに一度にアクセスしようとする状況に対処する、少なくとも3つのバリエーションの問題があります。いくつかのスレッドは、読取りまたは書込みのために共用リソースにアクセスするプロセスがなく、別のプロセスが書込み動作中であるという制約で、読取りおよび書込みを行うことができる。 (特に、2人以上の読者が同時に共有にアクセスすることは許可されています。)読者 – ライター・ロックは、1つ以上のリーダー – ライターの問題を解決するデータ構造です。
基本的なリーダライタの問題は、Courtoisらによって最初に公式化され、解決された。

Parallel I/O とは

コンピュータの文脈における並列I / Oは、複数の入出力操作の同時実行を意味し、例えば、記憶装置および表示装置への同時出力などである。オペレーティングシステムの基本機能です。
1つの特定の例は、ディスクへのデータの並列書き込みである。ファイルデータが複数のディスク、例えばRAIDアレイに分散されている場合、同時に複数のデータを格納することができ、単一のデバイスよりも書き込み速度が向上します。
パラレル仮想ファイルシステム、Lustre、GFSなど、データへの並列アクセスの他の方法があります。

Communicating finite-state machine とは

コンピュータサイエンスでは、通信有限状態マシンは、あるアルファベットのチャンネルに「受信」および「送信」オペレーションが付いた有限状態マシンです。それらはBrandとZafiropuloによって導入され、ペトリネットのような並行プロセスのモデルとして使用できます。通信有限状態マシンは、有界性、デッドロック、および不特定の受信を含む主要なプロトコル設計エラーを検出することを可能にするので、通信プロトコルをモデル化するために頻繁に使用される。
有限状態機械を通信することの利点は、それらがそのような特性を検出するだけのレベルを超えて、通信プロトコルにおける多くの特性を決定することを可能にすることである。この利点は、人間の援助または一般性の制限の必要性を排除する。
2つの有限状態機械が1つのタイプのメッセージのみと通信するときに、有界性、デッドロック、および不特定の受信状態を決定し識別することができるという概念自体の導入によって証明されているまたはそれ以上の種類のメッセージ。後で、1つの有限状態マシンだけが単一のタイプのメッセージと通信している間に、そのパートナーの通信が制約されていない場合でも、有界性、デッドロックおよび不特定の受信状態を決定し特定することができることがさらに証明されている。
さらに、有限状態機械間の通信に2種類以上のメッセージが存在する状況においても、メッセージ優先度関係が空の場合に有界性、デッドロック、不特定受信状態を判定できることが証明されている。
有界性、デッドロック、および不特定の受信状態はすべて多項式時間で決定可能である(特定の問題は無限大の時間ではなく、扱いやすい形で解決できることを意味する)。
有限状態機械を伝えることは、伝播遅延が無視できない(一度に複数のメッセージが通過するようになる)状況、プロトコル当事者と通信媒体を別々のエンティティとして記述するのが自然な状況。

Nets within Nets とは

ネット内のネットは、ペトリネットのファミリーに属するモデリング方法です。この方法は、他の種類のペトリネットとは、ペトリネットモデリングに基づいた適切な構造をトークンに提供する可能性によって区別されます。したがって、ネットは、さらにネットアイテムを含むことができ、移動して自ら発砲することができる。

Reo Coordination Language とは

{{待って}}
Reoは、個々のプロセスを完全なシステムに構成し、広く解釈されたコーディネーション・プロトコルをプログラミングおよび分析するためのドメイン固有の言語です。 Reoで構成できるシステムのクラスの例には、コンポーネントベースのシステム、サービス指向のシステム、マルチスレッドシステム、生物システム、および暗号プロトコルが含まれます。 Reoにはグラフィカルな構文があり、コネクタや回路と呼ばれるすべてのReoプログラムはラベル付きのハイパーグラフです。このようなグラフは、システム内のプロセス間のデータフローを表します。 Reoには正式なセマンティクスがあり、正式なセマンティクスはさまざまな正式な検証手法とコンパイルツールに基づいています。

Turn restriction routing とは

ルーティングアルゴリズムは、ネットワーク内のソースルータから宛先ルータまでのパケットに続くパスを決定します。ルーティングアルゴリズムを設計する際に考慮すべき重要な側面は、デッドロックを回避することです。ターン制限ルーティングは、ネットワーク内の送信元ノードから宛先ノードまでのルートを決定しながらアルゴリズムで許容されるターンのタイプを制限することによってデッドロックを回避するトポロジーのメッシュファミリのルーティングアルゴリズムです。

Construction and Analysis of Distributed Processes とは

CADP(分散プロセスの構築と分析)は、通信プロトコルと分散システムの設計のためのツールボックスです。 CADPは、INRIA Rhone-AlpesのCONVECSチーム(以前はVASYチームによって開発された)によって開発され、さまざまな補完的なツールに接続されていました。 CADPは、維持され、定期的に改善され、多くの産業プロジェクトで使用されます。
CADPツールキットの目的は、シミュレーション、迅速なアプリケーション開発、検証、およびテスト生成のためのソフトウェアツールとともに、正式な記述技術を使用して信頼性の高いシステムの設計を容易にすることです。
CADPは、非同期並行性、すなわち、インタリーブセマンティクスによって管理される一組の並列プロセスとして挙動をモデル化することができる任意のシステムに適用することができる。したがって、CADPは、ハードウェアアーキテクチャ、分散アルゴリズム、電気通信プロトコルなどの設計に使用できます。CADPで実装されている列挙型検証(明示的な状態検証とも呼ばれます)技術は、理論の証明はあまり一般的ではありませんが、複雑なシステムでの設計ミス
CADPには、フォーマルメソッドでの2つのアプローチの使用をサポートするツールが含まれています。どちらも信頼できるシステム設計に必要です。
 モデルは、並列プログラムと関連する検証問題の数学的表現を提供します。モデルの例は、オートマトン、通信オートマトンのネットワーク、ペトリネット、バイナリ決定図、ブール方程式系などである。理論的な観点から、モデルに関する研究は、特定の記述言語とは無関係の一般的な結果を求めている。実際には、モデルは複雑なシステムを直接記述するにはあまりにも基本的すぎる(これは退屈でエラーが起こりやすい)。高水準の記述を検証アルゴリズムに適したモデルに変換するコンパイラと同様に、プロセス代数またはプロセス計算と呼ばれるより高いレベルの形式が必要です。

Balking pattern とは

バルキングパターンは、オブジェクトが特定の状態にあるときにオブジェクトに対してアクションを実行するだけのソフトウェア設計パターンです。たとえば、オブジェクトがZIPファイルを読み込み、呼び出しメソッドがZIPファイルが開いていないときにオブジェクトのgetメソッドを呼び出すと、オブジェクトはその要求で「balk」します。たとえば、Javaプログラミング言語では、このような状況でIllegalStateExceptionがスローされることがあります。
この分野には、デザインパターンよりもアンチパターンをもっと嫌ういくつかの専門家がいます。オブジェクトがそのAPIをサポートできない場合、問題のコールが利用できないようにAPIを制限するか、制限なくコールを行うことができるようにする必要があります。
 「均等な状態」で作成されています。正常な状態になるまで使用できません。ファサードになり、正常な状態にあるオブジェクトに返答します。

Unbounded nondeterminism とは

コンピュータサイエンスでは、無制限の非決定性または無制限の不確定性は、並行性の特性であり、共有リソースの競合の仲裁の結果として要求を処理する遅延の量が無制限になり、依然として要求が最終的にサービスされることを保証する。無限の非決定論は、並行性の意味論的意味論の開発において重要な問題となり、その後、ハイパー計算の理論的概念の研究の一部となった。