1) memory consistency model
存储一致性模型
1.
A new memory consistency model,named stream consistency for the stream programming model is proposed.
在流编程模型下建立了一个新的存储一致性模型——流一致性模型,它比传统的释放一致性模型更加松弛。
2.
This paper proposes a new framework of memory consistency models named S 3 C Framework.
存储一致性模型对共享存储系统的正确性、性能以及程序的复杂性都有重要的影响 。
2) General MemoryConsistency Model
广义存储一致性模型
3) Memory consistency
存储一致性
4) bank coherence
存储体一致性
5) consistency model
一致性模型
1.
First, this article discusses three kinds of inconsistency that may result from operating system conflict; then briefly introduces some control methods of concurrency in CSCW system and describes two models which are based on different distribution structure-integrated consistency model and local consistency model; and, finally, the article presents a tree structure for achieving local.
首先讨论了操作冲突可能导致的三类系统不一致 ,简要介绍了CSCW系统中的并发控制方法 ,给出了基于不同分布式结构的整体一致性模型和局部一致性模型 。
2.
The multi-versioning technique based on object replication strategy can meet consistency model while the conflict operations occur in the cooperative graphics editing systems(CGES),but it does not efficiently solve conflict between non-geometry attribute operations and complex graphics objects.
现有的对象复制技术是实时协同图形编辑系统中符合一致性模型的并发控制策略,但难以解决非几何属性以及三维绘图系统中的并发冲突情况。
6) model consistency
模型一致性
1.
The paper proposes a set of model consistency checkout rules.
提出了业务流程动态变更的模型一致性检验规则。
2.
Model consistency is one of the main sectors that affects UML multi-view modeling in the larger complicated software system.
在定义模型一致性问题的基础上,以软件体系结构建模为例对模型一致性问题进行了分类,分析并总结出出现模型一致性问题的根本原因,最后,给出解决该问题的方法、步骤以及规则。
3.
However, UML is at last a semi-formal language, so it’s difficult to maintain model consistency.
本文详细分析了UML模型一致性的主要表现,从模型本身和人为设计过程两方面提出了一致性标准,并归纳了一套一致性检测规则。
补充资料：高速缓冲存储器一致性
高速缓冲存储器一致性
cache coherence
goosu huonehong eunehuqi yizhixing高速缓冲存储器一致性(cache coherence)在采用层次结构存储系统的计算机系统中，保证高速缓冲存储器中数据与主存储器中数据相同的机制。 在单处理机系统中，高速缓冲存储器数据与主存数据的不一致主要是由输人输出(1/0)操作(如直接存储器存取)引起的。在几乎所有的计算机系统中，1/0数据总是直接从主存进出而不经过高速缓冲存储器，从而，①在使用回写型高速缓冲存储器的系统中，输出数据时，1/0系统看到的只是主存中的旧数据(新数据在高速缓冲存储器中);②输人数据时，对各种高速缓冲存储器，中央处理器只能看到其中的旧数据(新数据在主存中)。为了避免这样的数据不一致，需要硬件或操作系统的干预。例如，在进行输出操作时，由操作系统将有关地址的数据移出高速缓冲存储器，或者由硬件检查高速缓冲存储器中的相应标志，发现与输出数据地址相同时，立即写回主存;在进行输人操作时，可由操作系统保证输人数据区不被缓冲，或先将高速缓冲存储器中有关地址的内容清除。 在使用虚地址高速缓冲存储器的系统中，系统软件将两个不同的虚地址映射到同一物理地址的别名现象会导致高速缓冲存储器数据与主存数据的不一致以及高速缓冲存储器中出现同一数据的两个副本。通过对别名进行简单的限制就可避免这种形式的不一致。 共享存储多处理机的高速缓冲 存储器一致性 高速缓冲存储器一致性问题主要出现在共享存储器的多处理机系统中。多处理机对高速缓冲存储器一致性的要求可表述为:任意一次取数操作得到的结果都必须是最近一次对该数据进行写操作时写人的值。由于互联网的延迟和系统中各种缓冲机制的影响，“最近”的含义实际是无法准确定义的。共享存储器的一致性模型研究的就是从程序员的角度如何容忍对“最近”一词的模糊认识;而高速缓冲存储器一致性机制则在此基础上讨论如何维持同一数据的多个相同副本。 虽然共享数据的多副本现象是高速缓冲存储器数据不一致的主要原因，但有时非共享数据也会出 现不一致的问题。其原因除了前述的1/0操作外， 还有进程迁移。若一个进程在处理机A上访问了商一211变量X，迁移到处理机B后又修改了X，则当它再回到A时，就会读到A的高速缓冲存储器中存在着的X的旧值。如果强制每次上下文切换时都清除高速缓冲存储器，就不会出现这种情况，但系统性能将会下降。更好的方法是在高速缓冲存储器数据的标志中增加进程标识符(PID)信息。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条