For a long time, Rob Pike and Luca Cardelli wrote an article called "Squeak: A Language for Speaking with Mice." It was based on the fact that Hoare reported sequential processes, but was compiled into single-threaded C code - without threads or a scheduler at runtime. However, I cannot find a compiler for Squeak, and Rob Pike continued to write newsqueak , which has a non-deterministic scheduler at runtime, and that’s not what I want.
Esterel is also a highly concurrency-enabled language that can be compiled into single-threaded C code, but Esterel Technologies sells SCADE Studio for so much money, they won’t even say how much it costs on a web page .
The Columbia Esterel compiler is available . Are there other modern languages that compile multi-threaded algorithms into single-threaded deterministic output?
Thanks.
source
share