核心框图,给出各种模块及他们之间的相互关系,其中文件系统和进程管理是最核心部分:
翻译成系统调用界面有点low,应该是系统调用接口叭,为什么将存储管理放置到进程管理当中呢,应该切分出来叭,毕竟存储管理、内存管理、缓存管理那块重要程度也是挺高的,既然挺重要为什么不抽离出来呢!
什么是所谓的宏内核、微内核呢?
见知识补充-微内核与宏内核-笔记
一个文件的内部表示由一个索引节点(inode)给出,inode:index node,每个文件都有一个索引结点,但是它可以有几个名字,且这几个名字都映射到索引节点上,每个名字称为一个联结。
索引结点存储在文件系统中,但是当操纵文件时,核心把它们读到内存索引节点表中。
核心还包含另外两个数据结构,文件表和用户文件描述符表。文件表是一个全程核心结构,但是用户文件描述符表对每个进程分配一个。也就是说和文件系统有关的有三个表:文件表、用户文件描述符表、索引结点表,当一个进程打开或建立一个文件时,核心在每个表中都相应于该文件的索引节点分配一个表项。
文件表保存文件中的字节偏移,用户文件描述符表标识着一个进程的所有打开文件。
核心在逻辑上只涉及文件系统,不涉及磁盘,每个文件系统都当作由一个逻辑设备号标识的逻辑设备。
一个文件系统由一个逻辑块序列组成,每个块都包含512、1024、2048个字节或512个字节的任意倍数。下文都是以块来讲解的。
一个文件系统具有如下数据结构:
引导块:可以包含引导操作系统的引导代码,虽然为了引导系统只需要一个代码块,但每个文件系统都有一个引导块,当然可能是空的。
超级块:描述了文件系统的状态—它有多大,它能储存多少文件,在文件系统的何处可找到空闲空间,以及其他信息。
索引节点表:在执行了系统调用mount之后,该文件系统的目录结构就可以从这个根索引结点开始存取了。
数据块:包含文件数据与管理数据
用实际的术语来说,UNIX系统上的进程是被系统调用fork所创建的实体。除了0进程以外,每个进程都是被另一个进程执行系统调用fork时创建的。0进程是系统引导后手动创建的,在它创建了一个子进程1后,0进程就变成了对换进程。1进程被称为init进程,是系统中其他每个进程的祖先,并且享有同它们之间的特殊关系。
可执行文件由以下几部分组成:
一般都会有:代码段(程序正文)、数据段(bss段)、堆栈段
因为UNIX系统中的一个进程能在两种态—和心态和用户态下执行,所以UNIX系统中核心栈与用户栈是分开的。
系统调用的过程:每个系统调用都在系统调用库中有一个入口点,系统调用库按汇编语言编码并包含一个特殊的trap指令,当该指令被执行时,它引起一个中断,从而导致硬件转换到核心态。
执行核心态代码时,使用核心栈。
后面几章讨论的进程表中的字段是:
u区包含的是用来描述进程的信息,这些信息仅当进程正在执行时才需要被存取,重要的字段是:
u区在Linux内核中还存在嘛?
当执行一个进程时,系统被说成在该进程的上下文中执行,当核心决定它应该执行另一个进程时,它做一个上下文切换,以使系统在另一个进程的上下文中执行。
从用户态到核心态的转变并不涉及到上下文切换,上下文并没有切换,仅仅换了一个状态;
中断产生时,从用户态切换到核心态,并且保留足够的上下文信息,以便后续恢复,然后再核心态下对中断进行服务,核心并不产生或调度一个特殊进程来处理中断。
用户态-执行
核心态-执行
就绪状态
进程正在睡眠
在核心态下运行的进程不能被其他进程所抢占,因此核心有时被称为不可抢先的,所以核心能保证它的数据结构一致性,从而解决了互斥问题,不能抢占的方式包含:不允许调度、关掉中断!
这里需要指出Linux和Unix的一个区别,Linux2.6及更高版本的内核是可以被抢占的,Unix的内核不能被抢占;
什么叫核心态不能抢占呢?
但是如果关掉中断的话,可能导致中断的服务推迟,或者可能会损害系统吞吐量,为此,改为当进入代码临界区时,核心把处理机执行级提高,以禁止中断!,事实上,Linux0.11中直接关掉了中断
一个中断处理程序不能去睡眠,因为如果中断处理程序去睡眠,就意味着将被中断的进程投入睡眠;
睡眠进程不耗费CPU资源,但是进行上下文切换的过程会影响CPU利用,核心并不是经常去查看一个进程是否仍处于睡眠状态,而是等待事件的发生,那时把进程唤醒。
很关键的一点是不要使用:
if(条件为真)
sleep(事件:条件变为假)
置条件为真
而应该使用
while(条件为真)
sleep(事件:条件变为假)
置条件为真
有了上面基础再去看Linux内核源码就会感觉简单很多!!!
大多数核心数据结构都是占据固定长度的表,而不是动态地分配空间,这一方法的优点是核心代码简单高效。
一般认为核心算法的简单性比挤出内存中每一个仅有的字节的必要性更重要。典型地,算法使用简单的循环,以寻找表中的空闲表项,这是一个较易于理解的方法,而且有时比复杂的分配方案更为有效。
管理进程和普通进程类似,只是管理进程的权限稍微大了一点,但是核心并不识别一个分立的管理进程。
主要描述了文件系统和进程系统;
其中文件系统控制用户文件中数据的存储与检索,每个文件系统都有一个用来描述文件系统的结构和内容的超级块,并且文件的索引都是通过inode来完成的。inode:index node。
核心态不能被抢占意味着:核心态下的进程将连续执行,直至它进入睡眠状态或直至它返回到用户态下执行为止,维护数据的一致性是可以的,但是核心不可抢占是十分影响实时性的;
核心态通过实施不可抢占策略以及通过在执行代码临界区时封锁中断来维护它的数据结构的一致性。
还是需要去查资料,去了解Unix和Linux的区别,从本书的描述和Linus的代码中也能看出一些区别,不过查资料得到知识相对来讲能让看代码的过程更加明确;