线程安全性:
对象的状态是指存储在状态变量(例如实例和静态域)中的数据。
对象的状态可能包括其他依赖对象的域。
例如:某个HashMap的状态不仅存储在HashMap对象本身,还存储在许多Map.Entry对象中。
“共享”意味变量可以由多个线程同时访问,而“可变”则意味变量的值在其生命周期内可以发生变化。
一个对象的是否需要是线程安全的,取决于它是否被多个线程访问。要使得线程是安全的,就需要采用同步机制来协同对对象可变专业状态的访问。
Java 中的主要同步机制是关键字synchronized,它提供了一种独占的加锁方式,还有volatile类型的变量,显式锁、原子变量。
当多个线程访问某个类时,不管运行时环境采用何种调度方式或者这些线程将如何交替执行,并且在主调代码中不需要任何额外的同步或者协同,这个类都能表现出正确的行为,那么这个类就是线程安全的
无状态的对象一定是线程安全的
内置锁
Java提供了一种内置的锁机制来支持锁机制:同步代码块(一个作为锁的对象引用+一个作为由这个锁保护的代码块)。以synchronized修饰的方法就只一种横跨整个方法体的同步代码块,其中该同步代码块的锁就是方法调用所在的对象。
每个java对象都可以用做一个实现同步的锁:内置锁。线程在进入同步代码块之前会自动获得锁,并且在退出同步代码块的时候释放锁,不论正常退出还是抛出异常退出,获得内置锁的唯一路径就是进入由这个锁保护的同步代码块或者方法。
java的内置锁相当于一个互斥锁,这意味着最多只有一个线程能够持有这种锁,当线程A尝试获取一个由线程B持有的锁时,线程A必须等待或者阻塞,直到B释放这个锁,如果B不释放,那么A永远等下去。
由于每次只能有一个线程执行内置锁保护的代码块,因此,由这个锁保护的同步代码块会以原子方式执行,多个线程在执行该代码块时也不会相互干扰。
重入
当某个线程请求一个由其他线程持有的锁时,发出请求线程的就会阻塞,然而,由于内置锁是可重入的,因此如果某个线程试图获得一个已经由它自己持有的锁,那么这个请求就会成功。“重入”意味着获取锁的操作的粒度是“线程”,而不是“调用”。重入的一种是实现方法是,为每个锁关联一个获取计数值和一个所有者线程,当计数值为0时,这个锁就被认为是没有被任何线程持有,当线程请求一个未被持有的锁时,JVM将记下锁的持有者,并且将获取计数值置为1.如果同一个线程再次获取这个锁,计数值将递增,而当线程退出同步代码块时,计数器会相应的递减,当为0时候,这个锁将被释放