菜鸟笔记
提升您的技术认知

操作系统笔记

进程,线程,协程与并行,并发进程线程协程的区别死锁进程,线程,多线程i++的线程安全性同步和异步孤儿进程和僵尸进程/proc进程信息linux中的分段和分页互斥量 mutex线程进程间通信进程创建进程优先级进程的基础知识进程与线程的区别(面试题)线程的控制(创建,终止,等待,分离)可重入 VS 线程安全死锁的概念一级缓存和二级缓存的理解一句话解说内存屏障 Memory barrierbrk(), sbrk() 用法详解malloc/free函数的简单实现一文讲透 “进程、线程、协程”Linux进程状态线程池的陷阱linux内核学习之进程和线程进程与线程的区别和联系内存寻址linux IO子系统和文件系统读写流程Page cache和buffer cache的区别与联系漫谈linux文件IO多线程和多进程的区别内存泄漏字节、字、位、比特的概念和关系如何避免死锁ANSI是什么编码?CPU寻址范围(寻址空间)CPU 使用率低高负载的原因创建多少个线程合适操作系统下spinlock锁解析、模拟及损耗分析线程堆栈堆和栈的内存分配堆和栈的概念和区别堆和栈的区别,申请方式,程序的内存分配什么是 POD 数据类型Linux内存分配小结--malloc、brk、mmap系统调用与内存管理(sbrk、brk、mmap、munmap)进程描述和控制CPU执行程序的原理编译的基本概念Linux虚拟地址空间布局一个程序从源代码到可执行程序的过程程序的运行机制——CPU、内存、指令的那些事分页内存管理——虚拟地址到物理地址的转换深刻理解Linux进程间通信fork之后父子进程的内存关系fork之后,子进程继承了父进程哪些内容关于协程及其锁的一些认识对协程的一点理解std::thread join和detach区别CAS和ABA问题CAS算法锁和无锁无锁队列的实现Lock-Free 编程锁开销优化以及CAS进程、线程和协程之间的区别和联系多线程的同步与互斥(互斥锁、条件变量、读写锁、自旋锁、信号量)Linux 原来是这么管理内存的线程上下文切换怎么玩儿进程和线程通信原理CPU密集型 和 IO密集型cas原理以及Atomic原子类分析改变线程状态的八个方法六种进程间通信方式

i++的线程安全性

阅读 : 1098

i++的线程安全性可以总结如下:

如果i是局部变量,那么是可重入的,也就是线程安全的。
如果i是全局变量,则同一进程的不同线程都可能访问到该变量,因而是线程不安全的。
上面这两点比较清晰,具体原因我将在下面解释:

本质上来讲,i并不是因为是全局变量才说是线程不安全的。其实其本质原因是i++这个操作并不是原子的,如果这是原子操作的话,具有不可分特性,那么即便是所有线程都能访问到,也都是线程安全的。

i++最终被编译后的反汇编代码大概如下:

mov eax,[xxxxxxxx]
inc   eax

一条c语句已经被分为两条操作指令,那么在这两条操作指令执行之间,可能由于中断而被调度到不同线程,于是,不安全性就产生了。当然了,这并不是说单条汇编语句就是线程安全的,这取决于CPU架构,因为单条汇编指令可能在多个CPU时钟周期内进行,有些CPU架构可以在任何一个时钟周期内响应中断,对于这样的CPU,就是单条指令都不是安全的。当然了,现在的CPU大部分都是一条指令执行完后才能响应中断的。想要进行原子操作,方法有很多种,其中一种比较简单的是在原子语句之间先关闭中断,然后进行原子操作后再打开中断就OK了。

原子操作

所谓原子操作是指不会被线程调度机制打断的操作;这种操作一旦开始,就一直运行到结束,中间不会有任何 context switch (切换到另一个线程),不能被更高等级中断抢夺优先。

由于操作系统大部分时间处于开中断状态,所以,一个程序在执行的时候可能被优先级更高的线程中断。而有些操作是不能被中断的,不然会出现无法还原的后果,这时候,这些操作就需要原子操作。就是不能被中断的操作。