英语语法分析

The nondeterminism in parallel programs brings many difficulties to the task scheduling in which the dynamic method has high overhead.

并行程序中的不确定性给任务调度带来了困难，采用动态调度的方法有时开销很大。

This allows the user to avoid dynamic compilation's nondeterminism while still gaining most of the performance benefits associated with native compilation.

这使用户能够避免动态编译的不确定性，同时又能获得与本地编译相关的最大性能收益。

Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism, synchronization and parallelism.

对复杂的并发系统进行有效建模要求有一套形式化体系，由它能获取系统的本质特性，如不确定性、同步性和并发性。