放送システム計算（CBS）は、プロセスが一度に1つずつ発話し、それぞれの発話が他のすべてのプロセスに瞬時に聞こえるという、 CCSに似た計算体系です。発話は自律的であり、発話者間の競合は非決定論的に解決されますが、聞こえるのは他の誰かが発話したときだけです。観測的に意味のある法則はCCSの法則とは異なります。CCSのハンドシェイク通信は、CBSでは放送通信に変更されます。これにより、いくつかの追加機能が可能になります。
- 自律的な行動にのみ適用される優先順位は、コミュニケーションの結果として行動が生じるCCSとは対照的に、CBSでは単純に追加される。
- CBSシミュレータは、ブロードキャストする値のリストを返すことでプロセスを実行します。これにより、CBSとホスト言語との強力な組み合わせが可能になります。その結果、いくつかの洗練されたアルゴリズムが生まれます。実際には、各入力に対して一意の応答を持つプロセスのみが必要なので、弱い双方向シミュレーションは合同です。
- CBSサブシステムはトランスレータを介して接続されます。トランスレータはメッセージを無音にマッピングすることで、聴覚を制限し、音声を隠蔽することができます。トランスレータを反転させると、そのスコープが逆転します。これにより、通信リンクの新しい仕様が可能になります。つまり、各ユーザーの環境は、他のユーザーと同じように動作するべきなのです。
外部リンク
- CiteSeerからの引用
- C++によるTCBSの実装 ― コース「並列処理」のための実験
