对象状态:存储在状态变量(例如实例或静态域)中的数据;
线程安全性:当多个线程访问某个类时,这个类始终都能表现出正确的行为,那么就称这个类是线程安全的;
竞态条件:针对一段有多个操作逻辑的代码,不恰当的线程执行时序可能导致不正确的结果的情况;
不变性条件:涉及多个变量时,各个变量之间并不是彼此独立的,而是某个变量的值会对其他变量的值产生约束。
多个线程需要访问同一组数据,以达到多线程协作的目的时。
原子性: 非原子性的操作序列执行结果可能因线程调度执行的顺序不同而得到不一致的结果;
可见性: A线程写入的数据可能不能立即被B线程正确地读取到;
有序性: 程序执行时可能因指令重排并不严格按照代码编写顺序执行(只保证单线程下多次执行结果一致)。
sychronized(可见性+原子性),volatile(可见性),显式锁(可见性+原子性),原子变量(可见性+原子性)。