Concurrent ML

Concurrent ML

編程範型	並發計算
語言家族	ML
設計者	John Reppy
面市時間	1991年​（1991）
當前版本	110.79（2015年10月4日；穩定版本）
網站	cml.cs.uchicago.edu
主要實作產品
SML/NJ，MLton， Manticore

Concurrent ML（CML）是Standard ML編程語言的並發擴展，其特徵是能夠允許編程者建立可複合的通信抽象，它是為頭等對象而並未建入於語言。CML的設計和原語操作已經被一些其他編程語言接納，比如GNU Guile、Racket和Manticore。

概念

很多支持並發性的編程語言提供在並發通信通道，來允許在並發運行於系統中的進程或線程之間的值交換。在進程之間建立的通信服從特定的協議，要求編程者書寫函數來建立通信所要求的模式。同時，通信系統經常需要建立多個通道，比如多個服務器，並接着在有新數據可獲得的時候，在可獲得的通道之間進行選擇。這可以使用輪詢完成，比如Unix系統上的select操作。

組合特定於應用的協議和多方通信二者可能是複雜的，因為需要在預先存在的協議內介入輪詢和檢查阻塞。Concurrent ML通過介入可同步的事件，簡約了這種編程概念的耦合。事件是可用於同步操作（在CML和Racket中叫做sync）的頭等抽象，用於潛在的阻塞並接着產生來自通信（例如在通道上的數據傳輸）結果的一些值。

在CML中，事件可以使用一些原語（primitive）操作來組合或操縱。每個原語操作構造一個新事件而非就地修改事件，允許構造表示想要的通信模式的複合事件。例如，CML允許編程者組合一些子事件來創建複合事件，它可以非確定性的選擇其中某一個子事件。另一個原語操作建立新事件，它會修改來自在最初事件上的同步的結果值。這些事件具體化了通信模式，在非CML語言中要使用輪詢循環或函數通過給每類事件的處理器來處理。

樣例代碼

下面是打印「hello, world」至控制台的樣例代碼。它產生一個線程來為字符串創建一個通道。這個線程接着產生另一個線程，來打印在這個通道上接收的第一個字符串。前者線程接着在這個通道上發送"hello, world\n"字符串。它使用了SML/NJ和CML：

cml_test.cm：

Library
    structure Hello
is
    $cml/basis.cm
    $cml/cml.cm
    cml_test.sml

cml_test.sml：

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

運行：

$ ml-build cml_test.cm Hello.main
Standard ML of New Jersey v110.79 [built: Sat Oct 26 12:27:04 2019]
[scanning cml_test.cm]
[library $cml/basis.cm is stable]
[library $cml/cml.cm is stable]
[parsing (cml_test.cm):cml_test.sml]
[creating directory .cm/SKEL]
[library $cml/cml-internal.cm is stable]
[library $cml/core-cml.cm is stable]
[library $SMLNJ-BASIS/basis.cm is stable]
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable]
[compiling (cml_test.cm):cml_test.sml]
[creating directory .cm/GUID]
[creating directory .cm/x86-unix]
[code: 2738, data: 42, env: 2506 bytes]
[scanning 68899-export.cm]
[scanning (68899-export.cm):cml_test.cm]
[parsing (68899-export.cm):68899-export.sml]
[compiling (68899-export.cm):68899-export.sml]
[code: 317, data: 37, env: 40 bytes]
$ sml @SMLload=cml_test.x86-linux
hello, world

注意在非linux-x86平台上堆名字可能不同，若此則需要將有cml_test.x86-linux的行變更為對應的變體。在Ubuntu系統下，CML的安裝包是libcml-smlnj。

外部連結

官方網站