README(学生版)

CS:APP Data Lab
给学生的指导
你的目标是修改你的 bits.c 副本,以便它通过 btest 中的所有测试,并且不违反任何代码准则。

0. 文件

文件名
说明
Makefile
构建 btest、fshow 和 ishow
README
本文件
bits.c
你将要修改和提交的文件
bits.h
头文件
btest.c
btest 主程序
btest.h
用于构建 btest
decl.c
用于构建 btest
tests.c
用于构建 btest
tests-header.c
用于构建 btest
dlc*
规则检查编译器的二进制文件(data lab 编译器)
driver.pl*
使用 btest 和 dlc 来为 bits.c 自动评分的驱动程序
Driverhdrs.pm
头文件,用于可选的“击败教授”比赛
fshow.c
实用代码,用于检查浮点表示
ishow.c
实用代码,用于检查整数表示

1. 修改 bits.c 并检查它是否符合 dlc 的要求

重要:在你开始之前,请仔细阅读 bits.c 文件中的说明。说明中给出了代码规则,如果你想获得全部分数,你需要遵守它们。
使用 dlc 编译器(./dlc)自动检查 bits.c 版本是否符合编码准则:
如果代码没有问题,dlc 将以静默方式返回。否则,它会打印消息,标记出问题。使用 -e 参数运行 dlc:
unix> ./dlc -e bits.c
可让 dlc 打印每个函数使用的运算符数目。
一旦有了合法解答,你就可以使用 ./btest 程序测试它的正确性。

2. 使用 btest 测试

此目录中的 Makefile 使用附加代码编译 bits.c 版本,以创建名为 btest 的程序(或测试工具)。
要编译并运行 btest 程序,请键入:
unix> make btest
unix> ./btest [optional cmd line args]
每次更改 bits.c 程序时,都需要重新编译 btest。当从一个平台迁移到另一个平台时,你会想删除旧版本 btest 并生成一个新版本。使用以下命令:
unix> make clean
unix> make btest
Btest 通过在每个函数上运行数百万个测试用例来测试代码的正确性。它测试了大范围的边缘用例,比如整数谜题的 Tmin(最小有符号数) 和 0,浮点谜题的 0,无限大(inf),以及非规范化和规范化数字之间的边界。当 btest 检测到某个函数中的错误时,它会打印出失败的测试、不正确的结果和预期的结果,然后终止对该函数的测试。
以下是 btest 的命令行选项:
unix> ./btest -h
用法: ./btest [-hg] [-r <n>] [-f <name> [-1|-2|-3 <val>]*] [-T <time limit>]
-1 <val> 指定第一个函数参数
-2 <val> 指定第二个函数参数
-3 <val> 指定第三个函数参数
-f <name> 只测试指定名称的函数
-g 格式化输出评分,不包含错误信息
-h 打印该信息
-r <n> 给所有问题统一的权重 n
-T <lim> 设置超时限制为 lim
样例:
测试所有功能的正确性并打印出错误消息:
unix> ./btest
以紧凑的形式测试所有函数,不含错误消息:
unix> ./btest -g
测试函数 foo 的正确性:
unix> ./btest -f foo
使用特定参数测试函数 foo 的正确性:
unix> ./btest -f foo -1 27 -2 0xf
btest 不会检查你的代码是否符合代码准则,需使用 dlc。

3. 帮助程序

我们提供了 ishow 和 fshow 程序,分别帮助你破译整数和浮点表示。每个都以一个十进制或十六进制数作为参数。要构建它们,请键入:
unix> make
用法样例:
unix> ./ishow 0x27
Hex = 0x00000027, Signed = 39, Unsigned = 39
unix> ./ishow 27
Hex = 0x0000001b, Signed = 27, Unsigned = 27
unix> ./fshow 0x15213243
Floating point value 3.255334057e-26
Bit Representation 0x15213243, sign = 0, exponent = 0x2a, fraction = 0x213243
Normalized. +1.2593463659 X 2^(-85)
linux> ./fshow 15213243
Floating point value 2.131829405e-38
Bit Representation 0x00e822bb, sign = 0, exponent = 0x01, fraction = 0x6822bb
Normalized. +1.8135598898 X 2^(-126)