《Linux性能及调优指南》 Linux进程管理

版权全部:html

原文名称:《Linux Performance and Tuning Guidelines》linux

原文地址:http://www.redbooks.ibm.com/abstracts/redp4285.html算法

-------------------------------------------------------------------------------------------数组

1.1.1 进程是什么?
1.1.2 进程生命周期
1.1.3 线程
1.1.4 进程优先级和Nice值
1.1.5 上下文交换
1.1.6 中断处理
1.1.7 进程状态
1.1.8 进程内存段
1.1.9 CPU调度器缓存

-------------------------------------------------------------------------------------------网络

进程管理对于任何一个操做系统来讲都是最重要的任务之一。高效的进程管理能保证应用平稳有效的运行。linux的进程管理与UNIX十分类似。它包括进程调度、中断处理、信号发送、进程优先级、进程切换、进程状态、进程内存等。在本章节中,我将讨论Linux进程管理的原理。它能帮助你更好的了解Linux内核是怎样管理进程来影响系统性能的。数据结构

 

1.1.1 进程是什么?多线程

 

进程就是执行程序运行在处理器上的一个实例。进程可使用Linux内核所能控制的任何资源来完成它的任务。全部运行在Linux操做系统上的进程都使用一个名叫task_struct的结构来管理,这个结构亦被称做进程描述符【Process Descriptor】。进程描述符包括进程运行的全部信息如进程ID、进程属性和构建这个进程所须要的资源。若是你清楚进程的结构,就能了解到什么对于 进程执行和效能来讲是重要的。图1-2展示了进程结构的概要。架构

 

图 1-2 task_struct结构并发

 

1.1.2 进程生命周期

 

每一个进程都有本身的生命周期如建立、执行、结束和消除。这些阶段在系统启动运行中会被重复无数次。所以从性能角度来看进程生命周期是极其重要的。图1-3展现进程典型的生命周期

 

 

图1-3进程典型的生命周期

 

当进程建立一个新的进程,建立进程(父进程)发出fork()系统调用。当一个fork()系统调用被发出,它将获得一个关于新进程(子进程)的进 程描述符并设置一个新的进程ID。它会将父进程的进程描述符中全部数据复制到子进程。此时父进程的整个地址空间并无被复制的,因此父子进程会共享相同的 地址空间。exec()系统调用会复制一个新的程序到子进程的地址空间。由于父子进程共享相同的地址空间,因此当新程序写入数据时会致使分页错误【page fault】的例外发生。这时候内核会分配给子进程一个新的物理分页。这个推迟的操做被叫作写时复制 【Copy On Write】。子进程一般是执行本身的程序,与其父进程所执行的有所不一样。这样的操做能够避免没有必要的系统开销,由于复制整个地址空间是一个很是慢并且 效率低的操做,它会消耗不少处理器时间和资源。当程序执行完成时,子进程调用exit()系统调用结束。系统调用exit()会释放进程的大部分数据结构并发送信号通知父进程。此时子进程被称做僵 尸进程 【zombie process】。在子进程使用wait()系统调用让父进程知道其已经结束以前,子进程是不会被清除的。当父进程获得子进程结束的通知后,会当即清除子进程的全部数 据结构并释放进程描述符。

 

1.1.3 线程

 

线程是由一个单独进程产生的执行单元。它与同一进程中的其余线程并行运行。它们能共享同一资源如内存、地址空间、打开的文件等。它们能访问一样一组 应用数据。线程也被称做轻量级进程 (Light Weight Process LWP)。由于它们共享资源,线程不能够在同一时间修改它们共享的资源。互斥的实现、锁、序列化等是用户应用的职责。从性能角度来讲,建立线程要比建立进程的开销小,由于线程在建立时不须要复制资源。另外一方面,进程和线程在调度算法方面上有不少类似的特性。内核在 处理它们时都使用相似的方法。

 

图1-4 进程和线程

 

在目前Linux的实现中,线程支持可移植操做系统接口(POSIX)。在Linux操做系统中有几种线程的实现。下面列举几种最常使用的线程实 现。

 

▶ LinuxThreads

LinuxThreads自从Linux内核2.0就被做为默认的线程实现。但LinuxThread有许多实现与POSIX标准不兼容。 Native POSIX Thread Library(NPTL)正在取代LinuxThreads。在将来的Linux企业发行版中将不在支持LinuxThreads。

 

▶ Native POSIX Thread Libray(NPTL)本地POSIX线程库

NPTL最初是由Red Hat开发。NPTL与POSIX标准更加兼容。利用2.6内核加强特性如新的系统调用clone()、信号处理实现等,它能够提供较 LinuxThreads更好的性能和伸缩性。

NPTL与LinuxThreads有不少的不兼容之处。一个应用若是依赖于LinuxThreads,可能在NPTL实现中没法工做。

 

▶ Next Generation POSIX Thread(NGPT)下一代POSIX线程

NGPT是IBM开发的POSIX线程库的版本。目前处于维护阶段,将来也没有开发计划。

使用LD_ASSUME_KERNEL环境变量,你能够设定应用使用哪一个线程库。

 

1.1.4 进程优先级和Nice值

 

进程优先级 【Process priority】是一个数值,用来让CPU根据动态优先级和静态优先级来决定进程执行的顺序。一个高优先级的进程能够得到更多在处理器上运行的机会。内核会根据进程的行为和特性使用试探算法【Heuristic Algorithm】来动态调高和调低动态优先级。用户进程能够经过进程Nice 的 值间接改变静态优先级。静态优先级高的进程能够得到较长的时间片【Time Slice】(进程能运行在处理器有多长时间)。

Linux中Nice值范围为19(最低优先级)到-20(最高优先级),默认值为0。要将Nice值更改成负数,必须经过登陆或使用su命令由 root执行。

 

1.1.5 上下文交换【Context switching】

 

在进程执行过程当中,进程信息存储在处理器的寄存器和缓存中。这组为执行中进程而载入寄存器的数据被称做上下文【Context】。 为切换进程,当前执行中进程的上下文会被暂存,下一个执行进程的上下文会被还原到寄存器,进程描述符和内核模式堆栈【Kernel mode stack】的区块会被用来存储上下文,这个交换过程被叫作上下文交换【Context Switching】。发生过多的上下文交换是很差的,由于处理器每次都要刷新寄存器和缓存为新进程让出资源,这会致使性能上的问题。图1-5 说明了上下文交换是怎样工做的。

 

 

 

1.1.6 中断处理

 

中断处理是优先级最高的任务之一。中断一般是由I/O设备产生的如网卡、键盘、硬盘控制器、串行适配器等。中断控制会向内核发送一个事件通知(如键 盘输入、以太帧到达等),它指示内核中断执行中的进程并尽快处理中断,由于大多数设备须要快速的回应,这对系统性能是很关键的。当一个中断信号到达内核 时,内核必须切换当前执行的进程处处理中断的新进程,这意味着中断会触发上下文交换,所以大量的中断能够致使系统性能的降低。

在Linux中,有两种类型的中断。一种为硬中断 【Hard Interrupt】,是由须要回应的设备产生的(硬盘I/O中断、网络适配器中断,键盘中断,鼠标中断)。另外一种为软中断 【Soft Interrupt】,用于能够延后执行的任务(TCP/IP操做,SCSI协议操做等)。你能够在/proc/interrupts 中 查看到有关硬中断的信息。

在多处理器环境下,每一个处理器均可以用来处理中断。将中断绑定到某一个物理处理能够提高系统的性能。要了解更详细的内容,请参考4.4.2“关于中 断处理的CPU亲和力【CPU Affinity】”。

 

1.1.7 进程状态

 

每一个进程都有它本身的状态,来显示进程当前的状况。在进程执行过程当中其状态会发生变化。可能状态有以下几种:

▶ TASK_RUNNING【运行中】

此状态表示进程正运行在CPU上或在队列中等待运行(运行队列【Run Queue】)。

▶ TASK_STOPPED【中止】

当进程接收到某些信号(例如SIGINT、SIGSTOP)后被暂停就处于此种状态,该等待的进程在收到恢复信号如SIGCONT后会从新投入运 行。

▶ TASK_INTERRUPTIBLE【可中断】

在这种状态下,进程被暂停运行,等待某些状态的达成。若是一个处于可中断状态的进程收到中止的信号,将变动进程的状态并中断操做。可中断状态进程的 一个典型例子就是等待键盘的输入。

▶ TASK_UNINTERRUPTIBLE【不可中断】

此状态基本上与可中断状态十分类似。但可中断状态进程能够被中断,而向一个不可中断进程发送信号却不会有任何反应。不可中断状态进程的一个典型例子 就是等待硬盘I/O操做。

▶ TASK_ZOMBIE【僵尸】

在进程使用系统调用exit() 退出后,其父进程就会知道。僵尸状态的进程会等待父进程通知其释放全部的数据结 构。

 

 
图1-6 进程状态

 

僵尸进程

当一个进程收到信号并已经终止,它一般须要一些时间来完成结束前的全部任务(如关闭打开的文件)。在这个一般很短的时间里,该进程就是一个僵 尸 (Zombie)。

当进程完成全部的关闭任务后,它会向父进程报告其即将终止。但有时僵尸进程并不能将本身终止,在这种状况状态会显示为(Zombie)。

使用kill命令是不可能结束这样一个进程的,由于这个进程被认为已经死掉了。若是你不能清除僵尸,你能够结束其父进程,这样僵尸也会随之消失。然 而若是父进程是init进程,你就不能够结束它,由于init进程是一个极为重要的进程。所以你可能须要从新启动系统来清除这个僵尸进程。

 

1.1.8 进程内存段

 

一个进程须要使用本身的内存区域来执行工做。工做的变化随状况和进程用法而定。一个进程能够有不一样的工做负载特性和不一样的数据大小的需求,进程须要 处理数据的大小多种多样。为了知足这样的需求,Linux内核使用动态内存分配机制。进程内存分配结构如图1-7。

 

 
图1-7 进程地址空间

 

进程的内存区有几部分组成

▶ 文字段

用来存储执行代码。

▶ 数据段

数据段由三块区域组成。

― 数据【Data】:存储已初始化数据如静态变量。

― BSS :存储零初始化的数据,数据被初始化为零。

― 堆【Heap】:这块区域由malloc()用来按须要分配动态内存。堆向高地址扩张。

▶ 堆栈段

用来存储本地变量、函数参数、函数返回地址。堆栈段向低地址扩张。

使用pmap 命令能够显示用户进程地址空间的内存分配。你可使用ps 命令 显示此内存段的大小。参考2.3.10“pmap”和2.3.4“ps和pstree”。

 

 

 

 

1.1.9 Linux CPU调度器

 

计算机的基本功能很是简单就是计算。为了计算,这就意味要管理计算资源或处理器和计算任务(被称做线程或进程)。Linux内核使用与过去CPU调 度器使用的算法O(n)大相径庭的O(1)算法,这要感谢Lngo Molnar的巨大贡献。O(1)指的是一种静态算法,意思就是无论进程的数量有多少,进程的执行时间都是不变的。

这种新的调度器的扩展性很是好,无论进程的数量或处理器的数量有多少,系统的开销都是很是小的。此算法中使用到两个进程优先级数组:

▶ 活动的【Active】

▶ 过时的【Expired】

调度器根据进程的优先级和优先拦截率【Prior Blocking Rate】分配时间片,而后它们被以优先级顺序置于活动数组【Active Array】中。当时间片耗尽,它们会被分配一个新的时间片并置于过时数组中。当活动数组中全部进程的时间片都所有耗尽,两个数组会被互换并从新执行。对 于交互进程(相对于实时进程),拥有长时间片的高优先级进程能够获得比低优先级进程更多的时间,但这并不意味着低优先级的进程会被置之不理。在企业环境 中,拥有不少的处理器并常常出现大量的线程和进程,这样作能够大大提高Linux内核的伸缩性。新的O(1)CPU调度器被设计用于2.6内核,但已被移 植到2.4内核家族。图1-8说明了Linux CPU调度器是怎样工做的。

 

 
图1-8 Linux 2.6内核 O(1)调度器

 

新调度器另外一个大的改进就是支持非一致性内存架构(NUMA)和对称多线程处理器,如Intel超线程技术。改良后的NUMA支持确保只有当某个节点过载时,负载平衡才会跨越NUMA节点。This mechanism ensures that traffic over the comparatively slow scalability links in a NUMA system are minimized。尽管在每一个调度节拍【tick】时负载平衡会遍历调度域群组【Scheduler Domain Group】中的处理器,但只有在节点过载并请求负载平衡时,负载才会跨越调度域【Scheduler Domain】转移。

 

 
图1-9 O(1) CPU调度器结构

 

译者注:在翻译过程当中,深深的感受到进程调度是一项很是复杂的工做。若是想深刻了解2.6内核进程调度还须要多多查看相关资料,下面是一些 关于2.6内核进程调度的文章,有兴趣的朋友不妨看看。

Linux 2.6 调度系统分析:http://www.ibm.com/developerworks/cn/linux/kernel/l-kn26sch/index.html 
Linux 的 NUMA 技术:http://www.ibm.com/developerworks/cn/linux/l-numa/index.html 
Linux Scheduling Domains:http://www.ibm.com/developerworks/cn/linux/l-cn-schldom/index.html 
Inside the Linux scheduler:http://www.ibm.com/developerworks/linux/library/l-scheduler/

相关文章
相关标签/搜索