CSAPP Datalab实验

实 验(二)

题     目  DataLab 数据表示  

                 

专       业  计算机科学与技术

 

计算机科学与技术学院

目  录

 

第1章 实验基本信息... - 4 -

1.1 实验目的... - 4 -

1.2 实验环境与工具... - 4 -

1.2.1 硬件环境... - 4 -

1.2.2 软件环境... - 4 -

1.2.3 开发工具... - 4 -

1.3 实验预习... - 4 -

第2章 实验环境建立... - 5 -

2.1 Ubuntu下CodeBlocks安装(5分)... - 5 -

2.2 64位Ubuntu下32位运行环境建立(5分)... - 5 -

第3章 C语言的位操作指令... - 6 -

3.1 逻辑操作(1分)... - 6 -

3.2 无符号数位操作(2分)... - 6 -

3.3 有符号数位操作(2分)... - 6 -

第4章 汇编语言的位操作指令... - 7 -

4.1 逻辑运算(1分) - 7 -

4.2无符号数左右移(2分)... - 7 -

4.3有符号左右移(2分)... - 7 -

4.4循环移位(2分)... - 7 -

4.5带进位位的循环移位(2分)... - 7 -

4.6测试、位测试BTx(2分)... - 7 -

4.7条件传送CMOVxx(2分)... - 7 -

4.8条件设置SETCxx(1分)... - 7 -

4.9进位位操作(1分)... - 7 -

第5章 BITS函数实验与分析... - 8 -

5.1 函数lsbZero的实现及说明... - 8 -

5.2 函数byteNot的实现及说明函数... - 8 -

5.3 函数byteXor的实现及说明函数... - 8 -

5.4 函数logicalAnd的实现及说明函数... - 8 -

5.5 函数logicalOr的实现及说明函数... - 8 -

5.6 函数rotateLeft的实现及说明函数... - 8 -

5.7 函数parityCheck的实现及说明函数... - 8 -

5.8 函数mul2OK的实现及说明函数... - 9 -

5.9 函数mult3div2的实现及说明函数... - 9 -

5.10 函数subOK的实现及说明函数... - 9 -

5.11 函数absVal的实现及说明函数... - 9 -

5.12 函数float_abs的实现及说明函数... - 9 -

5.13 函数float_f2i的实现及说明函数... - 9 -

5.14函数XXXX的实现及说明函数(CMU多出来的函数-不加分)... - 9 -

第6章 总结... - 10 -

10.1 请总结本次实验的收获... - 10 -

10.2 请给出对本次实验内容的建议... - 10 -

参考文献... - 11 -

 

 

 

 

第1章 实验基本信息

 

1.1 实验目的

熟练掌握计算机系统的数据表示与数据运算

通过C程序深入理解计算机运算器的底层实现与优化

掌握Linux下makefile与GDB的使用

1.2 实验环境与工具

1.2.1 硬件环境

X64CPU;

2GHz;

2G RAM;

256GHD Disk 以上

1.2.2 软件环境

Windows7 64位以上;VirtualBox/Vmware 11以上;Ubuntu 16.04LTS 64位/优麒麟64位

1.2.3 开发工具

Gcc , Codeblocks

1.3 实验预习

  • 上实验课前,必须认真预习实验指导书(PPT或PDF)
  • 了解实验的目的、实验环境与软硬件工具、实验操作步骤,复习与实验有关的理论知识。
  • 写出C语言下的位操作指令:
    • 逻辑
    • 无符号
    • 有符号
  • 写出汇编语言下的位操作指令:
    • 逻辑运算
    • 无符号
    • 有符号
    • 测试、位测试BTx
    • 条件传送CMOVxx
    • 条件设置SETCxx

进位位操作

 

 

 

第2章 实验环境建立

 

2.1 Ubuntu下CodeBlocks安装(5分)

CodeBlocks运行界面截图:编译、运行hellolinux.c

 

 

 

 

图2-1  Ubuntu下CodeBlocks截图

 

2.2 64位Ubuntu下32位运行环境建立(5分)

在终端下,用gcc的32位模式编译生成hellolinux.c。执行此文件。

Linux及终端的截图。

 

 

 

图2-2 32位运行环境建立

 

 

第3章 C语言的位操作指令

写出C语言例句

 

3.1 逻辑操作(1分)

||对应OR:0x69||0x55=0x01

&&对应AND:0x69&&0x55=0x01

!对应NOT:!0x41=0x00

3.2 无符号数位操作(2分)

取反:~(010000001)=10111110

与:(01101001)&(01010101)=01000001

或:(01101001)|(01010101)=01111101

异或:01010101^001100010=01101011

移位:对于无符号数,左移右移都是逻辑移位,即左移低位空出的补0,右移高位空出的补0。

例:无符号数x=10010101;

x>>4=00001001

3.3 有符号数位操作(2分)

取反:~(010000001)=10111110

与:(01101001)&(01010101)=01000001

或:(01101001)|(01010101)=01111101

异或:01010101^001100010=01101011

移位:对于有符号数,左移多出的会移进符号位,右移是算术右移,即空出的高位补符号位。

例:有符号数x=10010101;

x>>4=11111001

 

 

 

第4章 汇编语言的位操作指令

写出汇编语言例句

4.1 逻辑运算(1分)

AND SRC,DEST ;将操作数相与,返回DEST

OR SRC,DEST ; 将操作数相或,返回DEST

NOT SRC; 将操作数SRC中每位取反

XOR SRC,DEST;将操作数相异或,并返回给DEST

TEST SRC,DEST;将操作数相与,影响状态标志,主要用于给数据转移指令传递状态标志。

例子:假设寄存器%rax的值为x,%rdx的值为y

AND %rax,%rdx指令执行后,%rdx的值为x&y

4.2无符号数左右移(2分)

SHL k,DEST;将操作数DEST左移k位

SHR k,DEST;将操作数DEST右移k位

例如:假设AL= 01001101B

SHL 1,AL指令执行后AL=10011010B

4.3有符号左右移(2分)

SAL k,DEST;将操作数DEST左移k位

SAD k,DEST;将操作数DEST右移k位

例如 假设AL=10011001B

SAD 1,AL指令执行后AL=11001100B

4.4循环移位(2分)

ROL k,DEST; 把操作数的低位部分向高位方向循环移动CL/imm指定的位数,空出的低位部分由移出的高位部分来填充,同时,移出的高位部分仍然会存放在CF中;如果是循环左移N位,那么,就空出N个低位,移出N个高位,然后,把移出的这N个高位按照移出的顺序依次填入空出的N个低位中,同时,CF中只保存最后一次移出的那一位的内容

ROR k,DEST; 把操作数的高位部分向低位方向循环移动CL/imm指定的位数,空出的高位部分由移出的低位部分来填充,同时,移出的低位部分仍然会存放在CF中;如果是循环右移N位,那么,就空出N个高位,移出N个低位,然后,把移出的这N个低位按照移出的顺序依次填入空出的N个高位中,同时,CF中只保存最后一次移出

的那一位的内容

例如:假设当前,AL=01010011B,CF=1,则执行指令

     ROL 1,AL 后,AL=10100110B,CF=0

4.5带进位位的循环移位(2分)

RCL k,DEST;把操作数的低位部分向高位方向循环移动CL/imm指定的位数,每向左移动一位,RCL指令都会先把CF的原有值填充到空出的最低位上,再把移出的最高位存放到CF中;这样循环左移N位之后,CF中保存的仍然是最后一次移出的那一位的内容

RCR k,DEST;把操作数的高位部分向低位方向循环移动CL/imm指定的位数,每向右移动一位,RCL指令都会先把CF的原有值填充到空出的最高位上,再把移出的最低位存放到CF中;这样循环右移N位之后,CF中保存的仍然是最后一次移出的那一位的内容

假设当前AL=01010011B,CF=1

RCL 1, AL后RCL=10100111,CF=0

RCR 1, AL后RCR=10101001,CF=1

4.6测试、位测试BTx(2分)

BT(位测试)

写法:BT REG16/MEM16,REG16/IMM8;或BTREG32/MEM32,REG32/IMM8;

作用:将第一个操作数的第n位拷贝到进位标志CF中

BTS(位测试并置位)

写法:BTS REG16/MEM16,REG16/IMM8;或BTSREG32/MEM32,REG32/IMM8;

作用:将第一个操作数的位n拷贝到进位标志中,同时 将位n置位

BTR(位测试并复位)

写法:BTR REG16/MEM16,REG16/IMM8;或BTRREG32/MEM32,REG32/IMM8;

作用:将第一个操作数的位n拷贝到进位标志中,同时 将位n清零

BTC(位测试并复位)

写法:BTC REG16/MEM16,REG16/IMM8;或BTCREG32/MEM32,REG32/IMM8;

作用:将第一个操作数的位n拷贝到进位标志中,同时 将位n取反

例子:假设(AX)=1234H

BT 2,AX ; 指令执行后,CF=1,(AX)=1234H

 

4.7条件传送CMOVxx(2分)

cmovcc src,dest

cc:表示条件

src: r16, r32, r64

dst: r/m16, r/m32, r/m64

 

无符号数的条件传送

用a、b、e、n、c分别表示:大于、小于、等、否、进位

CMOVA/CMOVNBE  大于/小于或不等于    (CF或者ZF)=0

CMOVAE/CMOVNB  大于或者等于/不小于           CF = 0

CMOVNC          无进位                                       CF = 0

CMOVB/CMOVNAE  小于/不大于                          CF = 1

CMOVC            进位                                        CF = 1

CMOVBE/CMOVNA 小于或者等于/不大于(CF或ZF) = 1

CMOVE/CMOVZ    等于/零                                      ZF = 1

CMOVNE/CMOVNZ 不等于/不为零                           ZF = 0

CMOVP/CMOVPE   奇偶校验                                      PF = 1

 

有符号数的条件传送:

用g、l、e、n、o分别表示:大于、小于、等、否、溢出

CMOVG/CMOVNLE 大于/不小于等于 (ZF=0 and SF=OF) CMOVGE/CMOVNL 大于等于/不小于 (SF异域OF) = 0 CMOVL/CMOVNGE 小于/不大于等于 (SF民域OF) = 1 CMOVLE/CMOVNG 小于等于/不大于 ((SF异域OF)或ZF) =1

 

CMOVO          溢出             OF=1

CMOVNO        末溢出            OF=0

CMOVS          带符号(负)      SF=1

CMOVNS         无符号(非负)    SF=0

例子:cmovge %r8,%r9

      cmovgel %r9,%r10

      cmovgl %r8d,%r10d

      cmovll %r8d,%r10d

例子:假设%ecx的值为x,%edx的值为y,%ebx的值为y-x,%eax的值为x-y

   cmpl %edx,%ecx   //比较x和y

   cmovl %ebx,%eax  //如果x小于y,eax=ebx=y-x

 

 

4.8条件设置SETCxx(1分)

指令     同义词     作用           设置条件

sete      Setz        ZF           相等 / 结果为0

setne     setnz       ~ZF          不相等 / 结果不为0

sets                  SF           结果为负数

setns                 ~SF          结果为非负数

setl      setnge      SF^OF        小于 (符号数)

setle      setng       (SF^OF)|ZF    小于等于 (符号数)

setg      setnle     ~(SF^OF)&~ZF   大于 (符号数)

setge     setnl      ~(SF^OF)        大于等于 (符号数)

seta      setnbe     ~CF&~ZF       大于 (无符号数)

setae     setnb      ~CF           大于等于 (无符号数)

setb      setnae      CF            小于 (无符号数)

setbe      setna     CF|ZF          小于等于 (无符号数)

 

具体操作如下:

SETcc DEST

Operation

IF condition THEN

  DEST ← 1;

ELSE

  DEST ← 0;

FI;

 

4.9进位位操作(1分)

adc src,dest   将src与dest相加,并且加上CF,结果返回dest

例子:

mov 2,ax

mov 1,bx

sub ax,bx

adc 1,ax

执行后,(ax)=4.adc执行时,相当于计算:(ax)+1+CF=2+1+1=4

 

 

 

 

第5章 BITS函数实验与分析

每题8分,总分不超过80分

截图:  $ ./btest –f 函数名

5.1 函数lsbZero的实现及说明

程序如下:int lsbZero(int x) {

  x=x>>1;

  x=x<<1;

    return x;

}

btest截图:

设计思想:先将x右移一位,再将x左移一位,实现将最后一位变为0。

5.2 函数byteNot的实现及说明函数

程序如下:int byteNot(int x, int n) {

    int y = 0xff;

    n=n<<3;

    y=y<<n;

    x=x^y;

  return x;

}

btest截图:

设计思想:A^0=A , A^1 = 非A。将x的第n个字节的每位都与1异或,实现取反。

5.3 函数byteXor的实现及说明函数

程序如下:int byteXor(int x, int y, int n) {

    x=x>>n;

y=y>>n;

n=n<<3;

    x=x&0xff;

    y=y&0xff;

  return !!(x^y);

}

btest截图:

设计思想:0^0=0 , 1^1=0 , 0^1=1 . 取出x和y的第n个字节进行异或,最后转化成逻辑上的0和1并返回。

5.4 函数logicalAnd的实现及说明函数

程序如下:int logicalAnd(int x, int y) {

    x=!((!x)|(!y));

  return x;

}

btest截图:

设计思想:把x和y分别取NOT,二者相或后再取NOT,即可得到逻辑与。

5.5 函数logicalOr的实现及说明函数

程序如下:int logicalOr(int x, int y) {

    x=(!(!x))|(!(!y));

  return x;

}

btest截图:

设计思想:把x和y分别转化成逻辑的0和1,在相或,实现逻辑或。

5.6 函数rotateLeft的实现及说明函数

程序如下:int rotateLeft(int x, int n) {

    int y;

    y=~((~0)<<n);

    x=(x<<n)+((x>>(32+(~n+1)))&y);

  return x;

}

btest截图:

设计思想:先构造y为高(32-n)位为0的y,再与x右移(32-n)的x相与,相当于储存了x的高n位数,最后再与x左移n位相加即可。

5.7 函数parityCheck的实现及说明函数

程序如下:int parityCheck(int x) {

    x=x^(x<<16);

    x=x^(x<<8);

    x=x^(x<<4);

    x=x^(x<<2);

    x=x^(x<<1);

    x=x>>31;

  return !(!x);

}

btest截图:

设计思想:每次移位将x的低半位数与高半位数进行异或,实现得到的x位表示总是减去偶数个1,并不影响x位表示中1个数的奇偶性。最后把得到的x右移31位,并变成逻辑1和0.

5.8 函数mul2OK的实现及说明函数

程序如下:int mul2OK(int x) {

    return (((x>>31)&0x1)^((x>>30)&0x1))^0x1;

}

btest截图:

设计思想:若x的符号位为1,则第30位为0时会溢出;若x符号位为0,则第30位为1时会溢出;于是将x的31位和30位分别与1相与,再异或,再与1相与即可。

5.9 函数mult3div2的实现及说明函数

程序如下:int mult3div2(int x) {

    x=x+(x<<1);

    x=(x>>1)+(((x>>31)&0x1)&(((x<<31)>>31)&0x1));

  return x;

}

btest截图:

设计思想:先实现x*3/2,要注意的是x为负数且最低有效位为0时,相乘的结果要向0舍入,故此时要加上1.

5.10 函数subOK的实现及说明函数

程序如下:int subOK(int x, int y) {

    int z;

    z=x+(~y+1);

    z=(z>>31)&0x1;

    x=(x>>31)&0x1;

    y=(y>>31)&0x1;

  return ((x^y)&(x^z))^0x1;

}

btest截图:

设计思想:x符号位与y符号位不同,且x符号位与(x-y)符号位也不同时,即溢出。

5.11 函数absVal的实现及说明函数

程序如下:int absVal(int x) {

    int y=x>>31;

    x=(y&(~x+1))+((~y)&x);

  return x;

}

btest截图:

设计思想:当x符号位为0时,x绝对值就是x;当x符号位为1时,x绝对值是(~x+1)。

5.12 函数float_abs的实现及说明函数

程序如下:unsigned float_abs(unsigned uf) {

    int x=uf&0x7fffffff;

    if(x>0x7f800000)

        return uf;

    else

        return x;

}

btest截图:

设计思想:NaN表示的数阶码全为1,且小数域为非0。将uf的符号位变为0,得到的数若比0x7f80000大,即为NaN。

5.13 函数float_f2i的实现及说明函数

程序如下:int float_f2i(unsigned uf) {

    int x,y;

    unsigned mini=0x80000000;

    x=(uf>>23)&0xff;

    y=(uf&0x007fffff)^0x00800000;

    if(x>158)

        {

            return mini;

        }

    if(x<127)

         {

             return 0;

         }

    else if(((uf>>31)&0x1)==1)

    {

        if(x>150)

        return ((~(y<<(x-150)))+1);

        else

        return ((~(y>>(150-x)))+1);

    }

    else

        {

        if(x>150)

        return (y<<(x-150));

        else

        return (y>>(150-x));

        }

}

btest截图:

设计思想:将uf左移23位并与0xff相与来取出阶码域;设置y来取出小数域,并令其第23位为1,为了规格化的值隐含的以1开头的表示。

当阶码的值E大于31时,表示float转化为int会溢出,或者出现阶码域全为1的情况;当阶码的值小于0,返回0;当uf最高位为1时,判断x与150的大小,决定移位的方向,并以补码形式将数值存储;当uf最高位为0时,判断x与150大小,决定移位的方向。

5.14函数XXXX的实现及说明函数(CMU多出来的函数-不加分)

 

 

第6章 总结

10.1 请总结本次实验的收获

系统学习了汇编语言指令;

熟练掌握位运算和逻辑运算来实现函数;

通过C程序深入理解计算机底层实现与优化。

 

10.2 请给出对本次实验内容的建议

关于第三章写出C语言例句和第四章写出汇编语言例句,题目中未给出范例,因此关于例句的形式易产生困惑。

 

 

注:本章为酌情加分项。

 

参考文献

 

为完成本次实验你翻阅的书籍与网站等

[1]  林来兴. 空间控制技术[M]. 北京:中国宇航出版社,1992:25-42.

[2]  辛希孟. 信息技术与信息服务国际研讨会论文集:A集[C]. 北京:中国科学出版社,1999.

[3]  赵耀东. 新时代的工业工程师[M/OL]. 台北:天下文化出版社,1998 [1998-09-26]. http://www.ie.nthu.edu.tw/info/ie.newie.htm(Big5).

[4]  谌颖. 空间交会控制理论与方法研究[D]. 哈尔滨:哈尔滨工业大学,1992:8-13.

[5]  KANAMORI H. Shaking Without Quaking[J]. Science,1998,279(5359):2063-2064.

[6]  CHRISTINE M. Plant Physiology: Plant Biology in the Genome Era[J/OL]. Science,1998,281:331-332[1998-09-23]. http://www.sciencemag.org/cgi/ collection/anatmorp.

展开阅读全文

没有更多推荐了,返回首页

©️2019 CSDN 皮肤主题: 技术黑板 设计师: CSDN官方博客
应支付0元
点击重新获取
扫码支付

支付成功即可阅读