3

昔、RobPikeとLucaCardelliは、「Squeak：マウスとのコミュニケーションのための言語」という論文を書きました。これは、Hoareの通信シーケンシャルプロセスに基づいていましたが、シングルスレッドのCコードにコンパイルされました。実行時にスレッドやスケジューラーはありません。しかし、Squeakのコンパイラーが見つからず、Rob Pikeはnewsqueakを書き続けました。これは、実行時に非決定的なスケジューラーを持っているため、私が望んでいることではありません。

Esterelは、同時実行性をサポートする言語でもあり、シングルスレッドのCコードにコンパイルできますが、EsterelTechnologiesはSCADEStudioを高額で販売しているため、Webページでいくらかかるかについても言及していません。

コロンビアエステレルコンパイラが利用可能です。「マルチスレッド」アルゴリズムをシングルスレッドの決定論的出力にコンパイルする他の現代言語はありますか？

ありがとう。

4

3 に答える 3

1

Lustre と呼ばれる Esterel の別の実装は、要求に応じてhttp://www-verimag.imag.fr/SYNCHRONE/index.php?page=lv4-distribで入手できます。

署名付きのライセンスが必要ですが、Pascal Raymond に電子メールを送信したところ、ソース コードをダウンロードするためのリンクが送られてきました。

動作しますが、セットアップには少し忍耐が必要です。仕事をするAutomakeスクリプトを作ることを考えています。

于 2009-12-08T23:44:48.720 に答える
1

あなたが何を求めているのかよくわかりません。決定論的並行性モデルを備えたプログラミング言語をお探しですか?

もしそうなら、標準的な例は、分散型 Oz プログラミング言語に基づくMozart Programming Systemでしょう。

于 2009-10-14T15:28:10.223 に答える