1、单进程版 – 最简单的先看看程序替换
现象就是
1、我们用自己的进程封装了内置指令ls,并且代码中execl 后 printf 的after并没有打印出来。
2、谈进程替换的原理
单进程替换基本原理
上面例子中execl的做法非常简单粗暴,要调用ls,那么就把mycommand这个进程的代码和数据进行替换,物理空间根据ls的大小进行调整,左边进程地址空间和页表做出相应的调整,然后从新加载的程序main函数入口处重新执行,而并没有创建新的进程!
3、多进程版 – 验证各种程序替换借口
子进程execl调用了ls,父进程也等待成功了,并且没有创建新进程
问题1、在子进程中执行execl会不会影响到父进程呢?如果不会的话为什么?
答:不会,写时拷贝技术,并且进程互相具有独立性
问题2.、在单继承原理说了,替换是简单粗暴的把可执行程序在物理内存中代码和数据
直接替换,那么fork之后创建的子进程把数据进行写时拷贝了,那么代码呢?它也有写时拷贝吗?
答案:是的,操作系统去写入这个代码,他发现这个代码是父子共享的,所以不能直接替换,所以代码也要进行写时拷贝。
所以写时拷贝不一定只在数据层面,代码上也体现。
问题3、程序替换有没有创建新的子进程?
没有,可以看到调用execl前后的子进程活着和死了之后都是同一个进程Pid
不创建新进程,只进行进程的程序代码和数据的替换工作!
如果是父子场景发生写时拷贝,不是父子直接替换(单进程场景)
适当的改改页表映射关系,进而让pcb执行新程序。
补充小知识:
1、现象:程序替换成功之后,exec后续的代码不会被执行,替换失败呢?才可能执行后续代码exec函数,只有失败返回值,没有成功返回值!! 替换成功后也没有地方返回
2、我们的CPU如何得知程序的入口地址?
这个入口还不是main函数而是类似CRTmain
Linux中形成的可执行程序,是有格式的,可执行程序不是杂乱无章的把二进制往里一放,有ELF,可执行程序的表头,可执行程序的入口地址就在表中!! !
所以刚开始一定要把表头先加载到内存当中。
4、总结
5、自定义shell