什么是happens-before原则？其理论内容是什么？

happens-before是JMM的核心原则，规定了操作间的可见性顺序。比如锁的释放先于获取，volatile写先于读，线程启动前的操作先于线程内操作等。