Как происходит переключение контекста между потоками?

Переключение контекста (context switch) — это фундаментальный механизм, позволяющий операционной системе с одним или несколькими ядрами процессора эффективно управлять множеством потоков выполнения. Когда планировщик (scheduler) ядра решает, что текущий исполняемый поток должен уступить процессорное время другому потоку, он инициирует переключение контекста.

Что сохраняется и восстанавливается?

Состояние потока, которое необходимо сохранить, чтобы позже возобновить его выполнение с того же места, включает:

• Значения регистров общего назначения процессора (RAX, RBX, RCX и т.д.).
• Значение программного счетчика (Program Counter / Instruction Pointer), указывающего на следующую инструкцию.
• Указатель стека (Stack Pointer).
• Состояние регистров управления (например, флаги).
• Указатели на таблицы страниц памяти (если потоки принадлежат разным процессам).

Как это происходит?

Процесс можно условно разделить на шаги:

1. Инициация: Переключение может быть вызвано прерыванием (например, от таймера), системным вызовом, или добровольным ожиданием потока (например, операции ввода-вывода).
2. Сохранение состояния текущего потока: Ядро сохраняет контекст текущего потока в его структуре данных (например, PCB — Process Control Block или TCB — Thread Control Block).
3. Выбор следующего потока: Планировщик выбирает следующий поток для выполнения из очереди готовых потоков, используя определенный алгоритм (например, Round Robin).
4. Восстановление состояния нового потока: Контекст выбранного потока загружается из его TCB в регистры процессора.
5. Передача управления: Процессор начинает выполнение инструкций нового потока с адреса, указанного восстановленным программным счетчиком.

Пример на уровне кода (псевдокод)

Хотя переключение контекста реализуется на низком уровне (ассемблер, код ядра), логику можно представить так:

// Упрощенная концептуальная структура TCB
struct ThreadControlBlock {
    uint64_t registers[16];
    uint64_t stack_pointer;
    uint64_t instruction_pointer;
    // ... другие поля
};

// Функция переключения контекста (очень упрощенно)
void context_switch(ThreadControlBlock* old_thread, ThreadControlBlock* new_thread) {
    // 1. Сохраняем регистры текущего потока в old_thread->registers
    save_registers(old_thread->registers);
    // 2. Сохраняем указатель стека
    old_thread->stack_pointer = get_current_stack_pointer();
    // 3. Восстанавливаем регистры нового потока из new_thread->registers
    restore_registers(new_thread->registers);
    // 4. Восстанавливаем указатель стека
    set_stack_pointer(new_thread->stack_pointer);
    // 5. Переход к выполнению нового потока (косвенный прыжок)
    jump_to_address(new_thread->instruction_pointer);
}

Где применяется и накладные расходы

Этот механизм лежит в основе всей многозадачности в ОС, от серверов, обрабатывающих тысячи соединений, до настольных приложений. Однако переключение не бесплатное: процессорное время тратится на сохранение/восстановление данных, а также происходит сброс кэшей процессора (например, TLB), что может снижать производительность. Поэтому чрезмерно частое переключение контекста (thrashing) вредно.

Вывод: Понимание переключения контекста критично для разработки высоконагруженных и отзывчивых систем, так как позволяет осознанно проектировать многопоточные приложения, минимизируя накладные расходы и избегая contention за ресурсы.