如果当多个线程访问同一个可变的状态变量是没有使用合适的同步,那么程序就会出现错误,有三种方式可以修复这个问题:
- 不在线程之间共享该状态变量
- 将状态变量修饰为不可变的变量
- 在访问状态变量时使用同步
当多个线程访问某个类时,不管运行时环境采用何种调度方式或者这些线程将如何交替执行,并且在主调代码中不需要任何额外的同步或协同,这个类能表现出正确的行为,那么就称这个类是线程安全的
无状态对象是一定是线程安全的
原子操作:对于访问同一个状态的所有操作(包括该操作本身)来说,这个操作是一个以原子方式执行的操作
Java 提供了一种那只的锁机制来支持原子性:同步代码块。同步代码块包括两个部分:一个作为锁的对象引用,一个作为由这个锁保护的代码块。以synchronized来修饰的方法就是一种横跨整个方法体的同步代码块,其中该同步代码块的锁就是方法调用所在的对象
静态的synchronized方法以Class对象作为锁
内置锁是可重入的
重入的一种实现方式是,为每个锁关联一个获取计数值和一个所有者线程。当计数值为0时,这个锁就被认为是没有被任何线程持有。当线程请求一个未被持有的锁时,JVM将记下锁的持有者,并且将获取计数置为1。如果同一个线程再次获取这个锁,计数值将递增,而当线程退出同步代码块时,计数器会相应地递减,当计数值为0时,这个锁将释放。