如何突破在写pintos 过程中遇到的问题.docxVIP

突破写pintos项目中的各种问题在写pintos project中难免会出现很多问题。下面是我总结的一些解决问题的方法：百度谷歌下晚到的问题。看下别人写好的代码，网上有，可以下载。问一下其他人，队友，老师等。以上几个方法都不行的情况下，只能靠自己了。终极方法：调试。没有调试解决不了的问题。下面着重介绍用gdb调试的方法。包括了调试核心代码和用户程序怎么开始调试？打开一个终端, 进入到src/threads/ 或者src/userprog或者src/threas/build 或者src/userprog/build下面默认进入了src/threads/输入：pintos --gdb -- run alarm-multiple请注意：--gbd中 --与gdb之间没有空格; -- run 中--与run 之间必须有空格出现：再打开一个终端：进入到src/threads/build/中输入：pintos-gdbkernel.o出现：输入debugpintos出现：现在就可以调试了，具体怎么用gdb调试程序在网上有很多资料。l -------------------------这是小写L, list列出代码b x ---------------- 在x处设置断点, b--break如 b 10 在第10行设置断点b main 在函数main开始处设置断点b *0x12345 在内存地址0x12345处设置断点b process.c:start_process在process.c文件中的start_process函数入口处设置断点c --------------continue 开始运行到下一个断点处delete ------------- 删除断点p x ---------------显示变量x的值x /20wx 0x7c000 ----------- 显示20个内存地址0x7c000处的值，w-表示显示4字节，x表示用16进制显示q ------------------------quit 退出调试s --------------- step单步进入函数中n ----------------next 跳过函数还有很多……进入第二章后还要调试用户程序，调试方法可以在gdb-macros 中找到。关键在导入用户程序的符号表,这样做：gdbloadusersymbols echo下面演示调试用户程序echo进入src/example/中输入make编译好就ok进入src/userprog/中输入make编译成功进入src/userprog/build/中制作虚拟硬盘pintos-mkdiskfilesys.dsk–filesys-size=2格式化虚拟硬盘filesys.dskpintos–f –q复制../../example/中的echo文件到当前文件夹中cp ../../example/echo echo将echo 放入到虚拟硬盘中pintos -p echo -a echo -- -q开始启动调试打开一个终端，进入到src/userprog/build中输入命令：pintos --gdb -- run echo打开另一个终端，也进入到src/userprog/build/中输入命令：pintos-gdbkernel.o进入gdb界面：gdbdebugpintosgdbloadusersymbols echo此时出现：显然，.text_addr = 0x80480e0就是echo main 函数的入口地址设置断点：gdbb echo.c:main再输入gdbc运行到echo.c的main()函数入口处如下图：OK,接下来就好调试了。。