ture"是包含I-var的数据结构。可以使用不同值多次设置的相关同步构造称为"M-var"。M-var支持"采用"或"放置"当前值的原子操作，其中取值还将M-var设置回其初始"空"状态。 "并发逻辑变量"与future类似，但是通过合一更新，与逻辑编程中的"逻辑变量"相同。因此，它可以多次绑定到可合一的值，但不能设置回空或unresolved状态。Oz的数据流变量充当并发逻辑变量，并且还具有上面提到的阻塞语义。"并发约束变量"是并发逻辑变量的一般化，以支持约束逻辑编程：约束可以多次"缩小"，表示