关于线程安全的一些记录

总结自http://www.cppblog.com/sandy/archive/2006/01/12/2690.html，但原文中有某些错误，下面是经过综合纠错后的结果

 

 

下列文字中用“标注”为错误说法，——标注的文字为其纠正

“而直接声明变量会在堆上分配” 
——全局域（如任何函数、类外定义的变量）和静态变量（如有static指示符的）分配（确切的说是映射）在静态存储区（大致可以认为和可执行代码运行时内存区域相当），动态分配发生在堆（heap）上（前提是没有重载new等分配操作符），局部变量在栈（stack）上分配 

“堆比较小，而栈大” 
——这么说有点没谱，大小不是堆和栈的区别，一般而言栈大小确定，栈一旦建立大小就固定了，因此会发生溢出，而堆则可以随时向操作系统申请更多， 

“对于一些比较庞大的类对象，一般都要在堆栈上分配” 
——由上一点可知，应该是“对于一些比较庞大的类对象，一般都要在堆而不是在栈上分配” 

“堆栈的性能逊于堆的性能，小对象例如int阿什么的都是直接在堆上生成” 
——本质上没什么性能差异，最多也就是由于堆上的内存总是只能通过指针和引用来访问，需要多做一次内存寻址而已 

“每个线程有自己的独立的堆和栈。全局变量在公共堆上生成，所以不安全。而对线程独立的堆和栈，都是线程安全，互不相干的。” 
——安全不安全全看该对象是否是“临界资源”（参看操作系统书籍），而不论是在哪里分配的，小明兄的一句话至为妥当：“其实不管在stack还是heap，说到底也不果是一个普通的内存地址，没特殊的地方，只要是多个thread不加锁的读写都会引起性能问题。”，当然小明兄所指“性能问题”肯定是笔误，我想他指的是“安全问题”

 

关于线程安全的某些原则：

1.局部变量局部使用是安全的

 

2.全局变量多线程读写是不安全的

 

3.函数中的静态变量的多线程读写是不安全的，其初始化也是不安全的

 

4.volatile能保证全局整形变量是多线程安全的么
不能。
volatile仅仅是告诫compiler不要对这个变量作优化，每次都要从memory取数值，而不是从register

 

5.在32机器上，4字节整形一次assign是原子的
比如
i =10; //thread1
i=4; //thread2
不会导致i的值处于未知状态,要么是10要么是4

 

6.栈一定线程安全的，堆则不一定

 

7.单例模式不是线程安全的