注:文章内容整理于Verification Guide网站,仅供学习使用,侵权即删。
Processes-fork_join
- Processes
- Process Control
-
Processes
fork join
Fork-Join will start all the processes inside it parallel and wait for the completion of all the processes.
fork-join将会并行的执行块中的进程,当fork-join中的所有进程都执行完了,才会继续执行下面的语句。
fork join_any
Fork-Join_any will be unblocked after the completion of any of the Processes.
对于fork-join_any来讲,只要fork-join_any中任意一个进程执行完毕,就可以继续下面进程的执行。当然,fork-join_any中没有执行完的语句会继续执行。
fork join_none
As in the case of Fork-Join and Fork-Join_any fork block