Linux操作系统内核原理.pptx

《Linux操作系统内核原理.pptx》由会员分享，可在线阅读，更多相关《Linux操作系统内核原理.pptx（28页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、内容进程管理内存管理虚拟文件系统了解Linux内核核心功能的基本原理结构，引导源码阅读第1页/共28页Linux系统结构计算机硬件体系结构相关代码进程管理内存管理文件系统模块模块接口设备驱动驱动接口系统调用应用程序标准函数库kernel第2页/共28页Linux系统执行框架地址空间内核功能函数内核线程1内核线程2内核线程3内核线程4内核线程5内核线程n进程1进程2进程3进程n用户态内核态第3页/共28页进程和线程的区别线程是系统最小的执行流单位，一个线程就是一个执行过程，是任务调度的基本单位。进程是线程和资源的容器，一个以上的线程组成一个进程，在同一个进程中的线程共享进程资源。资源线程1线程2

2、线程n第4页/共28页Linux内核进程和线程表示Linux现行内核淡化了进程和线程的关系，原则上不区分进程和线程。在Linux内核中使用(struct task_struct)表示一个任务(Linux中称为进程，也可以称为线程)多个 task_struct 共享资源和进程空间，实际就构成了一个进程(线程组)，这些task_struct实际就是这个进程的线程，通常在Linux书上将task_struct直接就称为一个进程。第5页/共28页Linux内核进程和线程表示taskstaskstaskstaskstasks进程1进程2进程3创建进程有几个函数fork exec clonestruct

3、list_head*group_leaderstruct list_head thread_group第6页/共28页Linux进程组织关系init子进程1子进程2子进程3子进程4子进程5子进程6父进程children子进程slibing子进程slibing子进程slibing通过pstree命令可以显示出进程树第7页/共28页比较Windows进程线程管理Windows进程使用KPROCESS表示进程对象，能够通过句柄单独操作进程对象线程是通过ETHREAD线程块来表示，多个线程块链接到KPROCESS的执行体线程块链表头上。（结构如下图）KPROCESSETHREADETHREADETHR

4、EAD第8页/共28页任务调度在多任务系统中，任务调度很重要，调度策略决定了系统最终性能和功能。任务调度有多种策略，比如基于优先级的调度，ucOS-II上就是这种，谁的优先级高就谁占有CPU还有基于时间片的，一个任务执行时间结束的就执行下一个第9页/共28页调度过程中断或异常进入关中断执行区保存中断前所有的寄存器的内容到SP原则上是保存程序使用的所有寄存器a0-a4v0-v1EPC将当前的SP保存到任务结构体上任务状态段TSS任务上下文通过调度器策略算法求得下一个要执行的任务从任务结构体上取下SP指针从SP上恢复所有的寄存器的内容打开中断并返回恢复的位置执行第10页/共28页进程切换对于多进程

5、系统，任务调度的过程中伴随进程切换，从真实的一个进程切换到另外一个不共享资源的进程，虚拟内存地址映射表（PGD）必须进行切换，还有其它资源数据也需要跟着切换。进程切换通常比较耗时，效率很低，需要执行切换TLB，回写Cache等低效率操作。第11页/共28页Linux多线程机制原子操作自旋锁信号量读写锁互斥量线程A线程Ba=ii=0a=ii=1临界区第12页/共28页死锁所谓死锁:是指两个或两个以上的进程在执行过程中，因争夺资源而造成的一种互相等待的现象；表现为程序假死，不再被调度。避免死锁有 银行家算法获取B资源获取A资源获取A资源获取B资源任务A任务B第13页/共28页优先级反转高优先级任务

6、需要等待低优先级任务释放资源，而低优先级任务又正在等待中等优先级任务的现象叫做优先级反转。此时高优先级任务和中等优先级任务之间没有任何共享资源但执行顺序却发生了倒置，这种情况称为优先级反转，而高优先级任务因为等待低优先级任务释放资源而阻塞的情况则不称为优先级反转 第14页/共28页优先级反转任务1任务2任务3获取资源释放资源获取资源后果，任务1将一直等待任务2运行完才能运行，实时性差第15页/共28页消除优先级反转优先级继承策略：继承现有被阻塞任务的最高优先级作为其优先级，任务退出临界区，恢复初始优先级；Linux内核的实时互斥量就是使用这个策略。优先级天花板策略(封顶策略)：指将申请（占有）

7、某资源的任务的优先级提升到可能访问该资源的所有任务中最高优先级任务的优先级；ucOS的互斥量就是使用这个策略。第16页/共28页Linux内存管理Linux进程空间使用虚拟存储空间方式管理的（通过MMU部件将离散的物理地址拼接成连续的虚拟地址空间）（ucLinux除外）Linux内核使用伙伴管理页式内存并在伙伴的基础上发展了slab/slob/slub算法，用于内核小内存的分配，以弥补页式分配浪费内存的不足第17页/共28页Linux进程虚存空间划分操作系统内核环境变量参数堆栈数据(BSS)数据代码4G3G00 xC00000000 x00000000_end_edata_etext内核区用户

8、区第18页/共28页Linux内存空间数据结构表示mmcountmmappgd页目录表mm_structvm_startvm_endvm_opsvm_nextvm_startvm_endvm_opsvm_nextvm_area_structvm_area_structtask_structvm_startvm_endvm_opsvm_nextvm_area_structopenclosenopageswapinswaoutvm_operations_structopenclosenopageswapinswaoutvm_operations_struct虚存区虚存区进程虚存空间第19页/共28

9、页分页式内存管理Linux系统中使用了同时用于64位和32位系统的通用分页模型。模型中使用四级页表，32位系统只使用PGD和PTE两项页全局目录PGD 页上级目录PUD 页中级目录PMD页表PTE页内偏移线性地址 64位cr3页框第20页/共28页Linux物理内存管理Linux内核为了适应不同的硬件架构，对不同性能的内存分成不同的节点(Node),内存模型如下图：pg_data_t内存节点node_zonesZONE_NORMALZONE_DMAZONE_HIGHMEMzonezone_mem_mapzone_mem_mappagepagepagepagepagepagezone_mem_m

10、apZONE_DMAZONE_NORMALZONE_HIGHMEM16M896MPC i386第21页/共28页物理页面管理物理页面使用伙伴(Buddy)算法进行管理算法核心是将页面按 1，2，4，8，16，2i 个连续页进行分割，放在11个链表上，i也就是通常所说的order;order6order5order4order3order2order1order0free_area pagepagepagepagepagepage例如分配一个页面，直接到order0上找，如果order0上没有空闲页面了，那么就到order1上找，(1)如果order1上有空闲块，那么就将这个双页分成两个单页，一

11、个分配出去，一个挂到order0的链表上。(2)如果order1没有空闲块，就到order2上找，如果找到空闲块，那么就将这块分割为 2:1:1的页面 2的页面挂回order1,1的挂一个回order0,另外一个来分配第22页/共28页order2要申请一个order0的页面order1order1order0 order1order0order0 order1第23页/共28页slab分配器因为基于Buddy算法的内存管理，只能精确到页面大小，对于内核中需要大量申请的小内存块，为了满足这个需求，在Buddy的基础上增加了slab分配器cache_chainkmem_cachekmem_cac

12、hekmem_cacheslabs_fullslabs_partialslabs_emptyheadtailslabslabslabslabslabpagepagepagepagepageobjectobjectobject第24页/共28页Linux文件系统核心VFSVFS(虚拟文件系统)为具体文件系统提供抽象出一组通用的接口来表示具体的文件系统。万物皆文件，硬件设备也是文件VFS包含下面几种数据类型file_system_type 文件系统类型vfsmount 挂在点对象，也就是文件系统类型实例super_block 超级块，描述文件系统的控制信息、参数等inode 索引节点，保存文件的相

13、关信息，是文件的元数据dentry 目录项，就是文件夹file 文件对象file_struct 打开的文件对象第25页/共28页VFS各数据对象之间的关系s_filessuper_blockf_opf_dentryf_opf_dentryf_opf_dentry超级块上各打开文件的file实例d_inoded_sbdentry_operationsd_opsNAMEi_opi_dentryi_fopi_sbinodeinode_operationsfile_operationstask_structfilesfiles_struct第26页/共28页The End第27页/共28页感谢您的观看！第28页/共28页