The nondeterminism in parallel programs brings many difficulties to the task scheduling in which the dynamic method has high overhead.
并行程序中的不确定性给任务调度带来了困难，采用动态调度的方法有时开销很大。
2
This allows the user to avoid dynamic compilation's nondeterminism while still gaining most of the performance benefits associated with native compilation.
这使用户能够避免动态编译的不确定性，同时又能获得与本地编译相关的最大性能收益。
3
Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism, synchronization and parallelism.