552 字
3 分钟
什么是写时复制?fork 和私有映射如何利用 COW
  1. 1操作系统面试学习路线与知识地图
  2. 2什么是用户态和内核态
  3. 3什么是系统调用?它和普通函数调用有什么区别
  4. 4进程和线程有什么区别
  5. 5进程的五种状态:新建、就绪、运行、阻塞与终止
  6. 6fork、exec 和 wait 分别做什么
  7. 7什么是竞态条件和临界区?如何保证互斥
  8. 8互斥锁和自旋锁有什么区别?分别适合什么场景
  9. 9死锁的四个必要条件是什么?如何逐个预防
  10. 10缺页异常如何处理?虚拟内存不等于 Swap
  11. 11阻塞、非阻塞、同步、异步 I/O 怎么区分
  12. 12抢占式调度是什么?SJF 和 MLFQ 适合什么假设
  13. 13进程间通信如何选择?管道、共享内存、信号和 Socket
  14. 14线程切换时,操作系统要做哪些操作
  15. 15进程上下文切换要保存什么?为什么有开销
  16. 16死锁是什么?如何预防和避免死锁?
  17. 17银行家算法如何避免死锁?死锁检测后怎样恢复
  18. 18活锁、饥饿和死锁有什么区别
  19. 19进程调度算法:FCFS、SJF、优先级、时间片轮转与多级反馈队列
  20. 20调度指标有哪些?什么是优先级反转
  21. 21为什么要有虚拟内存
  22. 22TLB、多级页表和虚拟地址转换是怎么工作的
  23. 23什么是分段,什么是分页
  24. 24页面置换算法有哪些?FIFO、LRU 和 Clock
  25. 25信号量是什么?计数信号量和二元信号量怎么用
  26. 26条件变量是什么?为什么要和互斥锁配合使用
  27. 27进程间通信方式:管道、消息队列、共享内存、信号量与套接字
  28. 28I/O 模型有哪些:阻塞、非阻塞与多路复用
  29. 29select、poll 和 epoll 有什么区别
  30. 30epoll 的 LT 和 ET 模式有什么区别
  31. 31什么是异步 I/O?它和非阻塞、多路复用的区别
  32. 32什么是僵尸进程和孤儿进程?如何处理
  33. 33原子操作是什么?原子性、可见性和有序性有什么区别
  34. 34什么是工作集和抖动?内存不足时为何系统变慢
  35. 35mmap 是什么?文件映射和匿名映射怎么理解
  36. 36什么是写时复制?fork 和私有映射如何利用 COW本文

写时复制(Copy-on-Write,COW)是一种延迟复制策略:多个执行主体暂时共享同一份只读物理页面;当其中一个尝试写入时,处理器触发保护异常,内核分配新页面、复制内容、更新该主体的页表权限,再重新执行写操作。这样只有真正被写到的页面才复制,避免一开始复制大量最终不会修改的数据。

fork() 常采用 COW:父子进程获得逻辑上独立的私有地址空间,最初可共享物理页;任一方写入时才分离出私有副本。COW 并不意味着父子进程永远共享数据,也不意味着 fork 完全没有成本:仍需建立进程结构、复制或调整页表,并在写时付出缺页处理和复制页面的成本。

文件 MAP_PRIVATE 映射也使用类似的私有写入语义;共享映射则用于让修改对其他映射者可见。COW 依赖页权限和内核异常处理,是实现优化,不会改变应用对私有映射隔离语义的理解。

COW 页面上的引用计数和映射权限必须正确维护。若页面只有一个使用者,内核有时可直接恢复写权限而不复制;若多个使用者共享,则需要复制。大页面、透明大页和硬件特性会改变实际拆分与成本,因此不能假设每次写都恰好复制固定大小的一页。

常见追问#

Q:fork 后父进程修改变量,子进程会看到吗?
A:普通私有内存不会。写入触发 COW 后,父子进程各自拥有修改后的私有页;显式共享内存等区域例外。

Q:COW 是零拷贝吗?
A:不是。它延迟并减少不必要复制,但发生写入时仍要复制页面;创建页表和缺页处理也有成本。

Q:COW 为什么要把共享页设为只读?
A:这样任一方写入时会触发异常,内核能识别共享页面并执行分离复制,维持私有地址空间语义。

什么是写时复制?fork 和私有映射如何利用 COW
https://blog.xqcherry.top/posts/interview/operating-system/copy-on-write/
作者
xqcherry
发布于
2026-10-12
许可协议
CC BY-NC-SA 4.0