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

相关文章

Python装饰器之类装饰器详解

《Python装饰器之类装饰器详解》本文将详细介绍Python中类装饰器的概念、使用方法以及应用场景,并通过一个综合详细的例子展示如何使用类装饰器,希望对大家有所帮助,如有错误或未考虑完全的地方,望不... 目录1. 引言2. 装饰器的基本概念2.1. 函数装饰器复习2.2 类装饰器的定义和使用3. 类装饰

MySQL 中的 JSON 查询案例详解

《MySQL中的JSON查询案例详解》:本文主要介绍MySQL的JSON查询的相关知识,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录mysql 的 jsON 路径格式基本结构路径组件详解特殊语法元素实际示例简单路径复杂路径简写操作符注意MySQL 的 J

Java对象转换的实现方式汇总

《Java对象转换的实现方式汇总》:本文主要介绍Java对象转换的多种实现方式,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录Java对象转换的多种实现方式1. 手动映射(Manual Mapping)2. Builder模式3. 工具类辅助映

Python ZIP文件操作技巧详解

《PythonZIP文件操作技巧详解》在数据处理和系统开发中,ZIP文件操作是开发者必须掌握的核心技能,Python标准库提供的zipfile模块以简洁的API和跨平台特性,成为处理ZIP文件的首选... 目录一、ZIP文件操作基础三板斧1.1 创建压缩包1.2 解压操作1.3 文件遍历与信息获取二、进阶技

Python Transformers库(NLP处理库)案例代码讲解

《PythonTransformers库(NLP处理库)案例代码讲解》本文介绍transformers库的全面讲解,包含基础知识、高级用法、案例代码及学习路径,内容经过组织,适合不同阶段的学习者,对... 目录一、基础知识1. Transformers 库简介2. 安装与环境配置3. 快速上手示例二、核心模

Spring Boot读取配置文件的五种方式小结

《SpringBoot读取配置文件的五种方式小结》SpringBoot提供了灵活多样的方式来读取配置文件,这篇文章为大家介绍了5种常见的读取方式,文中的示例代码简洁易懂,大家可以根据自己的需要进... 目录1. 配置文件位置与加载顺序2. 读取配置文件的方式汇总方式一:使用 @Value 注解读取配置方式二

一文详解Java异常处理你都了解哪些知识

《一文详解Java异常处理你都了解哪些知识》:本文主要介绍Java异常处理的相关资料,包括异常的分类、捕获和处理异常的语法、常见的异常类型以及自定义异常的实现,文中通过代码介绍的非常详细,需要的朋... 目录前言一、什么是异常二、异常的分类2.1 受检异常2.2 非受检异常三、异常处理的语法3.1 try-

Java中的@SneakyThrows注解用法详解

《Java中的@SneakyThrows注解用法详解》:本文主要介绍Java中的@SneakyThrows注解用法的相关资料,Lombok的@SneakyThrows注解简化了Java方法中的异常... 目录前言一、@SneakyThrows 简介1.1 什么是 Lombok?二、@SneakyThrows

Java中字符串转时间与时间转字符串的操作详解

《Java中字符串转时间与时间转字符串的操作详解》Java的java.time包提供了强大的日期和时间处理功能,通过DateTimeFormatter可以轻松地在日期时间对象和字符串之间进行转换,下面... 目录一、字符串转时间(一)使用预定义格式(二)自定义格式二、时间转字符串(一)使用预定义格式(二)自

Redis Pipeline(管道) 详解

《RedisPipeline(管道)详解》Pipeline管道是Redis提供的一种批量执行命令的机制,通过将多个命令一次性发送到服务器并统一接收响应,减少网络往返次数(RTT),显著提升执行效率... 目录Redis Pipeline 详解1. Pipeline 的核心概念2. 工作原理与性能提升3. 核