严格一致性与原子一致性

问题描述 投票:1回答:1

我读了几篇文章,我对严格的一致性(定义为 "可以更好地理解为,仿佛存在一个全局时钟,在这个时钟周期结束前,每一次写入都应该反映在所有处理器缓存中。")和原子一致性(或线性化,其定义为"与实时约束的顺序一致性"). 这两个定义都来自维基百科。我困惑的来源是,严格模型规定每个进程都能立即看到变化,原子一致性也被说成是实时工作的,为每个进程提供相同的写入顺序。

distributed-computing distributed-system consistency cap
1个回答
1
投票

严格一致性情况下维护全局时钟的全系统分布的要求,希望本身就足够干净。

因此,原子一致性需要多一些保证,以换取不维护全局时钟,仍然成为并保持全系统一致。

这里,来自HRT-system的保证就很有用了,因为它使顺序一致性保持在其确定性的、先验已知的有限时间范围内。因此,状态变化传播规划是可能的,并且在HRT系统运行的整个生命周期内都是有效的。


"与实时约束的顺序一致性" :

这一备选方案应被理解为技术上不太严格,但对于维持全系统一致性目标来说,已经足够了。(见下文决定论+已知期限),没有必要保证全系统的统一时钟分布。

对于触及到什么 "实时约束" 其实是有用的,让我借用(包括原来的错别字,加了重音)从乔瓦尼-迪-西里欧的一本书上实时操作系统(RTOS)的歧义。

什么是RTOS RTOS是一个操作系统,其 内部流程得到保证 将要 符合 (硬或软) 实时需求. 实时操作系统的基本素质是: - 可预测. 它是调度行为中可预测的质量。 - 确定性. 它是指在相同的条件下,能够稳定地产生相同的结果的质量。 实时操作系统常常与 "快速 "操作系统相混淆。虽然效率是一个RTOS的积极属性,但效率本身并不能使一个操作系统成为RTOS,但它可以将一个好的RTOS和一个不好的RTOS区分开来。

一个决定性的因素是(-)确定性 完成每个工作单元的时间 a(n 无-)已知期限 :

“A 非实时 系统是对事件的程序化反应一定会发生的系统。有朝一日 今后"。

鉴于 。

软实时系统(Soft Real Time)。 软实时(SRT)系统是指不按期完成任务可能会产生不理想但不是灾难性影响的系统,例如性能下降。这种系统可以描述如下 。 "软实时系统是指对事件的程序化反应几乎总是在已知的有限时间内完成的系统"。 硬实时系统。 硬实时(Hard Real Time,HRT)系统是指不满足最后期限会产生灾难性影响的系统。硬实时系统需要一个更严格的定义,可以描述如下 。 "硬实时系统是指对某一事件的程序化反应能保证在已知的有限时间内完成的系统"。

© www.soinside.com 2019 - 2024. All rights reserved.