APUE中的内容，有不解的地方，请教子进程会继承父进程的锁吗？

蓝豆

我的鸟语水平还有待提高，在APUE中-ver2中看到下面的话，有些不解

Page 436
12.9 Threads and fork

Inside the child process,only one thread exist.It is made from a copy of the thread that called fork in the parent.If the threads in the parent process hold any locks,the locks will also be held in the child process.The problem is that the child process doesn't contain copies of the threads holding the locks,so there is no way for the child to know which locks are held and need to be unlocked.

红色的部分你做了一种假设，并推出一个结果。
蓝色的部分是对现实情况的描述，
紫色的部分是由蓝色部分推出的一种情况。


如果蓝色的部分是描述的事实，那粉红色的部分的假设有什么作用?

flw2

这是一个Thread-fork问题.

我举个例子

典型的例子是malloc，由于各个线程都需要malloc, malloc通常有把锁
如果两个线程AB
lock(&__alloc_lock);
do_malloc();//A在这
unlock(&__alloc_lock);

这个时候如果B线程fork一个，那么这个时候完全把地址空间复制一份，这样__alloc_lock的状态是被锁，B的子进程如果接下来调用malloc（甚至fopen等很多函数），那么显然将死锁
a()
{
    while (1) {
       p = malloc();
       free(p);
   }
}
int main()
{
    new thread a();
    while (1) {
         if (fork() == 0) {
                p = malloc();
                free(p);
                exit(0);
        }
       wait(0);
    }
}