构."future"是Event（同步原语）的特例，只能完成一次。通常，event可以重置为初始空状态，因此可以根据需要多次完成。"I-var"（如在语言Id中）是具有上面定义的阻塞语义的future。"I-structure"是包含I-var的数据结构。可以使用不同值多次设置的相关同步构造称为"M-var"。M-var支持"采用"或"放置"当前值的原子操作，其中取值还将M-var设置回其初始"空"状态。 "并发逻辑变量"与future类似，但是通过合一更新，与逻辑编程中的"逻辑变量"相同。因此，