计算机内功修炼:计算机系统漫游

本文深入探讨了计算机系统的工作原理,从源程序的生命周期开始,通过预处理、编译、汇编和链接四个阶段,解释了如何将高级语言转化为可执行文件。处理器如何读取并解释存储在内存中的指令,以及高速缓存如何提高性能。文章还介绍了操作系统如何管理硬件,包括进程、线程、虚拟存储器和文件的抽象概念,以及并发和并行执行的层次。通过对这些基础知识的理解,有助于优化程序性能、避免安全漏洞,并提升系统效率。
摘要由CSDN通过智能技术生成


计算机系统是由硬件和系统软件组成的, 虽然系统的具体实方式随着时间不断变化,但是系统内在的概念却没有改变。程序员希望深入了解这些组件是如何工作的,以及这些是如何影响程序的正确性和性能的,以此来提高自身的内功技能。

信息就是位+上下文

hello程序的生命周期是从一个源程序(或者说源文件)开始的,源程序实际上就是一个由值0和1组成的位(bit 序列,8个位被组织成一组,称为字节。每个字节表示程序中某个文本字符。

大部分的现代系统都使用ASCII标准来表示文本字符, 用一个唯一的单字节大小的整数值来表示每个字符。说明了一个基本的思想系统中所有的信息——包括磁盘文件、存储器中的程序、存储器中存放的用户数据以及网络上传送的数据,都是由一串位表示的。区分不同数据对象的唯一方法是我们读到这些数据对象时的上下文。比如,在不同的上下文中,一个同样的字节序列可能表示一个整数、浮点数、字符串或者机器指令。
在这里插入图片描述

程序被其他程序翻译成不同的格式

hello 程序的生命周期是从一个高级C语言程序开始的,因为这种形式能够被人读懂。为了在系统上运行hello.c程序,每条 C语句都必须被其他程序转化为系列的低级机器语言指令。然后这些指令按照一种称为可执行目标程序的格式打好包,并以二进制磁盘文件的形式存放起来。目标程序也称为可执行目标文件。

演示下:从源文件到目标文件的转化(编译器会驱动相关程序完成),GCC编译器驱动程序读取源程序文件hello.c,并把它翻译成一个可执行目标文件hello。

在这里插入图片描述

翻译的过程可分为四个阶段完成,如下图,其中(预处理器、编译器、汇编器和链接器)一起构成了编译系统。
在这里插入图片描述

  • 预处理阶段。预处理器(cpp)根据以字符#开头的命令,修改原始的C程序。比如hello.c 中第1行的 #include <stdio.h>命令告诉预处理器读取系统头文件stdio.h的内容,并把它直接插入到程序文本中。结果就得到了另一个C程序,通常是以.i作为文件扩展名。
  • 编译阶段。编译器(ccl)将文本文件hello.i翻译成文本文件hello.s,它包含一个汇编语言程序。汇编语言程序中的每条语句都以一种标准的文本格式确切地描述了一条低级机器语言指令。汇编语言是非常有用的,因为它为不同高级语言的不同编译器提供了通用的输出语言。例如,C 编译器和 Fortran编译器产生的输出文件用的都是一样的汇编语言。
  • 汇编阶段。接下来,汇编器(as)将hello.s 翻译成机器语言指令,把这些指令打包成一种叫做可重定位目标程序(relocatable object program)的格式,并将结果保存在目标文件hello.o 中。hel1o.o 文件是一个二进制文件,它的字节编码是机器语言指令而不是字符。如果我们在文本编辑器中打开 hello.o 文件,看到的将是一堆乱码。
  • 链接阶段。请注意,hello 程序调用了printf函数,它是每个C编译器都会提供的标准C库中的一个函数。printf 函数存在于一个名为 printf.o 的单独的预编译好了的目标文件中,而这个文件必须以某种方式合并到我们的hello.o 程序中。链接器(ld)就负责处理这种合并。结果就得到hello 文件,它是一个可执行目标文件(或者简称为可执行文件),可以被加载到内存中,由系统执行。

了解编译系统如何工作是大有益处的

有一些重要的原因促使程序员必须知道编译系统是如何工作的。

  • 优化程序性能: 为了在C程序中做出好的编码选择,我们确实需要了解一些机器代码以及编译器将不同的C 语句转化为机器代码的方式。
一个switch语句是否总是比一系列的if-then-else语句高效得多?
一个函数调用的开销有多大? 
while 循环比 for 循环更有效吗?
指针引用比数组索引更有效吗?
为什么将循环求和的结果放到一个本地变量中,与将其放到一个通过引用传递过来的参数中相比,运行速度要快很多呢?
为什么我们只是简单地重新排列一下一个算术表达式中的括号就能让一个函数运行得更快?
  • 理解链接时出现的错误: 根据我们的经验,一些最令人困扰的程序错误往往都与链接器操作有关,尤其是当你试图构建大型的软件系统时。
链接器报告它无法解析一个引用,这是什么意思?
静态变量和全局变量的区别是什么?
如果你在不同的C文件中
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

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

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值