Каким образом операционная система управляет и переключает выполнение нескольких потоков на процессоре?

Операционная система управляет несколькими потоками с помощью механизма планирования (scheduler), который распределяет время процессора между потоками.

Основные принципы:

• Многозадачность с вытеснением (preemptive multitasking) — ОС может прервать выполнение текущего потока и переключиться на другой, чтобы обеспечить равномерное распределение ресурсов.
• Контекстное переключение — при переключении ОС сохраняет состояние (контекст) текущего потока (регистры, счетчик команд и т.п.) и загружает состояние следующего.
• Приоритеты потоков — ОС учитывает приоритеты, чтобы важные задачи получали больше процессорного времени.
• Планировщик — алгоритмы планирования (Round Robin, Priority Scheduling и др.) определяют порядок и длительность выполнения потоков.

В iOS, например, управление потоками реализовано через Grand Central Dispatch (GCD) и NSOperationQueue, которые абстрагируют низкоуровневое планирование, позволяя эффективно распределять задачи по ядрам процессора.