- 页码：第336页 2017-05-08 03:34:58
implicit parallesim theorem declares that the results from sequential structural dynamics and parallel structural dynamics concide. That's why you can develop parallel program on a sequential platform and then run it on a parallel platform and still get the correct result. For this reason, this theorem is also called deterministic parallelism theorem. On the other hand, cocurrency has the concept of thread-safe which implies non-deterministic results.
The thing is that the result of parallism is deterministic because of join and we don't have assignables, though the evaluation process is not. Concurrency is always non-deterministic because we have introduced assignables. Another way to interpret this is that
This is the root difference between parallism and concurrency, the result and the context instead of the execution.
悟道洞穴人对本书的所有笔记 · · · · · ·
说明 · · · · · ·