gpt4 book ai didi

c - Squeak 和 Esterel 的其他现代免费类似物是什么?

转载 作者:行者123 更新时间:2023-12-02 02:36:12 24 4
gpt4 key购买 nike

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

Esterel 也是一种对并发性有很多支持的语言,可以编译成单线程 C 代码——但是 Esterel Technologies 卖 SCADE Studio 的钱很多,他们甚至不会说他们的成本是多少web page .

Columbia Esterel 编译器是 available .是否有其他现代语言将“多线程”算法编译为单线程、确定性输出?

谢谢。

最佳答案

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

如果是这样,典型的例子就是 Mozart Programming System ,基于分布式 Oz 编程语言。

关于c - Squeak 和 Esterel 的其他现代免费类似物是什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/1566900/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com