我读过几篇文章，我对严格一致性之间的区别感到困惑（定义为“可以更好地理解为好像存在一个全局时钟，其中每次写入都应在结束时反映在所有处理器缓存中那个时钟周期。”）和原子一致性（或线性一致性，定义为“与实时约束的顺序一致性”）。这两个定义都来自维基百科。我困惑的根源在于，严格模型规定每个进程都可以立即看到更改，并且据说原子一致性也可以实时工作，为每个进程提供相同的写入序列。
问问题
140 次
1 回答
1
为严格一致性情况维护系统范围的全局时钟分布的要求本身就足够干净了。
因此，原子一致性需要更多保证，以换取不维护全局时钟，以保持系统范围内的一致性。
HRT 系统的保证在这里很有用，因为它将顺序一致性保持在其确定性的、先验已知的有限时间范围内。因此，状态变化传播计划是可能的，并且贯穿 HRT 系统操作的整个生命周期。
关于“与实时约束的顺序一致性”：
这个选项在技术上应该被理解为不那么严格，但是为了保持足够的系统范围一致性目标（参见下面的确定性 + 已知截止日期），不需要保证统一时钟的系统范围分布。
为了触及“实时约束”实际上有用的东西，让我从 Giovanni Di Sirio 的一本关于实时操作系统（RTOS）消歧的书中借用（包括原始拼写错误，添加重音）：
什么是 RTOS
RTOS 是一种操作系统，其内部进程保证符合（硬或软）实时要求。RTOS 的基本特性是：
-可预测的。它是调度行为中可预测的质量。
-确定性。这是能够在相同条件下始终如一地产生相同结果的质量。
RTOS 经常与“快速”操作系统混淆。虽然效率是 RTOS 的一个积极属性，但效率本身并不能使 OS 成为 RTOS，但它可以将好的 RTOS 与不太好的 RTOS 区分开来。
一个决定因素是在( n un- )已知期限内完成每个工作单元的( un- )确定性：
“非实时系统是对事件的编程反应肯定会在未来某个时间发生的系统”。
然而 ：
软实时。
软实时 (SRT) 系统是这样一种系统，其中不满足最后期限可能会产生不希望的但不是灾难性的影响，例如性能下降。这样的系统可以描述如下：
“软实时系统是对事件的编程反应几乎总是在已知的有限时间内完成的系统”。
硬实时。
硬实时 (HRT) 系统是一个系统，如果不满足最后期限可能会产生灾难性的影响。硬实时系统需要更严格的定义，可以描述如下：
“硬实时系统是保证对事件的编程反应在已知的有限时间内完成的系统”。
于 2020-06-15T10:29:12.133 回答