CysionLiu的博客

线程安全篇A其实，并发编程理论并不过多的涉及线程和锁，虽然构建并发程序需要正确的使用线程和锁，然而这只是内部机理带来的手段而已；本质上来说，写出线程安全的程序，在于状态的访问管理，特别是共享和可变状态。一个对象的状态是其数据，它可以存储在其实例或者静态域中，这些数据也可以来自其它独立的实例对象。对象的状态，包括了那些所有会影响其外部可见行为的数据。说到共享，意思是一个变量可以被多个线程访问;说到

共享对象我们已经见识到同步方法和同步代码块能够保证操作执行的原子性，但同时这也是一个常见的误区：同步仅仅关于原子性。其实，同步还有另一个重要而微妙的方面–内存可见性。我们不仅仅希望阻止一个线程修改另一个线程正在使用的对象，我们还希望当一个线程修改了某个对象后，其改变后的状态能够被其它线程观察到。可以使用具体的同步或是已经封装好的类库，来保证对象改变后，能将状态安全的发布出去。可见性可见性是个微妙的话

线程安全篇B为了保持状态的一致性，需要在一个原子性操作中更新相关的状态变量，加锁，可以将一些混合操作变为原子性操作，从而保证线程安全。锁1.内部锁Java提供了一个加强原子性的内在锁机理-同步块，其包含两部分，一部分是一个可以作为锁的对象的引用，另一部分是由这个锁保护的阻塞代码。同步方法是同步块的一个快捷体现，其作用于所有的方法体。每一个Java对象都可以作为一个潜在的同步锁，这种内部构建的锁叫做内

组合对象探讨一些构造类的模式，使得类更容易成为线程安全的。设计线程安全的类设计线程安全的类的过程应该包含三个方面： - 确定对象状态是由哪些变量构成–变量； - 确定限制对象状态的不变约束–不变约束； - 制定一个管理并发访问对象状态的策略–后验条件。不变约束：用来判定一个状态是合法的还是不合法的，比如int的取值范围，是施加在状态上的约束；后验条件：指出某种状态转变是否合法，是施加在状态操作