很久以前,Rob Pike和Luca Cardelli写了一个叫做"Squeak:一种与鼠标交流的语言“的paper。它基于Hoare的通信顺序进程,但它被编译成单线程C代码-在运行时没有线程或调度器。然而,我找不到用于Squeak的编译器,Rob Pike继续编写newsqueak,它在运行时确实有一个不确定的调度器,所以这不是我想要的。
Esterel也是一种支持并发的语言,可以编译成单线程的C代码--但是Esterel Technologies以如此高的价格出售SCADE Studio,他们甚至不会说在他们的web page上需要多少钱。
哥伦比亚的Esterel编译器是available。有没有其他的现代语言可以将“多线程”算法编译成单线程的确定性输出?
谢谢。
发布于 2009-10-14 15:28:10
我不太清楚你在问什么。您是否在寻找具有确定性并发模型的编程语言?
如果是这样的话,典型的例子就是基于分布式Oz编程语言的Mozart Programming System。
发布于 2009-12-09 07:44:49
另一种名为Lustre的Esterel实现可通过http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lv4-distrib获得
它要求签署许可证,但我刚刚给Pascal Raymond发了一封电子邮件,他给我发来了下载源代码的链接。
它是有效的,但设置它需要一点耐心。正在考虑制作一个Automake脚本来完成这项工作。
发布于 2014-12-03 05:00:33
为什么不试试属于Synchronous languages家族的signal language呢?
https://stackoverflow.com/questions/1566900
复制相似问题