编译程序与操作系统的关系
2010年06月25日
转自刘建文博客:http://arttech.us/y-2010/relation-compiler-os.html
和很多程序员一样,编译器到目前为止对我还存在一些让我迷惑的地方。比如编译器与操作系统的关系,编译器与CPU的关系,动态链接器从哪查找共享库 等。让人困惑的原因有几,第一是编译器的功能角色特殊,编译器是生成程序的程序;第二是编译过程变得越来越复杂[注],一支编译器支持多种程序语言、支持 共享库、编译优化,编译与链接可分开等;第三,操作系统的介入。本文试着从第三点--操作系统介入编译过程后对编译器的影响,看看操作系统与编译器有什么 关系。 注:编译过程变复杂源于计算机应用变复杂。例如应用程序项目越来越庞大,功能越来越多;为了管理大项目,拆分源程 序文件为多个;为了提高程序的性能,目标程序文件的链接期被延迟到运行前;为了程序的灵活安装和升级,引入各种脚本工具,如 make,configure(shell)。 我们看看编译器的一种传统定义: 编译程序是一支将抽象度较高的编程语言程序(也称源程序)【转化】成抽象度较低的编程语言程序(也称目标程 序)的【程序】[注]。抽象度的两端分别是机器语义和人理解语义。【处理器体系】和【编程语言】是一支编译程序的根本属性。 注:以下仅使用【程序】一语,"器"是一种形象的比喻,不够严谨;而软件(software)是产品性的程序,最 好只用在商业语境中。 以上对编译程序的定义描述在【现代意义下】对全面认识编译程序是不够的,因为它没有涉及操作系统,没有涉及现代的复杂的程序构建过程。有一定开发经 验的程序员都知道,程序的"编译过程"包括编译、链接(静态链接与动态链接)、调试,还可能包括组态配置和安装两步。"编译"一词已经不能很好描述这个过 程。整个过程可称为【程序构建】,而编译只是第一步,在这一点上,编译程序在传统意义上与现代意义上产生了不同。由于本文试图讨论编译程序与操作系统的关 系,为了避免产生歧义,本文的【编译程序】包括编译和静态链接两个部分,动态链接部分有点特殊,后面会提到它的角色。
下面我们给出有关【操作系统与编译程序关系】的三个问题,并试图回答它们: 第一,编译程序与操作系统的关系是什么?
第二,编译程序对操作系统有依赖么?
第三,编译程序与CPU的关系又是什么?
第四,操作系统对C标准库与C编译程序的关系有什么影响?
为了更好的进行下一步讨论,我先给出现代编译程序比较完整的定义,并由定义引出问题: 现代编译程序是一支将某抽象度较高的编程语言程序【转化】为运行在【某软硬体系下】的抽象度较低的编程语言 程序的【程序】。所谓硬件体系是指处理器体系,软件体系指操作系统体系。 要回答前三个问题,我们得厘清现代编译程序定义中的【属概念】--程序,并对操作系统有更深一层认识。 程序的分类是多种多样的,比如常见的两分法是【系统程序】和【应用程序】。这是一种粗粒度的按【计算任务】不同的分法。我们看程序的定义: 程序(program)是完成特定【计算任务】的【指令】序列,指令由相应的【图灵机】读取并操作。 由以上对程序的定义可知,还可根据--程序【指令的性质】和读取程序的【图灵机】性质--两个标准再进一步对程序分类。比如,按指令序列是否连续可 以分为独立程序和共享程序(使用了共享库);按指令的抽象度可分为高级语言程序和低级语言程序。按【图灵机】的体系可分为X86程序和ARM程序,16位 程序和32位程序等。
高级语言程序是不是【程序】?如果是,它的【图灵机】是什么?
我们一般理解下的【程序】是指二进制的可执行文件,那么高级语言的源程序是不是程序?从指令序列的定义看,【高级语言的源程序】是程序,因为【高级语言的 源程序】与【二进制的可执行文件】一样,也是指令序列,只不过【高级语言的源程序】的【图灵机】不是CPU,也不是编译器或解释器,而是程序员。【高级语 言的源程序】的功能更多体现在程序员间的相互学习和交流。
除了以上基本分类外,现代的程序还会受为其提供虚拟运行环境的操作系统影响,可以根据操作系统的体系属性对程序再分类,例如win32程 序,linux程序。
操作系统是一类比较独立的系统程序,操作系统有支持各种【图灵机】的体系类型,比如16位DOS,32位Windows,X86的BSD,ARM的 Linux等。而系统程序一般是指一支为应用程序直接提供半成品(为应用程序提供执行的虚拟环境)和协调多个应用程序并行运行的程序。所谓半成品是指,系 统程序的一部分(指令序列)也是应用程序的一部分(指令序列),但这部分程序不专属任何应用程序,它是共享的。例如各种新硬件的驱动程序、C标准库函数、 POSIX库函数等。而作一个协调程序,操作系统表现出与一般应用程序的程序性,如独立调度的线程,只是它们运行在权力更高的状态下。协调程序如线程调度 程序。 这里的操作系统泛指像Linux这样的现代32位操作系统,而【非操作系统程序】运行在操作系统之上,对操作系统存在可能的依赖的程序。
其实只要是运行在某操作系统之上的程序都会烙上该操作系统的印,对操作系统有依赖,包括编译程序。不过这些程序对操作系统的依赖程度和依赖的内容确 实有很多区别。例如一支最简单的【Hello world程序】都会对【操作系统的C库】产生依赖,如果去掉【Hello world程序】的输入输出功能,只作加减或逻辑运算,【Hello world程序】依然会对操作系统有少量依赖,因为【Hello world程序】由运行在该【操作系统上的编译程序】编译的,有特定的目标文件格式,并由该【操作系统的载入程序】载入内存运行[注]。这种只【在形式 上】对OS存在依赖的"无用"程序可谓是最独立于OS的程序。在此基础之上,其它程序都对OS有不同程度的依赖,依赖表现在对OS内的各种程序库的依赖, 比如C标准库,POSIX系统库,线程库、网络库和其它基于这些基础库的第三方应用代码库。 注:由此可见编译程序与引导程序、SHELL程序一样,是现代操作系统的基本部分。 有了以上的对程序以及操作系统本质的一定了解后,我们知道编译程序与操作系统有一定亲缘性。但这种亲缘性的一些表现会让人迷惑。例如Linux发行版可以 不安装有编译程序的,只有开发工作站才需要编译程序。而所有Linux发行版的应用程序都可能使用了共享库,需要动态链接这些系统共享库。由此可见,应该 分开【开发期】与【运行期】来看待编译程序与操作系统的关系。在开发期,编译程序运行操作系统之上,属于【非操作系统程序】,对操作系统有依赖;在运行 期,编译程序的子部分--动态链接程序和加载程序属于操作系统有机部分。
由以可得编译程序与操作系统的关系有: 第一,编译程序的编译部分和静态链接部分是运行在操作系统上的系统程序;
第二,编译程序的动态链接部分与操作系统的亲缘性更强,所以完全可把动态链接部分独立出来[FIXME:动态链接程序与操作系统具体关系未知];
第三,编译程序的编译输出格式是操作系统相关的。
由此可见,编译程序是操作系统相关的,编译程序也是操作系统的功能很重要组成部分,但编译程序没有被集成入操作系统内核内,所以编译程序不算是操作系统的 有机组成部分。 由上面可得,编译程序是运行操作系统之上【非操作系统程序】,对操作系统有依赖。编译程序是一支【计算集中】更大的程序,它相对于应用程序对OS依赖会少 一些,依赖有: 形式依赖(由另一支同软硬体系的编译程序[行话本地编译器],编译得到或不同软硬体系的编译程序[行话交叉编译器],交叉编译得到)
C库依赖,读取高级语言源码程序文件,写入低级语言的目标文件
操作系统对C库没有什么影响,C库是一种通用代码库;但与[FIXME] 刘建文原创,引用请注明出处。
发表评论
-
动静库
2012-01-20 12:18 705动静库 2010年12月16日 ... -
Gcc简易教程
2012-01-20 12:17 668Gcc简易教程 2010年06月13日 版权属于GodT ... -
qqCPUID 的一个汇编实例
2012-01-20 12:17 830qqCPUID 的一个汇编实例 ... -
strcpy没有声明 c++头文件详解
2012-01-20 12:17 2318strcpy没有声明 c++头文件详解 2010年10月23 ... -
python 常用类库!(转)
2012-01-19 17:00 652python 常用类库!(转) 2011年01月21日 ... -
前言:什么是Python?
2012-01-19 16:59 692前言:什么是Python? 2010年11月14日 py ... -
对比java和python
2012-01-19 16:59 1187对比java和python 2011年04 ... -
(转载)Python 应用发布技术
2012-01-19 16:59 703(转载)Python 应用发布技 ... -
Python 应用领域
2012-01-19 16:59 768Python 应用领域 2010年08 ... -
最真的爱(转)
2012-01-17 06:44 580最真的爱(转) 2011年11月25日 -
如何做好日用品的直销?
2012-01-17 06:44 637如何做好日用品的直销? 2011年11月22日 濡 -
安莉芳内衣亮相2011深圳国际内衣文化周
2012-01-17 06:44 639安莉芳内衣亮相2011深圳国际内衣文化周 2011年11月2 ... -
歌瑞尔内衣:一不小心“玩”大了
2012-01-17 06:44 672歌瑞尔内衣:一不小心“玩”大了 2011年11月26日 ... -
2011-12-12
2012-01-17 06:44 5312011-12-12 2011年12月12日 乱码体: -
给大学生学习ARM和FPGA的建议(转)
2012-01-16 05:33 1018给大学生学习ARM和FPGA的 ... -
HOOK API 函数跳转详解
2012-01-16 05:33 1012HOOK API 函数跳转详解 20 ... -
java的面试socket
2012-01-16 05:33 887java的面试socket 2010年05 ... -
Winsock 常用API函数
2012-01-16 05:26 639Winsock 常用API函数 2011年04月29日 ...
相关推荐
计算机操作系统的试题《计算机操作系统》试题库 1. 单项选择题(共200个题目) 100236. 一般用户更喜欢使用的系统是(C )。 A.手工操作 B.单道批处理 C.多道批处理 D.多用户分时系统 有争议:答案是D 100237. 与...
编译程序 B.数据库管理系统 C.游戏程序 D.OS 3. 现代OS具有并发性和共享性,是( )的引入导致的。 A.单道程序 B. 磁盘 C. 对象 D.多道程序 4. 早期的OS主要追求的是( )。 A.系统的效率 B.用户的方便性 C...
编译程序 B.数据库管理系统 C.游戏程序 D.OS 3. 现代OS具有并发性和共享性,是( )的引入导致的。 A.单道程序 B. 磁盘 C. 对象 D.多道程序 4.( )不是多道程序系统 A.单用户单任务 B.多道批处理系统 C.单用户多...
在第二版中,你将会看到,你已经可以通过交叉编译的方式为我们的实验性 OS编写应用程序了,也就是说,它已经具备操作系统的基本功能,虽然仍然极其简陋,但第一个圈,毕竟是已经圆起来了。第三,实践类的操作系统...
这种方式的妙处在于,让读者先从宏观上全面认清一个完整的操作系统中都包含哪些组件,各个组件的作用,以及各个组件间的关系,从微观上深入理解系统各个组件的原理,帮助读者达到事半功倍的学习效果,这是作者潜心...
数据结构是一门研究非数值计算的程序设计问题中计算机的操作对象及其之间关系与操作的学科,是介于数学、计算机硬件和计算机软件三者之间的一门核心课程,属于计算机学科中的一门综合性专业基础课程,它不仅是一般...
操作系统题库
这种方式的妙处在于,让读者先从宏观上全面认清一个完整的操作系统中都包含哪些组件,各个组件的作用,以及各个组件间的关系,从微观上深入理解系统各个组件的原理,帮助读者达到事半功倍的学习效果,这是作者潜心...
这种方式的妙处在于,让读者先从宏观上全面认清一个完整的操作系统中都包含哪些组件,各个组件的作用,以及各个组件间的关系,从微观上深入理解系统各个组件的原理,帮助读者达到事半功倍的学习效果,这是作者潜心...
数据结构与算法的研究不仅涉及到计算机硬件的研究范围,而且和计算机软件的研究有密切的关系,无论是编译程序还是操作系统,都涉及到数据元素在存储器中的分配问题。可以认为数据结构是介于数学、计算机硬件和计算机...
这种方式的妙处在于,让读者先从宏观上全面认清一个完整的操作系统中都包含哪些组件,各个组件的作用,以及各个组件间的关系,从微观上深入理解系统各个组件的原理,帮助读者达到事半功倍的学习效果,这是作者潜心...
1.4编译程序与程序设计环境 1.5编译程序的生成 第二章高级语言及其语法描述 2.1 程序语言的定义 2.1.1语法 2.1.2 语义 2.2 高级语言的一般特性 2.2.1 高级语言的分类 2.2.2程序结构 2.2.3数据类型与操作 ...
在第二版中,你将会看到,你已经可以通过交叉编译的方式为我们的实验性 OS编写应用程序了,也就是说,它已经具备操作系统的基本功能,虽然仍然极其简陋,但第一个圈,毕竟是已经圆起来了。第三,实践类的操作系统...
6、 操作系统是一个大型的程序系统,它负责计算机的全部软、硬件资源的分配、调度工作,控制并协调并发活动,实现信息的存取和保护。它提供用户接口,使用户获得良好的工作环境。操作系统使整个计算机系统实现了高...
数据结构在计算机科学中是一门综合性的专业基础课,它不仅设计到计算机硬件(特别是编码理论、存储装置和存取方法等)的研究范围,而且和计算机软件的研究有着更密切的关系,无论是编译程序还是操作系统,都涉及到数据...
1操作系统复习题 11 单项选择题 1、与计算机硬件关系最密切的软件是( D). A.编译程序 B.数据库管理程序 C.游戏程序 D.OS 2、( B)是多道操作系统不可缺少的硬件支持。 A.打印机 B.中断机构 C.软盘 D.鼠标 3、特权...
第1章绪论.1 1.1操作系统概述1 1.1.1建立操作系统的目标1 1.1.2操作系统是用户与计算机的接口1 1.1.3操作系统是资源管理器2 1.2UNIX系统的主要特性3 1.3UNIX系统的发展史4 1.4开源软件与UNIX的推广发展6 1.4.1开源...
特点:内存多道、宏观上并行、微观上串行 现代操作系统的基本特性(4个) (1)并发性 (2)共享性 (3)虚拟性 (4)异步性 资源管理的观点来看操作系统的功能(5个) (1)处理机管理:(2)存贮器管理:(3)设备管理:(4)...
用户程序与操作系统程序 3.下面哪一个不是程序在并发系统内执行的特点( )。 A.产生死锁的必然性 B.资源分配的动态性 C.程序执行的间断性 D.相互通信的可能性 4.进程和程序的一个本质区别是( D )。 A. 进程分时...
1.2.4 单内核与微内核操作系统 7 1.3 开放源代码的Unix/Linux操作系统 8 1.3.1 Unix的诞生和发展 8 1.3.2 Linux的诞生 9 1.3.3 操作系统标准POSIX 9 1.3.4 GNU和Linux 9 1.3.5 Linux的开发模式 10 1.4 Linux内核 10 ...