- 浏览: 57136 次
- 性别:
- 来自: 苏州
最新评论
第3章 内核体系结构概述
本章从较高层次上对内核进行说明。从顺序上来说,本章首先介绍内核设计目标,接下
来介绍内核体系结构,最后介绍内核源程序目录结构。
3.1 内核设计目标
Linux 的内核展现出了几个相互关联的设计目标,它们依次是:清晰性、兼容性、可移
植性、健壮性、安全性和速度。这些目标有时是互补的,有时则是矛盾的。但是它们被
尽可能的保持在相互一致的状态,内核设计和实现的特性通常都要回归到这些问题上来
。本节接下来的部分将分别讨论这些设计目标,同时还将对它们之间的取舍与平衡进行
简要的说明。
3.1.1 清晰性
稍微简化点说,内核目标是在保证速度和健壮性的前提下尽量清晰。这和现在的大多数
应用程序的开发有所区别,后者的目标通常是在保证清晰性和健壮性的基础上尽量提高
速度。因而在内核内部,速度和清晰性经常是一对矛盾。
在某种程度上,清晰性是健壮性的必要补充:一个很容易理解的实现方法比较容易证明
是正确的;或者即使不正确,也能比较容易的找出其问题所在。从而这两个目标很少会
发生冲突。
但是清晰性和速度通常却是一对矛盾。经过仔细手工优化的算法通常都使用了编译器生
成代码的类似技术,很少可能是最清晰的解决方案。当内核中清晰性和速度要求不一致
时,通常都是以牺牲清晰性来保证速度的。即便如此,程序员仍然清楚地知道清晰性的
重要性,而且他们也做了大量的工作以使用最清晰的方法保证速度。
3.1.2 兼容性
正如第1章中所述,Linux最初的编写目的是为了实现一个完整的、与Unix兼容的操作系
统内核。随着开发过程的展开,它也开始以符合POSIX标准为目标。就内核而言,兼容U
nix(至少是同某一现代的Unix实现相兼容)和符合POSIX标准并没有什么区别,因此我
们也不会在这个问题上详细追究。
内核提供了另外一种类型的兼容性。基于Linux 的系统能够提供可选择的对Java.class
文件的本地运行支持(据说Linux是第一个提供这种支持的操作系统)。尽管实际负责J
ava程序解释执行的是另外一个Java虚拟机进程,该虚拟机并没有内置到内核中。但是内
核提供的这种机制可以使得这种支持对用户是透明的。通过内核本身提供的程度不同的
支持(这并不代表大部分工作像Java的解决方式一样能够通过外部进程实现),对其他
可执行文件格式的支持也能够以同样的方式插入内核中。这方面的内容将在第7章中详细
介绍。
另外需要说明的是,GNU/Linux系统作为一个整体通过DOSEMU仿真机器提供了对DOS可执
行程序的支持,而且也通过WINE设计提供了对Windows可执行程序的部分支持。系统还以
同样的方式通过SAMBA提供了对Windows兼容文件和打印服务的支持。但是这些都不是同
内核密切相关的问题,因此在本书中我们不再对它们进行讨论。
兼容性的另外一个方面是兼容异种文件系统,本章中稍后会有更为详细的介绍,但是大
部分内容已经超出了本书的范围。Linux能够支持很多文件系统,例如ext2(“本地”文
件系统)、ISO-9660(CD-ROM使用的文件系统)、MS-DOS、网络文件系统(NFS)等许多
其他文件系统。如果你有使用其他操作系统格式的磁盘或者一个网络磁盘服务器,那么
Linux将能够和这些不同的文件系统进行交互。
兼容性的另外一个问题是网络,这在当今Internet流行的时代尤为重要。作为Unix的一
个变种,Linux自然从很早就开始提供对TCP/IP的支持。内核还支持其他许多网络协议,
它们包括AppleTalk协议的代码,这使得Linux单元可以和Macintosh机自由通讯;Novel
l的网络协议,也就是网络报文交换(IPX),分组报文交换(SPX)和NetWare核心协议
(NCP);IP协议的新版本IPv6以及其它一些不太出名的协议。
兼容性考虑的最后一个方面是硬件兼容性。似乎每个不常见的显卡、市场份额小的网卡
、非标准的CD-ROM接口和专用磁带设备都有Linux的驱动程序(只要它不是专为特定操作
系统设计的专用硬件)。而且只要越来越多的厂商也逐渐认识到Linux的优势,并为更容
易地实现向Linux上移植而开放相应的源程序代码,Linux对硬件支持会越来越好。
这些兼容性必须通过一个重要的子目标:模块度(modularity)来实现。在可能的情况
下,内核只定义子系统的抽象接口,这种抽象接口可以通过任何方法来实现。例如,内
核对于新文件系统的支持将简化为对虚拟文件系统(VFS)接口的代码实现。第7章中介
绍的是另外一个例子,内核对二进制句柄的抽象支持是实现对诸如Java之类的新可执行
格式的支持的方法。增加新的可执行格式的支持将转变为对相应的二进制句柄接口的实
现。
3.1.3 可移植性
与硬件兼容性相关的设计目标是可移植性,也就是在不同硬件平台上运行Linux的能力。
系统最初是为运行在标准IBM兼容机上的Intel x86 CPU而设计的,当时根本没有考虑到
可移植性的问题。但是从那以后情况已经发生了很大的变化。现在正式的内核移植包括
向基于Alpha、ARM、Motorola 68x0、MIPS、PowerPC、SPARC及SPARC-64 CPU系统的移植
。因而,Linux可以在Amigas、旧版或新版的Macintosh、Sun和SGI工作站及NeXT机等机
器上运行。而且这些还只是标准内核发行版本的移植范围。从老的DEC VAX到3Com掌上系
列个人数字助理(例如Palm III)的非正式的移植工作也在不断进行中。成功的非正式
移植版本后来通常都会变成正式的移植版本,因此这些非正式的移植版本很多最终都会
出现在主开发树中。
广泛平台支持之所以能够成功的部分原因在于内核把源程序代码清晰地划分为体系结构
无关部分和体系结构相关部分。在本章的后续部分将对这个问题进行更深入的讨论。
3.1.4 健壮性和安全性
Linux必须健壮、稳定。系统自身应该没有任何缺陷,它还应该可以保护进程(用户)以
防止互相干扰,这就像把整个系统从其他系统中隔离开来加以保护一样。后一种考虑很
大程度上是受信任的用户空间应用程序领域的问题,但是内核至少也应该提供支撑安全
体系的原语(primitive)。健壮性和安全性比任何别的目标都要重要,包括速度。(系
统崩溃的速度很快又有什么好处呢?)
保证Linux健壮性和安全性的唯一一个最重要的因素是其开放的开发过程,它可以被看作
是一种广泛而严格的检查。内核中的每一行代码、每一个改变都会很快由世界上数不清
的程序员检验。还有一些程序员专门负责寻找和报告潜在的缺陷—他们这样做完全是出
于自己的个人爱好,因为他们也希望自己的Linux系统能够健壮安全。以前检查中所没有
发现的缺陷可以通过这类人的努力来定位、修复,而这种修复又合并进主开发树以使所
有的人都能够受益。安全警告和缺陷报告通常在几天甚至几个小时内就能够得到处理和
修复。
Linux可能并不一定是现有的最安全的操作系统(很多人认为这项桂冠应该属于OpenBSD
,它是一个以安全性为主要目标的Unix变种),但是它是一个有力的竞争者。而且Linu
x健壮性远没有发展到尽头。
3.1.5 速度
这个术语自己就可以说明问题。速度几乎是最重要的衡量标准,虽然其等级比健壮性、
安全性和(在有些时候)兼容性的等级要低。然而它却是代码最直观的几个方面之一。
Linux内核代码经过了彻底的优化,而最经常使用的部分—例如调度,则是优化工作的重
点。几乎在任何时候都有一些不可思议的代码,这是由于这种方式的执行速度比较快(
这并不总是很明显,但是你经常不得不通过自己的试验来对这种优化代码进行确认)。
虽然有时一些更直接的实现方法速度也很快,但是我所见过的这种情况很少。
在某些情况下,本书推荐用可读性更好的代码来替代那些打着速度的名义而被故意扭曲
了的代码。虽然速度是一个设计目标,但我基本上只在以下两种情况时才会这样做:a)
在所考虑的问题中,速度明显不是关键问题 b) 没有其他的办法。
3.2 内核体系结构初识
图3-1是一种类Unix操作系统的相当标准的视图,实际上,更细致地说,该图能够说明所
有期望具有平台无关特性的操作系统。它着重强调了内核的两个特性:
* 内核将应用程序和硬件分离开来。
* 部分内核是体系结构和硬件特有的,而部分内核则是可移植的。
第一点我们在前面章节中已经讨论清楚了,在这里没有必要重复说明。第二点,也就是
与体系结构无关和与体系结构相关代码的内容对于我们的讨论比较有意义。内核通过使
用与处理用户应用程序相同的技巧来实现部分可移植性。这也就是说,如同内核把用户
应用程序和硬件分离一样,部分内核将会因为与硬件的联系而同其他内核分离开来。通
过这种分离,用户应用程序和部分内核都成为可移植的。
虽然这通常并不能够使得内核本身更清楚,但是源程序代码的体系结构无关部分通常定
义了与低层,也就是体系结构相关部分(或假定)的接口。作为一个简单的例子,内存
管理代码中的体系结构无关部分假定只要包含特定的头文件就可以获得合适的PAGE_SIZ
E 宏(参见10791行)的定义,该宏定义了系统的内存管理硬件用于分割系统地址空间的
内存块的大小(参见第8章)。体系结构无关代码并不关心宏的确切定义,而把这些问题
都留给体系结构相关代码去处理(顺便一提,这比到处使用#ifdef/#endif程序块来定义
平台相关代码要清晰易懂得多)。
图3-1 内核体系结构基本结构图
这样,内核向新的体系结构的移植就转变成为确认这些特性及在新内核上实现它们的问
题。
另外,用户应用程序的可移植性还可以通过它和内核的中间层次—标准C库(libc)—的
协助来实现。应用程序实际上从不和内核直接通讯,而只通过libc来实现。图3-1中显示
应用程序和内核直接通讯的唯一原因在于它们能够和内核通讯。虽然在实际上应用程序
并不同内核直接通讯—这样做是毫无意义的。通过直接和内核通讯所能处理的问题都可
以通过使用libc实现,而且更容易。
libc和内核通讯的方式是体系结构相关的(这和图中有一点矛盾),libc负责将用户代
码从实现细节中解放出来。有趣的是,甚至大部分libc都不了解这些细节。大部分的li
bc,例如atoi和rand的实现,都根本不需要和内核进行通讯。剩余的大部分libc,例如
printf函数,在涉及到内核之前或之后就已经处理了大量的工作(printf必需首先解释
格式化字符串,分析相应参数,设定打印方法,在临时内部缓冲器中记录预期输出。直
到此时它才调用底层系统,调用write来实际打印该缓冲区)。其他部分的libc 则只是
相应系统调用的简单代理。因而一旦发生函数调用时,它们会立即调用内核相应函数以
完成主要工作。在最低层次上,大部分libc通过单通道同内核进行交流,而它们所使用
的机制将在第5章进行详细介绍。
由于这种设计,所有的用户应用程序,甚至大部分的C库,都是通过体系结构无关的方式
和内核通讯的。
3.3 内核体系结构的深入了解
图3-2显示了内核概念化的一种可能方式。该图和区分内核的体系结构无关及体系结构相
关的方法有所不同,它是一种更具有普遍性的结构视图。在“Kernel”框内的本书中有
所涉及的内核部分都用括号注明了相应的章节编号。虽然有关对称多处理(SMP)的支持
也属于本书的范围,但是在这里我们却没有标明章号。部分原因在于相当多的SMP代码广
泛地分布于整个内核中,因此很难将它与某一个模块联系起来。同样,对于内核初始化
的支持也属于本书的范围,但是也没有标明章号。这样做是因为从设计的观点上看,该
问题并不重要。最后,虽然在图中我们将第6章和“进程间通讯”框联系在一起,但是该
章只涉及一部分进程间通讯的内容。
图3-2 详细的内核体系结构图
进程和内核的交互通常需要通过如下步骤:
1) 用户应用程序调用系统调用,通常是使用libc。
2) 该调用被内核的system_call函数截获(第5章,171行),此后该函数会将调用请求
转发给另外的执行请求的内核函数。
3) 该函数随即和相关内部代码模块建立通讯,而这些模块还可能需要和其他的代码模块
或者底层硬件通讯。
4) 结果按照同样的路径依次返回。
然而,并不是所有内核和进程间的交互都是由进程发起的。内核有时也会自行决定同哪
个进程交互,例如通过释放信号或者简单的采用直接杀死进程的方法终止该进程的执行
(如当进程用完所有可用的CPU时间片),以便使其他进程有机会运行。这些交互过程在
该图中并没有表示,主要是因为它们通常都只是内核对自己的内部数据结构的修改(信
号传递对于这种规则来说是一个例外)。
3.4 Linux 内核的类型
解决复杂性的所有方法都基于一个基本原理:问题分解和各个击破。也就是说,都是把
大型的、难以解决的问题(或系统)分解成一定数量的复杂度较低的子问题(或子系统
),再根据需要重复这一过程直到每一部分都小到可以解决为止,而各种方法只是这种
原理的一些不同运用而已。
计算机科学中有三种经典的方法比较适合于构建大型系统(我首先必须说明的是,这些
定义都是经过我深思熟虑的讨论对象)。
1) 层次(Layer)—将解决方案分解成若干部分,在这些部分中存在一个问题域的最底
层,它为上层的抽象层次较高的工作提供基础。较高层建立在其低层基础之上。OSI和T
CP/IP协议堆栈是众所周知的层次化软件设计的成功的例子。操作系统设计的层次化解决
方案可能会包含一个可以直接和硬件通讯的层次,然后在其上提供为更高层提供抽象支
持的层次。这样更高层就可以对磁盘、网卡等硬件进行访问,而并不需要了解这些设备
的具体细节。
层次化设计的一个特征是要逐步构建符号集(vocabulary)。随着层次的升高,符号集
的功能将越来越强大。层次化设计的另外一个特征是完全可以在对其上下层透明的条件
下替换某一层次。在最理想的情况下,移植层次化的操作系统只需要重写最底层的代码
。纯层次化模型实现的执行速度可能会很慢,因为高层必须(间接的)通过调用一系列
连续的低层才能处理完自己的任务—N层调用N-1层,N-1层调用N-2层,等等,直到实际
的工作在0层被处理完成。接着,结果当然是通过同样的路径反向传递回来。因此,层次
化设计通常会包含对某些高层直接和某些低层通讯的支持;这样虽然提高了速度,但是
却使得各个层次的替换工作更加困难(因为不止一个高层会直接依赖于这个你所希望进
行替换的层次)。
* 模块(Module)—模块将具体的一部分功能块隐藏在抽象的接口背后。模块的最大特
点是将接口和其实现分离开来,这样就能够保证一个模块可以在不影响其他模块的情况
下进行改变。这样也将模块之间的依赖关系仅仅限定于接口。模块的范围是试图反映求
解域内一些方面的自然的概念性界限。纯模块化的操作系统因而就可能有一个磁盘子系
统模块,一个内存管理子系统模块,等等。纯模块化和纯层次化的操作系统之间的主要
区别是,一个可以由其他模块自由调用,模块间没有上层和下层的概念(从这个意义上
来说,模块是广义的层次。按照纯粹的观点,层次是最多可供一个其它模块调用的模块
,这个模块也就是它的直接上层模块)。
* 对象(Object)—对象和模块不同,因为对于初学者来说它们具有不同的问题考虑方
式,实现的方法也可能各自独立。但是,就我们当前的目的来说,对象不过是结构化使
用模块的方法。组件(component)作为对象思想的进一步改进,目前还没有在操作系统
设计中广泛使用。即便如此(按照我们的观点),我们也没有足够的理由将其和模块划
分在不同的范畴中。
图3-1强调了内核的层次化的视图,而且是体系结构无关层次位于体系结构相关层次之上
(更为精确的视图是在顶层增加一个附加的体系结构相关的层次。这是因为系统调用接
口位于应用程序和内核之间,而且是体系结构相关的)。图3-2着重强调了更加模块化的
内核视图。
从合理的表述层次上看,这两种观点都是正确的。但也可以说这两种观点都是错误的。
我可以用大量的图片向你证明内核是遵从所有你所能够指出的设计原则集合的,因为它
就是从众多思想中抽取出来的。简单说来,事实是Linux内核既不是严格层次化的,也不
是严格模块化的,也不是严格意义上的任何类型,而是以实用为主要依据的(实际上,
如果要用一个词来概括Linux从设计到实现的所有特点,那么实用就是最确切的)。也许
最保守的观点是内核的实现是模块化的,虽然这些模块有时会为了追求速度而有意跨越
模块的界限。
这样,Linux的设计同时兼顾了理论和实际。Linux并没有忽视设计方法;相反,在Linu
x的开发基本思想中,设计方法的作用就像是编译器:它是完成工作的有力工具。选择一
个基本的设计原则(例如对象)并完全使用这种原则,不允许有任何例外,这对于测试
该原则的限制,或者构建以说明这些方法为目的的教学系统来说都是一个不错的方法。
但是如果要用它来达到Linux的设计目标则会引起许多问题。而且Linux的设计目标中也
并不包括要使内核成为一个完全纯化的系统。Linux开发者为了达到设计目标宁愿违背妨
碍目标实现的原则。
实际上,如果对于Linux来说是正确的,那么它们对于所有最成功的设计来说都是正确的
。最成功、应用最广泛的实际系统必然是实用的系统。有些开发人员试图寻找功能强大
的可以解决所有问题的特殊方法。他们一旦找到了这种方法,所有的问题就都迎刃而解
了。像Linux内核一样的成功设计通常需要为系统的不同部分和描述上的不同层次使用不
同的方法。这样做的结果可能不是很清晰,也不是很纯粹,但是这种混合产物比同等功
能的纯粹系统要强大而且优秀得多。
Linux大部分都是单内核的
操作系统内核可能是微内核,也可能是单内核(后者有时称之为宏内核Macrokernel)。
按照类似封装的形式,这些术语定义如下:
* 微内核(microkernel)—在微内核中,大部分内核都作为独立的进程在特权状态下运
行,它们通过消息传递进行通讯。在典型情况下,每个概念模块都有一个进程。因此,
如果在设计中有一个系统调用模块,那么就必然有一个相应的进程来接收系统调用,并
和能够执行系统调用的其他进程(或模块)通讯以完成所需任务。
在这些设计中,微内核部分经常只不过是一个消息转发站:当系统调用模块要给文件系
统模块发送消息时,消息直接通过内核转发。这种方式有助于实现模块间的隔离(某些
时候,模块也可以直接给其他模块传递消息)。在一些微内核的设计中,更多的功能,
如I/O等,也都被封装在内核中了。但是最根本的思想还是要保持微内核尽量小,这样只
需要把微内核本身进行移植就可以完成将整个内核移植到新的平台上。其他模块都只依
赖于微内核或其他模块,并不直接直接依赖硬件。
微内核设计的一个优点是在不影响系统其他部分的情况下,用更高效的实现代替现有文
件系统模块将会更加容易。我们甚至可以在系统运行时将开发出的新系统模块或者需要
替换现有模块的模块直接而迅速地加入系统。另外一个优点是不需要的模块将不会被加
载到内存中,因此,微内核就可以更有效地利用内存。
* 单内核(monolithic kernel)—单内核是一个很大的进程。它的内部又可以被分为若
干模块(或者是层次或其他)。但是在运行的时候,它是一个独立的二进制大映象。其
模块间的通讯是通过直接调用其他模块中的函数实现的,而不是消息传递。
单内核的支持者声称微内核的消息传递开销引起了效率的损失。微内核的支持者则认为
因此而增加的内核设计的灵活性和可维护性可以弥补任何损失。
我并不想讨论这些问题,但必须说明非常有趣的一点是,这种争论经常会令人想到前几
年CPU领域中RISC和CISC的斗争。现代成功的CPU设计中包含了所有这两种技术,就像Li
nux内核是微内核和单内核的混合产物一样。Linux内核基本上是单一的,但是它并不是
一个纯粹的集成内核。前面一章所介绍的内核模块系统将微内核的许多优点引入到Linu
x的单内核设计中。(顺便提一下,我考虑过一种有趣的情况,就是Linux的内核模块系
统可以将系统内核转化成为简单的不传递消息的微内核设计。虽然我并不赞成,但是它
仍然是一个有趣的想法。)
为什么Linux必然是单内核的呢?一个方面是历史的原因:在Linus的观点看来,通过把
内核以单一的方式进行组织并在最初始的空间中运行是相当容易的事情。这种决策避免
了有关消息传递体系结构、计算模块装载方式等相关工作。(内核模块系统在随后的几
年中又进行了不断地改进。)
另外一个原因是充足的开发时间的结果。Linux既没有开发时间的限制,也没有来自于市
场压力的发行进度。 所有的限制只有并不过分的对内核的修改与扩充。内核的单一设计
在内部实现了充分的模块化,在这种条件下的修改或增加都并不怎么困难。而且问题还
在于没有必要为了追求尚未证实的可维护性的微小增长而重写Linux的内核(Linus曾多
次特别强调了如下的观点:为了这点利益而损耗速度是不值得的)。后面章节中将详细
讨论充足开发时间的效果。
如果Linux是纯微内核设计,那么向其他体系结构上的移植将会比较容易。实际上,有一
些微内核,如Mach微内核,就已经成功地证明了这种可移植性的优点。实际的情况是,
Linux内核的移植虽然不是很简单,但也绝不是不可能的:大约的数字是,向一个全新的
体系结构上的典型的移植工作需要30 000到60 000行代码,再加上不到20 000行的驱动
程序代码(并不是所有的移植都需要新的驱动程序代码)。粗略计算一下,一个典型的
移植大约平均需要50 000行代码。这对于一个程序员或者最多一个程序小组来说是力所
能及的,可以在一年之内完成。虽然这比微内核的移植需要更多的代码,但是Linux的支
持者将会提出,这样的Linux内核移植版本比微内核更能够有效地利用底层硬件,因而移
植过程中的额外工作是能够从系统性能的提高上得到补偿的。
这种特殊设计的权衡也不是很轻松就可以达到的,单内核的实现策略公然违背了传统的
看法,后者认为微内核是未来发展的趋势。但是由于单一模式(大部分情况下)在Linu
x中运行状态良好,而且内核移植相对来说比较困难,但没有明显地阻碍程序员团体的工
作,他们已经成功地把内核移植到了现存的大部分实际系统中,更不用说类似掌上型电
脑了。只要Linux的众多特点仍然值得移植,新的移植版本就会不断涌现。
3.5 设计和实现的关系
接下来的部分将介绍一些内核设计和实现之间的关系。本部分最重要的内容是对于内核
源程序目录结构的概述,这一点随后就会提到。本章最后以实现中体系结构无关代码和
体系结构相关代码的相对大小的估算作为总结。
3.5.1 内核源程序目录结构
按照惯例,内核源程序代码安装在/usr/src/linux目录下。在该目录下还有几个其他目
录,每一个都代表一个特定的内核功能性子集(或者非常粗略地说是高层代码模块)。
1. Documentation
这个目录下面没有内核代码,只有一套有用的文档。但是这些文档的质量不一。有一部
分内核文档,例如文件系统,在该目录下有相当优秀而且相当完整的文档;而另外一部
分内核,例如进程调度,则根本就没有文档。但是在这里你可以不时地发现自己所最需
要的东西。
2. arch
arch目录下的所有子目录中都是体系结构相关的代码。每个体系结构特有的子目录下都
又至少包含三个子目录:kernel,存放支持体系结构特有的诸如信号处理和SMP之类特征
的实现;lib,存放高速的体系结构特有的诸如strlen和memcpy之类的通用函数的实现;
mm,存放体系结构特有的内存管理程序的实现。
除了这三个子目录以外,大多数体系结构在必要的情况下还都有一个boot子目录,该目
录中包含有在这种平台上启动内核所使用的部分或全部平台特有代码。这些启动代码中
的部分或全部也可以在平台特有的内核目录下找到。
最后,大部分体系结构所特有的目录还可以根据需要包含了供附加特性或改进组织使用
的其他子目录。例如,i386目录包含一个math-emu子目录,其中包括了在缺少数学协处
理器(FPU)的CPU上运行模拟FPU的代码。作为另外一个例子,m68k移植版本中为每一个
该移植版本所支持的基于680x0的机器建立了一个子目录,从而这些机器所特有的代码都
有一个自然的根目录。
下面几个是arch目录下的子目录:
* arch/alpha/—Linux内核到基于DEC Alpha CPU工作站的移植。
* arch/arm/—Linux到ARM系列CPU 的移植,该类CPU主要用于诸如Corel的NetWinder和
Acorn RiscPC之类的机器。
* arch/i386/—最接近于Linux内核原始平台或标准平台。这是为Intel的80386结构使用
的,当然包括对同一系列后来的CPU(80486,Pentium等等)的支持。它还包括了对AMD
、Cyrix和IDT等公司的一些兼容产品的支持。
本书基本上将这种体系结构称为“x86”。即使这样,严格说来“x86”对于我们的目标
来说还是要求得过于宽泛。早期的Intel CPU,例如80286,并没有包括Linux运行所需的
所有特性。对于这些机器,Linux也没有正式的支持版本(顺便提一下,Linux对这种CP
U的独立移植版本是存在的,不过它在功能上有部分损失)。当本书中提到“x86平台”
时,通常是指80386或更新的CPU。
* arch/m68k/—到Motorola的680x0 CPU系列的移植。该版本可以提供对基于从68020(
只要它同内存管理单元(MMU)68851一起使用)到68060的一切机器的支持。很多公司在
他们的产品中使用680x0系列芯片,例如Commodore(现在是Gateway)的Amiga、Apple的
Macintosh、Atari ST等等。这些老机器中的很多现在正充当可靠的Linux工作站。另外
,到NeXT工作站和SUN 3工作站的移植也正在进行中。
* arch/mips/—到MIPS的CPU系列的移植。虽然有其他几个厂商也使用MIPS开发了一些系
统,但是基于这种CPU的最出名的机器是Silicon Graphics(SGI)工作站。
* arch/ppc/—到Motorola/IBM的PowerPC系列CPU的移植。这包括对基于PowerPC的Maci
ntosh和Amiga以及BeBox、IBM的RS/6000等其他一些机器的支持。
* arch/sparc/—到32位SPARC CPU的移植。这包括对从Sun SPARC 1到SPARC 20的全部支
持。
* arch/sparc64/—到基于64位SPARC CPU(UltraSPARC系列)系统的移植。这里所能够
支持的机器包括Sun的Ultra 1、Ultra 2和更高配置的机器,直到Sun的最新产品Enterp
rise 10000。注意32位和64位的SPARC的移植版本正在合并中。
不幸的是,本书必须将注意力集中在x86上,因此只应用到了arch/i386/目录下的代码,
而其他体系结构所特有的代码将不再涉及了。
3. drivers
这个目录是内核中非常大的一块。实际上,drivers目录下包含的代码占整个内核发行版
本代码的一半以上。它包括显卡、网卡、SCSI适配器、软盘驱动器、PCI设备和其他任何
你可以说出的Linux支持的外围设备的软件驱动程序。
drivers目录下的一些子目录是平台特有的,例如,zorro子目录中包含有和Zorro总线通
讯的代码。而Zorro总线只在Amiga中使用过,因此这些代码必然是Amiga特有的。而其他
一些子目录,例如pci子目录,则至少是部分平台无关的。
4. fs
Linux支持的所有文件系统在fs目录下面都有一个对应的子目录。一个文件系统是存储设
备和需要访问存储设备的进程之间的媒介。
文件系统可能是本地的物理上可访问的存储设备,例如硬盘或CD-ROM驱动器;在这两种
情况下将分别使用ext2和isofs文件系统。文件系统也可能是可以通过网络访问的存储设
备;这种情况下使用的文件系统是NFS。
还有一些伪文件系统,例如proc文件系统,可以以伪文件的形式提供其他信息(例如,
在proc的情况下是提供内核的内部变量和数据结构)。虽然在底层并没有实际的存储设
备与这些文件系统相对应,但是进程可以像有实际存储设备一样处理(NFS也可以作为伪
文件系统来使用)。
5. include
这个目录包含了Linux源程序树中大部分的包含(.h)文件。这些文件按照下面的子目录
进行分组:
* include/asm-*/—这样的子目录有多个,每一个都对应着一个arch的子目录,例如in
clude/asm-alpha、include/asm-arm、include/asm-i386等等。每个目录下的文件中包
含了支持给定体系结构所必须的预处理器宏和短小的内联函数。这些内联函数很多都是
全部或部分地使用汇编语言实现的,而且在C或者汇编代码中都会应用到这些文件。
当编译内核时,系统将建立一个从include/asm到目标体系结构特有的目录的符号链接。
结果是体系结构无关内核源程序代码可以使用如下形式的代码来实现所需功能:
#include asm/some-file
这样就能够将适当地体系结构特有的文件包含(#include)进来。
* include/linux/—内核和用户应用程序请求特定内核服务时所使用的常量和数据结构
在头文件中定义,而该目录中就包含了这些头文件。这些文件大都是平台独立的。这个
目录被全部复制(更多的情况是链接)到/usr/include/linux下。这样用户应用程序就
可以使用#include包含这些头文件,而且能够保证所包含进来的头文件的内容和内核中
的定义一致。第9章将会给出有关的一个样例。
* 对这些文件的移植只有对于内核来说才是必须的,对用户应用程序则没有必要。移植
工作可以按照如下的方式封装处理:
* include/net/—这个目录供与网络子系统有关的头文件使用。
* include/scsi/—这个目录供与SCSI控制器和SCSI设备有关的头文件使用。
* include/video/—这个目录供与显卡和帧显示缓存有关的头文件使用。
6. init
这个目录下面的两个文件中比较重要的一个是main.c,它包含了大部分协调内核初始化
的代码。第4章将详细介绍这部分代码。
7. ipc
这个目录下的文件实现了System V的进程间通讯(IPC)。在第9章中将会对它们进行详
细介绍。
8. kernel
这个目录中包含了Linux中最重要的部分:实现平台独立的基本功能。这部分内容包括进
程调度(kernel/sched.c)及创建和撤销进程的代码(kernel/fork.c和kernel/exit.c
);以上所有内容将在第7章中有所涉及。但是我并不想给你留下这样的印象:需要了解
的内容都在这个目录下。实际上在其他目录下也有很多重要的内容。但是,不管怎样说
,最重要部分的代码是在这个目录下的。
9. lib
lib目录包含两部分的内容。lib/inflate.c中的函数能够在系统启动时展开经过压缩的
内核(请参见第4章)。lib目录下剩余的其他文件实现一个标准C库的有用子集。这些实
现的焦点集中在字符串和内存操作的函数(strlen,memcpy和其他类似的函数)及有关
sprintf和atoi的系列函数上。
这些文件都是使用C语言编写的,因此在新的内核移植版本中可以立即使用这些文件。正
如本章前面部分说明的那样,一些移植提供了它们独有的高速的函数版本,这些函数通
常是经过手工调整过的汇编程序,在移植后的系统使用这些函数来代替原来的通用函数
。
10. mm
该目录包含了体系结构无关的内存管理代码。正如我们前面说明的那样,为每个平台实
现最底层的原语的体系结构特有的内存管理程序是存储在arch/platform/mm中的。大部
分平台独立和x86特有的内存管理代码将在第8章中介绍。
11. net
这个目录包含了Linux应用的网络协议代码,例如AppleTalk、TCP/IP、IPX等等。
12. scripts
该目录下没有内核代码,它包含了用来配置内核的脚本。当运行make menuconfig或者m
ake xconfig之类的命令配置内核时,用户就是和位于这个目录下的脚本进行交互的。
3.5.2 体系结构相关和体系结构无关的代码
现在我们来估计一下体系结构相关和体系结构无关代码的相对大小。我们首先给出一些
数字。完整的2.2.5的内核总共有1 725 645行代码(顺便一提,请注意本书只包含了39
000行代码,但是我们仍然努力涵盖了相当部分的核心函数)。其中一共有392 844行代
码在体系结构特有的目录之内,也就是arch/*和include/asm-*下面。我估计还有超过6
4 000行的代码是仅供一种体系结构专用的驱动程序。这意味着大约26%的代码是专用于
体系结构相关代码的。
但是,对于单一一种体系结构,体系结构相关代码比例相对较小。不妨理想一点,如果
某种单一体系结构所需要的特有代码约有50 000行,而体系结构无关代码则大约有1 25
0 000行,那么体系结构相关代码大概只占到4%。当然,在特定的一个内核中,并不是所
有这些体系结构无关代码都会被用到,因此体系结构相关代码在特定内核中所占的比重
与内核的配置有关。但是不管怎样,很显然大部分内核代码是平台独立的。
--
※ 来源:·同舟共济站 bbs.tongji.edu.cn·[FROM: 202.120.165.154]
相关推荐
综上所述,Linux内核体系结构是一个复杂而精细的设计,涵盖了操作系统的关键组件和机制。深入理解这一章节的内容对于进行Linux内核编程、系统优化以及故障排查都具有重要意义。通过学习和实践,我们可以更好地驾驭...
接下来是"内核体系结构概述"。这一章将详细介绍Linux内核的整体架构,包括进程管理、内存管理、设备驱动、文件系统等核心组件。它可能会阐述内核如何在不同层次上抽象硬件,以及如何通过中断处理机制响应外部事件。...
第3章 "内核体系结构概述"则对Linux内核的整体架构进行了讲解,涵盖了处理器架构、内存管理、设备驱动、文件系统等核心组成部分。这部分内容将帮助你建立起对整个内核工作流程的宏观认识。 第4章 "系统初始化"详细...
1. **第3章 内核体系结构概述.doc** Linux内核的体系结构分为用户空间和内核空间,两者通过系统调用来交互。内核主要负责管理硬件资源、进程调度、内存分配、文件系统等。内核的设计是模块化的,允许添加或移除特定...
2. **第3章 内核体系结构概述**:这部分内容主要讨论Linux内核的整体架构,包括模块化设计、内核加载过程、进程上下文和中断上下文的区别。此外,还会介绍内核与硬件之间的交互方式,如设备驱动模型。 3. **第4章 ...
#### 内核体系结构概述 **内核设计目标** Linux内核的设计体现了多个相互关联的目标: 1. **清晰性(Clarity)**:内核的目标是在保证速度和健壮性的前提下尽量做到清晰易懂。内核设计强调简单性和易于理解,这有...
### ARM微处理器体系结构概述 #### ARM简介 - **起源与发展**:ARM(Advanced RISC Machines)是由Acorn Computer、Apple及VLSI Technology于1990年11月共同创立的一家公司,专注于设计高性能、低成本且低功耗的...
### Blackfin内核体系结构概览 #### 一、引言 本文章旨在详细介绍ADI公司Blackfin系列处理器的内核体系结构。Blackfin处理器作为一款高性能、低功耗的嵌入式媒体处理器,在多媒体处理领域有着广泛的应用。本文将从...
### 实例解析Linux内核I2C体系结构 #### 一、概述 在Linux系统下编写I2C驱动,目前存在两种主流的方式:一种是将I2C设备视为普通的字符设备进行处理;另一种则是利用Linux内核提供的I2C驱动体系结构来完成。下面将...
### MIPS CPU体系结构概述与Linux/MIPS内核详解 #### 一、引言 MIPS CPU作为RISC架构的一种典型代表,在嵌入式系统、工作站等领域有着广泛的应用。本篇文章将深入探讨MIPS CPU的体系结构,并结合Linux操作系统对...
本书以大量示例来演示所讲述的概述,其中既有代表CISC处理器的例子,也有代表RISC处理器的例子,如何Intel 80486和Pentium、Motorla68040和88000,以及MIPS和SPARC处理器。为了增进读者对概念的理解,每一章还包含了...
### MIPS CPU体系结构关键知识点概览 #### 一、MIPS CPU简介 MIPS CPU是一种基于精简指令集计算(RISC)架构的处理器,它最初由斯坦福大学的John L. Hennessy教授领导的研究团队开发。MIPS是“Microprocessor ...
最后,"第3章 内核体系结构概述.pdf" 是对Linux内核的宏观介绍,涵盖内核的组件、启动流程、模块化设计等,帮助读者建立起对Linux操作系统整体架构的理解。 通过学习这些资料,无论是初学者还是有经验的开发者,都...
全书共分12章,第1章概述Linux内核组件与内核技术特点,以及网络体系结构实现应用到的内核开发的基础知识。第2~5章在介绍了实现网络体系结构、协议栈、设备驱动程序的两个最重要的数据结构sk_buff和net_device的...
### ARM体系结构概述 #### 一、ARM公司与ARM处理器简介 ARM公司是一家英国公司,其主营业务并非直接生产和销售芯片,而是通过技术授权的方式向合作伙伴提供芯片设计方案,并从中获得授权费用和技术转让费用。ARM的...
全书共分12章,第1章概述Linux内核组件与内核技术特点,以及网络体系结构实现应用到的内核开发的基础知识。第2~5章在介绍了实现网络体系结构、协议栈、设备驱动程序的两个最重要的数据结构sk_buff和net_device的...
### ARM体系结构概述 #### 一、ARM公司与ARM处理器简介 ARM公司是一家英国公司,其核心业务是设计和授权先进的RISC(Reduced Instruction Set Computing,精简指令集计算)架构的微处理器技术。ARM并不直接制造或...
**ARM体系结构与编程(第二版)学习笔记** 在计算机科学领域,ARM(Advanced RISC Machines)架构是一种广泛使用的精简指令集计算机(RISC)架构,尤其在嵌入式系统、移动设备如智能手机和平板电脑中占据主导地位。...