結合（同時実行ライブラリ）

Joins は、.NET Framework用のMicrosoft Researchの非同期同時コンピューティング API ( Join パターン)です。これは結合計算に基づいており、 Cω言語の同時実行構造を、CLI 準拠の言語で使用できるCLI アセンブリとして利用できるようにします。

概要

Joins は、Joins パターンを使用してアプリケーション内の同時実行性を表現するために使用できます。これは、マルチスレッドアプリケーションとイベントベースの分散アプリケーションの両方で使用できます。Joins API は、同期パターンの宣言型セーフ表現をエミュレートします。

Joins ライブラリは、非同期メソッドと同期メソッドをエミュレートします。Cω と Joins の用語では、非同期メソッドは呼び出し元メソッドをブロックせず、結果も返しません。一方、同期メソッドは呼び出し元メソッドをブロックします。Joins API では、同期メソッドと非同期メソッドはジェネリックデリゲートとして実装されます。ジェネリックを使用すると、型の安全性が確保されます。たとえば、同期メソッドと非同期メソッドのセットを作成し、それらを使用してパターンを実装するオブジェクトを作成できます。

パブリッククラスJoinDemo { public readonly Asynchronous.Channel < int > Queue ; public readonly Asynchronous.Channel < string > Send ; public readonly Synchronous < int > . Channel Retrieve ; private Join joinPattern = Join.Create ( ) ; public JoinDemo ( ) { joinPattern.Initialize ( out Queue ) ; joinPattern.Initialize ( out Send ) ; joinPattern.Initialize ( out Retrieve ) ; } }

非同期メソッドが呼び出されると、パラメータはチャネルに配置されます。チャネルは、Joins ランタイムによって管理されるキューです。メソッドは、オプションで新しいスレッドを開始して、バックグラウンドでパラメータを処理し、結果を返すことができます。対応する同期メソッドが呼び出されると、パラメータが返され、さらに処理されます。同期メソッドが呼び出されたときにキューにパラメータが存在しない場合、呼び出し元は停止します。Joins ランタイムは、準備ができているかどうかに基づいて、どのパラメータを返すかをスケジュールします。

メソッドの同期パターンは、一連のチャネルが呼び出されたときに何が起こるかを説明する結合パターンによって定義されます。たとえば、SendとRetrieveが一緒に呼び出された場合に起こることは、 SendとQueueが一緒に呼び出された場合とは異なる場合があります。

public void SetPatterns () { join.When ( Send ) .And ( Retrieve ) .Do ( s => s ); join.When ( Queue ) .And ( Retrieve ) .Do ( n = > n.ToString ( )); join.When ( Send ) .And ( Queue ) .And ( Retrieve ) .Do ( s = > { Send ( s ) ; return Retrieve ( ) ; } ) ; }

参考文献

結合同時実行ライブラリ
結合 — 並行処理ライブラリ

外部リンク

マイクロソフトリサーチに入社