Protected procedure とは

コンピュータサイエンスでは、1965年に保護されたサービスルーチンとして最初に導入された保護された手順の概念は、2つの計算AとBが同じルーチンSを使用する場合に必要です。保護された手順は、2つの計算のうちの一方の誤動作が他方の計算に対して誤った実行を引き起こすことを可能にしないようなものである。
DennisとVan Horn(仮説的)システムの "監督者"の最も重要な側面の1つに、保護された手順の記述が含まれていました。
グローバル環境システム(いくつかの共有変数がある)では、保護された手続きメカニズムにより、最小限の権限の原則の実施と、リソース管理における副作用の回避が可能になります(Denningの原則を参照)。

Trace theory とは

数学とコンピュータサイエンスでは、トレース理論は、並列計算とプロセス計算の研究のための具体的な数学的基礎を提供することを目指しています。基礎となるのは、自由に部分的に可換性のモノイドまたは微量モノノイド、または等価的に、自由モノノイドが形式的言語の基礎を提供する方法に類似した具体的な代数的基盤を提供する歴史モノイドの代数的定義によって提供される。
微視的理論の力は、依存グラフ(ペトリネットなど)の代数が微分単項式の同型性であることから、代数的形式的言語ツールとグラフ理論のツールの両方を適用できるという事実に起因しています。
1960年代にピエール・カルティエとドミニク・フォアタがそのコンビナトリアルについて研究したトレース・モノイドは、1970年代のアントニ・マズールキビチによって微視的な理論が初めて公式化され、同時計算の理論のいくつかの問題を回避しようと試みられた。プロセス計算上の細分化に関するインタリーブおよび非決定論的選択の問題。

FDR (software) とは

FDR(Failures-Divergences Refinement)とその後のFDR2は、CSP(Communicating sequential processes)で表現された正式なモデルをチェックするように設計された洗練チェックソフトウェアツールです。このツールはもともとFormal Systems(Europe)Ltd.が開発したもので、オックスフォード大学コンピュータサイエンス学科のBill Roscoe氏は、このツールで使用されているアルゴリズムの多くを考案し、Michael Goldsmith氏は実装に役立ちました。 FDR2は、オックスフォード大学コンピュータサイエンス学科によって開発されたもので、学術およびその他の非営利目的で自由に利用できます。
FDRは、しばしばモデルチェッカーと呼ばれますが、技術的には2つのCSPプロセス式をラベル付き遷移システム(LTS)に変換し、プロセスの1つが特定のセマンティック内で他のものを洗練するかどうかを決定するという点で、モデル(トレース、失敗、失敗/発散、その他の選択肢)。 FDR2は、詳細化検査中に探索されなければならない状態空間のサイズを縮小するために、様々な状態空間圧縮アルゴリズムをプロセスLTSに適用する。
FDR2は1995年にFDR1と呼ばれていた以前のツールを置き換え、多くのリリースを経ています.FDR3は、並列実行と統合型チェッカーを組み込んだ完全に書き直されたバージョンです。 FDR3はオックスフォード大学からもリリースされ、2008-12年にFDR2もリリースされました。 ProBE CSP AnimatorはFDR3に統合されています。今はFDR4に引き継がれています。

Sideband computing とは

サイドバンドコンピューティングは、分散コンピューティングおよび複数の通信チャネルに関連するコンピュータサイエンスの一般的な用語です。
側波帯は、ユーザが通常のネットワークサービスに接続したときに別の通信チャネルが開かれ、それによってサーバがクライアントにタスクを配信するように定義される。サイドバンドコンピューティングの方法により、多くのクライアントを有するネットワークサーバは、大規模なスーパーコンピューティングネットワークを形成することができる。このプロセスの間、メインチャネルが維持されている限り、クライアント内のリソースは中央サーバを介して利用することができます。
一般に、このタスクは、個々のクライアントによって実行され、ソーシャルコンピューティング、ボランティアコンピューティング、エッジコンピューティング、グリッドコンピューティング、またはユーティリティコンピューティングなどの様々な分散コンピューティング環境で使用される任意のタスクであり得る。ソーシャルコンピューティングにおける共同作業の一例がその一例です。
サイドバンドコンピューティングはまた、各クライアントが個別に実行できる実際の計算タスクを実行するスーパーコンピューティングの一種です。サーバは各クライアントからの結果を集約することで、実際のスーパーコンピュータの機能を効果的に達成します。

Supercomputer architecture とは

初期のシステムが1960年代に導入されて以来、スーパーコンピュータアーキテクチャへのアプローチは劇的な変化を遂げています。 Seymour Crayによって先駆けられた初期のスーパーコンピュータアーキテクチャは、コンパクトで革新的な設計とローカル並列処理に頼って、優れた計算上のピーク性能を達成しました。しかし、時間の経過とともに、大規模な並列システムの時代には、計算能力の向上が求められていました。
1970年代のスーパーコンピュータは数少ないプロセッサを使用していましたが、1990年代には数千種類のプロセッサが搭載されたマシンが登場し、20世紀末までに数万の「既製」プロセッサを搭載した超並列スーパーコンピュータノルム21世紀のスーパーコンピュータは、高速接続で接続された100,000以上のプロセッサ(一部はグラフィックユニット)を使用できます。
何十年にもわたって、熱密度の管理は、ほとんどの中央集中型スーパーコンピュータにとって重要な問題であり続けました。システムによって生成される大量の熱は、他のシステム構成要素の寿命を短縮するなどの他の影響も有する可能性がある。 Fluorinertをシステムにポンプ輸送することから、ハイブリッド液体空気冷却システムまたは通常の空調温度を用いた空冷まで、熱管理に対する多様なアプローチが行われてきました。
膨大な数のプロセッサを有するシステムは、一般的に2つの経路のうちの1つをとる。例えば、グリッドコンピューティングにおいて、分散した多様な管理ドメイン内の多数のコンピュータの処理能力は、コンピュータが利用可能であるときは常に機知的に使用される。別のアプローチでは、多数のプロセッサが互いに近接して、例えばコンピュータクラスタ内で使用される。このような集中型超並列システムでは、相互接続の速度と柔軟性が非常に重要になり、現代のスーパーコンピュータは、強化されたInfinibandシステムから3次元トーラスインターコネクトまでのさまざまなアプローチを使用してきました。

Concurrent object-oriented programming とは

並行オブジェクト指向プログラミングは、オブジェクト指向プログラミング(OOP)と同時性を組み合わせたプログラミングパラダイムです。 Javaのような多くのプログラミング言語は、OOPとスレッドのような並行性メカニズムを組み合わせているが、主に、オブジェクトがアクターモデルと結合されたときのように、オブジェクト自体が並行プリミティブであるシステムを指す。

Cyclic executive とは

サイクリックエグゼクティブは、リアルタイムオペレーティングシステムの代替品です。これは、1つのタスクしかない協調マルチタスキングの一形態です。唯一のタスクは、通常、main()の無限ループとして実現されます。 C.
基本的なスキームは、設定された頻度で活動の繰り返しシーケンスを繰り返すことです。たとえば、温度センサーを監視し、LCDディスプレイを更新するように設計された組み込みシステムの例を考えてみましょう。 LCDは、20秒間(すなわち、50msごとに)書き込まれる必要があり得る。温度センサーを他の理由で100ミリ秒ごとに読み取る必要がある場合は、次のような外観のループを作成することがあります。
外側の100msのサイクルをメジャーサイクルと呼びます。この場合、50msの内部マイナーサイクルもあります。この第1の例では、外側サイクルと内側サイクルは明白ではない。メジャーメカニズムを使用して、メジャーサイクルとマイナーサイクルを明確にすることができます。

List of important publications in concurrent, parallel, and distributed computing とは

これは、並列コンピューティング、並列コンピューティング、および分散コンピューティングにおける重要な出版物のリストです。
特定の出版物が重要と考えられる理由はいくつかあります。
 トピック作成者 – 新しいトピックを作成した出版物ブレークスルー – 科学的知識を大幅に変更した出版物影響力 – 世界に大きな影響を与えた出版物、並行、並列、または分散コンピューティングの指導に多大な影響を与えた出版物。

Reactor pattern とは

原子炉設計パターンは、1つまたは複数の入力によってサービスハンドラに同時に配信されるサービス要求を処理するイベント処理パターンです。次に、サービスハンドラは、着信要求を多重分離し、それらを関連する要求ハンドラに同期してディスパッチします。

Processor array とは

プロセッサアレイは記憶アレイのようなものであるが、記憶素子の代わりに処理素子を含み管理する。
プロセッサアレイの特性は次のとおりです。
 シャーシあたり40個以上の処理要素(ブレード)をサポートする必要があります。シャーシはコモディティマザーボードの使用をサポートする必要があります。シャーシの寿命を延ばし、シャーシの変更コストを削減するために、 2つ以上の冗長仮想化I / O接続をサポートする必要があります