JVM保留有关引用和对象类型的信息的位置

Question

我正在尝试加深对Java内存模型和JVM的了解。

基本概念很简单，但是我无法理解JVM在哪里保存有关原语，对象和引用的类型的信息。

例如1.我们有变量int i =0。此值存储在线程的堆栈中。 这只是4个字节，在RAM或/和CPU缓存中包含值0x0000。 但是它不包含有关其类型的任何信息。 想象一下，您可以直接访问内存中的这些字节。 您不能确定它是整数。 据我了解，您将无法说出它的类型。 这只是4个字节的信息。

因此，JVM必须将有关其类型的某些信息保留在其他位置，但是JVM将其保留在何处以及如何保留？

2. 引用对象类A {}类B扩展了A {}

A obj =新的B（）;

在这种情况下，我们有这样的事情：

| 堆叠 |堆| | PermGen |

“引用” ---->“对象”“ A”，“ B”。

引用位于堆栈中，类型为“ A”，但是引用仅包含存储“对象”的信息。 它有8个字节（如果JVM使用的内存少于32GB，则可以压缩为4个字节）。 这8个字节中没有有关其类型的任何信息。

“对象”位于堆中，类型为“ B”。 我不知道它是否有关于其类型的任何信息...

3. 泛型引用。 列表列表= new ArrayList <>（）; JVM在何处以及如何保留有关对象和引用的每种类型的信息？

我希望有人能说清楚。

Answer 1

我不明白JVM在哪里保存有关原语，对象和引用的类型的信息。

JVM有一个空间（Perm Gen或Metaspace），用于记录所有类型信息和代码。

这只是4个字节的信息。

是的，它可以是布尔值，整数或32位引用，很可能是在寄存器中，这意味着它甚至不使用任何内存。

JVM必须将有关其类型的某些信息保留在其他位置，但是JVM将其保留在何处以及如何保留？

其实不是。 如果以这种方式在每次访问中查找此类信息，那将非常慢。 相反，它具有将4字节值放入寄存器的机器代码，然后仅假定它是预期的类型。

它唯一需要跟踪的是哪些寄存器保存引用以及哪些保存原语。 它需要执行GC。

正在运行的代码可以具有有关哪些寄存器和哪些堆栈位置具有引用的元信息。 除非重新编译代码，否则不会动态分配寄存器。

泛型引用。 列表列表= new ArrayList <>（）; JVM在何处以及如何保留有关对象和引用的每种类型的信息？

没有。 泛型是编译时功能。

您可以在运行时获得一些信息，但是这些信息仅在类上不可用在对象上。