操作系统实验4.3 第一次页故障 && 父子进程间的共享内存通信实现

一、第一题

（一）答案

rundbg侧调试命令
ps:如何在rundgb调试：./rundbg会弹出小窗口，点回到在刚刚输入./rundbg的窗口，输入下述命令。

b 0xb124
c
x/wx 0x1fa20
creg
x/17wx 0
x/38wx 0xffe000
b 0xb15a
c
x/17wx 0
x/38wx 0xffe000
n
q

mygdb侧调试命令

b 145
c
n
x/2i $eip

第三关.txt

（二）思路

1.第一题

有个个人认为有歧义的地方，第四题：“引发这次页故障的指令地址是什么？”
即为调用这个page_fault函数的指令的的恢复点，所以走到page_fault的iret，在执行一条汇编指令(gdb中用si，rundbg中用n)
其他部分实验准备中讲的已经很详尽了

二、第二题

（一）答案（共修改五处代码（7行））

1.1.3/linux/init/main.c第113行

将static int mynext = 0;改为int mynext
###2.1.3/linux/init/main.c第113行

2.1.3/linux/init/main.c第150行

添加：mynext = 0;

2.1.3/linux/init/main.cmain函数中的下图标记位置分别改为

output_char('A' + (mynext++ % 26));和output_char('a' + (mynext++ % 26));

修改后如下图所示

3.在1.3/linux/mm/memory.c的开头添加外部全局变量extern int mynext;

4.在1.3/linux/mm/memory.c的copy_page_tables函数中下图两条语句之间添加如下语句

if((this_page &0xfffff000) == (((unsigned)&mynext) & 0xfffff000))				
	this_page |= 2;

添加后：

（二）思路

在1号进程被创建时，fork函数调用了copy_process函数调用copy_mem函数，copy_mem函数调用copy_page_tables函数，copy_page_tables函数完成了对页目录项和页表项内容的复制，如下图所示。

经过copy_page_tables函数的处理，1号进程与0号进程某一内容页目录、页表和物理地址空间的关系示意图如下。

而由于1号进程对0号进程的相关内容仅有读权限，无写权限，则1号进程不能够对0号进程的内容进行修改，由于COW机制，当1号进程试图修改0号进程的内容时，上图所示关系变为下图所示。

因此，若想满足题目要求，只需让1号进程对0号进程的mynext变量的物理地址空间有写权限即可，即，当1号进程在创建mynext变量的页目录项、页表时，将其页目录项、页表项的读写权限（从右向左数第二位）设置为1。而其他页表读写权限不改变。
因此在copy_page_tables函数创建1号进程的页目录项页表项，并为其设置读写权限时，进行对mynext变量的特殊情况判别即可。

（三）实验中遇到的问题

1.

修改后的main.c文件main函数中的

output_char('A' + (mynext++ % 26));

语句不能够改为

output_char('A' + (mynext % 26));
mynext++;

原因参考：操作系统实验3.3 版本1.2内核的进程调度过程分析 && 两个进程的严格交替输出

2.

main.c文件main函数中的需要再次对mynext赋予初值0，在main函数外设置其初值无效，会导致输出的字母不从a开始（从i开始）（但是在main函数外使用语句static int mynext = 0;则不用再次在main函数将mynext设置为0）。暂未探明此问题的原因。

3.

修改后的copy_page_tables函数中的下属语句中的&next前添加了(unsigned)

if((this_page &0xfffff000) == (((unsigned)&mynext) & 0xfffff000))
	this_page |= 2;

这是由于c中将0xfffff000视为unsigned int，而本文中mynext设置的变量类型为int，不能够正常按位与（甚至编译不能通过，int指针类型的变量不能够与unsigned int类型变量进行按位与运算）