Linux进程/线程的调度机制介绍:详细解析Linux系统中进程/线程的调度优先级规则

本文涉及的产品
全局流量管理 GTM,标准版 1个月
云解析 DNS,旗舰版 1个月
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
简介: Linux进程/线程的调度机制介绍:详细解析Linux系统中进程/线程的调度优先级规则

调度机制的原理

进程和线程的调度都是由内核来完成的。操作系统内核包含一个调度器(scheduler),负责管理和调度所有进程和线程。调度器根据特定的调度策略和优先级规则来决定哪个进程或线程应该获得CPU资源,从而实现多任务和并发执行。


调度过程分为以下几个步骤:

  • 预选:调度器会从进程和线程列表中选择一个候选者,作为接下来要运行的执行单元。
  • 上下文切换:调度器会将当前运行的进程或线程的状态(包括寄存器、程序计数器等)保存到内核数据结构中,然后将选定的候选者的状态加载到CPU中。
  • 执行:选定的进程或线程开始运行。它会在用户态执行指令,直到发生某个事件(如时间片用完、系统调用、中断等),需要重新进行调度。
  • 再次调度:当一个进程或线程无法继续运行时(例如,因为它需要等待I/O操作完成),调度器会再次执行预选和上下文切换,将另一个进程或线程调度到CPU上。

在整个过程中,线程会在用户态和内核态之间切换。当线程执行完一个时间片或遇到需要内核介入的事件时(如系统调用、中断处理等),它会切换到内核态,让调度器重新分配资源。调度器在内核态运行,可以确保对系统资源的控制和管理。
在多核处理器系统中,调度器可以同时调度多个进程或线程在不同的核心上运行,以实现真正的并行执行。总之,进程和线程的调度都是通过内核来完成的,内核调度器负责管理和分配CPU资源,以实现高效的多任务和并发执行。

查询当前进程或线程的资源使用情况

在Linux中,可以使用getrusage()系统调用查询当前进程或线程的资源使用情况,包括本次被调度的时间,另外,通过分析/proc//sched文件中的调度统计信息,可以间接了解进程的调度情况。
getrusage()会返回一个rusage结构,其中包含了各种资源使用信息。以下是rusage结构的定义:

struct rusage {
   struct timeval ru_utime; /* 用户态使用的CPU时间 */
   struct timeval ru_stime; /* 内核态使用的CPU时间 */
   // ...其他资源使用信息
};
• 1
• 2
• 3
• 4
• 5

getrusage()函数的原型如下:

int getrusage(int who, struct rusage *usage);
• 1

who参数可以是以下值之一:

  • RUSAGE_SELF:查询当前进程的资源使用情况。
  • RUSAGE_CHILDREN:查询已终止且已收集的所有子进程的资源使用情况。
  • RUSAGE_THREAD(Linux-specific):查询当前线程的资源使用情况。

要查询本次被调度的时间,可以将ru_utime和ru_stime的值相加,得到总的CPU时间。

调度优先级基本知识

  • cpu分配资源的先后顺序就是优先级
  • 优先权高的进程有优先执行的权利
  • 可以让进程运行在指定的cpu上,改善系统整体性能
  • 用top或者ps -l查看进程会发现有PR(PRI) NI两个字段:NI 是优先值,是用户层面的概念, PR是进程的实际优先级, 是给内核(kernel)看(用)的。

Linux进程调度的三种策略

  • SCHED_OTHER,分时调度策略
    该策略是是默认的Linux分时调度(time-sharing scheduling)策略,它是Linux线程默认的调度策略。SCHED_OTHER策略的静态优先级总是为0,对于该策略列表上的线程,调度器是基于动态优先级(dynamic priority)来调度的,动态优先级是跟nice中相关(nice值可以由接口nice, setpriority,sched_setattr来设置),该值会随着线程的运行时间而动态改变,以确保所有具有SCHED_OTHER策略的线程公平运行
  • SCHED_FIFO,实时调度策略,先到先服务。
    根据进程的优先级进行调度,一旦抢占到 CPU 则一直运行,直达自己主动放弃或被被更高优先级的进程抢占;
  • SCHED_RR,实时调度策略,时间片轮转
    在 SCHED_FIFO 的基础上,加上了时间片的概念。当一个进程抢占到 CPU 之后,运行到一定的时间后,调度器会把这个进程放在 CPU 中,当前优先级进程队列的末尾,然后选择另一个相同优先级的进程来执行;

Linux 线程优先级

进程 调度策略 优先级 说明
普通进程 SCHED_OTHERSCHED_NORMAL 100-139 这个区间的优先级又称为静态优先级,不会随着时间而改变,内核不会修改它,只能通过系统调用nice去修改,静态优先级数值越大,进程的优先级越小,分配的基时间量就越少。
普通进程几乎是无法分到时间片的(只能分到5%的CPU时间)。
static priority=nice+20+MAX_RT_PRIO,nice值[-20,19],MAX_RT_PRIO默认为100,这样做的好处是,任何内核态进程优先级都大于用户态的进程.;
实时进程 SCHED_FIFOSCHED_RR 0-99 只有在下述事件之一发生时,实时进程才会被另外一个进程取代
1. 进程被另外一个具有更高实时优先级的实时进程抢占
2. 进程执行了阻塞操作并进入睡眠
3. 进程停止(处于TASK_STOPPED 或TASK_TRACED状态)或被杀死
4. 进程通过调用系统调用sched_yield(),自愿放弃CPU5. 进程基于时间片轮转的实时进程(SCHED_RR),而且用完了它的时间片.

这张图表示的是内核中的优先级,分为两段。
前面的数值 0-99 是实时任务,后面的数值 100-139 是普通任务。
数值越低,代表这个任务的优先级越高。
以上是从内核角度来看的优先级。


我们在应用层创建线程的时候,设置了一个优先级数值,这是从应用层角度来看的优先级数值。
但是内核并不会直接使用应用层设置的这个数值,而是经过了一定的运算,才得到内核中所使用的优先级数值(0 ~ 139)。

对于实时任务

我们在创建线程的时候,可以通过下面这样的方式设置优先级数值(0 ~ 99):

struct sched_param param;
param.__sched_priority = xxx;
• 1
• 2

当创建线程函数进入内核层面的时候,内核通过下面这个公式来计算真正的优先级数值:
kernel priority = 100 - 1 - param.__sched_priority

如果应用层传入数值 0,那么在内核中优先级数值就是 99(100 - 1 - 0 = 99),在所有实时任务中,它的优先级是最低的。

如果应用层传输数值 99,那么在内核中优先级数值就是 0(100 - 1 - 99 = 0),在所有实时任务中,它的优先级是最高的。
因此,从应用层的角度看,传输人优先级数值越大,线程的优先级就越高;数值越小,优先级就越低。
与内核角度是完全相反的!

对于普通任务

调整普通任务的优先级,是通过 nice 值来实现的,内核中也有一个公式来把应用层传入的 nice 值,转成内核角度的优先级数值:
kernel prifoity = 100 + 20 + nice
nice 的合法数值是:-20 ~ 19
如果应用层设置线程 nice 数值为 -20,那么在内核中优先级数值就是 100(100 + 20 + (-20) = 100),在所有的普通任务中,它的优先级是最高的。
如果应用层设置线程 nice 数值为 19,那么在内核中优先级数值就是 139(100 +20 +19 = 139),在所有的普通任务中,它的优先级是最低的。
因此,从应用层的角度看,传输人优先级数值越小,线程的优先级就越高;数值越大,优先级就越低。
与内核角度是完全相同的!

top中的PR和NI

top命令中pri的计算方法 说明
普通进程 top_pr=static_priority-100 static_priority取值是[100,139],所以top_pri取值是[0,39]
实时进程 top_pri=-1-real_time_priority chrt命令就是修改实时进程的优先级,比如给进程12345分配优先级为93,chrt -p 93 12345,则top命令pri值显示的是-94。有的实时进程的pri值显示的是rt,没有具体显示数值

多核调度

对于多核处理器,分布不同核时,调度策略、优先级,都不起作用!(准确的说:调度策略和优先级,在线程所在的那个 CPU 中是起作用的)


Linux 进/线程优先级设置接口

linux进程优先级设置

  • sched接口摘要

Linux提供了以下用于控制CPU的系统调用。
进程(或更多)的调度行为、策略和优先级。准确地说,是线程)。

nice(2)
          Set a new nice value for the calling thread, and return
          the new nice value.
   getpriority(2)
          Return the nice value of a thread, a process group, or the
          set of threads owned by a specified user.
   setpriority(2)
          Set the nice value of a thread, a process group, or the
          set of threads owned by a specified user.
   sched_setscheduler(2)
          Set the scheduling policy and parameters of a specified
          thread.
   sched_getscheduler(2)
          Return the scheduling policy of a specified thread.
   sched_setparam(2)
          Set the scheduling parameters of a specified thread.
   sched_getparam(2)
          Fetch the scheduling parameters of a specified thread.
   sched_get_priority_max(2)
          Return the maximum priority available in a specified
          scheduling policy.
   sched_get_priority_min(2)
          Return the minimum priority available in a specified
          scheduling policy.
   sched_rr_get_interval(2)
          Fetch the quantum used for threads that are scheduled
          under the "round-robin" scheduling policy.
   sched_yield(2)
          Cause the caller to relinquish the CPU, so that some other
          thread be executed.
   sched_setaffinity(2)
          (Linux-specific) Set the CPU affinity of a specified
          thread.
   sched_getaffinity(2)
          (Linux-specific) Get the CPU affinity of a specified
          thread.
   sched_setattr(2)
          Set the scheduling policy and parameters of a specified
          thread.  This (Linux-specific) system call provides a
          superset of the functionality of sched_setscheduler(2) and
          sched_setparam(2).
   sched_getattr(2)
          Fetch the scheduling policy and parameters of a specified
          thread.  This (Linux-specific) system call provides a
          superset of the functionality of sched_getscheduler(2) and
          sched_getparam(2).
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16
• 17
• 18
• 19
• 20
• 21
• 22
• 23
• 24
• 25
• 26
• 27
• 28
• 29
• 30
• 31
• 32
• 33
• 34
• 35
• 36
• 37
• 38
• 39
• 40
• 41
• 42
• 43
• 44
• 45
• 46
• 47
• 48
• 49
• 50
• 51
• 52
• 53
• 54
• 55
• 56
• 57
• 58
• 59
• 60
  • 获取静态优先级范围
int sched_get_priority_max(int policy);
int sched_get_priority_min(int policy);
• 1
• 2
• 3

sched_get_priority_max()返回可与策略标识的调度算法一起使用的最大优先级值。
sched_get_priority_min()返回可与策略标识的调度算法一起使用的最小优先级值。
支持的策略值为SCHED_FIFOSCHED_RRSCHED_OTHER

返回值

如果成功,则sched_get_first_max()sched_get_first_min()返回最大/最小优先级值。
用于指定的计划策略。出错时,返回-1,并适当设置errno

  • 设置和获取调度策略/参数
int sched_setscheduler(pid_t pid, int policy,const struct sched_param *param);
int sched_getscheduler(pid_t pid);
• 1
• 2
• 3

参数

pid

Sched_setScheduler()系统调用为ID在id中指定的线程设置调度策略和参数。如果id等于零,则设置调用线程的调度策略和参数

policy

目前,Linux支持以下“常规”(即非实时)调度策略作为可能的值。

  • SCHED_OTHER 标准循环分时策略;
  • SCHED_BATCH,用于以“批处理”方式执行进程;以及。
  • SCHED_IDLE,用于运行优先级很低的后台作业。

对于需要精确计算的特殊时间关键型应用程序,还支持各种实时策略
选择要执行的可运行线程的方式。有关管理何时发生。

进程可以使用这些策略,请参见Sched(7)。可以在策略中指定的实时策略包括:

  • SCHED_FIFO先进先出策略;
  • SCHED_RR循环策略。

param

调度参数在param以下结构体成员中指定:

sched_param{
  ... 
 int SCHED_PRIORITY;
  ...
  };
• 1
• 2
• 3
• 4
• 5

返回值

如果成功,sched_setScheduler()将返回零,sched_getScheduler()将返回该线程的策略(非负整数)。
出错时,两个调用都返回-1,并且相应地设置了errno

linux线程优先级设置

参考线程函数的使用


代码示例

使用getrusage()查询当前进程的CPU时间。

//这个示例中显示的时间是从进程开始到调用getrusage()时的累计CPU时间,而不是单次调度的时间。
#include <sys/resource.h>
#include <sys/time.h>
#include <stdio.h>
int main() {
    struct rusage usage;
    getrusage(RUSAGE_SELF, &usage);
    double utime = usage.ru_utime.tv_sec + usage.ru_utime.tv_usec / 1000000.0;
    double stime = usage.ru_stime.tv_sec + usage.ru_stime.tv_usec / 1000000.0;
    double total_time = utime + stime;
    printf("User time: %f\n", utime);
    printf("System time: %f\n", stime);
    printf("Total time: %f\n", total_time);
    return 0;
}
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16
• 17
• 18
• 19

设置为实时进程

1 #include <stdio.h>
 2 #include <stdlib.h>
 3 #include <pthread.h>
 4 #include <sched.h>
 5 
 6 
 7 pid_t pid = getpid();
 8 struct sched_param param;
 9 param.sched_priority = sched_get_priority_max(SCHED_FIFO);   // 也可用SCHED_RR
10 sched_setscheduler(pid, SCHED_RR, &param);                   // 设置当前进程为实时
11 pthread_setschedparam(pthread_self(), SCHED_FIFO, &param);   // 设置当前线程
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11

优先级测试代码

#include <stdio.h>
#include <pthread.h>
#include <sched.h>
#include <assert.h>
 
static int get_thread_policy(pthread_attr_t *attr)
{
  int policy;
  int rs = pthread_attr_getschedpolicy(attr,&policy);
  assert(rs==0);
 
switch(policy)
{
  case SCHED_FIFO:
  printf("policy=SCHED_FIFO\n");
  break;
   
  case SCHED_RR:
  printf("policy=SCHED_RR\n");
  break;
   
  case SCHED_OTHER:
  printf("policy=SCHED_OTHER\n");
  break;
   
  default:
  printf("policy=UNKNOWN\n");
  break;
  }
  return policy;
}
 
static void show_thread_priority(pthread_attr_t *attr,int policy)
{
  int priority = sched_get_priority_max(policy);
  assert(priority != -1);
  printf("max_priority=%d\n",priority);
   
  priority= sched_get_priority_min(policy);
  assert(priority != -1);
  printf("min_priority=%d\n",priority);
}
 
static int get_thread_priority(pthread_attr_t *attr)
{
  struct sched_param param;
  int rs = pthread_attr_getschedparam(attr,¶m);
  assert(rs == 0);
   
  printf("priority=%d\n",param.__sched_priority);
  return param.__sched_priority;
}
 
static void set_thread_policy(pthread_attr_t *attr,int policy)
{
  int rs = pthread_attr_setschedpolicy(attr,policy);
  assert(rs==0);
}
 
int main(void)
{
  pthread_attr_t attr;
  int rs;
   
  rs = pthread_attr_init(&attr);
  assert(rs==0);
   
  int policy = get_thread_policy(&attr);
   
  printf("Show current configuration of priority\n");
  get_thread_policy(&attr);
  show_thread_priority(&attr,policy);
   
  printf("show SCHED_FIFO of priority\n");
  show_thread_priority(&attr,SCHED_FIFO);
   
  printf("show SCHED_RR of priority\n");
  show_thread_priority(&attr,SCHED_RR);
   
  printf("show priority of current thread\n");
  get_thread_priority(&attr);
   
  printf("Set thread policy\n");
   
  printf("set SCHED_FIFO policy\n");
  set_thread_policy(&attr,SCHED_FIFO);
  get_thread_policy(&attr);
  get_thread_priority(&attr);
   
  printf("set SCHED_RR policy\n");
  set_thread_policy(&attr,SCHED_RR);
  get_thread_policy(&attr);
   
  printf("Restore current policy\n");
  set_thread_policy(&attr,policy);
  get_thread_priority(&attr);
   
  rs = pthread_attr_destroy(&attr);
  assert(rs==0);
   
  return 0;
} 
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16
• 17
• 18
• 19
• 20
• 21
• 22
• 23
• 24
• 25
• 26
• 27
• 28
• 29
• 30
• 31
• 32
• 33
• 34
• 35
• 36
• 37
• 38
• 39
• 40
• 41
• 42
• 43
• 44
• 45
• 46
• 47
• 48
• 49
• 50
• 51
• 52
• 53
• 54
• 55
• 56
• 57
• 58
• 59
• 60
• 61
• 62
• 63
• 64
• 65
• 66
• 67
• 68
• 69
• 70
• 71
• 72
• 73
• 74
• 75
• 76
• 77
• 78
• 79
• 80
• 81
• 82
• 83
• 84
• 85
• 86
• 87
• 88
• 89
• 90
• 91
• 92
• 93
• 94
• 95
• 96
• 97
• 98
• 99
• 100
• 101
• 102

个人微信 咨询方式

微信名片

 

显示推荐内容

目录
相关文章
|
3月前
|
缓存 Linux 开发者
Linux内核中的并发控制机制
本文深入探讨了Linux操作系统中用于管理多线程和进程的并发控制的关键技术,包括原子操作、锁机制、自旋锁、互斥量以及信号量。通过详细分析这些技术的原理和应用,旨在为读者提供一个关于如何有效利用Linux内核提供的并发控制工具以优化系统性能和稳定性的综合视角。
|
2天前
|
Linux
Linux编程: 在业务线程中注册和处理Linux信号
通过本文,您可以了解如何在业务线程中注册和处理Linux信号。正确处理信号可以提高程序的健壮性和稳定性。希望这些内容能帮助您更好地理解和应用Linux信号处理机制。
39 26
|
18天前
|
数据可视化 项目管理 UED
如何进行有效的优先级管理:6大模型解析
优先级管理看似简单,但要真正做到高效、精准,却需要方法和技巧的支撑。3分钟了解6种优先级管理方法。
43 0
如何进行有效的优先级管理:6大模型解析
|
2月前
|
存储 编译器 Linux
动态链接的魔法:Linux下动态链接库机制探讨
本文将深入探讨Linux系统中的动态链接库机制,这其中包括但不限于全局符号介入、延迟绑定以及地址无关代码等内容。
678 23
|
2月前
|
监控 算法 Linux
Linux内核锁机制深度剖析与实践优化####
本文作为一篇技术性文章,深入探讨了Linux操作系统内核中锁机制的工作原理、类型及其在并发控制中的应用,旨在为开发者提供关于如何有效利用这些工具来提升系统性能和稳定性的见解。不同于常规摘要的概述性质,本文将直接通过具体案例分析,展示在不同场景下选择合适的锁策略对于解决竞争条件、死锁问题的重要性,以及如何根据实际需求调整锁的粒度以达到最佳效果,为读者呈现一份实用性强的实践指南。 ####
|
2月前
|
消息中间件 安全 Linux
深入探索Linux操作系统的内核机制
本文旨在为读者提供一个关于Linux操作系统内核机制的全面解析。通过探讨Linux内核的设计哲学、核心组件、以及其如何高效地管理硬件资源和系统操作,本文揭示了Linux之所以成为众多开发者和组织首选操作系统的原因。不同于常规摘要,此处我们不涉及具体代码或技术细节,而是从宏观的角度审视Linux内核的架构和功能,为对Linux感兴趣的读者提供一个高层次的理解框架。
|
3月前
|
算法 Linux 开发者
Linux内核中的锁机制:保障并发控制的艺术####
本文深入探讨了Linux操作系统内核中实现的多种锁机制,包括自旋锁、互斥锁、读写锁等,旨在揭示这些同步原语如何高效地解决资源竞争问题,保证系统的稳定性和性能。通过分析不同锁机制的工作原理及应用场景,本文为开发者提供了在高并发环境下进行有效并发控制的实用指南。 ####
|
3月前
|
缓存 Linux 开发者
Linux内核中的并发控制机制:深入理解与应用####
【10月更文挑战第21天】 本文旨在为读者提供一个全面的指南,探讨Linux操作系统中用于实现多线程和进程间同步的关键技术——并发控制机制。通过剖析互斥锁、自旋锁、读写锁等核心概念及其在实际场景中的应用,本文将帮助开发者更好地理解和运用这些工具来构建高效且稳定的应用程序。 ####
57 5
|
3月前
|
存储 安全 Linux
Golang的GMP调度模型与源码解析
【11月更文挑战第11天】GMP 调度模型是 Go 语言运行时系统的核心部分,用于高效管理和调度大量协程(goroutine)。它通过少量的操作系统线程(M)和逻辑处理器(P)来调度大量的轻量级协程(G),从而实现高性能的并发处理。GMP 模型通过本地队列和全局队列来减少锁竞争,提高调度效率。在 Go 源码中,`runtime.h` 文件定义了关键数据结构,`schedule()` 和 `findrunnable()` 函数实现了核心调度逻辑。通过深入研究 GMP 模型,可以更好地理解 Go 语言的并发机制。
|
3月前
|
安全 Linux 数据安全/隐私保护
深入探索Linux操作系统的多用户管理机制
【10月更文挑战第21天】 本文将详细解析Linux操作系统中的多用户管理机制,包括用户账户的创建与管理、权限控制以及用户组的概念和应用。通过具体实例和命令操作,帮助读者理解并掌握Linux在多用户环境下如何实现有效的资源分配和安全管理。