计算机系统导论 课件 第六章程序的机器级表示.ppt

*11:R[0].a=1;C645F001movbyteptr[ebp-10h],112:R[0].b=2;0040102CC745F402000000movdwordptr[ebp-0Ch],213:R[0].c=3;C645F103movbyteptr[ebp-0Fh],314:R[0].d=4;66C745F20400movwordptr[ebp-0Eh],offsetmain+2Bh(0040103b)15:R[1].a=5;0040103DC645F805movbyteptr[ebp-8],516:R[1].b=6;C745FC06000000movdwordptr[ebp-4],617:R[1].c=7;C645F907movbyteptr[ebp-7],718:R[1].d=8;0040104C66C745FA0800movwordptr[ebp-6],offsetmain+40h对齐方式的设定#pragmapack(n)??为编译器指定结构体或类内部的成员变量的对齐方式。当自然边界（如int型按4字节、short型按2字节、float按4字节）比n大时，按n字节对齐。缺省或#pragmapack()，按自然边界对齐。__attribute__((aligned(m)))为编译器指定一个结构体或类或联合体或一个单独的变量(对象)的对齐方式。按m字节对齐(m必须是2的幂次方)，且其占用空间大小也是m的整数倍，以保证在申请连续存储空间时各元素也按m字节对齐。__attribute__((packed))不按边界对齐，称为紧凑方式。对齐方式的设定#includestdio.h#pragma?pack(4)typedef?struct{uint32_t?f1;uint8_t?f2;uint8_t?f3;uint32_t?f4;uint64_t?f5;}__attribute__((aligned(1024)))?ts;int?main(){printf(Struct?size?is:?%d,?aligned?on?1024\n,sizeof(ts));printf(Allocate?f1?on?address:?0x%x\n,(((ts*)0)-f1));printf(Allocate?f2?on?address:?0x%x\n,(((ts*)0)-f2));printf(Allocate?f3?on?address:?0x%x\n,(((ts*)0)-f3));printf(Allocate?f4?on?address:?0x%x\n,(((ts*)0)-f4));printf(Allocate?f5?on?address:?0x%x\n,(((ts*)0)-f5));return?0;}输出：Struct?size?is:?1024,?aligned?on?1024Allocate?f1?on?address:?0x0Allocate?f2?on?address:?0x4Allocate?f3?on?address:?0x5Allocate?f4?on?address:?0x8Allocate?f5?on?address:?0xc输出结果是什么？如果设置了pragmapack(1)，结果又是什么？如果设置了pragmapack(2)，结果又是什么？x86-64架构的数据对齐数据的对齐x86-64中各类型数据遵循一定的对齐规则，而且更严格x86-64中存储器访问接口被设计成按8字节或16字节为单位进行存取，其对齐规则是，任何K字节宽的基本数据类型和指针类型数据的起始地址一定是K的倍数。short型数据必须按2字节边界