企业🤖AI智能体构建引擎,智能编排和调试,一键部署,支持私有化部署方案 广告
本次实验在信号量的基础上增加了共享内存,比较简单,只需要改写上次的pc.c代码即可 producer.c ~~~ #define __LIBRARY__ #include <sys/stat.h> #include <sys/types.h> #include <unistd.h> #include <fcntl.h> #include <stdio.h> #include <stdlib.h> #include <semaphore.h> #include <sys/ipc.h> #include <sys/shm.h> #include <sys/sem.h> #define Total 500 #define BUFFERSIZE 10 int main() { int shmid; int put_pos = 0, i; int *ShareAddress; sem_t *empty, *full, *mutex; empty = (sem_t *)sem_open("empty", O_CREAT, 0777, 10); full = (sem_t *)sem_open("full", O_CREAT, 0777, 0); mutex = (sem_t *)sem_open("mutex",O_CREAT, 0777, 1); shmid = shmget( 555204, BUFFERSIZE*sizeof(int), IPC_CREAT|0666); /* if(!shmid) { printf("shmget failed!"); exit(0); } */ ShareAddress = (int*)shmat(shmid, NULL, 0); /* if(!ShareAddress) { printf("shmat failed!"); exit(0); } */ for( i = 0 ; i < Total; i++) { sem_wait(empty); sem_wait(mutex); ShareAddress[put_pos] = i; put_pos = ( put_pos + 1 ) % BUFFERSIZE; sem_post(mutex); sem_post(full); } while(1); return 0; } ~~~ consumer.c ~~~ #define __LIBRARY__ #include <sys/stat.h> #include <sys/types.h> #include <unistd.h> #include <fcntl.h> #include <stdio.h> #include <stdlib.h> #include <semaphore.h> #include <sys/ipc.h> #include <sys/shm.h> #define Total 500 #define BUFFERSIZE 10 int main() { int shmid; int get_pos = 0, i; int *ShareAddress; sem_t *empty, *full, *mutex; empty = (sem_t *)sem_open("empty", O_CREAT, 0777, 10); full = (sem_t *)sem_open("full", O_CREAT, 0777, 0); mutex = (sem_t *)sem_open("mutex",O_CREAT, 0777, 1); shmid = shmget( 555204, BUFFERSIZE*sizeof(int), IPC_CREAT|0666 ); /*返回共享内存的标识符*/ /* if(!shmid) { printf("shmget failed!"); fflush(stdout); exit(0); } */ ShareAddress = (int*)shmat(shmid, NULL, 0); /* if(!ShareAddress) { printf("shmat failed!"); fflush(stdout); exit(0); } */ for(i = 0; i < Total; i++) { sem_wait(full); sem_wait(mutex); printf("%d\n", ShareAddress[get_pos]); fflush(stdout); get_pos = ( get_pos + 1 ) % BUFFERSIZE; sem_post(mutex); sem_post(empty); } sem_unlink("empty"); sem_unlink("full"); sem_unlink("mutex"); return 0; } ~~~ report 1.对于地址映射实验部分,列出你认为最重要的那几步(不超过4步),并给出你获得的实验数据。 答:第一步是:寻找保存变量i的虚拟地址ds:0x3004所对应的LDT,ldtr的值是0x0068=0000000001101000(二进制),表示LDT表存放在GDT表的1101(二进制)=13(十进制)号位置。 GDT的位置已经由gdtr明确给出,在物理地址的0x00005cb8。dl和dh的值分别为0x52d00068,0x000082fd。组合出LDT表的物理地址0x00fd52d0。 第二步是:由ds:0x0017=0000000000010111(二进制),所以RPL=11,可见是在最低的特权级(因为在应用程序中执行),TI=1,表示查找LDT表,索引值为10(二进制)= 2(十进制), 表示找LDT表中的第3个段描述符(从0开始编号)。所以第3项“0x00003fff 0x10c0f300”就是寻找的ds段描述符。 第三步是:段描述符“0x00003fff 0x10c0f300”组合成的“0x10000000”。这就是ds段在线性地址空间中的起始地址(ds段的段基址)。段基址+段内偏移,就是线性地址了。 所以ds:0x3004的线性地址就是:0x10000000 + 0x3004 = 0x10003004。 首先需要算出线性地址中的页目录号、页表号和页内偏移,它们分别对应了32位线性地址的10位+10位+12位,所以0x10003004的页目录号是64,页号3,页内偏移是4。 页目录表的基址为0,其中第65个页目录项就是我们要找的内容,0x00000100 : 0x00fa3027,页表所在物理页框号为0x00fa3,即页表在物理内存的0x00fa3000位置。 进而得到0x00fa300c : 0x00fa2067 第四步是:线性地址0x10003004对应的物理页框号为0x00fa2,和页内偏移0x004接到一起,得到0x00fa2004,这就是变量i的物理地址。 查看0x00fa2004 : 0x12345678,证明其确实为i的物理地址。 2.test.c退出后,如果马上再运行一次,并再进行地址跟踪,你发现有哪些异同?为什么? 答: 相同的是虚拟地址不会改变,线性地址也不会改变,但是实际的物理地址改变了。因为虚拟地址和线性地址都是操作系统抽象出来的,再运行一次仍可以在当前位置, 而物理地址是动态分配的,可能上一次的物理地址已经被占用,所以操作系统会分配一块新的未被使用的来保存变量的值。