编辑“︁Modula-3”︁（章节）

===多线程===
语言支持多[[线程]]和在线程间的[[同步 (计算机科学)|同步]]。在[[运行时库]]（m3core）中有一个必要接口叫做<code>Thread</code>，它支持采用[[分叉会合模型]]的多线程应用。这里还预定义不透明类型<code>[[互斥锁|MUTEX]]</code>被用来同步多个线程，并保护共享数据免于具有可能损害或竞争条件的同时访问。<code>MUTEX</code>是一个对象，因此可以从它派生其他对象。

<code>LOCK</code>语句有如下形式：{{code|2="modula2"|1=LOCK mu DO S END}}，这里的<code>S</code>是一个语句，而<code>mu</code>是一个表达式，它等价于：
<syntaxhighlight lang="objectpascal">
WITH m = mu DO
    Thread.Acquire(m);
    TRY S FINALLY Thread.Release(m) END
END
</syntaxhighlight>
这里的<code>m</code>表示不出现在<code>S</code>中的一个变量。<code>LOCK</code>语句介入一个[[互斥锁]]要锁定的块，并暗含着在代码执行轨迹离开这个块时的解锁它。