1. test1
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
/******全局变量位于数据区, 用于数据区测试*******/
int globvar = 6;
char buf[] = "a write to stdout!
";
char gstring[] = "hello string";
int main(void)
{
/******局部变量位于栈, 用于栈测试*******/
int var;
pid_t pid;
var = 88;
if ( write(STDOUT_FILENO, buf, sizeof(buf)-1) != sizeof(buf)-1 ){
printf("write error!!
");
return -1;
}
printf("before fork!!, pid = %d
", getpid() );
fflush(stdout); // 注意该行代码产生的效果
FILE* fp = fopen("s.txt", "wb+");
/******当带缓存的C库函数遇上fork: C库函数的缓存建立在堆上, 这就相当于用于堆测试*******/
fprintf(fp, "1st , string: %s, pid:%d ", gstring, getpid());
/* 父进程中,fork返回新创建子进程的进程ID. 子进程中,fork返回0. 出现错误,fork返回负值. */
if ((pid = fork()) < 0){
printf("fork error!!
");
}
else if (pid == 0){
globvar++;
var++;
printf("son: pid = %d
", getpid() );
}
else{
sleep(1);
printf("father: pid = %d
", getpid() );
}
/***********
父子进程内, globvar, var 打印出来的值是不一样的,
因为父进程中有这俩变量的一份物理内存,子进程中会分配这俩变量的另一份物理内存,
也就是说,经过本次测试得到:在物理内存上,父子进程有自己的数据区、栈。
而打印他们的地址值却是一样的,这说明子进程复制了父进程的虚拟地址空间。
事实上的结论是:子进程会复制父进程的虚拟地址空间。在物理内存上,父子进程共享代码段,但是有各自的数据段、栈、堆。
***********/
printf("pid = %d, glob = %d, var = %d
", getpid(), globvar, var);
printf("pid = %d, &glob = %ld, &var = %ld
", getpid(), (long int)&globvar, (long int)&var);
fprintf(fp, "2nd , string: %s, pid:%d ", gstring, getpid());
/*********
这里的代码,父子进程都会执行到。
对于父进程而言,之前fprintf一次,现在又一次,合计是两次,相信大家对这点都不会搞错。
对子进程而言,由于父进程fork子进程之前,已经向缓存区内写入了字符串,所以子进程复制了父进程的这份缓存区,
只是我们不方便修改这子进程内复制来的堆空间内的数据。
在子进程即将退出之际,这里再次使用fprintf,实际上相当于这是子进程第二次向该缓冲区内写东西了。
在程序退出后,缓存内的数据会被写入文件,那么合计,s.txt文件内最终记录的应该有4条打印语句。
***********/
exit(0);
}
运行:
root@lmw-virtual-machine:/home/lmw/MINE/Linux_C_exercise/fork/IO缓存
函数+fork# gcc fork3.c
root@lmw-virtual-machine:/home/lmw/MINE/Linux_C_exercise/fork/IO缓存
函数+fork# ./a.out
a write to stdout!
before fork!!, pid = 5102
son: pid = 5103
pid = 5103, glob = 7, var = 89
pid = 5103, &glob = 6295696, &var = 140732929243848
father: pid = 5102
pid = 5102, glob = 6, var = 88
pid = 5102, &glob = 6295696, &var = 140732929243848
root@lmw-virtual-machine:/home/lmw/MINE/Linux_C_exercise/fork/IO缓存
函数+fork#
2. test2
鉴于test1实验代码不便于修改子进程内由父进程复制得到的堆空间。
我们再来写个实验代码test2吧。
#include <stdio.h> #include <unistd.h> #include <stdlib.h> pid_t pid; int main(void) { int* p = (int*)malloc(sizeof(int)*100); if( (pid = fork()) < 0){ perror("fork "); }else if(pid > 0){ p[0] = 99; }else{ sleep(1); p[0] = 100; } printf("pid=%d, p=0x%lx, *p=%d ", getpid(), (unsigned long)&p[0], p[0]); //printf(" ___ *p=%d ", 0[p]); 等价于p[0] return 0; }
运行:
root@lmw-virtual-machine:/home/lmw/MINE/Linux_C_exercise/fork/IO缓存函数+fork# ./a.out
pid=10424, p=0xc1a010, *p=99
root@lmw-virtual-machine:/home/lmw/MINE/Linux_C_exercise/fork/IO缓存函数+fork# pid=10425, p=0xc1a010, *p=100
root@lmw-virtual-machine:/home/lmw/MINE/Linux_C_exercise/fork/IO缓存函数+fork#
经过test2的实验,可以看到,
fork前申请了堆空间,fork后,子进程内和父进程内对该获取到的堆指针进行打印,都是同一个值,表明子进程复制了父进程的虚拟内存的堆区,
然而父子进程打印p[0]却又有不同的值,表明父子进程内的堆实际上拥有各自独立的物理内存。
PS: 编写代码期间不小心犯错了,没加括号,C语言运算符优先级 小于符号的优先级 要高于 赋值符号!
下面是错误代码展示:
对于严谨思维,可以预测到test2的执行是:父进程先打印退出,之后延时1秒后,子进程才打印退出。
如果ubuntu内的现象不符合这个,例如两条语句同时打印出来,那么可以推测发生了预期异常!
结论:
子进程会复制父进程的虚拟地址空间。在物理内存上,父子进程共享代码段,但是有各自的数据区、栈、堆。
我的关联博文:
系统编程-进程-fork深度理解、vfork简介
.