3
오래전에 Rob Pike와 Luca Cardelli는 paper "쥐와 의사 소통하기위한 언어"라고 썼습니다. 이것은 Hoare의 의사 소통 순차 프로세스를 기반으로하지만 런타임에 스레드 또는 스케줄러가없는 단일 스레드 C 코드로 컴파일되었습니다. 그러나 Squeak 컴파일러를 찾을 수 없으며 Rob Pike는 런타임에 비 결정적 스케줄러가있는 newsqueak을 작성했습니다. 따라서 원하는 것은 아닙니다.Squeak과 Esterel의 다른 현대적이고 자유로운 아날로그는 무엇입니까?
Esterel은 단일 스레드 C 코드로 컴파일 될 수있는 동시성에 대한 지원이 많은 언어이기도하지만 Esterel Technologies는 SCADE Studio를 많은 돈으로 판매합니다. 비용은 얼마 인지도 말하지 않습니다. 그들의 web page.
콜롬비아 Esterel 컴파일러는 available입니다. "멀티 스레드"알고리즘을 단일 스레드, 결정 론적 결과로 컴파일하는 다른 현대 언어가 있습니까?
감사합니다.
감사합니다. 매우 도움이됩니다. – Johnicholas