Sequential consistency
来源:互联网 发布:算法导论和算法基础 编辑:程序博客网 时间:2024/06/05 05:55
Sequential consistency is one of the consistency models used in the domain of concurrent computing (e.g. in distributed shared memory, distributed transactions, etc.).
It was first defined as the property that requires that
- "... the result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program."[1]
To understand this statement, it is necessary to consider a computer composed of several processors executing a concurrent system: some order of execution for the processors (seeing assequential machines), and for each one of these processors, the execution order for the instructions must be the same specified by the concurrent program.
The system provides sequential consistency if every node of the system sees the (write) operations on the same memory part (page, virtual object, cell, etc.) in the same order, although the order may be different from the order as defined by real time (as observed by a hypothetical external observer or global clock) of issuing the operations.
The sequential consistency is weaker than strict consistency, which requires a read operation from a location to return the value of the last write operation to that location. Strict consistency would demand that operations are seen in order in which they were actually issued.
- Sequential consistency
- Linearizability and Sequential Consistency
- Sequential Consistency浅谈
- Beautiful Proof - Data-Race-Free Implies Sequential Consistency
- Beautiful Proof - Data-Race-Free Implies Sequential Consistency
- Beautiful Proof - Data-Race-Free Implies Sequential Consistency铪铪
- Beautiful Proof - Data-Race-Free Implies Sequential Consistency铪铪
- Beautiful Proof - Data-Race-Free Implies Sequential Consistency铪铪
- Beautiful Proof - Data-Race-Free Implies Sequential Consistency铪铪
- 为什么程序员需要关心顺序一致性(Sequential Consistency)而不是Cache一致性(Cache Coherence?)
- 为什么程序员需要关心顺序一致性(Sequential Consistency)而不是Cache一致性(Cache Coherence?)
- TACAS11: Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
- 为什么程序员需要关心顺序一致性(Sequential Consistency)而不是Cache一致性(Cache Coherence?)
- 为什么程序员需要关心顺序一致性(Sequential Consistency)而不是Cache一致性(Cache Coherence?)
- 为什么程序员需要关心顺序一致性(Sequential Consistency)而不是Cache一致性(Cache Coherence?)
- 为什么程序员需要关心顺序一致性(Sequential Consistency)而不是Cache一致性(Cache Coherence?)
- 为什么程序员需要关心顺序一致性(Sequential Consistency)而不是Cache一致性(Cache Coherence?)
- 为什么程序员需要关心顺序一致性(Sequential Consistency)而不是Cache一致性(Cache Coherence?)
- 笔试面试那件小事(C++函数高级特征)
- qwtplot
- 采用json格式进行服务器与android客户端的通讯
- 动画Animation
- Delphi 2006-2010 error: “Cannot create file C:\Users\Admin\AppData\Local\Temp\EditorLineEnds.ttr”
- Sequential consistency
- UBIFS文件系统分析2 - master node管理
- JVM学习笔记(一)------基本结构
- 在Makefile中进行宏定义-D
- poj1026 Cipher 置换群
- git使用的一些总结
- 设置字体颜色,and静态文本颜色
- Core Craphics
- FragmentPagerAdapter与FragmentStatePagerAdapter区别