An I-var (as in the language Id) is a future with blocking semantics as defined above.
I-var（如在语言Id中）是具有上面定义的阻塞语义的future。