首页 > 系统相关 >内存管理——Hotspot堆创建

内存管理——Hotspot堆创建

时间:2022-09-21 23:13:41浏览次数:80  
标签:set rs 创建 young Hotspot 内存 heap gen size

堆创建

如何创建堆的过程虽然并不困难,但是涉及到的类比较多所有最好还是记录一下吧,万一忘了就麻烦了,只讨论使用Serial收集器的堆。

首先来列举一下关于堆管理的几个类好了:

  1. Heap
  2. Generation
  3. Space

Heap

Heap是关于堆的抽象,在JVM中只有CollectedHeap,继承了它的有下面几个类:

graph BT; GenCollectedHeap --> CollectedHeap SerialHeap --> GenCollectedHeap CMSHeap --> GenCollectedHeap G1CollectedHeap --> CollectedHeap ParallelScavengeHeap --> CollectedHeap ZCollectedHeap --> CollectedHeap

重点来看看GenCollectedHeap即可,SerialHeap拓展的内容并不多。Heap是堆管理中最为顶层的部分,堆中还会包含Generation,关于Generation会在后面进行介绍。

堆在Universe::initialize_heap()中被创建,删掉关于指针压缩后的内容非常简单:

jint Universe::initialize_heap() {
  _collectedHeap = create_heap();
  jint status = _collectedHeap->initialize();
  if (status != JNI_OK) {
    return status;
  }

  ThreadLocalAllocBuffer::set_max_size(Universe::heap()->max_tlab_size());

  // We will never reach the CATCH below since Exceptions::_throw will cause
  // the VM to exit if an exception is thrown during initialization

  if (UseTLAB) {
    assert(Universe::heap()->supports_tlab_allocation(),
           "Should support thread-local allocation buffers");
    ThreadLocalAllocBuffer::startup_initialization();
  }
  return JNI_OK;
}

一共做了2件事:

  1. 创建和初始化堆。
  2. 初始化TLAB配置。

我们只来看看关于如何创建和初始化堆就好了。

堆的创建

堆的创建会调用GCArguments::create_heap,不过这个是个纯虚函数,所以事实上会调用有关的重载,继承了GCArguments的类有很多,具体是调用了那个类的实现取决于当前的GC配置,如果是使用Serial收集器,那么会使用SerialArguments的实现:

// src/hotspot/share/gc/serial/serialArguments.cpp
CollectedHeap* SerialArguments::create_heap() {
  return create_heap_with_policy<SerialHeap, MarkSweepPolicy>();
}

// src/hotspot/share/gc/shared/gcArguments.inline.hpp
template <class Heap, class Policy>
CollectedHeap* GCArguments::create_heap_with_policy() {
  Policy* policy = new Policy();
  policy->initialize_all();
  return new Heap(policy);
}

可以看到,实际上会创建SerialHeap,创建了一个堆的配置策略MarkSweepPolicy,这个类是GenCollectorPolicy的子类。在对配置进行初始化的过程中会配置堆的最大大小、初始大小、最小大小和存活率等信息,配置的依据一个是虚拟机启动的参数,另外一个则是所谓的ergonomically,也就是自动配置。

再完成了对于配置策略的初始化之后,会使用它来创建堆,实际创建的堆是GenCollectedHeap

GenCollectedHeap::GenCollectedHeap(GenCollectorPolicy *policy,
                                   Generation::Name young,
                                   Generation::Name old,
                                   const char* policy_counters_name) :
  CollectedHeap(),
  _rem_set(NULL),
  _young_gen_spec(new GenerationSpec(young,
                                     policy->initial_young_size(),
                                     policy->max_young_size(),
                                     policy->gen_alignment())),
  _old_gen_spec(new GenerationSpec(old,
                                   policy->initial_old_size(),
                                   policy->max_old_size(),
                                   policy->gen_alignment())),
  _gen_policy(policy),
  _soft_ref_gen_policy(),
  _gc_policy_counters(new GCPolicyCounters(policy_counters_name, 2, 2)),
  _process_strong_tasks(new SubTasksDone(GCH_PS_NumElements)),
  _full_collections_completed(0) {
}

CollectedHeap中主要初始化了一些统计信息,所以跳过。可以看到这里将policy保存了下来,同时又创建了两个GenerationSpec对象,在对堆进行初始化的时候会使用到它们。同时,记忆集的字段_rem_set仍然是空的。

堆的初始化

堆的初始化这一块的逻辑和系统有比较多的关系,这里假设使用linux系统。

jint GenCollectedHeap::initialize() {
  // While there are no constraints in the GC code that HeapWordSize
  // be any particular value, there are multiple other areas in the
  // system which believe this to be true (e.g. oop->object_size in some
  // cases incorrectly returns the size in wordSize units rather than
  // HeapWordSize).
  guarantee(HeapWordSize == wordSize, "HeapWordSize must equal wordSize");

  // Allocate space for the heap.

  char* heap_address;
  ReservedSpace heap_rs;

  size_t heap_alignment = collector_policy()->heap_alignment();

  heap_address = allocate(heap_alignment, &heap_rs);

  if (!heap_rs.is_reserved()) {
    vm_shutdown_during_initialization(
      "Could not reserve enough space for object heap");
    return JNI_ENOMEM;
  }

  initialize_reserved_region((HeapWord*)heap_rs.base(), (HeapWord*)(heap_rs.base() + heap_rs.size()));

  _rem_set = create_rem_set(reserved_region());
  _rem_set->initialize();
  CardTableBarrierSet *bs = new CardTableBarrierSet(_rem_set);
  bs->initialize();
  BarrierSet::set_barrier_set(bs);

  ReservedSpace young_rs = heap_rs.first_part(_young_gen_spec->max_size(), false, false);
  _young_gen = _young_gen_spec->init(young_rs, rem_set());
  heap_rs = heap_rs.last_part(_young_gen_spec->max_size());

  ReservedSpace old_rs = heap_rs.first_part(_old_gen_spec->max_size(), false, false);
  _old_gen = _old_gen_spec->init(old_rs, rem_set());
  clear_incremental_collection_failed();

  return JNI_OK;
}

第一个调用的函数就是GenCollectedHeap::allocate,这个逻辑其实比较清晰但是调用链比较长,一直往下走就行了,总之最后会来到os::pd_reserve_memory

// src/hotspot/os/linux/os_linux.cpp
char* os::pd_reserve_memory(size_t bytes, char* requested_addr,
                            size_t alignment_hint) {
  return anon_mmap(requested_addr, bytes, (requested_addr != NULL));
}

此时的requested_addr参数为NULL。

anon_mmap则为:

// src/hotspot/os/linux/os_linux.cpp

// If 'fixed' is true, anon_mmap() will attempt to reserve anonymous memory
// at 'requested_addr'. If there are existing memory mappings at the same
// location, however, they will be overwritten. If 'fixed' is false,
// 'requested_addr' is only treated as a hint, the return value may or
// may not start from the requested address. Unlike Linux mmap(), this
// function returns NULL to indicate failure.
static char* anon_mmap(char* requested_addr, size_t bytes, bool fixed) {
  char * addr;
  int flags;

  flags = MAP_PRIVATE | MAP_NORESERVE | MAP_ANONYMOUS;
  if (fixed) {
    assert((uintptr_t)requested_addr % os::Linux::page_size() == 0, "unaligned address");
    flags |= MAP_FIXED;
  }

  // Map reserved/uncommitted pages PROT_NONE so we fail early if we
  // touch an uncommitted page. Otherwise, the read/write might
  // succeed if we have enough swap space to back the physical page.
  addr = (char*)::mmap(requested_addr, bytes, PROT_NONE,
                       flags, -1, 0); // 这样创建出来的内存并不能够被访问。

  return addr == MAP_FAILED ? NULL : addr;
}

传入的参数中requested_addr为NULL,bytes是新生代和老年代的最大大小相加的值,fixed为false。解释一下几个flag的意思:MAP_NORESERVE不要提前预留交换区空间、MAP_PRIVATEMAP_ANONYMOUS创建一个匿名的私有的虚拟映射,映射是其他进程不可见的。调用mmap的另外一个参数PROT_NONE的意思是禁止对映射的区域进行任何操作。

由于是写时复制的所以事实上并不会提前分配内存,但是可能会出现需要分配内存时系统已经没有足够的内存页和交换区了,不过这么做的好处是并不会真正占用内存。

返回到GenCollectedHeap::initialize

  char* heap_address;
  ReservedSpace heap_rs;

  size_t heap_alignment = collector_policy()->heap_alignment();

  heap_address = allocate(heap_alignment, &heap_rs);

可以发现,事实上allocate对heap_rs进行了初始化,这个对象就是用来表示一段内存的,来看看它的几个字段:

// ReservedSpace is a data structure for reserving a contiguous address range.

class ReservedSpace {
  friend class VMStructs;
 protected:
  char*  _base; // 基址。
  size_t _size; // 空间的长度。
  size_t _noaccess_prefix; // 是否有不可访问的前缀部分,如果开启指针压缩则会有,关于指针压缩机制可以参考[1]。
  size_t _alignment; // 对齐。
  bool   _special; // 是否是特殊的,貌似开启大页同时有一些其他限制就是特殊的。
  int    _fd_for_heap; // 文件描述符,如果映射到某个虚拟文件则会有(我不清楚是否可以映射其他类型的文件还是什么的),否则为-1。
 private:
  bool   _executable; // 是否可执行,在ReservedCodeSpace的构造函数中会初始化为true。
};

ReservedSpace的类继承结构如下:

graph BT; ReservedCodeSpace --> ReservedSpace ReservedHeapSpace --> ReservedSpace

对于ReservedCodeSpace的介绍会留到关于动态生成代码的内存管理中去。

继续回到GenCollectedHeap::initialize

  // 这一段并没有做什么,就是判断有没有初始化成功,以及使用`initialize_reserved_region`对几个字段进行了设置。
	if (!heap_rs.is_reserved()) {
    vm_shutdown_during_initialization(
      "Could not reserve enough space for object heap");
    return JNI_ENOMEM;
  }

  initialize_reserved_region((HeapWord*)heap_rs.base(), (HeapWord*)(heap_rs.base() + heap_rs.size()));
	
	// 创建了记忆集,同时创建了读写屏障,这部分的具体内容留到GC中。
  _rem_set = create_rem_set(reserved_region());
  _rem_set->initialize();
  CardTableBarrierSet *bs = new CardTableBarrierSet(_rem_set);
  bs->initialize();
  BarrierSet::set_barrier_set(bs);
	
	// 比较主要的部分。
  ReservedSpace young_rs = heap_rs.first_part(_young_gen_spec->max_size(), false, false);
  _young_gen = _young_gen_spec->init(young_rs, rem_set());
  heap_rs = heap_rs.last_part(_young_gen_spec->max_size());

  ReservedSpace old_rs = heap_rs.first_part(_old_gen_spec->max_size(), false, false);
  _old_gen = _old_gen_spec->init(old_rs, rem_set());
  clear_incremental_collection_failed(); // 和GC有关。

heap_rs.first_part的实现非常简单,就只是创建了一个新的Space,用来表示头_young_gen_spec->max_size个字节,然后用这个Space去初始化young_generation。

Generation

堆都是分代的,所以需要用Generation来表示代,比如在GenCollectedHeap中有两个字段_young_gen_old_gen分别用于表示young和old代。在更老的版本中(比如说openjdk-8),GenCollectedHeap允许使用更加多的代,但是到了目前(openjdk-11),只允许了两个代。这里只来看看和Serial收集器有关的代好了:

graph BT; DefNewGeneration --> Generation CardGeneration --> Generation TenuredGeneration --> CardGeneration

其中DefNewGenerationGenCollectedHeap中所使用的young代,而TenuredGeneration则是old代,对于什么样的heap要使用什么样的generation是提前配置好的。进行配置的有关调用在:

如果是的话CardGeneration还包含了记忆集和偏移表,分别保存在_rs_bts这两个字段,使用这两个数据结构来追踪老年代堆新生代中对象的引用。

GenCollectedHeap::initialize的代码中,我们实际上可以看到在_young_gen = _young_gen_spec->init(young_rs, rem_set());中使用了GenerationSpec,它是在构造GenCollectedHeap时创建的,其代码比较短:

// The specification of a generation.  This class also encapsulates
// some generation-specific behavior.  This is done here rather than as a
// virtual function of Generation because these methods are needed in
// initialization of the Generations.
class GenerationSpec : public CHeapObj<mtGC> {
  friend class VMStructs;
private:
  Generation::Name _name;
  size_t           _init_size;
  size_t           _max_size;

public:
  GenerationSpec(Generation::Name name, size_t init_size, size_t max_size, size_t alignment) :
    _name(name),
    _init_size(align_up(init_size, alignment)),
    _max_size(align_up(max_size, alignment))
  { }

  Generation* init(ReservedSpace rs, CardTableRS* remset);

  // Accessors
  Generation::Name name()        const { return _name; }
  size_t init_size()             const { return _init_size; }
  void set_init_size(size_t size)      { _init_size = size; }
  size_t max_size()              const { return _max_size; }
  void set_max_size(size_t size)       { _max_size = size; }
};

Space

Generation的内部还会被进一步划分为Space,比如在DefNewGeneration中就有_eden_space等三个Space。

标签:set,rs,创建,young,Hotspot,内存,heap,gen,size
From: https://www.cnblogs.com/AANA/p/16717557.html

相关文章

  • 内存管理——记忆集和读写屏障
    记忆集和读写屏障由于对堆使用了分代管理,所以在对新生代进行GC的时候需要将老年代对新生代中对象的引用也当做根来看待,所以在根标记的过程中也需要对老年代的引用进行标记......
  • opengauss3.0内存结构
    执行作业最终可用的内存为:max_process_memory–sharedmemory-cstore_buffers查看内存使用信息:pg_total_memory_detail(需要打开内存管理开关)pg_shared_memory_detail......
  • 创建 Docker Compose 文件
    DockerCompose: 将多个Docker映像作为一个单元一起生成,然后部署该单元。DockerCompose文件是一个YAML文件,用于将多个docker容器组合在一起以进行生成和部署。......
  • Linux(ubuntu)下创建用户没有创建家目录
    https://blog.csdn.net/inthat/article/details/120436806useradd-musername#参数-m自动创建用户的家目录......
  • 设计模式-创建型模式之单例
    1、元类实现1classSingleton(type):2def__init__(self,*args,**kwargs):3super().__init__(*args,**kwargs)4self._instance=Non......
  • 二进制到汇编:进制,原码反码补码,位运算,通用寄存器,内存一套打通
    1.语言1.1机器语言人和人沟通的桥梁:语言人与计算机打交道-->学习计算机的语言-->什么是机器语言#我们目前主流的电子计算机!状态:0和1#最早的程序员:穿孔卡带!加......
  • linux创建组和用户,切换用户
      一、创建组[root@zabbix-server~]#groupaddmonitor-ggid:指定组ID号二、创建用户[root@zabbix-server~]#useradd-u501-gmonitor-Gadmin-d/monit......
  • 内存泄漏检测工具总结
    视频1:https://www.bilibili.com/video/BV1hY4y1u7XK/?spm_id_from=333.337.search-card.all.click&vd_source=7a1a0bc74158c6993c7355c5490fc600内存泄漏原因:malloc/new......
  • 创建一个简单的热力图实例
    1.安装heatmapjs//NPMnpmiheatmapjs//或者yarnyarnaddheatmapjs2.导入h337importh337from'heatmapjs';3.定义全局变量(在react中可用useRef做一个......
  • 【Vue项目实践】创建一个 electron+vue3 的项目
    采用vite来创建一个vue项目,然后在项目中加入electron的配置参考链接:Vite+Electron快速构建一个VUE3桌面应用(一)创建项目1.安装viteyarncreatevite2.创......