关于原子性和数据一致性的理解

linuxspring

X86底层实现原子性，

1、对于单处理器使用关闭中断方式(关闭中断后操作系统的调度程序就不能被执行了)；
2、对于多处理器来说可以用 锁总线技术(一些指令前面可以加lock指令前缀，让这条指令的整个处理过程不被打断，保证一气呵成)；
3、个别指令 自身就有原子特性；
4、防止指令重排序mfence内存屏障；
5、多处理器缓存之间、以及同一处理器不同核心之间  数据一致性问题使用MESI协议来保证数据的一致性；

      针对在X86处理器上开发的  操作系统  就是利用  处理器上述5种手段来实现 原子性 和数据一致性，然后操作系统封装成了API做成 系统调用 供应用层来调用以实现 原子性 和  数据一致性，
比如  POSIX提供的 pthread.h 和 Pelles在C11标准中在自己的标准库里实现的thread.h ，其实它们两的底层 都是调用操作系统提供的 原子性 和 数据一致性的系统调用API来完成的......

再往上抽象比如Java语言，由于Java是由C/C++开发的，所以Java语言中的关于  原子性的关键synchronized 和  数据一致性的volatie关键字  底层是用实现它的相关C编译器带的标准库或者POSIX接口来实现的.........

不知道我的理解对不对.........烦请老师帮我指正！

站长

基本上没什么问题。