1、综述
linux作为多任务、多用户的操作系统,其进程/线程调度管理是实现这些特性的关键部分。调度管理决定系统中的众多线程中哪个线程获得执行、什么时候开始执行、执行多久。一个好的调度算法能优化系统资源的使用,提高系统使用效率。
linux内核中实现了scheduler classes,来实现多个调度类(scheduler class)的协同工作,每个不同的调度类对应不同的类型的线程,而且每个调度类都有自身的优先级,linux调度管理基础代码会遍历在内核中注册了的调度类,选择高优先级的调度类,然后让此调度类按照自己的调度算法选择下一个执行的线程。linux系统中常用的几种调度类为sched_normal、sched_fifo、sched_rr。其中sched_normal是用于普通线程的调度类,而sched_fifo和sched_rr是用于实时线程的调度类,优先级高于sched_normal。内核中区分普通线程与实时线程是根据线程的优先级,实时线程拥有实时优先级(real-time priority),默认取值为0~99,数值越高优先级越高,而普通线程只具有nice值,nice值映射到用户层的取值范围为-20~+19,数值越高优先级越低,默认初始值为0 ,子线程会继承父线程的优先级。对于实时线程,linux系统会尽量使其调度延时在一个时间期限内,但是不能保证总是如此,不过正常情况下已经可以满足比较严格的时间要求了。下面将分别介绍这些调度类。
2、sched_normal
对于sched_normal,2.6之前的版本内核中的调度管理程序是根据线程的优先级(nice值)来分配一个固定的时间片(timeslice)给线程,比如nice值0对应于100ms的时间片,而nice值-20对应于5ms时间片,线程在执行过程中进入阻塞状态(i/o操作等引起)或者是执行的时间达到分配的时间片后将会被抢占,而新进入运行态的线程会根据其优先级和可用时间片来决定是否抢占当前正在执行的程序。
2.6之后版本的linux中sched_normal使用的是linux 内核在2.6.23版本中引入的cfs(complete fair scheduler)调度管理程序。cfs与之前的调度不同的是,线程的优先级与时间片之间并没有一个固定的关系,而是影响该线程在整个系统cpu运行时间中占有比例的一个因素。比如有两个线程,对应的nice值分别为0(普通线程)和+19(低优先级线程),那么普通线程将会占有19/20×100%的cpu时间,而低优先级线程将会占有1/20×100%的cpu时间(具体数值只做举例说明用,linux内核中的计算出来的数值会不一样)。而如果同时运行的只有两个相同优先级的线程,那么他们分到的cpu时间各是50%。这样每个线程能够分配到的cpu时间占有比例跟系统当前的负载(所有处于运行态的线程数以及各线程的优先级)有关,同一个线程在他本身优先级不变的情况下分到的cpu时间占比会根据系统负载变化而发生变化,也即与时间片没有一个固定的对应关系。
理想情况下cfs对cpu时间占比的衡量是在一个无限小的时间片内计算单个线程执行时间的占比,cfs的目标是所有线程在这个小的时间片周期内执行的时间都是相同的,无限小在现实中显然是不存在的,linux系统中这个时间片周期是与系统cpu数有关的,默认情况下单核cpu对应6ms,双核cpu对应12ms,8核cpu对应24ms,当线程数增加到很大数量时,cfs会保证每个线程获得最小执行时间, 单核cpu对应0.75ms,双核cpu对应1.5ms,8核cpu对应3ms。在cfs管理下,某个线程运行时如果进入阻塞态(或其他非运行态)或者当前时间片周期内的cpu时间占比达到后将会暂停运行,cfs然后将会选择当前时间片周期内已执行时间最少的运行态线程继续运行。当然cpu时间占比在内核中也是以运行时间衡量的,比如某个单核cpu系统中只有两个相同优先级的线程同时处于运行态,那么cfs将会以6ms为周期来调度所有线程,而每个6ms周期内每个线程分得3ms执行时间,如果某个线程中有i/o操作等其他操作使该线程进入非运行态,cfs将会立即使另外一个线程继续运行,如果两个线程都是基本没有i/o操作等会引起阻塞的操作(比如忙循环),那么线程将会在自己的执行时间结束(本质上是超出cpu时间占比)后被cfs程序调度出当前正在执行的状态,另外一个线程获得cpu资源开始执行。
需要注意的是,进入cfs(或其他调度算法)需要调度事件的产生,调度事件可以是线程自己调用函数显示执行调度,或者线程执行i/o操作等会进入阻塞的操作以及等待的事件发生线程进入运行态等(内核中有固定的调度点),如果一个程序一直处于忙计算(比如忙循环程序),那么就会需要系统软时间中断来产生调度事件从而进入cfs调度判断下一个可执行程序。目前我们的linux内核普遍配置的系统软时间中断产生的频率为100hz,也即每10ms产生一次中断,那么系统中只有忙计算类(如忙循环)线程的情况下,只有当系统产生软时间中断时,cfs才会被调用来判断下一个执行的线程并使其占有cpu开始执行,这个现象看起来就好象是linux调度策略简单的给每个线程分配了10ms的时间片,其实并不是这样。如果系统中同时有忙计算类的线程和经常进行i/o操作类的线程,由于i/o类线程基本处于等待事件的阻塞态中,执行的时间很少,而计算类线程在执行的时间会比较长,如果计算类线程正在执行时,i/o类线程等待的事件发生了,cfs马上就会判断出i/o类线程在之前时间段内执行的时间很少,即已使用的cpu占比与分配给他的相比很小,而计算类线程很有可能已经超过了分配的cpu占比,那么cfs将会马上使i/o类的线程占有cpu开始执行,如此系统总是能及时响应i/o类线程。
3、sched_fifo和sched_rr
sched_fifo和sched_rr是实时线程使用的调度管理算法。sched_fifo即先进先出,处于相同优先级的实时线程会根据进入运行态的次序依次执行。正在执行的线程会一直执行直到线程阻塞或者其主动调用调度线程放弃执行,处于此调度策略下的线程没有预先分配的时间片,可以永远执行下去。只有拥有更高实时优先级且处于sched_rr或者sched_fifo管理下的线程能抢占正在运行的实时线程。
sched_rr在sched_fifo的基础上会预先给定线程一个时间片,时间片达到后会使其他相同优先级的线程开始执行。sched_rr的时间片轮询机制只对同等实时优先级的线程有效,更高实时优先级的线程总是会抢占正在执行的线程,而低优先级的线程不能抢占高优先级的线程,即使其时间片已到。
实时线程优先级高于所有普通线程,如果有实时线程处于运行态,则系统调度时一定会选择调用实时线程;正在运行的实时线程只会被拥有更高实时优先级的线程抢占。所以在应用中如果需要将某个线程设置为实时线程,则需要用户自己确保该线程不会处于忙执行而完全占用cpu资源,导致其他普通线程没法获得cpu资源而一直被阻塞得不到执行,并且需要合理给予优先级的值,太高有可能会影响重要系统线程的运行。所有用户态线程默认没有实时优先级,都属于普通线程。
4、相关接口函数
linux系统提供了一系列函数,这些函数可以让用户方便的修改线程/进程的优先级(包括nice值和real-time priority)、以及修改调度策略、设置运行线程的cpu核心等。下面简单介绍一下常用的函数。
(1)修改nice值
int nice ( int incr )
将调用进程的nice值增加incr,incr为负数是提高优先级,为正数时降低优先级。成功返回0。
int setpriority ( int which, id_t who, int prio )
将指定的线程/线程组/用户的nice值设置为prio,whice对应可以取值prio_process、prio_pgrp、prio_user,who对应为线程/进程id,组id或者用户id,prio取值范围为-20~19。成功返回0,错误返回-1。
(2)修改real-time priority以及调度策略
int pthread_attr_setschedparam (pthread_attr_t *attr, const struct sched_param *param)
设置调度属性。对于sched_fifo和sched_rr,sched_param值包含 int sched_priority,也即real-time priority。下面所有param定义相同。
int pthread_attr_getschedparam (const pthread_attr_t *attr, struct sched_param *param)
获取调度属性。
int pthread_attr_setschedpolicy (pthread_attr_t *attr, int policy)
设置调度策略,policy可设置为sched_fifo,sched_rr和sched_normal。
int pthread_attr_getschedpolicy (const pthread_attr_t *attr, int *policy)
获取调度策略。
int sched_setparam (pid_t pid, const struct sched_param *param)
设置pid进程的real-time priority,需要pid进程出具sched_fifo或者sched_rr调度策略管理下。
int sched_getparam(pid_t pid, struct sched_param *param)
获取real-time priority。
int sched_setscheduler (pid_t pid, int policy, const struct sched_param *param)
设置pid进程的调度策略以及调度属性。
int sched_getscheduler (pid_t pid)
返回pid进程调度策略。
(3)设置线程在哪个cpu核心上运行
int pthread_setaffinity_np (pthread_t thread, size_t cpusetsize, const cpu_set_t *cpuset)
int pthread_getaffinity_np (pthread_t thread, size_t cpusetsize, cpu_set_t *cpuset)
int sched_setaffinity (pid_t pid, size_t cpusetsize, const cpu_set_t *cpuset)
int sched_getaffinity(pid_t pid, size_t cpusetsize, cpu_set_t *cpuset)
设置/获取线程可以运行的cpu核心, cpusetsize 可以设置为sizeof(cpu_set_t), cpuset可以用宏cpu_zero和cpu_set设置,函数设置成功后,线程将只会在设置的cpu核心(比如8核cpu可以设置核心1、3、4)上运行,如果cpuset只指定了一个核心,那么线程将只会在此核心上运行。函数出错返回-1,成功返回0。
关于以上函数以及更多与调度相关的函数的详细信息请参考
http://pubs.opengroup.org/onlinepubs/7908799/xsh/pthread.h.html
http://pubs.opengroup.org/onlinepubs/7908799/xsh/sched.h.html
以及相关函数的linux man手册和其他相关书籍资料。
5、编程示例
下面提供一个示例程序,程序用于展示real-time priority对于进程运行时调度管理的影响,程序运行于esm6802(双核)工控主板上。程序会在主进程中使用fork新建一个进程,然后调用sched_setscheduler设置子进程的实时优先级为30, 同时设置其使用sched_fifo调度策略,而主进程只有nice值为0 的普通优先级。两个进程主体部分相同,均为在忙循环中置高然后置低一位gpio的输出电平,通过示波器观察gpio的状态,如果进程一直执行,则会看到连续的周期较固定的方波,而如果进程被其他进程抢占,则会看到gpio的状态很长时间没有发生变化,以此来展示实时优先级对系统调度的影响。程序部分代码如下:
int gpio = gpio6;
structsched_param rt_param = {
.sched_priority = 30 }; //实时优先级30
child_pid = fork(); //创建子进程
if(child_pid!=0) //child_pid不等于0为主进程,等于0为子进程
{
if( -1 == sched_setscheduler ( child_pid, sched_fifo, &rt_param ) )
printf(sched_setscheduler failed\n);
//设置子进程实时优先级以及调度算法
printf ( child_pid = %d\n, child_pid );
gpio = gpio5; //主进程和子进程操作不同的gpio
}
printf(driver esm6800_gpio test\n);
fd = open(/dev/esm6800_gpio, o_rdwr);
printf(open file = %d\n, fd);
rc = gpio_outenable(fd, 0xff); //set gpio as output
if(rc < 0)
{
printf(gpio_outenable::failed %d\n, rc);
returnrc;
}
for(;;) //无限循环
{
//忙循环中置高然后置低gpio输出电平
rc = gpio_outset(fd, gpio); //使gpio输出高电平
if(rc < 0)
{
printf(gpio_outset::failed %d\n, rc);
returnrc;
}
rc = gpio_outclear(fd, gpio); //使gpio输出低电平
if(rc < 0)
{
printf(gpio_outclear::failed %d\n, rc);
returnrc;
}
}
使用示波器查看到的gpio状态如下图,其中黄色信号为主进程操作的gpio5,蓝色信号为有实时优先级的子进程操作的gpio6:
可以看出蓝色信号代表的拥有实时优先级的进程一直处于执行当中,没有被其他低优先级的进程抢占,而黄色信号代表的普通优先级的程序gpio状态切换有很明显的中断,也即其他进程被抢占而中断执行。此结果与第一节介绍的linux调度策略一致:实时线程只会被拥有更高实时优先级的线程抢占,处于sched_fifo下的实时线程可以无限执行。
用户在实际编程中应该仔细规划自己的程序,合理利用系统调度接口函数,来优化自己程序的执行效果,同时避免错误的使用导致系统正常运行。
浅谈CH315G USB延长线控制芯片
骁龙835移动平台火力全开助你畅享VR体验
视觉分拣机器人系统工作原理
思岚科技以前沿技术和产品为医疗服务插上智慧的翅膀
如何让分类器预测目标是否为“背景”的概率
英创信息技术Linux系统调度简介
Instagram产品设计师推出多款充满怀旧气息及富有技术性灵感的AR效果
mmdetection训练数据遇到的问题
华为剑指苹果 布局便携式医疗
Python2D绘图库Matplotlib会用吗?
让工作更高效的秘密—aigo国民好物移动固态硬盘优选
合成孔径的雷达研究热点
三星电子已在研发6亿像素的图像传感器
独家!字节跳动硬件团队发生重大调整
三星Note20 5G手机价格跌至4999元
关于200mm晶圆厂的困境的分析和应对方法
Spirit AeroSystems 被指定为波音加油机供应
Pixelworks逐点半导体上海子公司任命两位新任高级副总裁
滨州与京东合作,京东无人机/无人超市/无人仓进驻滨州
影响到线路电流承载值的主要因素的简单分析