malloc大数组不修改值时是否触发demand paging机制？

你的理解有部分接近核心机制，但存在一个关键偏差：这个现象的本质不是未被访问的页被换出到后备存储，而是这些页从始至终都没有被分配过物理内存。

背后的核心机制 #

主流操作系统（Linux、Windows等）的用户态内存分配默认遵循延迟分配规则，和请求调页（demand paging）配合工作：

• 调用malloc成功时，操作系统仅会在进程的虚拟地址空间中划出一段连续的地址范围，并不会为这段地址建立到物理内存的映射，也不会占用物理内存或交换区空间。
• 只有当进程首次访问某段虚拟地址时，CPU会因为页表中找不到对应的物理映射触发缺页中断，操作系统才会在中断处理流程中真正分配物理内存页，建立虚拟地址到物理地址的映射关系，之后进程才能正常读写该地址。

对应你的测试现象 #

• 分支1：你循环为数组所有元素赋值，等于逐个遍历了4G空间对应的所有虚拟地址，每访问到未映射的新页就会触发一次缺页中断，操作系统逐页分配物理内存，最终全部4G空间都映射到了物理页，所以观测到物理内存占用涨到约4G。
• 分支2：你调用malloc后完全没有访问数组的任何地址，操作系统自始至终都没有为这段虚拟地址分配物理内存，自然观测不到内存占用的明显上升。

你可以在Linux环境下通过/proc/[进程PID]/status文件验证这个结论：两个分支运行时VIRT（虚拟地址空间占用）都会上涨约4G，但只有分支1的RES（实际物理内存占用）会涨到4G左右。

你原有猜测的偏差说明 #

“未被访问的内存页被换出到后备存储”是页面回收机制的场景：仅针对已经分配过物理内存的页，当系统物理内存不足、或者该页长时间未被访问时，操作系统才会将其内容写入交换区（后备存储），回收对应的物理页。你的第二个测试分支根本没有触发过物理页分配流程，不存在换出的过程。

内容的提问来源于stack exchange，提问作者user12184817