volatile关键字的作用
- 所有变量的可见性——仅仅是修改后的值的可见性,不保证并发修改时新值和预期一致。即只保证读,不保证写。
- 禁止指令重排序——修饰的变量,读写不会指令重排。如变量isReady被volatile修饰,这两条指令
int B = 0
和isReady=true
不会在编译时改变顺序。注意这里是机器级代码的重排序。
多线程的实现
JDK基于具体系统来做的,如内核线程、用户线程、用户线程加轻量进程混合等。
不可变
初始化后就不会改变
- final修饰
- String
- java.lang.Number的部分子类如Long、Double,AtomicInteger和AtomicLong除外
线程安全
如Vector这样的容器,虽然get()、size()、add()等有synchronized关键字,但是实际使用时还是需要额外的同步(可以是针对容器对象本身的synchronized)保障。
原因是,Vector的线程安全,指的是其对应方法不可打断。但是在多线程环境下,多个方法按顺序执行时,仍有可能产生非预期的行为。
举例:对于非空Vector,记为v,多个线程同时执行remove(v.size()-1)
,有可能发生数组越界。
逃逸分析
(实际是第11章的内容)
运行期优化,判断一个对象是否会逃逸到方法外或其他线程。如果不会逃逸,对应的优化手段:
- 栈上分配,在栈上分配这个对象
- 同步消除,去掉这个对象多线程下的同步措施
- 标量替换,将这个对象拆分成标量(基本数据类型、referrence等)来创建而不是创建这个对象。