Joyce（プログラミング言語）

エージェントとは、一連のステートメントと、場合によってはネストされた他のエージェントの定義から構成される手続きです。エージェントは、作成者と同時に実行されるサブエージェントを動的にアクティブ化できます。エージェントは、すべてのサブエージェントが終了した場合にのみ終了できます。たとえば、エージェントは以下をアクティブ化します。process2process1

エージェントプロセス1 （x 、y ：整数）始める...終わり;エージェントプロセス2 () ;プロセス1を使用する。始めるプロセス1 （9、17 ）​​終わり;

エージェントが起動すると、すべてのローカル変数の新しいインスタンスが作成され、各仮パラメータの値がローカル変数にコピーされます。そのため、エージェントは他のエージェントの変数にアクセスできず、チャネルを介してのみ通信できます。この制限により、競合状態など、共有変数の使用に伴う問題を防ぐことができます。

エージェントはチャネルと呼ばれるエンティティを介して通信します。チャネルには、送信可能なシンボルのセットを定義するアルファベットがあります。チャネルは動的に作成され、ポート変数を使用してアクセスされます。ポートタイプは、そのアルファベットを構成する固有のシンボルセットによって定義されます。複数の値を持つシンボルは、特定のタイプで定義されます。例：

stream = [ int ( integer ) , eos ] ;

このシンボルは、任意の整数値を持つメッセージシンボルint(integer)を表します。2 番目の型なしシンボル宣言(ストリームの終了) はシグナルと呼ばれます。ポート型が定義されると、その型のポート変数を宣言できます。inteos

出力: ストリーム ストリーム内 

そして、エージェント内部のチャネルエンティティは、次のようにしてアクティブ化できます。

+出力; 

?その後、シンボルはCSPスタイルの入力演算子と出力演算子を使用してチャネル上で送受信できます!。通信は、送信エージェントと一致する受信エージェントが存在する場合にのみ発生します。受信エージェントは、送信されるシンボルタイプを受信することを想定する必要があります。たとえば、値9に続いてeosシンボルがポートに送信されますout。

出力! int ( 9 )出力! eos

そして、整数メッセージが一致する型の変数に受信され、その後にコロンが続きますeos。

受信した値:整数(受信)はeosですか?

ポーリングステートメントは、CSPのガード付き代替案の概念に基づいています。ポーリングステートメントは一連のステートメントで構成され、各ステートメントは入力チャネルステートメントによってガードされます。送信エージェントとガードの間で通信が一致すると、ガードが実行され、続いて対応するステートメントが実行されます。例：

投票 ? X -> x := x + 1 | ? Y -> y := y + 1 終わり 

ポートがin信号Xまたはを監視している場合Y、一致する通信が発生すると、対応する変数xまたはがyインクリメントされます。

Joyceは、コンパイラが言語規則へのすべての違反を検出できるという意味で、安全な言語として設計された。

エージェントプロシージャの同時実行のため、エージェント呼び出しのアクティベーションレコードが後入れ先出しパターンに従わないため、従来の逐次スタック割り当て方式は使用できません。代わりに、クリエーターとサブエージェントの関係はツリー構造のスタックを形成します。この動作を実装するために、スタックの最上位に新しいアクティベーションレコードを割り当て、サブエージェントのアクティベーションレコードをクリエーターのレコードにリンクするというシンプルな方式が用いられます。これらのレコードは、エージェントが終了し、スタックの最上位にある場合にのみ解放されます。 ^{[ 3 ]}この方式の有効性は、プログラムの構造と動作に依存し、場合によってはメモリ使用効率が低下することがあります。より効率的な方式は、Hansen の言語SuperPascalで実装されました。