处置器分歧性(Processor consistency)/PRAM分歧性(PRAM consistency,P指pipeline):正在一个处置器上完成的所有写操做,将会被以它现实发生的挨次通知给所有其它的处置器;可是正在分歧处置器上完成的写操做也许会被其它处置器以分歧于现实施行的挨次所看到。这反映了收集中分歧节点的延迟可能是不不异的。对于双处置器,处置器分歧性取挨次分歧性是等价的。

  按照保守冯诺依曼系统布局的计较模子来看,读操做该当前往比来的写操做所写入的成果,可是这里“比来”的寄义是比力恍惚的。因而必需将概念严酷化,于是发生了线性分歧性(或称做严酷分歧性Strict consistency、原子分歧性Atomic consistency)的概念。可是线性分歧性太难实现了,由于这里需要一个全局同步的时钟,于是Leslie Lamport提出了挨次分歧性(Sequential consistency)的概念,这里全局的时钟变得不再需要,转而需要的是各个处置器局部的时钟,响应的,Maurice Herlihy和Nir Shavit等人后来又提出了静态分歧性(Quiescent consistency)的概念。然而,即便是挨次分歧性正在现实系统中也是很少利用的,次要是它严酷了法式的优化施行,的使法式正在当地处置器上按法式序(program order)施行正在大大都环境下是没有需要的。于是正在后来的研究中连续提出了面向硬件的内存模子(Hardware-centric memory model),此中包含了弱序分歧性模子(WO, Weak-order model),处置器分歧性模子(PC, Processor-consistency model),败坏分歧性模子(RC, Release consistency model)以及一系列相关的派生模子,如TSO分歧性模子(Total store ordering),PSO分歧性模子(Partial Store Ordering)等。利用前面的这些模子对于法式员来说无疑常迷惑的,由于这要求法式员正在编写法式时必需考虑到各类硬件系统布局所对应的分歧内存模子,于是后来的研究进一步提出了面向法式员的内存模子(Programmer-centric model)的概念,次要包罗SCNF模子(Sequntial consistency nomal form)和PL模子(Properly-Labeled Model)等等。

  牛建伟,阚志刚,胡建平.DSM系统中内存分歧性模子的研究[J].计较机工程取使用,2000(09):28-30+33.

  分歧性模子素质上是软件取存储器之间的协约问题。若是软件恪守商定的法则,存储器就能一般工做;反之,存储器就不克不及操做的准确性

  挨次分歧性(Sequential consistency ):(并发法式正在多处置器上的)任何一次施行成果都不异,就像所有处置器的操做按照某个挨次施行,各个微处置器的操做按照其法式指定的挨次进行。换句话说,所有的处置器以不异的挨次看到所有的点窜。读操做未必能及时获得此前其他处置器对统一数据的写更新。可是遍地理器读到的该数据的分歧值的挨次是分歧的。

  线性分歧性(Linearizability) 指的是法式正在施行的汗青中正在存正在可线性化点P的施行模子,这意味着一个操做将正在法式的挪用和前往之间的某个点P起感化。这里“起感化”的意义是被系统中并发运转的所有其他线程所。线性分歧性最主要的性质就是其“局部性”(Local property, 或可组合性 - Compositional),即数个线性分歧单对象汗青的组合也是线性分歧的。线性分歧性的非堵塞性(Non-blocking property):线程P对完全操做(total function)的挪用永久不会堵塞。

  种可能的施行挨次。常见的内存分歧性模子性分歧性、原子分歧性、缓存分歧性以及挨次分歧性。

  内存分歧性模子描述的读操做和写操做这些操做可能的施行挨次中那些是准确的。永利棋牌app下载,正在假定没有流水线的环境下(即单个处置器内指令的施行是按挨次施行的),设系统内共有N个处置器,每个处置器可发出

  声明:百科词条人人可编纂,词条建立和点窜均免费,毫不存正在及代办署理商付费代编,请勿上当。详情

  原子分歧性(Atomic consistancy):读操做未能当即读到此前比来一次写操做的成果,但多读几回仍是获得了准确成果。所有对数据的点窜操做都是原子的,不会发生竞态冲突。

  缓存分歧性(Cache coherence,或cache coherency),又译为缓存连贯性、缓存同调,是指保留正在高速缓存中的共享资本,连结数据分歧性的机制。正在一个系统中,当很多分歧的设备共享一个配合存储器资本,正在高速缓存中的数据不分歧,就会发生问题。这个问题正在无数个CPU的多处置机系统中出格容易呈现。缓存分歧性能够分为三个层级:正在进行每个写入运算时都立即采纳办法数据分歧性;每个的运算,假如它形成数据值的改变,所有历程都能够看到分歧的改变成果;正在每次运算之后,分歧的历程可能会看到分歧的值。