OS Lab3 with ld 2.20对stab表的处理方式更改导致评分程序判断错误详解

本文主要是介绍OS Lab3 with ld 2.20对stab表的处理方式更改导致评分程序判断错误详解,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

之前一直在使用Ubuntu9.04 with Binutils 2.19 & gcc 3.4,很早之前就做完了Lab3

前天刚刚出了Ubuntu9.10,准备迁移工作环境

没想到同样的代码搬迁到了9.10之后三个程序报错。

从昨天晚上研究到今天凌晨,终于研究出了原因。

在Ubuntu 9.10中使用了Binutils 2.20,ld也随之升级。

ld的诡异行为误导了评分程序。

首先先来看readelf对我们的user程序的分析:

 

ContractedBlock.gif ExpandedBlockStart.gif Code
2.19.1

Section Headers:
  [Nr] Name              Type            Addr     Off    Size   ES Flg Lk Inf Al
  [ 0]                   NULL            00000000 000000 000000 00      0   0  0
  [ 1] .text             PROGBITS        00800020 006020 000ffc 00  AX  0   0  4
  [ 2] .rodata           PROGBITS        0080101c 00701c 000268 00   A  0   0  4
  [ 3] .data             PROGBITS        00802000 008000 000004 00  WA  0   0  4
  [ 4] .bss              NOBITS          00802004 008004 000008 00  WA  0   0  4
  [ 5] .stab_info        PROGBITS        00200000 001000 000010 00  WA  0   0  1
  [ 6] .stab             PROGBITS        00200010 001010 002a6d 0c   A  7   0  4
  [ 7] .stabstr          STRTAB          00202a7d 003a7d 00183a 00   A  0   0  1
  [ 8] .comment          PROGBITS        00000000 008004 0001a4 00      0   0  1
  [ 9] .shstrtab         STRTAB          00000000 0081a8 000057 00      0   0  1
  [10] .symtab           SYMTAB          00000000 0083e0 000440 10     11  24  4
  [11] .strtab           STRTAB          00000000 008820 000210 00      0   0  1
Key to Flags:
  W (write), A (alloc), X (execute), M (merge), S (strings)
  I (info), L (link order), G (group), x (unknown)
  O (extra OS processing required) o (OS specific), p (processor specific)

Program Headers:
  Type           Offset   VirtAddr   PhysAddr   FileSiz MemSiz  Flg Align
  LOAD           0x001000 0x00200000 0x00200000 0x042b7 0x042b7 RW  0x1000
  LOAD           0x006020 0x00800020 0x00800020 0x01264 0x01264 R E 0x1000
  LOAD           0x008000 0x00802000 0x00802000 0x00004 0x0000c RW  0x1000
  GNU_STACK      0x000000 0x00000000 0x00000000 0x00000 0x00000 RWE 0x4

---------------------------------------------
BinUtils 2.20
Section Headers:
  [Nr] Name              Type            Addr     Off    Size   ES Flg Lk Inf Al
  [ 0]                   NULL            00000000 000000 000000 00      0   0  0
  [ 1] .text             PROGBITS        00800020 006020 000ffc 00  AX  0   0  4
  [ 2] .rodata           PROGBITS        0080101c 00701c 000268 00   A  0   0  4
  [ 3] .data             PROGBITS        00802000 008000 000004 00  WA  0   0  4
  [ 4] .bss              NOBITS          00802004 008004 000008 00  WA  0   0  4
  [ 5] .stab_info        PROGBITS        00200000 006000 000010 00  WA  0   0  1
  [ 6] .comment          PROGBITS        00000000 008004 00007d 00      0   0  1
  [ 7] .stab             PROGBITS        00000080 001080 002a6d 0c   A  8   0  4
  [ 8] .stabstr          STRTAB          00002aed 003aed 00183a 00   A  0   0  1
  [ 9] .shstrtab         STRTAB          00000000 008081 000057 00      0   0  1
  [10] .symtab           SYMTAB          00000000 0082b8 000440 10     11  24  4
  [11] .strtab           STRTAB          00000000 0086f8 000210 00      0   0  1
Key to Flags:
  W (write), A (alloc), X (execute), M (merge), S (strings)
  I (info), L (link order), G (group), x (unknown)
  O (extra OS processing required) o (OS specific), p (processor specific)

Program Headers:
  Type           Offset   VirtAddr   PhysAddr   FileSiz MemSiz  Flg Align
  LOAD           0x001080 0x00000080 0x00000080 0x042a7 0x042a7 R   0x1000
  LOAD           0x006000 0x00200000 0x00200000 0x00010 0x00010 RW  0x1000
  LOAD           0x006020 0x00800020 0x00800020 0x01264 0x01264 R E 0x1000
  LOAD           0x008000 0x00802000 0x00802000 0x00004 0x0000c RW  0x1000
  GNU_STACK      0x000000 0x00000000 0x00000000 0x00000 0x00000 RWE 0x4

从上面我们看到,原先将被加载到0x00200000的stab表,在ld2.20的处理下,加载到了0x00000080

这样,load_icode之后,用户程序的第一个page directory被分配,并且对User Mode可读。

偏偏在某些User Mode的测试程序中不允许我们这么做,例如buggyhello——

 

void
umain(
void )
{
    sys_cputs((
char * ) 1 1 );
}

如果你让他可读,那就错了。因为评分程序认为,用户不该对第一个page directory中的任何page可读,因为这里不可能被分配嘛!

但是评分程序天真了,当他看到ld 2.20 奇迹般地将stab表放在了0x00000080之后……用户理所当然对第一个page directory的第一个page可读,但是评分程序不买账啊——

runtest1 buggyhello \
 '.00001000. user_mem_check assertion failure for va 00000001' \
 '.00001000. free env 00001000'

必须要有这两句呀!于是我就很悲剧地被扣分了。

解决办法:当然是把Binutils 给降回2.19咯,让stab表回0x00200000乖乖呆着去~

另外,TA评分的时候可别把BinUtils版本用的太高了。

转载于:https://www.cnblogs.com/latifrons/archive/2009/10/31/1593378.html

这篇关于OS Lab3 with ld 2.20对stab表的处理方式更改导致评分程序判断错误详解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/234347

相关文章

一文详解如何在idea中快速搭建一个Spring Boot项目

《一文详解如何在idea中快速搭建一个SpringBoot项目》IntelliJIDEA作为Java开发者的‌首选IDE‌,深度集成SpringBoot支持,可一键生成项目骨架、智能配置依赖,这篇文... 目录前言1、创建项目名称2、勾选需要的依赖3、在setting中检查maven4、编写数据源5、开启热

C++中零拷贝的多种实现方式

《C++中零拷贝的多种实现方式》本文主要介绍了C++中零拷贝的实现示例,旨在在减少数据在内存中的不必要复制,从而提高程序性能、降低内存使用并减少CPU消耗,零拷贝技术通过多种方式实现,下面就来了解一下... 目录一、C++中零拷贝技术的核心概念二、std::string_view 简介三、std::stri

Python常用命令提示符使用方法详解

《Python常用命令提示符使用方法详解》在学习python的过程中,我们需要用到命令提示符(CMD)进行环境的配置,:本文主要介绍Python常用命令提示符使用方法的相关资料,文中通过代码介绍的... 目录一、python环境基础命令【Windows】1、检查Python是否安装2、 查看Python的安

SQL Server数据库死锁处理超详细攻略

《SQLServer数据库死锁处理超详细攻略》SQLServer作为主流数据库管理系统,在高并发场景下可能面临死锁问题,影响系统性能和稳定性,这篇文章主要给大家介绍了关于SQLServer数据库死... 目录一、引言二、查询 Sqlserver 中造成死锁的 SPID三、用内置函数查询执行信息1. sp_w

HTML5 搜索框Search Box详解

《HTML5搜索框SearchBox详解》HTML5的搜索框是一个强大的工具,能够有效提升用户体验,通过结合自动补全功能和适当的样式,可以创建出既美观又实用的搜索界面,这篇文章给大家介绍HTML5... html5 搜索框(Search Box)详解搜索框是一个用于输入查询内容的控件,通常用于网站或应用程

Java对异常的认识与异常的处理小结

《Java对异常的认识与异常的处理小结》Java程序在运行时可能出现的错误或非正常情况称为异常,下面给大家介绍Java对异常的认识与异常的处理,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参... 目录一、认识异常与异常类型。二、异常的处理三、总结 一、认识异常与异常类型。(1)简单定义-什么是

Linux脚本(shell)的使用方式

《Linux脚本(shell)的使用方式》:本文主要介绍Linux脚本(shell)的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录概述语法详解数学运算表达式Shell变量变量分类环境变量Shell内部变量自定义变量:定义、赋值自定义变量:引用、修改、删

Python中使用uv创建环境及原理举例详解

《Python中使用uv创建环境及原理举例详解》uv是Astral团队开发的高性能Python工具,整合包管理、虚拟环境、Python版本控制等功能,:本文主要介绍Python中使用uv创建环境及... 目录一、uv工具简介核心特点:二、安装uv1. 通过pip安装2. 通过脚本安装验证安装:配置镜像源(可

python判断文件是否存在常用的几种方式

《python判断文件是否存在常用的几种方式》在Python中我们在读写文件之前,首先要做的事情就是判断文件是否存在,否则很容易发生错误的情况,:本文主要介绍python判断文件是否存在常用的几种... 目录1. 使用 os.path.exists()2. 使用 os.path.isfile()3. 使用

C++ 函数 strftime 和时间格式示例详解

《C++函数strftime和时间格式示例详解》strftime是C/C++标准库中用于格式化日期和时间的函数,定义在ctime头文件中,它将tm结构体中的时间信息转换为指定格式的字符串,是处理... 目录C++ 函数 strftipythonme 详解一、函数原型二、功能描述三、格式字符串说明四、返回值五