本文转载自微信公众号【编程珠玑】(shouwangxiansheng)。
一个多线程进程fork出来的进程是多线程还是单线程的?先说结论:是单线程的。
实践
口说无凭,我们先写段代码实践验证一下。
- // multiThread.cc
- #include <unistd.h>
- #include <atomic>
- #include <chrono>
- #include <iostream>
- #include <thread>
- std::atomic<bool> start{false};
- void threadfunc() {
- while (!start) {
- std::this_thread::sleep_for(std::chrono::seconds(1));
- }
- while (start) {
- std::this_thread::sleep_for(std::chrono::seconds(1));
- std::cout << "thread func,pid:" << getpid() << std::endl;
- }
- }
- int main() {
- std::thread t1(threadfunc);
- // daemon(0, 1); // 后台执行
- start.store(true);
- t1.join(); // 等待threadfunc运行结束
- return 0;
- }
编译运行:
- $ g++ -o multiThread multiThread.cc -lphtread
- $ ./multiThread
- thread func,pid:9901
- thread func,pid:9901
- thread func,pid:9901
结果正常,线程不断循环打印信息。那如果启动线程后,再fork呢?即将代码中daemon的相关行的注释去掉,再编译运行。
运行这个例子,我们会发现,程序立马退出了,没有打印我们预想的内容。
为什么
为什么会这样呢?实际上,fork的时候会拷贝父进程的数据内容,即写时复制,但是,像启动运行的线程,是不会被“复制”过去的。也就是说,从父进程fork出来的子进程,将会是单线程的。这也就给了我们一些启示:
如果在API中需要启动工作线程,则工作线程需要在daemon化之后再启动。
怎么理解呢?比如说,你设计了某一个功能,你的功能是需要启动一个线程来进程工作,那么你在使用的时候,就必须要特别注意这种fork进程的场景,即需要在fork之后启动线程,才能保证线程能够正常启动并工作。