JVM

Eden空间

From Survivor空间

To Survivor空间

-XX:PermSize：永久代的初始大小

-XX:MaxPermSize：永久代的最大值

-XX:MetaspaceSize：原空间的初始大小

-XX:MaxMetaspaceSize：元空间的最大值

访问标志

父类

接口信息

类的字段信息

类的方法信息

构造函数信息

字面量

符号引用

方法

字段的引用

默认值

局部变量表（<font color="#e74f4c">数组</font>）

方法操作数栈

动态链接

方法返回地址

额外附加信息

由于&nbsp;write&nbsp;方法&nbsp;happens-before&nbsp;read&nbsp;方法，所以执行结果一定是&nbsp;1<br>

由于&nbsp;write&nbsp;方法和&nbsp;read&nbsp;方法都是在同一个对象上加锁的，所以执行结果一定是&nbsp;1

由于&nbsp;x&nbsp;是&nbsp;volatile&nbsp;变量，所以&nbsp;write&nbsp;方法&nbsp;happens-before&nbsp;read&nbsp;方法，执行结果一定是&nbsp;1

<br>

在这个示例中，MyRunnable类的run()方法对value变量进行了赋值，而getValue()方法返回value的值。在主线程中，创建了一个MyRunnable实例，并在新线程中运行它。主线程调用了t.join()方法，以确保新线程执行完毕后，主线程才能继续执行。最后，主线程调用r.getValue()方法获取value的值，并打印出来。<br>根据happens-before的传递性原则，新线程中的value赋值操作happens-before新线程的结束（在本例中是通过t.join()方法实现的）。而新线程的结束又happens-before主线程中调用getValue()方法。因此，可以得出结论：新线程中的value赋值操作&nbsp;happens-before&nbsp;主线程中调用getValue()方法，所以getValue()方法总是返回1。<br>总之，当操作A&nbsp;happens-before&nbsp;操作B，并且操作B&nbsp;happens-before&nbsp;操作C时，操作A&nbsp;happens-before&nbsp;操作C，这是happens-before的传递性原则。

具体来说，如果线程A在调用线程B的start()方法启动线程B之前，对某个共享变量执行了写操作，那么在线程B中该共享变量的读操作happens-before于线程A中对共享变量的写操作。<br>下面是一个简单的示例代码，其中一个线程写入共享变量，另一个线程读取共享变量，线程启动原则保证了写操作的结果对读操作可见

<br>

在上面的代码中，主线程对共享变量num先执行了写操作，将num的值设为2，然后启动了另一个线程t。在线程t中，将共享变量num的值设为1。由于线程启动原则，t中的写操作happens-before于主线程中的写操作，所以主线程中读取共享变量num的值时会得到1，而不是2。<br>需要注意的是，如果在线程t中对共享变量num执行了写操作，那么线程启动原则并不能保证在主线程中对共享变量num的写操作happens-before于在线程t中的写操作。因此，在多线程编程中，应当避免多个线程对同一个共享变量进行写操作，或者通过加锁等手段来保证同步。

具体来说，如果线程&nbsp;A&nbsp;在某个时刻调用线程&nbsp;B&nbsp;的&nbsp;interrupt()&nbsp;方法，那么在线程&nbsp;A&nbsp;中的所有操作（happens-before&nbsp;该调用）都会被视为在线程&nbsp;B&nbsp;中发生。也就是说，在线程&nbsp;A&nbsp;中的所有写操作都会在线程&nbsp;B&nbsp;中的读操作之前完成，这意味着线程&nbsp;A&nbsp;的修改可以被线程&nbsp;B&nbsp;看到。

<br>

在这个示例中，有两个线程&nbsp;thread1&nbsp;和&nbsp;thread2。thread1&nbsp;会在运行&nbsp;5&nbsp;秒钟后自动结束，而&nbsp;thread2&nbsp;会不停地输出一条消息，直到被中断为止。在主线程中，我们等待了&nbsp;2&nbsp;秒钟，然后中断了&nbsp;thread2。<br>在这个示例中，我们使用了&nbsp;Thread.interrupted()&nbsp;方法来检查当前线程是否被中断，这个方法会清除线程的中断状态。当线程&nbsp;thread2&nbsp;被中断时，这个方法会返回&nbsp;true，从而退出了循环。<br>根据&nbsp;happens-before&nbsp;线程中断原则，当我们在主线程中调用&nbsp;thread2.interrupt()&nbsp;时，它会和&nbsp;thread2&nbsp;中的所有读操作建立一个&nbsp;happens-before&nbsp;关系。这意味着，当&nbsp;thread2&nbsp;中的循环检查到中断标志被设置后，它可以确定在这个标志被设置之前，所有的写操作都已经完成了。因此，Thread2&nbsp;interrupted!&nbsp;这个消息一定会被打印出来，而不会陷入死循环。

线程的终结包括两种情况：一种是线程正常执行完毕；另一种是线程执行过程中发生了异常而被迫终止

上述代码中，主线程会等待新线程t执行完毕之后才会继续往下执行，即当t线程执行完毕后，主线程才会输出flag&nbsp;is&nbsp;true。这是因为happens-before线程终结原则的作用，保证了t线程内的修改对主线程的可见性。<br>在这个例子中，线程t在执行完后，其内部的变量flag被设置为true。按照happens-before线程终结原则，线程t的终结操作必须发生在它的所有操作之后，因此，当线程t结束时，它的所有操作必须在该线程结束之前被完全执行。而由于join方法的调用，主线程会一直等待t线程执行完毕才会继续执行，所以当主线程打印flag变量的值时，它已经被线程t修改过了，所以打印出来的结果是flag&nbsp;is&nbsp;true。<br>

happens-before对象创建原则是指在一个线程中，如果在构造函数中给一个变量赋值，并且这个变量的引用在构造函数外部可见，那么其他线程在获取这个变量时，能够看到已经构造的对象的最新状态，不会看到一个部分构造的对象。<br>这条原则保证了线程之间的可见性和正确性，避免了由于对象创建不完整导致的并发问题。

在上面的示例代码中，有一个包含两个变量的类Example。在构造函数中，首先给变量num赋值为1，然后给变量flag赋值为true。在display方法中，如果变量flag为true，则输出变量num的值。<br>按照happens-before对象创建原则的要求，在一个线程中，在构造函数中给变量赋值，然后在构造函数外部使用这个变量，其他线程能够看到已经构造的对象的最新状态。<br>在本示例中，构造函数中首先给变量num赋值为1，然后给变量flag赋值为true，这些操作都在同一个线程内执行，因此满足happens-before对象创建原则。在display方法中，如果变量flag为true，则输出变量num的值，其他线程也能够看到构造函数中对变量num的赋值操作，因此不会看到一个部分构造的对象。

保证可见性和有序性<br>

保证可见性和有序性;&nbsp;通过管程（Monitor）保证一组动作的原子性

不保证同步块内的代码禁止重排序，因为它通过锁保证同一时刻只有一个线程访问同步块（或临界区），<br>也就是说同步块的代码只需满足&nbsp;as-if-serial&nbsp;语义&nbsp;-&nbsp;只要单线程的执行结果不改变，可以进行重排序。<br>

通过禁止在构造函数初始化和给&nbsp;final&nbsp;字段赋值这两个动作的重排序，保证可见性（如果&nbsp;this&nbsp;引用逃逸就不好说可见性了）

即时编译器

字节码解释器

PC寄存器

方法区和堆

操作数栈和局部变量表

异常处理器

https://www.processon.com/mindmap/641712d033b841415cc7a2d8

https://www.processon.com/mindmap/642a92a18b681436aa723f78