imported>ExultantEditor 来自 2025年12月26日 (五) 18:03

2025-12-26T18:03:19Z

新页面

{{Infobox programming language
| name = Concurrent ML
| logo =
| paradigm = [[并发计算]]
| family = [[ML语言|ML]]
| year = {{Start date and age|1991|df=yes}}<ref name="pldi91">{{cite conference|title=CML: a Higher-Order Concurrent Language|conference=PLDI|date=June 1991|last=Reppy|first=John H.}}</ref>
| designer = John Reppy
| latest release version =
| latest release date =
| typing =
| implementations = [[新泽西Standard ML|SML/NJ]]<ref>{{cite web|url=https://www.smlnj.org/smlnj.html|title=What is Standard ML of New Jersey?|access-date=April 5, 2021|archive-date=2021-04-20|archive-url=https://web.archive.org/web/20210420014850/https://www.smlnj.org/smlnj.html}}</ref>，[[MLton]]<ref>{{cite web|url=http://mlton.org/ConcurrentMLImplementation|access-date=April 5, 2021|title=ConcurrentMLImplementation|archive-date=2021-05-16|archive-url=https://web.archive.org/web/20210516040737/http://mlton.org/ConcurrentMLImplementation}}</ref>， Manticore<ref name="manticore"/>
| dialects =
| influenced_by =
| influenced =
| file_ext =
| website = {{URL|http://cml.cs.uchicago.edu/}}
}}
'''Concurrent ML'''（CML）是[[Standard ML]][[编程语言]]的[[并发计算|并发]]扩展，其特征是能够允许编程者建立{{le|函数复合 (计算机科学)|Function composition (computer science)|可复合}}的通信[[抽象化 (计算机科学)|抽象]]，它是为[[头等对象]]而并未建入于语言。CML的设计和原语操作已经被一些其他编程语言接纳，比如[[GNU Guile]]<ref>{{cite web|url=https://wingolog.org/archives/2017/06/29/a-new-concurrent-ml|title=A New Concurrent ML|date=June 29, 2017|accessdate=July 11, 2018|first=Andy|last=Wingo|archive-date=2020-12-06|archive-url=https://web.archive.org/web/20201206011323/https://wingolog.org/archives/2017/06/29/a-new-concurrent-ml}}</ref>、[[Racket]]<ref>{{cite journal|last1=Flatt|first1=Matthew|last2=Findler|first2=Robert Bruce|date=2004|title=Kill-safe synchronization abstractions|journal=Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation|volume=39|issue=6|pages=47–58|doi=10.1145/996841.996849}}</ref>和Manticore<ref name="manticore">{{cite web|url=http://manticore.cs.uchicago.edu/papers/cefp09-notes.pdf|title=Programming in Manticore, a Heterogenous Parallel Functional Language|last1=Fluet|first1=Matthew|last2=Bergstrom|first2=Lars|last3=Ford|first3=Nic|last4=Rainey|first4=Mike|last5=Reppy|first5=John|last6=Shaw|first6=Adam|last7=Xiao|first7=Yingqi|date=May 2009|accessdate=July 11, 2018|archive-date=2021-05-16|archive-url=https://web.archive.org/web/20210516040737/http://manticore.cs.uchicago.edu/papers/cefp09-notes.pdf}}</ref>。

==概念==

很多支持[[并发性]]的编程语言提供在并发[[通道 (编程)|通信通道]]，来允许在并发运行于系统中的[[进程]]或[[线程]]之间的值交换。在进程之间建立的通信服从特定的协议，要求编程者书写函数来建立通信所要求的模式。同时，通信系统经常需要建立多个通道，比如多个[[服务器]]，并接着在有新数据可获得的时候，在可获得的通道之间进行选择。这可以使用[[轮询]]完成，比如Unix系统上的<code>[[select (Unix)|select]]</code>操作。

组合特定于应用的协议和多方通信二者可能是复杂的，因为需要在预先存在的协议内介入轮询和检查[[阻塞 (计算)|阻塞]]。Concurrent ML通过介入可同步的[[事件 (同步原语)|事件]]，简约了这种编程概念的[[耦合性 (计算机科学)|耦合]]<ref name="cml-paper">{{cite book|journal=Functional Programming, Concurrency, Simulation and Automated Reasoning|volume=693|pages=165–198|first=John H.|last=Reppy|title=Concurrent ML: Design, application and semantics|date=1993|doi=10.1007/3-540-56883-2_10|series=Lecture Notes in Computer Science|isbn=978-3-540-56883-4}}</ref>。事件是可用于[[同步]]操作（在CML和Racket中叫做<code>sync</code>）的头等抽象，用于潜在的阻塞并接着产生来自通信（例如在通道上的数据传输）结果的一些值。

在CML中，事件可以使用一些原语（primitive）操作来组合或操纵。每个原语操作构造一个新事件而非就地修改事件，允许构造表示想要的通信模式的复合事件。例如，CML允许编程者组合一些子事件来创建复合事件，它可以非确定性的选择其中某一个子事件。另一个原语操作建立新事件，它会修改来自在最初事件上的同步的结果值。这些事件具体化了通信模式，在非CML语言中要使用轮询循环或函数通过给每类事件的处理器来处理。

==样例代码==
下面是打印“[[hello, world]]”至控制台的样例代码。它产生一个[[线程]]来为[[字符串]]创建一个通道。这个线程接着产生另一个线程，来打印在这个通道上接收的第一个字符串。前者线程接着在这个通道上发送<code>"hello, world\n"</code>字符串。它使用了[[新泽西Standard ML|SML/NJ]]和CML：

;cml_test.cm：
<syntaxhighlight lang="pascal">
Library
structure Hello
is
$cml/basis.cm
$cml/cml.cm
cml_test.sml
</syntaxhighlight>
;cml_test.sml：
<syntaxhighlight lang="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
</syntaxhighlight>
;运行：
<syntaxhighlight lang="console">
$ ml-build cml_test.cm Hello.main
Standard ML of New Jersey v110.79 [built: Mon Apr 22 10:14:55 2024]
[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: 2507 bytes]
[scanning 17180-export.cm]
[scanning (17180-export.cm):cml_test.cm]
[parsing (17180-export.cm):17180-export.sml]
[compiling (17180-export.cm):17180-export.sml]
[code: 317, data: 37, env: 40 bytes]
$ sml @SMLload=cml_test.x86-linux
hello, world
</syntaxhighlight>
注意在非linux-x86平台上堆名字可能不同，若此则需要将有<code>cml_test.x86-linux</code>的行变更为对应的变体。在[[Ubuntu]]系统下，CML的安装包是<code>libcml-smlnj</code>。

==引用==
{{reflist|2}}

==外部链接==
{{Official website|http://cml.cs.uchicago.edu/}}

[[Category:程序架构]]
[[Category:并发编程语言]]
[[Category:ML语言家族]]
[[Category:1991年建立的程式語言]]

Concurrent ML - 版本历史

imported>ExultantEditor 来自 2025年12月26日 (五) 18:03