piggao / test Goto Github PK

高志锋 2012011393
赵晟佳 2012010449
使用了print_stackframe打印追踪函数的执行轨迹，使用make qemu可以的到完整的信息输出（包含Enqueue，Dequeue等），并且会输出函数调用轨迹。
关于Stride溢出问题：
不管是有符号整数（补码），还是无符号整数（原码），对某个数x，其二进制都是x mod 2^32的原码形式（即0-2^32-1），所以两个整数的差，不管两个数是否有溢出，相减之后是否溢出，结果都还是mod 2^32的原码形式。所以只要两个整数实际上相差不超过2^32，对于调度器这个情况就是步长不超过2^32，整数尽管会溢出，相减后也能得到mod 2^32后正确的结果。
所以实验中，其实没必要把lab6_stride设置成无符号整数，因为有符号和无符号整数加减法在二进制表示上是一样的，区别是表示的数意义不一样，有符号整数表示-2^32~2^31-1，无符号表示0~2^32-1。实验中为了能判断结果的正负，BIG_STRIDE为有符号能表示的最大数0x7fffffff