写时复制（Copy-on-Write, CoW） vs 浅拷贝 vs 深拷贝

KeyandL

已于 2025-05-06 14:44:39 修改

阅读量1.1k

点赞数 36

CC 4.0 BY-SA版权

分类专栏：技术之间的联想与思考文章标签：操作系统写时复制 Java并发内存管理八股文

于 2025-05-05 17:26:52 首次发布

本文链接：https://blog.youkuaiyun.com/KeyandL/article/details/147720026

技术之间的联想与思考专栏收录该内容

3 篇文章

订阅专栏

在学操作系统八股的时候，“写时复制”这个词总让我感到似曾相识。这不就是 Java 中说的浅拷贝吗？但再仔细想想，又不太一样。Redis 做 RDB 快照用了它，Java 的 CopyOnWriteArrayList 也用了它，Linux 的 fork() 更是离不开它……慢慢地就发现，这些看似分散的知识点，其实都是同一个设计思想在不同层面的应用。

什么是写时复制（CoW）？

写时复制（Copy-on-Write，简称 CoW） 是一种延迟拷贝的优化策略。它的核心思想是：

“读时不复制，写时才复制。”

也就是说，当多个进程或对象共享同一份数据时，并不会立即进行物理内存的复制。只有当其中一个进程真正要修改数据时，才会触发一次真正的复制操作。

这种方式既节省了资源，又提升了性能，广泛应用于现代系统中。

🧾 与浅拷贝的区别

特性	浅拷贝	写时复制（COW）
实现方式	只复制指针，不复制实际内容	初始共享物理内存，写时复制
是否共享内存	是，修改会影响所有引用者	初始共享，写后不再共享
应用场景	数据结构（如字符串、对象引用）	进程创建（`fork()`）、内存管理、文件系统等
安全性	修改会互相影响	修改不会影响其他进程

✅ 总结：从行为上看，写时复制确实像是一种“懒加载”的浅拷贝。但它更智能，也更安全，因为一旦有写操作，就自动切换到深拷贝模式，确保了数据的隔离性和一致性。（不修改的话，就类似浅拷贝共用一个物理地址；修改时则仅对需要修改的部分进行复制一份新的，未修改的部分仍然共享同一物理地址！！！）

💡 为什么要有写时复制？

写时复制作为一种优化策略，具有以下几个显著优点：

节省内存：
- 子进程可能不会修改父进程的数据，直接复用可以避免不必要的内存开销。
- 在某些情况下，多个进程或对象共享同一份数据是安全且高效的。
提高性能：
- 避免了立即复制整个地址空间带来的性能损耗。
- 对于大型数据结构或内存密集型应用来说，延迟复制可以显著提升启动速度和响应时间。
按需分配：
- 只有在真正需要时才进行复制，符合现代系统中“按需加载”的设计思想。
- 这种机制允许系统根据实际需求动态调整资源分配，提高了资源利用率。

🧩应用场景示例

操作系统：Linux 的 `fork()`

Linux fork() 系统调用：当使用 fork() 创建子进程时，父进程和子进程最初共享同一块物理内存页。只有当其中一个进程尝试修改这些页面时，才会触发实际的内存复制操作。

数据库：Redis 的 RDB 持久化

Redis RDB 持久化： Redis 在进行 RDB 快照生成时采用了写时复制技术。Redis fork 出一个子进程来保存当前内存中的数据状态到磁盘上。子进程与父进程共享内存，只有当父进程对某些数据进行修改时，才会为子进程创建新的副本，确保快照的一致性而不影响正常服务。

文件系统：Btrfs / ZFS 快照机制

Btrfs 和 ZFS 文件系统：这些现代文件系统支持快照功能，利用写时复制技术实现高效的文件系统快照。当创建快照时，并不会立即复制整个文件系统的数据，而是记录下当时的元数据信息。只有当原始数据被修改时，才会为快照保留旧版本的数据。

并发编程：Java 中的 `CopyOnWriteArrayList`

Java 中的 CopyOnWriteArrayList：这是 Java 并发包（java.util.concurrent）提供的线程安全集合之一。它通过写时复制的方式实现了线程安全的动态数组。对于读操作非常高效，因为不需要同步；但对于写操作，则会创建一个新的副本，在副本上完成修改后再替换原对象。适用于读多写少的场景。

虚拟化：KVM/QEMU 克隆虚拟机

KVM/QEMU 虚拟机克隆：在虚拟化环境中，为了快速克隆虚拟机实例，可以采用写时复制技术。克隆出来的虚拟机与源虚拟机共享相同的磁盘镜像，直到某个虚拟机试图修改磁盘上的数据时，才会为其分配新的存储空间并进行实际的复制操作。

⚠️ 注意：不是全量复制！再次强调！

很多人误解写时复制是“一改就全部复制”，实际上：

CoW 只复制被修改的那一小部分数据。

比如：

一个进程有 100MB 内存；
子进程 fork() 后共享这 100MB；
如果只修改了其中 5KB，那么只会复制这 5KB，其余 99.99MB 依然共享。

这种按需复制的方式是其高效的关键。

🔍 技术之间的联想：CoW 的统一设计思想

CoW 不只是操作系统的一个特性，更是一种通用的设计模式，体现在：

层级	示例	设计目标
操作系统	Linux fork	高效创建进程
数据库	Redis RDB	安全快速持久化
文件系统	Btrfs/ZFS 快照	高效备份与回滚
编程语言	Java CopyOnWrite	线程安全 + 读写分离
虚拟化	KVM 虚拟机克隆	快速部署实例