Lamport 1979 paper is often cited when talking about sequential consistency [1].
But the paper context is outdated. Robert Morris gives the following
requirements which are together equivalent to IR1 and IR2 [2]:
IR1: Every processor issues memory requests in the order specified by its program.
IR2:Memory requests from all processors issued to an individual memory module are
serviced from a single FIFO queue. Issuing a memory request consists of entering
the request on this queue.
Lamport paper from 1979 shows system is seq consistent if:
1. each machine executes one op at a time, waiting for it to complete
2. executes ops on each mem location one at a time
[1][How to Make a Multiprocessor Computer That Correctly Executes Multiprocess
Programs]
http://research.microsoft.com/en-us/um/people/lamport/pubs/multi.pdf
[2] http://pdos.csail.mit.edu/6.824-2012/notes/l06.txt
分享到:
相关推荐
对SC(Sequential Consistency)和TSO(Total Store Order)内存模型进行了讲解, 浅显易懂, 用最简明的图示讲明了二者的区别, 适合初步学习相关知识的同学阅读.
communicating Sequential Processes!!!
Semys由一个用于组通信的库和一个用于构建顺序一致系统的体系结构组成。 顺序一致的过程可以在多个物理主机上运行,并且不受主机的停机时间(崩溃)的干扰。
The db file sequential read Oracle metric event signifies that the user process is reading buffers into the SGA buffer cache and is waiting for a physical I/O call to return. This call differs from a...
In this paper, we propose a novel model, named Context-Aware Recurrent Neural Net- works (CA-RNN). Instead of using the constant input matrix and transition matrix in conventional RNN models, CA-RNN ...
Processor Arch-Sequential
Mining Sequential Patterns
自己总结的关于datastage sequential stage属性的说明。希望对各位同志有用,如果有不对的地方请多多指教。
Sequential Logic and Verilog HDL Fundamentals discusses the analysis and synthesis of synchronous and asynchronous sequential machines. These machines are implemented using Verilog Hardware ...
并发程序的验证方法和基础.对于编写并行程序、并行程序测试、程序正确性验证等方面的同学值得一看
基于STM32F103ZET,移植LWIP协议栈,sequential编程接口实现TCP客户端
序列蒙特卡洛(Sequential Monte Carlo)的介绍(英文论文),对现有的序列蒙特卡洛方法进行了很详尽的研究。
时间序列分析——The main focus of this book is on a systematic development of the theory of sequential hypothesis testing (Part I) and changepoint detection (Part II). In Part III, we briefly describe...
采用SMO算法对两类文件进行分类,最终的分类精度高达97%
pdf格式,英文版本。出自Pattern Recognition and Machine Learning一书,内容为序列数据。主要方法有隐马尔科夫模型和线性动态系统。
这是关于多目标优化的电子书,高清,最新版本,经典著作,英文版
这是对通信顺序过程(CSP)(一种描述交互模式的语言)及其数学理论的极好的介绍。
Algorithms Sequential and Parallel A Unified -- A Unified Approach, Second Edition, 2005