|
关注：1
2013-05-23 12:21
求翻译：Because it is easier to prove stabilization under the assumption of serial execution, most stabilizing systems are proved correct under that assumption. Unfortunately, many practical implementations of stabilizing systems can support concurrent execution of actions but not serial execution. This situation raises an imp是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
Because it is easier to prove stabilization under the assumption of serial execution, most stabilizing systems are proved correct under that assumption. Unfortunately, many practical implementations of stabilizing systems can support concurrent execution of actions but not serial execution. This situation raises an imp
问题补充： |
|
2013-05-23 12:21:38
因为它更容易串行执行的假设下，证明稳定，最稳定体系被证明假设下正确。
|
|
2013-05-23 12:23:18
由于证实安定在连续施行的做法外是更加容易的，多数稳定的系统被证明的正确下面那个假定。不幸地，稳定的系统的许多实用实施可能支持行动，但是不连续施行的并行执行。这个情况提出一个重要问题。假设系统稳定在连续施行的做法外，系统稳定在并行执行的做法外？
|
|
2013-05-23 12:24:58
由于证实安定在连续施行的做法外是更加容易的，多数稳定的系统被证明的正确下面那个假定。 不幸地，稳定的系统的许多实用实施可能支持行动，但不连续施行的并行执行。 这个情况提出一个重要问题。 假设系统稳定在连续施行的做法外，系统稳定在并行执行的做法外？
|
|
2013-05-23 12:26:38
因为它很容易证明串行执行的假设条件下的稳定，最稳定的系统被证明是准确无误的根据这种假设。不幸的是，很多实际实现的稳定系统可以支持并行执行的操作，但不是串行执行。这种情况提出了一个重要的问题。既然一个系统稳定串行执行的假设条件下，系统并发执行的假设条件下稳定吗？
|
|
2013-05-23 12:28:18
因为它更容易的在连续执行的假设下证明稳定，最大程度地稳定系统在那个假设下被证明是正确。很遗憾，很多实习执行稳定下来系统中可以支持行动的并发执行但是不连续执行。这种处境提出一个重要问题。考虑到一个系统在连续执行的假设下在稳定下来，是在并发执行的假设下稳定下来的系统？
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
