嵌入式Linux工程修改,嵌入式Linux实时技术改进与实现

以你之姓@ 2023-01-21 06:26 187阅读 0赞

语句cond\_resched()将判断是否有进程需要抢占当前进程，如果是将立即发生调度，这就是增加的抢占点，它支持四种抢占模式：

(1)．No Forced Preemption (Server)，这种模式等同于没有使能抢占选项的标准内核，主要适用于科学计算等服务器环境。

(2)．Voluntary Kernel Preemption (Desktop)，这种模式使能了自愿抢占，但仍然失效抢占内核选项，它通过增加抢占点缩减了抢占延迟，因此适用于一些需要较好的响应性的环境，如桌面环境，当然这种好的响应性是以牺牲一些吞吐率为代价的。

(3)．Preemptible Kernel (Low-Latency Desktop)，这种模式既包含了自愿抢占，又使能了可抢占内核选项，因此有很好的响应延迟，实际上在一定程度上已经达到了软实时性。它主要适用于桌面和一些嵌入式系统，但是吞吐率比模式2更低。

(4)．Complete Preemption (Real-Time)，这种模式使能了所有实时功能，因此完全能够满足软实时需求，它适用于延迟要求为100微秒或稍低的实时系统。

实现实时是以牺牲系统的吞吐率为代价的，因此实时性越好，系统吞吐率就越低。

中断线程化是实现Linux实时性的一个重要步骤，在Linux标准内核中，中断是最高优先级的执行单元，不管内核当时处理什么，只要有中断事件，系统将立即响应该事件并执行相应的中断处理代码，除非当时中断关闭。因此，如果系统有严重的网络或I/O负载，中断将非常频繁，后发生的实时任务将很难有机会运行，也就是说，毫无实时性可言。中断线程化之后，中断将作为内核线程运行而且赋予不同的实时优先级，实时任务可以有比中断线程更高的优先级，这样，实时任务就可以作为最高优先级的执行单元来运行，即使在严重负载下仍有实时性保证。

中断线程化的另一个重要原因是spinlock被mutex取代。中断处理代码中大量地使用了spinlock，当spinlock被mutex取代之后，中断处理代码就有可能因为得不到锁而需要被挂到等待队列上，但是只有可调度的进程才可以这么做，如果中断处理代码仍然使用原来的 spinlock，则spinlock取代mutex的努力将大打折扣，因此为了满足这一要求，中断必须被线程化，包括IRQ和softirq。

中断线程化的实现方法是：对于IRQ，在内核初始化阶段init(该函数在内核源码树的文件init/main.c中定义)调用 init\_hardirqs(该函数在内核源码树的文件kernel/irq/manage.c中定义)来为每一个IRQ创建一个内核线程，IRQ号为0 的中断赋予实时优先级49，IRQ号为1的赋予实时优先级48，依次类推直到25，因此任何IRQ线程的最低实时优先级为25。原来的do\_IRQ被分解成两部分，架构相关的放在类似于arch/\*/kernel/irq.c的文件中，名称仍然为do\_IRQ，而架构独立的部分被放在IRQ子系统的位置 kernel/irq/handle.c中，名称为\_do\_IRQ。当发生中断时，CPU将执行do\_IRQ来处理相应的中断，do\_IRQ将做了必要的架构相关的处理后调用\_do\_IRQ。函数\_do\_IRQ将判断该中断是否已经被线程化(如果中断描述符的状态字段不包含SA\_NODELAY标志说明中断被线程化了)，如果是将唤醒相应的处理线程，否则将直接调用handle\_IRQ\_event(在IRQ子系统位置的kernel/irq /handle.c文件中)来处理。对于已经线程化的情况，中断处理线程被唤醒并开始运行后，将调用do\_hardirq(在源码树的IRQ子系统位置的文件kernel/irq/manage.c中定义)来处理相应的中断，该函数将判断是否有中断需要被处理(中断描述符的状态标志 IRQ\_INPROGRESS)，如果有就调用handle\_IRQ\_event来处理。handle\_IRQ\_event将直接调用相应的中断处理句柄来完成中断处理。

如果某个中断需要被实时处理，它可以用SA\_NODELAY标志来声明自己非线程化，例如：系统的时钟中断就是，因为它被用来维护系统时间以及定时器等，所以不应当被线程化。

static struct irqaction irq0=

\{ timer\_interrupt, SA\_INTERRUPT | SA\_NODELAY, CPU\_MASK\_NONE, "timer", NULL, NULL\};

这是在静态声明时指定不要线程化，也可以在调用request\_irq时指定，如：

request\_irq (HIGHWIRE\_SMI\_IRQ,highwire\_smi\_interrupt,SA\_NODELAY, "System Management Switch", NULL))

对于softirq，标准Linux内核已经使用内核线程的方式来处理，为了使其易于被抢占，改进实时性，具体的修改包括：把ksoftirqd的优先级设置为nice值为-10，即它的优先级高于普通的用户态进程和内核态线程，但它不是实时线程，因此这样一来softirq对实时性的影响将显著减小。在处理软中断期间，抢占是使能的，这使得实时性更进一步地增强。在处理软中断的函数\_do\_softirq中，每次处理完一个待处理的软中断后，都将调用cond\_resched\_all()，这显著地增加了调度点数，提高了整个系统的实时性。

4、spinlock转换成mutex

spinlock是一个高效的共享资源同步机制，在SMP(对称多处理器Symmetric Multiple Proocessors)的情况下，它用于保护共享资源，如全局的数据结构或一个只能独占的硬件资源。但是spinlock保持期间将使抢占失效，用 spinlock保护的区域称为临界区(Critical Section)，在内核中大量地使用了spinlock，有大量的临界区存在，因此它们将严重地影响着系统的实时性。为此使用mutex来替换 spinlock，它的意图是让spinlock可抢占，但是可抢占后将产生很多后续影响。

Spinlock失效抢占的目的是避免死锁。Spinlock如果可抢占了，一个spinlock的竞争者将可能抢占该spinlock的保持者来运行，但是由于得不到spinlock将自旋在那里，如果竞争者的优先级高于保持者的优先级，将形成一种死锁的局面，因为保持者无法得到运行而永远不能释放spinlock，而竞争者由于不能得到一个不可能释放的spinlock而永远自旋在那里。

由于中断处理函数也可以使用spinlock，如果它使用的spinlock已经被一个进程保持，中断处理函数将无法继续进行，从而形成死锁，这样的spinlock在使用时应当中断失效来避免这种死锁的情况发生。标准linux内核就是这么做的，中断线程化之后，中断失效就没有必要，因为遇到这种状况后，中断线程将挂在等待队列上并放弃CPU让别的线程或进程来运行。

等待队列就是解决这种死锁僵局的方法，让每个spinlock都有一个等待队列，该等待队列是按进程或线程的优先级排队的。如果一个进程或线程竞争的spinlock已经被另一个线程保持，它将把自己挂在该spinlock的优先级化的等待队列上，然后发生调度把CPU让给别的进程或线程。

5、优先级继承和死锁检测

spinlock被mutex化后会产生优先级逆转(Priority Inversion)现象。所谓优先级逆转，就是优先级高的进程由于优先级低的进程保持了竞争资源被迫等待，而让中间优先级的进程运行，优先级逆转将导致高优先级进程的抢占延迟增大，中间优先级的进程的执行时间的不确定性导致了高优先级进程抢占延迟的不确定性，因此为了保证实时性，必须消除优先级逆转现象。

优先级继承协议(Priority Inheritance Protocol)和优先级顶棚协议(Priority Ceiling Protocol)就是专门针对优先级逆转问题提出的解决办法。

所谓优先级继承，就是spinlock的保持者将继承高优先级的竞争者进程的优先级，从而能先于中间优先级进程运行，尽可能快地释放锁，这样高优先级进程就能很快得到竞争的spinlock，使得抢占延迟更确定，更短。

所谓优先级顶棚，就是根据静态分析确定一个spinlock的可能拥有者的最高优先级，然后把spinlock的优先级顶棚设置为该确定的值，每次当进程获得该spinlock后，就将该进程的优先级设置为spinlock的优先级顶棚值。

![c2c9ed493cd281aa86d8a6f5178c4c01.gif][] \[1\] \[2\] \[3\] ![610626052e95c7fbe3d254abc769d9ad.gif][]

[c2c9ed493cd281aa86d8a6f5178c4c01.gif]: https://img-blog.csdnimg.cn/img_convert/c2c9ed493cd281aa86d8a6f5178c4c01.gif
[610626052e95c7fbe3d254abc769d9ad.gif]: /images/20221020/a0a95c62274c40a986df8d09671487ab.png