migaoyang

多线程环境中存在因数据竞争而产生的同步问题，为了避免因数据竞争而产生同步问题，Java虚拟机规范（Java5）引入了happens-before这一概念来定义Java内存模型。 happens-before 描述了两个操作内存的可见性。例如X happens-before Y，…

todo

todo

注：有序性例子应与Java并发编程实战中的竞态条件（检查-执行）相互对比，本文中的有序性例子单例模式是使用synchronized加锁之后仍出现的问题，本质原因是编译器进行了优化。编译器的优化（例如第1行：a=6; 第9999行：a=a*6; 这个时候，把他们放到一起执行，能更…

众所周知，innoDB支持事务的不同隔离级别，在可重复读的隔离级别下，在开启一个事务的时候，会获得这一瞬间数据库全库的一致性视图read view（下面会专门再解释这个视图），然后就不再掺和其它的事务产生的影响。 相信读完本篇之后你能有一个清晰的答案。

事务指一组操作，要么全部执行，要么全都不执行。也就是最小的执行单位是定义的这一组事务。事务确保了逻辑的成功执行。 例如：银行的转账。 事务中包含的逻辑，不可分割。 事务执行前后，数据完整性，从一个逻辑一致性状态到另一个逻辑一致性状态。 事务在执行期间不应该受到其他事务的影响,两…