3

很久以前，Rob Pike 和 Luca Cardelli 写了一篇论文，名为《Squeak：一种与老鼠交流的语言》。它基于 Hoare 的通信顺序进程，但它被编译成单线程 C 代码——运行时没有线程或调度程序。但是，我找不到 Squeak 的编译器，Rob Pike 继续编写newsqueak，它在运行时确实有一个不确定的调度程序，所以这不是我想要的。

Esterel 也是一种对并发有很多支持的语言，可以编译成单线程的 C 代码——但是 Esterel Technologies 卖 SCADE Studio 的钱这么多，他们甚至不会在他们的网页上说它的成本是多少。

Columbia Esterel 编译器可用。是否有其他现代语言可以将“多线程”算法编译为单线程、确定性输出？

谢谢。

4

3 回答 3

1

Esterel 的另一种实现，称为 Lustre，可在http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lv4-distrib上索取

它要求签署许可证，但我只是给 Pascal Raymond 发了电子邮件，他给我发了下载源代码的链接。

它有效，但设置它需要一点耐心。考虑制作一个 Automake 脚本来完成这项工作。

于 2009-12-08T23:44:48.720 回答
1

我不太确定你在问什么。您是否正在寻找具有确定性并发模型的编程语言？

如果是这样，典型的例子就是基于分布式 Oz 编程语言的Mozart 编程系统。

于 2009-10-14T15:28:10.223 回答
0

为什么不尝试属于同步语言家族的信号语言呢？

于 2014-12-02T21:00:32.610 回答