最近读完<Java并发编程实践>,无疑这是一本好书,它使得我对线程,锁,以及与并发相关的
一些知识体系更加完备,闲话不多说,下面我系统梳理了下里面的一些理论要点,相信实践上
面,大家或多或少都会有体会,那么用理论的知识点将实践体会笼络起来,将会形成更加牢固
和完备的知识体系,至少我这么认为,写这一篇笔记也是用以以后wen故(因为'温'字是和谐字
,不益多讲)
一 线程安全的概念
在多线程的程序中,共享对象(共享信息)会被多个线程以不可预知的方式访问,这些线程
有的会修改共享对象的一些信息,有的会读一些信息,如果我们不加以控制,那么线程的所有
在这个共享对象上的行为将都不可信,
比如线程A修改了共享对象O,下一步准备保存数据,但在保存之前,操作系统调用了线程B
的指令进行执行(这种情况出现的机率相当大的,因为保存数据可能涉及IO密集型操作,在进行
IO准备的间隙,CPU周期是空闲的,但操作系统不会让CPU闲着,会分配给B的指令,结果B又修
改了O,那么线程A将B改过的结果保存了,还以为是自己改过的结果--如果类比于数据库中的
概念这就是"写覆盖",类似的"脏读","幻读"什么的都是差不多,因为无论是程序还是数据库中
锁的概念和用途都是一样的.
二 线程安全的基本原则
那么要编写线程安全的对象需要做些什么,或者说遵循什么基本原则呢?
一个线程安全的对象需要保证以下两个原则:
一),对象属性的可见性
"可见性"是指线程B能感知A对O的修改,因为在上述例子中,可能B需要将O拿来与某旧值
比较,如果一致,就修改,否则不作修改,然而在B得取O值后,A立即又对O进行了修改,这时B是
无法知道手上的O是过期数据的,所以才会发生"写覆盖"这样的杯具,不然B知道了A已经修改了
O,那么B可能什么也不做,A随后的保存操作也是一致的.
二),对象状态的约束性
对象状态是由多个(可以是一个)对象属性表达的,"约束性"要求对象处于任何状态必须是
有效的,合法的,举个例子来说:一个List有一个size属性,有一个保存数据的数组, 那么在增加
一个元素时,应该将元素放入数组,然后size++,但是由于这是两个操作,中间必定存在不一致
的时刻,但这种情况是无法避免的,但可以通过加锁等手段保证该操作的原子性.
可见,"可见性"是对单个属性的要求,"约束性"则是对属性间的�
