有序性
jvm和cup为了有效修改指令顺序
在有序性中 happen-before规则可见性
语义的串行
lock
volatile
传递性。
finalze在狗杂方法后面执行
线程start方法优先执行
原子性
在cup执行不可拆分
i++不是原子性
jvm内存模型
原文：http://www.cnblogs.com/itxuexiwang/p/6271141.html
