Java中的静态分配-堆,堆栈和永久生成


117

最近,我一直在阅读有关Java中的内存分配方案的大量文章,并且由于我从各种来源中进行了阅读,所以存在很多疑问。我已经收集了我的概念,并要求仔细阅读所有要点并对其进行评论。我知道内存分配是特定于JVM的,因此我必须事先说一下,我的问题是特定于Sun的。

  1. 类(由类加载器加载)放在堆上的特殊区域中:永久生成
  2. 与类有关的所有信息,例如类的名称,与该类关联的对象数组,JVM使用的内部对象(例如java / lang / Object)以及优化信息,都进入“永久生成”区域。
  3. 所有静态成员变量将再次保留在永久生成区域中。
  4. 对象放在不同的堆上:年轻的一代
  5. 每个类每个方法只有一个副本,该副本是静态的还是非静态的。该副本将放置在“永久生成”区域中。对于非静态方法,所有参数和局部变量都进入堆栈-每当对该方法进行具体调用时,我们都会获得一个与之关联的新堆栈框架。我不确定静态方法的局部变量存储在哪里。他们在永久一代的堆上吗?或者只是它们的引用存储在“永久生成”区域中,而实际副本位于其他位置(在哪里?)
  6. 我也不确定方法的返回类型存储在哪里。
  7. 如果对象(年轻一代)需要使用静态成员(永久一代),则为它们提供对静态成员的引用&&为它们提供足够的存储空间以存储方法的返回类型等。

谢谢你的经历!

Answers:


152

首先,到现在应该让您清楚地知道,只有很少人可以凭第一手知识来确认这些答案。很少有人研究过最新的HotSpot JVM或对其进行深入研究以真正了解它们。这里的大多数人(包括我本人)都是根据他们在其他地方看到的东西或他们推断出的东西来回答。通常,此处或各式各样的文章和网页中所写内容均基于可能不确定的其他来源。通常,它是简化的,不准确的或完全是错误的。

如果您想对您的答案进行最终确认,则确实需要下载OpenJDK源代码...并通过阅读和理解源代码进行自己的研究。在SO上提问或在随机Web文章中拖网都不是一种可靠的学术研究技术。

话说回来 ...

...我的问题是针对Sun的。

在问这个问题时,Sun Microsystems已经不复存在了。因此,问题是针对Oracle的。AFAIK,所有当前(非研究性)第三方JVM实现都是OpenJDK版本的直接端口,或者是另一个Sun / Oracle版本的后代。

以下答案适用于Oracle Hotspot和OpenJDK版本,也可能适用于大多数其他版本,包括GraalVM。

1)类(由类加载器加载)进入堆上的特殊区域:永久生成。

在Java 8之前,是的。

从Java 8开始,PermGen空间已被Metaspace取代。现在,已加载和JIT编译的类在那里。PermGen不再存在。

2)与类有关的所有信息,如类的名称,与该类关联的对象数组,JVM使用的内部对象(如java / lang / Object)和优化信息,将进入“永久生成”区域。

或多或少,是的。我不确定您所说的其中一些是什么意思。我猜想“ JVM使用的内部对象(例如java / lang / Object)”是指JVM内部的类描述符。

3)所有静态成员变量再次保留在永久生成区域中。

变量本身是。这些变量(像所有Java变量一样)将保存原始值或对象引用。但是,虽然静态成员变量在permgen堆中分配的帧中,但是这些变量引用的对象/数组可以在任何堆中分配。

4)对象放在不同的堆上:年轻的一代

不必要。大对象可以直接分配给终身代。

5)每个类每个方法只有一个副本,该方法是静态的还是非静态的。该副本将放置在“永久生成”区域中。

假设您正在引用该方法的代码,则AFAIK是。不过,它可能要复杂一些。例如,在JVM生命周期的不同时间,该代码可能以字节码和/或本机代码形式存在。

对于非静态方法,所有参数和局部变量都进入堆栈-每当对该方法进行具体调用时,我们都会获得一个与之关联的新堆栈框架。

是。

...我不确定静态方法的局部变量存储在哪里。他们在永久一代的堆上吗?或者只是它们的引用存储在“永久生成”区域中,而实际副本位于其他位置(在哪里?)

不。它们存储在堆栈中,就像非静态方法中的局部变量一样。

6)我也不确定方法的返回类型存储在哪里。

如果您的意思是(非无效)方法调用返回的,那么它要么返回堆栈,要么返回到机器寄存器中。如果它是在堆栈上返回的,则根据返回类型,它需要1个或2个字。

7)如果对象(年轻代)需要使用静态成员(永久代),则为它们提供对静态成员的引用&&为它们提供足够的存储空间以存储方法的返回类型,等等。

那是不准确的(或者至少您没有清楚表达自己的意思)。

如果某些方法访问静态成员变量,则它得到的要么是原始值,要么是对象引用。可以将其分配给(现有)局部变量或参数,分配给(现有)静态或非静态成员,分配给先前分配的数组的(现有)元素,或者简单地使用和丢弃。

  • 在任何情况下,都不需要分配新的存储来保存引用值或原始值。

  • 通常,存储一个对象或数组引用只需要一个字的内存,根据硬件体系结构,原始值通常占用一个或两个字。

  • 在任何情况下,调用方都不需要分配空间来容纳方法返回的某些对象/数组。在Java中,对象和数组总是使用按值传递语义返回的,但是返回的值是对象或数组引用。


有关更多信息,请参考以下资源:

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.