29、Java 编程中的执行、类卸载、程序退出及二进制兼容性

Java 编程中的执行、类卸载、程序退出及二进制兼容性

1. 终结器调用与对象状态

1.1 活动使用的定义

一个动作 a 被视为对对象 X 的活动使用，需满足以下条件之一：
- a 读取或写入 X 的元素。
- a 对 X 进行加锁或解锁操作，并且在 X 的终结器调用之后存在对 X 的加锁动作。
- a 写入对 X 的引用。
- a 是对对象 Y 的活动使用，且 X 可从 Y 明确可达。

1.2 对象标记为不可达时的规则

当对象 X 在时刻 di 被标记为不可达时：
- X 在 di 时刻不能从静态字段明确可达。
- 线程 t 中在 di 之后对 X 的所有活动使用，必须发生在 X 的终结器调用中，或者是线程 t 在 di 之后读取对 X 的引用的结果。 <