原子操作的实现

       处理器使用基于对缓存加锁或者总线加锁的方式来实现多处理器之间的原子操作。首先处理器会自动保证基本的内存操作的原子性。处理器保证从系统内存中读取或者写入一个字节是原子的。

       复杂的内存操作处理器是不能自动保证其原子性的,比如跨总线宽度、跨多个缓存行和跨页表的访问。处理器提供总线锁定和缓存锁定两个机制来保证。

1.使用总线锁保证原子性

       第一个机制是通过总线锁保证原子性。如果多个处理器同时对共享变量进行读改写操作(i++就是经典的读改写操作),那么共享变量就会被多个处理器同时进行操作,这样读改写操作就不是原子操作的,操作完成之后共享变量的值会和期望的不一致。

       处理器使用总线程锁就是解决这个问题的。所谓总线程锁就是使用处理器提供的一个LOCK#信号,当一个处理器在总线上输出此信号时,其他处理器的请求将被阻塞住,那么该处理器可以独占共享内存。

       第二个机制是通过缓存锁定来保证原子性。在同一时刻,我们只需保证对某个内存地址的操作是原子性即可,单总线锁定 把CPU和内存之间的通信锁住了,这使得锁定期间,其他处理器不能操作其他内存地址的数据。所以总线锁定的开销比较大,目前处理器在某些场合使用缓存锁定替代总线锁定来进行优化。

       所谓的缓存锁定是指内存区域如果被缓存在处理器的缓存中,并且在Lcok操作期间被锁定,那么当他执行锁操作回写到内存时,处理器不在总线声言LOCK#信号,而是修改内部的内存地址。并允许它的缓存一致性机制来保证操作的原子性。因为缓存一致性机制会阻止同时修改由两个以上处理器缓存的内存区域数据,当其他处理器回写已经被锁定的缓存行的数据时,会使缓存无效。 

        

猜你喜欢

转载自my.oschina.net/u/3126880/blog/1821401