软中断、线程调度时机

Linux内核中softirq、tasklet、线程的调度时机

softirq、tasklet

    tasklet是通过softirq执行的，所以归为一类，不过softirq可以在多个核上同时执行，tasklet只能在一个核上运行。

softirq通常会在中断执行结束后判断然后来处理，除了这里外还有一个线程run_ksoftirqd

    kthread_create_on_node(run_ksoftirqd, hcpu, cpu_to_node(hotcpu),

在gic处理结束会处理

例如：

handle_IRQ
irq_exit
    if (!in_interrupt() && local_softirq_pending())
        invoke_softirq()
__do_softirq();
handle_IRQ

也可以主动去触发下线程去执行
raise_softirq
raise_softirq_irqoff
    __raise_softirq_irqoff
    if (!in_interrupt())
        wakeup_softirqd();
struct task_struct *tsk = __this_cpu_read(ksoftirqd);
if (tsk && tsk->state != TASK_RUNNING)
    wake_up_process(tsk);

线程的调度分为主动调度和被动调度

主动调度即使主动让出cpu，被动一般是时间片到了由调度程序强制切换走。

线程主要分三种idle、normal和rt线程，依次优先级变高

分处于三个调度类idle_sched_class、fair_sched_class和rt_sched_class，各自的调度方法不同

rt主要分为fifo和rr，normal线程使用cfs调度。

主动切换线程：

例如这种：
set_current_state(TASK_INTERRUPTIBLE);
schedule();
或者down这种阻塞等待接口，原理都类似，就是设置当前线程非运行状态，然后切换上下文。

被动切换时机

struct thread_info {
    unsigned long        flags;        /* low level flags */
    int            preempt_count;    /* 0 => preemptable, <0 => bug */
在thread_info中有两个关键标志跟调度有关，一个是flags，标志着当前线程是否应该切换出去了，另一个是preemt_count，这个是锁调度的标志，置位之后被动抢占就被禁了。

在irq处理结束后会判断这两个标志，如下：
__irq_svc:
	svc_entry
	irq_handler

#ifdef CONFIG_PREEMPT
	get_thread_info tsk
	ldr	r8, [tsk, #TI_PREEMPT]		@ get preempt count
	ldr	r0, [tsk, #TI_FLAGS]		@ get flags
	teq	r8, #0				@ if preempt count != 0
	movne	r0, #0				@ force flags to 0
	tst	r0, #_TIF_NEED_RESCHED
	blne	svc_preempt
#endif
然后跳转到线程切换preempt_schedule_irq中
svc_preempt:
    mov    r8, lr
1:    bl    preempt_schedule_irq        @ irq en/disable is done inside
    ldr    r0, [tsk, #TI_FLAGS]        @ get new tasks TI_FLAGS
    tst    r0, #_TIF_NEED_RESCHED
    moveq    pc, r8                @ go again
    b    1b

在系统调用结束返回时候也有类似判断，不仅判断线程切换，信号的处理也是在这边
vector_swi
...

ret_fast_syscall:
...
    disable_irq                @ disable interrupts
    ldr    r1, [tsk, #TI_FLAGS]
    tst    r1, #_TIF_WORK_MASK
    bne    fast_work_pending
fast_work_pending:
...
    tst    r1, #_TIF_NEED_RESCHED
    bne    work_resched
    tst    r1, #_TIF_SIGPENDING|_TIF_NOTIFY_RESUME
    beq    no_work_pending
还有个地方在preempt_schedule，这个主要在锁了调度后，例如spinlock，然后再开调度，会第一时间判断是否需要调度并切换。


关于调度flag的设置和判断test_thread_flag(TIF_NEED_RESCHED)，哪些地方会设置这个标志呢
我这边了解到的主要有两个地方
一个是主动唤醒线程
例如：wake_up_process
还有一个地方就是tick中断处理中scheduler_tick，tick中断除了会去更新jiffies数之外，还会去判断当前的线程是否应该被切换出去了（时间片是否到了）。
另外我理解的是设置了这个并不是一定就会发生线程切换，只是会触发schedule，schedule里面会picknexttask，如果选出来的还是和当前的一样，那就不会发生切换。