Интерпретация предыдущей задачи в context_switch() в ядре Linux ⇐ Linux

[Anonymous]

Я пытаюсь понять реализацию переключения контекста в ядре Linux (x86), и в связи с этим у меня есть пара вопросов.
(1) Почему switch_to() Макрос определен и вызывается, как показано ниже (ссылка на него приведена ниже)?
(2) Является ли значение prev в позиции (1) в комментарии ниже то же самое, что и в позиции (2), или переключатель стека как часть switch_to() меняет его? Если prev и next хранятся в регистрах rsi и rdx, которые, похоже, не сохраняются в __switch_to_asm(), я бы предположил, что prev один и тот же в позициях (1) и (2), но, учитывая определение макроса, возможно, это не так?
#define switch_to(prev, next, last) \
do { \
((last) = __switch_to_asm((prev), (next))); \
} while (0)

Из ядра Linux версии 5.8.6:
static __always_inline struct rq *
context_switch(struct rq *rq, struct task_struct *prev,
struct task_struct *next, struct rq_flags *rf)
{
prepare_task_switch(rq, prev, next);

/*
* For paravirt, this is coupled with an exit in switch_to to
* combine the page table reload and the switch backend into
* one hypercall.
*/
arch_start_context_switch(prev);

/*
* kernel -> kernel lazy + transfer active
* user -> kernel lazy + mmgrab() active
*
* kernel -> user switch + mmdrop() active
* user -> user switch
*/
if (!next->mm) { // to kernel
enter_lazy_tlb(prev->active_mm, next);

next->active_mm = prev->active_mm;
if (prev->mm) // from user
mmgrab(prev->active_mm);
else
prev->active_mm = NULL;
} else { // to user
membarrier_switch_mm(rq, prev->active_mm, next->mm);
/*
* sys_membarrier() requires an smp_mb() between setting
* rq->curr / membarrier_switch_mm() and returning to userspace.
*
* The below provides this either through switch_mm(), or in
* case 'prev->active_mm == next->mm' through
* finish_task_switch()'s mmdrop().
*/
switch_mm_irqs_off(prev->active_mm, next->mm, next);

if (!prev->mm) { // from kernel
/* will mmdrop() in finish_task_switch(). */
rq->prev_mm = prev->active_mm;
prev->active_mm = NULL;
}
}

rq->clock_update_flags &= ~(RQCF_ACT_SKIP|RQCF_REQ_SKIP);

prepare_lock_switch(rq, next, rf);

// LOCATION (1)

/* Here we just switch the register state and the stack. */
switch_to(prev, next, prev);

// LOCATION (2)

barrier();

return finish_task_switch(prev);
}


Подробнее здесь: https://stackoverflow.com/questions/790 ... nux-kernel