Concurrent ML

Concurrent ML (CML) —

Реализован в виде библиотеки. Входит в стандартную поставку компиляторов SML/NJ^[англ.] и MLton. С минимальными изменениями CML планируется ввести в стандарт будущего языка successor ML.

CML воплощает модель синхронной передачи сообщений,

CML разработан во времена, когда процессоры с поддержкой аппаратного параллелизма были роскошью, так что его ранние реализации ориентировались на физически последовательное исполнение. Впоследствии был разработан «Parallel Concurrent ML»^[2], исполняемый на современных процессорах более эффективно.

Своим созданием и развитием CML в основном обязан Джону Реппи (англ. John Reppy)^[4].

Concurrent ML выделяется среди большинства

• В компиляторе
  оптимизацию хвостовых вызовов (Tail Call Optimisation, TCO), то из результирующего кода полностью устраняется динамический стек
  , и распараллеленные программы получаются весьма эффективными.
• callcc требует временных затрат, пропорциональных размеру стека, что в данном случае тем более неприемлемо. Поэтому при портировании реализация CML была переключена с продолжений на «тонкие» потоки MLton, основанные на потоках операционные системы. Как следствие, исходный код на CML под MLton портируем за счёт абстракции, но скомпилированный код уже получается специфичным для данной платформы. Потоки MLton несколько тяжеловеснее, чем продолжения в SML/NJ, но разработчики полагают, что это исправимо. MLton предоставляет базовую функциональность CML, в основном повторяющую поведение имеющейся в SML/NJ^[англ.], но не реализует потоко-безопасную обёртку над Базисной библиотекой и реактивные
  эквиваленты функциональности модулей IO и OS.

На CML написана библиотека eXene[5], реализующая параллельную реактивную модель графического интерфейса пользователя под X Window System.

Программа «

structure Hello =
   struct
      open CML

      fun hello () =
         let
            val c : string chan = channel ()
         in
            spawn ( fn () => TextIO.print (recv c) );
            send ( c, "hello, world!\n" );
            exit ()
         end

      fun main (name, argv) =
         RunCML.doit ( fn () => ignore (spawn hello), NONE )
   end