读书笔记_深入理解计算机系统_第1章_计算机系统漫游 (代码编译链接详细过程)

第一章:计算机系统漫游


信息是什么?昨天和同学走的时候,正好就说起了这个话题,“信息就是概率”,同学如是说。那么信息在计算机里是什么呢?总不能还说是概率吧,计算机可不懂什么概率。

在本书第一章第一页的标题上赫然写着“信息就是位+上下文”。什么是位?位就是比特,就是二进制。计算机里没有概率,有的只是一连串0或1的序列。那什么是上下文?这个跟我们经常在英文阅读理解里遇到的“上下文”是差不多的,举个例子,二进制数10000011,对应十六进制的0x83,对应十进制的131,尽管在计算机里存的是10000011,但根据不同的“上下文”,却有着不同的含义,若把它当作指令,则表示“add”,是对两个操作数求和,若把它当作short短整型,则表示131,它还有可能是double型的一部分……总之,计算机里实实在在存的都是一些二进制码,应该把它解释成什么,则要根据“语境”。

第一章中我认为比较重要的有两个部分,一个是可执行程序的诞生过程,描述由一个高级语言源文件(比如C、C++或Java文件)经过加工走到可执行程序的过程;另一个是操作系统存放数据的位置,比如堆和栈等,这个在面试中常常作为操作系统的基础知识去考察,若这个也不清楚的话,面试官就认为你一点也不懂操作系统了。

先谈谈一个可执行程序的诞生过程。现在有了很方便的IDE(集成开发环境),比如我们常用的Visual Studio(简称VS),还有eclipse等等,已经淡化了从一个文本文件到可执行程序的过程。初学者在VS环境下输入代码,然后单击编译连接按钮:

若没有语法错,可执行程序就生成完毕了,却不知这个按钮按下后,发生了哪些事情。

 

如上图所示,现在编程大部分都是用高级语言(因为可移植性好,自己和别的程序猿也容易看的懂),我们在称之为源文件的地方书写代码,如下图所示。

以主流的C/C++为例,若是用C语言写的源文件(source program),源文件后缀一般是.c,若是用C++语言写的源文件,则后缀一般是.cpp(不要小看这个后缀,有时调程序时,出现很多离奇的错误往往就是这个后缀造成的,因为如果你用.c作为后缀,那么当你的程序里出现了class等关键字的时候,编译器就认不出来了,另外,C语言的行文要求也比C++严格,C++语法通过的地方,C可能反而通不过)。

在编译器编译前,其实还有一个预编译(pre-process)的过程,在预编译时,宏会被展开,一些常义变量也会被替换为常量。这里就多谈谈预编译的问题:关于宏定义,一定要多写写括号,不然展开就会有问题,比如

#define HELLO 3+5

这个看似和定义

#define HELLO 8

差不多,其实差远了,请看

int hi = HELLO *3;

现在问hi是什么?是24吗?我们不妨展开来看,预编译器是这样做的:

int hi = 3 + 5 * 3

hi其实是18!

这个问题看似比较简单,但却是笔试题中常考的地方。

还有常义变量,比如

const int count = 3;

int *p = (int*)&count;

*p = 5;

cout << count << “ ” << *p << endl;

现在问输出的是什么?这是今年中兴笔试的题(类似,具体数字忘了),老实说,这道题我当时纠结了不少时间,总是觉得*p = 5 会报错,其实不然。程序是可以执行的,且输出一个是3,一个是5,为什么会这样?

原来这是一个常量替换(更正式的说法是常量折叠),在预编译时,count就被替换为3了,所以输出的语句实际上早就变成了

cout << 3 << “ “ << *p << endl;

那为什么可以修改常量的值?这是因为强制类型转换将const int* 转成了 int*。

言归正传,由预处理器生成的文件是hello.i,接下来交由编译器来编译,编译后得到汇编程序文件hello.s,汇编程序与机器码已经可以一一对应了,汇编器将汇编程序文件转成目标文件hello.o,在hello中还会使用到来自本程序“外部”的函数,比如printf,它位于系统提供的库中,外部库也有目标文件,比如这里的printf.o,链接器将hello.o和printf.o链接到一起生成可执行的二进制文件(在windows下一般是用.exe结尾的,但在linux下不一定,取决于你的定义,这里就直接是hello了,在linux环境中当前目录的命令行下输入“./hello”,就可以执行这个程序了)。再宏观地看一眼这个流程,我们程序员可以看懂的文件(ASCII码文件)包括高级语言源文件(如hello.c)、预编译文件(如hello.i)和汇编程序文件(如hello.s),看不懂的文件(二进制文件,打开后都是乱码)包括目标文件(如hello.o)和可执行程序文件(如hello)。

最后谈谈操作系统的基础知识,也就是程序内存中的分布,以windows操作系统为例,地址空间从高到低依次是数据段、代码段、堆和栈。数据段存放程序的全局变量和静态变量,堆存放动态分配的内存(在C++中是new出来的内存,C中是malloc出来的内存),代码段顾名思义是存放程序的机器码,栈则存放局部的变量。在360面试的时候,面试官就问栈的生长方向,是向低地址区生长还是高地址区生长?即对一个栈push(x)后再push(y),x和y在内存中的地址孰高孰低?这个需要记忆一下,栈在堆的下面(“下”表示地址更低),且栈是向低地址方向生长,而堆在栈的上面(“上“表示地址更高),且堆是向高地址方向生长,两者生长方向是背离的。注意linux的内存分布与windows不同。

下面在VS中验证win32环境下的内存分布,代码如下:

复制代码
 1 int main()
 2 {
 3     int b = 3; //
 4     int *c = new int[2]; // 5 
 6     // 输出观察地址空间
 7     cout << "静态变量地址 " << &a << endl;
 8     cout << "全局变量地址 " << &d << endl;
 9     cout << "常量地址(与代段存在一起)" << &hello << endl;
10     cout << "栈地址 " << &b << endl;
11     cout << "堆地址1 " << &c[0] << "堆地址2 " << &c[1]<<endl;
12     delete [] c;
13 
14     int ss = 4;
15     int sss = 5;
16     cout << "第一个栈元素地址 " << &ss << endl;
17     cout << "第二个栈元素地址 " << &sss << endl;
18 }
复制代码

运行结果为:


转自 http://www.cnblogs.com/jerry19880126/

另在linux试验下ss的地址也大于sss的地址,但是我在compilr.com上运行的结果却不一致,供大家参考:






参与评论 您还未登录,请先 登录 后发表或查看评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:大白 设计师:CSDN官方博客 返回首页
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值