版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、网管产品研发部门随着 64 位体系结构的普及,针对 64 位系统准备好您的 Linux® 软件已经变得比以前更为重要。在本文中,您将学习如何在进行语句声明、赋值、位移、类型转换、字符串格式化以及更多操作时,防止出现可移植性缺陷。Linux 是可以使用 64 位处理器的跨平台操作系统之一,现在 64 位的系统在服务器和桌面端都已经非常常见了。很多开发人员现在都面临着需要将自己的应用程序从 32 位环境移植到 64 位环境中。随着 Intel® Itanium® 和其他 64 位处理器的引入,使软件针对 64 位环境做好准备变得日益重要了。与 UNIX® 和
2、其他类 UNIX 操作系统一样,Linux 使用了 LP64 标准,其中指针和长整数都是 64 位的,而普通的整数则依然是 32 位的。尽管有些高级语言并不会受到这种类型大小不同的影响,但是另外一些语言(例如 C 语言)却的确会受到这种影响。将应用程序从 32 位系统移植到 64 位系统上的工作可能会非常简单,也可能会非常困难,这取决于这些应用程序是如何编写和维护的。很多琐碎的问题都可能导致产生问题,即使在一个编写得非常好的高度可移植的应用程序中也是如此,因此本文将对这些问题进行归纳总结,并给出解决这些问题的一些方法建议。64 位的优点32 位平台有很多限制,这些限制正在阻碍大型应用程序(例如
3、数据库)开发人员的工作进展,尤其对那些希望充分利用计算机硬件优点的开发人员来说更是如此。科学计算通常要依赖于浮点计算,而有些应用程序(例如金融计算)则需要一个比较狭窄的数字范围,但是却要求更高的精度,其精度高于浮点数所提供的精度。64 位数学运算提供了这种更高精度的定点数学计算,同时还提供了足够的数字范围。现在在计算机业界中有很多关于32位地址空间所表示的地址空间的讨论。32 位指针只能寻址 4GB 的虚拟地址空间。我们可以克服这种限制,但是应用程序开发就变得非常复杂了,其性能也会显著降低。在语言实现方面,目前的 C 语言标准要求 “long long” 数据类型至少是 64 位的。然而,其实
4、现可能会将其定义为更大。另外一个需要改进的地方是日期。在 Linux 中,日期是使用 32 位整数来表示的,该值所表示的是从 1970 年 1 月 1 日至今所经过的秒数。这在 2038 年就会失效。但是在 64 位的系统中,日期是使用有符号的 64 位整数表示的,这可以极大地扩充其可用范围。总之,64 位具有以下优点:· 64 位的应用程序可以直接访问 4EB 的虚拟内存,Intel Itanium 处理器提供了连续的线性地址空间。· 64 位的 Linux 允许文件大小最大达到 4 EB(2 的 63 次幂),其重要的优点之一就是可以处理对大型数据库的访问。Linux
5、64 位体系结构不幸的是,C 编程语言并没有提供一种机制来添加新的基本数据类型。因此,提供 64 位的寻址和整数运算能力必须要修改现有数据类型的绑定或映射,或者向 C 语言中添加新的数据类型。表 1. 32 位和 64 位数据模型 ILP32LP64LLP64ILP64char8888short16161616int32323264long32643264long long64646464指针32646464这 3 个 64 位模型(LP64、LLP64 和 ILP64)之间的区别在于非浮点数据类型。当一个或多个 C 数据类型的宽度从一种模型变换成另外一种模型时,应用程序
6、可能会受到很多方面的影响。这些影响主要可以分为两类:· 数据对象的大小 。编译器按照自然边界对数据类型进行对齐;换而言之,32 位的数据类型在 64 位系统上要按照 32 位边界进行对齐,而 64 位的数据类型在 64 位系统上则要按照 64 位边界进行对齐。这意味着诸如结构或联合之类的数据对象的大小在 32 位和 64 位系统上是不同的。· 基本数据类型的大小 。 通常关于基本数据类型之间关系的假设在 64 位数据模型上都已经无效了。依赖于这些关系的应用程序在 64 位平台上编译也会失败。例如,sizeof (int) = sizeof (l
7、ong) = sizeof (pointer) 的假设对于 ILP32 数据模型有效,但是对于其他数据模型就无效了。总之,编译器要按照自然边界对数据类型进行对齐,这意味着编译器会进行 “填充”,从而强制进行这种方式的对齐,就像是在 C 结构和联合中所做的一样。结构或联合的成员是根据最宽的成员进行对齐的。 清单 1 对这个结构进行了解释。清单 1. C 结构 struct test int i1;double d;int i2;long l;表 2 给出了这个结构中每个成员的大小,以及这个结构在 32 位系统和 64 位系统上的大小。表 2. 结构和结构成员的大小&
8、#160;结构成员在 32 位系统上的大小在 64 位系统上的大小struct test int i1;32 位32 位 32 位填充double d;64 位64 位int i2;32 位32 位 32 位填充long l;32 位64 位;结构大小为 20 字节结构大小为 32 字节注意,在一个 32 位的系统上,编译器可能并没有对变量 d 进行对齐,尽管它是一个 64 位的对象,这是因为硬件会将其当作两个 32 位的对象进行处理。然而,64 位的系统会对 d 和 l 都进行对齐,这样会
9、添加两个 4 字节的填充。从 32 位系统移植到 64 位系统本节介绍如何解决一些常见的问题:· 声明· 表达式· 赋值· 数字常数· Endianism· 类型定义· 位移· 字符串格式化· 函数参数声明要想让您的代码在 32 位和 64 位系统上都可以工作,请注意以下有关声明的用法:· 根据需要适当地使用 “L” 或 “U” 来声明整型常量。· 确保使用无符号整数来防止符号扩展的问题 。· 如果有些变量在这两个平台上都需要是 32 位的,请将其类型定义为 int
10、。· 如果有些变量在 32 位系统上是 32 位的,在 64 位系统上是 64 位的,请将其类型定义为 long。· 为了对齐和性能的需要,请将数字变量声明为 int 或 long 类型。不要试图使用 char 或 short 类型来保存字节。· 将字符指针和字符字节声明为无符号类型的,这样可以防止 8 位字符的符号扩展问题。表达式在 C/C+ 中,表达式是基于结合律、操作符的优先级和一组数学计算规则的。要想让表达式在 32 位和 64 位系统上都可以正确工作,请注意以下规则:· 两个有符号整数相加的结果是一个有符号整数。· int 和 lon
11、g 类型的两个数相加,结果是一个 long 类型的数。· 如果一个操作数是无符号整数,另外一个操作数是有符号整数,那么表达式的结果就是无符号整数。· int 和 doubule 类型的两个数相加,结果是一个 double 类型的数。此处 int 类型的数在执行加法运算之前转换成 double 类型。赋值由于指针、int 和 long 在 64 位系统上大小不再相同了,因此根据这些变量是如何赋值和在应用程序中使用的,可能会出现问题。下面是有关赋值的一些技巧:· 不要交换使用 int 和 long 类型,因为这可能会导致高位数字被截断。例如,不要做下面的事情:int
12、i;long l;i = l;· 不要使用 int 类型来存储指针。下面这个例子在 32 位系统上可以很好地工作,但是在 64 位系统上会失败,这是因为 32 位整数无法存放 64 位的指针。例如,不要做下面的事情:unsigned int i, *ptr;i = (unsigned) ptr;· 不要使用指针来存放 int 类型的值。例如,不要做下面的事情;int *ptr;int i;ptr = (int *) i;· 如果在表达式中混合使用无符号和有符号的 32 位整数,并将其赋值给一个有符号的 long 类型,那么将其中一个操作数转换成 64 位的类型。这
13、会导致其他操作数也被转换成 64 位的类型,这样在对表达式进行赋值时就不需要再进行转换了。另外一种解决方案是对整个表达式进行转换,这样就可以在赋值时进行符号扩展。例如,考虑下面这 种用法可能会出现的问题:long n;int i = -2;unsigned k = 1;n = i + k;从数学计算上来说,上面这个黑体显示的表达式的结果应该是 -1 。但是由于表达式是无符号的,因此不会进行符号扩展。解决方案是将一个操作数转换成 64 位类型(下面的第一行就是这样),或者对整个表达式进行转换(下面第二行):n = (long) i + k;n = (int) (i + k);数字常量16 进制的
14、常量通常都用作掩码或特殊位的值。如果一个没有后缀的 16 进制的常量是 32 位的,并且其高位被置位了,那么它就可以作为无符号整型进行定义。例如,常数 OxFFFFFFFFL 是一个有符号的 long 类型。在 32 位系统上,这会将所有位都置位(每位全为 1),但是在 64 位系统上,只有低 32 位被置位了,结果是这个值是 0x00000000FFFFFFFF。如果我们希望所有位全部置位,那么一种可移植的方法是定义一个有符号的常数,其值为 -1。这会将所有位全部置位,因为它采用了二进制补码算法。long x = -1L;可能产生的另外一个问题是最高位的设置。在 32 位系统上,我们使用的是
15、常量 0x80000000。但是可移植性更好的方法是使用一个位移表达式:1L << (sizeof(long) * 8) - 1);EndianismEndianism 是指用来存储数据的方法,它定义了整数和浮点数据类型中是如何对字节进行寻址的。Little-endian 是将低位字节存储在内存的低地址中,将高位字节存储在内存的高地址中。Big-endian 是将高位字节存储在内存的低地址中,将低位字节存储在内存的高地址中。表 3 给出了一个 64 位长整数的布局示例。表 3. 64 位 long int 类型的布局 低地址
16、 高地址Little endianByte 0Byte 1Byte 2Byte 3Byte 4Byte 5Byte 6Byte 7Big endianByte 7Byte 6Byte 5Byte 4Byte 3Byte 2Byte 1Byte 0例如,32 位的字 0x12345678 在 big endian 机器上的布局如下:表 4. 0x12345678 在 big-endian 系统上的布局 内存偏移量0123内存内容0x120x340x560x78如果将 0x12345678 当作两个半字来看待,分别是 0x1234 和 0x5678,那么
17、就会看到在 big endian 机器上是下面的情况:表 5. 0x12345678 在 big-endian 系统上当作两个半字来看待的情况 内存偏移量02内存内容0x12340x5678然而,在 little endian 机器上,字 0x12345678 的布局如下所示:表 6. 0x12345678 在 little-endian 系统上的布局 内存偏移量0123内存内容0x780x560x340x12类似地,两个半字 0x1234 和 0x5678 如下所示:表 7. 0x12345678 在 little-endian 系统上作为两个半字看到的情况 内
18、存偏移量02内存内容0x34120x7856下面这个例子解释了 big endian 和 little endian 机器上字节顺序之间的区别。下面的 C 程序在一台 big endian 机器上进行编译和运行时会打印 “Big endian”,在一台 little endian 机器上进行编译和运行时会打印 “Little endian”。清单 2. big endian 与 little endian #include <stdio.h>main () int i = 0x12345678;if (*(char *)&i = 0x12)printf (&quo
19、t;Big endian/n");else if (*(char *)&i = 0x78) printf ("Little endian/n");Endianism 在以下情况中非常重要:· 使用位掩码时· 对象的间接指针地址部分在 C 和 C+ 中有位域来帮助处理 endian 的问题。我建议使用位域,而不要使用掩码域或 16 进制的常量。有几个函数可以用来将 16 位和 32 位数据从 “主机字节顺序” 转换成 “网络字节顺序”。例如,htonl (3) 、ntohl (3) 用来转换 32 位整数。类似地,ht
20、ons (3) 、ntohs (3) 用来转换 16 位整数。然而,对于 64 位整数来说,并没有标准的函数集。但是在 big endian 和 little endian 系统上,Linux 都提供了下面的几个宏:· bswap_16· bswap_32· bswap_64类型定义建议您不要使用 C/C+ 中那些在 64 位系统上会改变大小的数据类型来编写应用程序,而是使用一些类型定义或宏来显式地说明变量中所包含的数据的大小和类型。有些定义可以使代码的可移植性更好。· ptrdiff_t : 这是一个有符号整型,
21、是两个指针相减后的结果。· size_t : 这是一个无符号整型,是执行 sizeof 操作的结果。这在向一些函数(例如 malloc (3) )传递参数时使用,也可以从一些函数(比如 fred (2) )中返回。· int32_t 、uint32_t 等: 定义具有预定义宽度的整型。· intptr_t 和 uintptr_t : 定义整型类型,任何有效指针都可以转换成这个类型。例 1:在下面这条语句中,在对
22、60;bufferSize 进行赋值时,从 sizeof 返回的 64 位值被截断成了 32 位。int bufferSize = (int) sizeof (something);解决方案是使用 size_t 对返回值进行类型转换,并将其赋给声明为 size_t 类型的 bufferSize,如下所示:size_t bufferSize = (size_t) sizeof (something);例 2:在 32 位系统上,int 和 long 大小相同。由于这一点,有些开发人员会交换使用这两种类型。这可能会导致指针被赋值
23、给 int 类型,或者反之。但是在 64 位的系统上,将指针赋值给 int 类型会导致截断高 32 位的值。解决方案是将指针作为指针类型或为此而定义的特殊类型进行存储,例如 intptr_t 和 uintptr_t。位移无类型的整数常量就是 (unsigned) int 类型的。这可能会导致在位移时出现被截断的问题。例如,在下面的代码中,a 的最大值可以是 31。这是因为 1 << a 是 int 类型的。long t = 1 << a;要在 64 位系统上进行位移,应该使用 1L ,如下所
24、示:long t = 1L << a;字符串格式化函数 printf (3) 及其相关函数都可能成为问题的根源。 例如,在 32 位系统上,使用 %d 来打印 int 或 long 类型的值都可以,但是在 64 位平台上,这会导致将 long 类型的值截断成低 32 位的值。对于 long 类型的变量来说,正确的用法是 %ld 。类似地,当一个小整数(char、short、int)被传递给 printf (3) 时,它会扩展成 64 位的,符号会适当地进行扩展。在下面的例子中,printf (
25、3) 假设指针是 32 位的。char *ptr = &something;printf (%x/n", ptr);上面的代码在 64 位系统上会失败,它只会显示低 4 字节的内容。这个问题的解决方案是使用 %p ,如下所示;这在 32 位和 64 位系统上都可以很好地工作:char *ptr = &something;printf (%p/n", ptr);函数参数在向函数传递参数时需要记住几件事情:· 在参数的数据类型是由函数原型定义的情况中,参数应该根据标准规则转换成这种类型。· 在参数类型没有指定的情
26、况中,参数会被转换成更大的类型。· 在 64 位系统上,整型被转换成 64 位的整型值,单精度的浮点类型被转换成双精度的浮点类型。· 如果返回值没有指定,那么函数的缺省返回值是 int 类型的。在将有符号整型和无符号整型的和作为 long 类型传递时就会出现问题。考虑下面的情况:清单 3. 将有符号整型和无符号整型的和作为 long 类型传递 long function (long l);int main () int i = -2;unsigned k = 1U;long n = function (i + k);上面这段代码在 64 位系统上会失败,因为表达式
27、 (i + k) 是一个无符号的 32 位表达式,在将其转换成 long 类型时,符号并没有得到扩展。解决方案是将一个操作数强制转换成 64 位的类型。在基于寄存器的系统上还有一个问题:系统采用寄存器而不是堆栈来向函数传递参数。考虑下面的例子:float f = 1.25;printf ("The hex value of %f is %x", f, f);在基于堆栈的系统中,这会打印对应的 16 进制值。但是在基于寄存器的系统中,这个 16 进制的值会从一个整数寄存器中读取,而不是从浮点寄存器中读取。解决方案是将浮点变量的地址强制转换成一个指向整型类型
28、的指针,如下所示:printf ("The hex value of %f is %x", f, *(int *)&f);结束语主 流的硬件供应商最近都在扩充自己的 64 位产品,这是因为 64 位平台可以提供更好的性能、价值和可伸缩性。32 位系统的限制,特别是 4GB 的虚拟内存上限,已经极大地刺激很多公司开始考虑迁移到 64 位平台上。了解如何将应用程序移植到 64 位体系结构上可以帮助我们编写可移植性更好且效率更高的代码。 参考资料学习 · 您可以参阅本文在 developerWorks 全球站点上的 英文原文
29、0;。· 64-Bit Programming Models: Why LP64? 介绍了有关各种 64 位编程模型的更多细节知识和有关 LP64 的争论。 · 请在 Wikipedia 上了解 32 位系统所具有的 2038 年问题 。 · 请阅读 “将企业应用程序从 UNIX 移植到 Linux ”(developerWorks,2005 年 2 月),了解有关将大型多线程应用程序移植到 Linux 上的技巧和内幕。 · “Porting Intel applications to
30、 64 bit Linux PowerPC ” 讨论了在将 Linux 从 IA32 移植到 PowerPC 上时所要考虑的一些问题。 · Linux Online() Linux distributions site 提供了有关发行版的丰富信息,包括 64 位系统上的发行版。 · developerWorks Linux on Power Architecture developer's corner 是为在基于 POWER 硬件的 Linux 上运行的应用程序的程序员和开发人
31、员准备的参考资料。 · 是专为 PowerPC 系统上的 Linux 用户准备的一个社区站点。 · 在 developerWorks Linux 专区 中可以找到为 Linux 开发人员准备的更多参考资料。 · 随时关注 developerWorks 技术事件和网络广播 。小bug引起的C程序32位-64位移植问题在64位平台上测试原来在32位平台上工作正常的一个Linux C工程,访问某个函数的返回值时总是出现Segmentation fault。经查,是缺少一个extern声明引起的:在A.c中调用了B.c定义的函数f(),该函数返回类型是char *。在A.c中遗漏了对该函数的exte
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年高职美容美体艺术(化妆造型设计)试题及答案
- 2025年大学大一(地理科学)自然地理学基础理论测试题及答案
- 2025年高职(服装设计与工艺)服装结构设计阶段测试试题及答案
- 2025年大学第二学年(酒店管理)酒店品牌建设试题及答案
- 2026年泳池安全防护网项目公司成立分析报告
- 2025年高职椰韵纹眉(眉形设计与上色技巧)试题及答案
- 2025年大学大四(生物医学工程产业)医疗器械产业发展分析综合测试题及答案
- 2025年中职(皮革制品设计与制作)皮鞋制作工艺阶段测试题及答案
- 2025年大学海洋渔业科学与技术(渔业技术)试题及答案
- 2025年中职(珠宝玉石加工与营销)玉石雕刻工艺阶段测试题及答案
- 2024版装修公司软装合同范本
- IABP主动脉球囊反搏课件
- 加压站清水池建设工程勘察设计招标文件
- 工会制度汇编
- 丧假国家规定
- 2023年医务科工作计划-1
- 乒乓球社团活动记录
- 地基与基础分项工程质量验收记录
- 一文多用作文课公开课课件
- 水运工程施工课程设计指导书
- 惊恐障碍诊治课件
评论
0/150
提交评论