Переключение контекста

Переключение контекста (англ. Context Switch) в в многозадачных ОС и средах, процесс прекращения выполнения процессором одной задачи (процесса, потока, нити) с сохранением всей необходимой информации и состояния, необходимых для последующего продолжения с прерванного места, и восстановления и загрузки состояния задачи, к выполнению которой переходит процессор.

В процедуру переключения контекста входит т. н. планирование задачи в процесс принятия решения к какой задаче передать управление.

Содержание

1 Описание
2 Переключение контекста и производительность
3 Переключение контекста и ОС
4 Особенности процедуры планировщика
5 Реализации переключения контекста в современных ОС
6 Замечания о терминологии
7 Ссылки

[править] Описание

При переключении контекста происходит сохранение и восстановление следующей информации:

Регистровый контекст регистров общего назначения (в том числе флаговый регистр)
Контекст состояния сопроцессора с плавающей точкой
Состояние регистров MMX/SSE (x86)
Состояние сегментных регистров (x86)
Состояние некоторых управляющих регистров (например, регистр CR3 отвечающий за страничное отображение памяти процесса) (x86)

В ядре ОС с каждым потоком связаны следующие структуры:

Общая информация pid, tid, uid, gid, euid, egid,в
Состояние процесса/потока
Права доступа
Используемые потоком ресурсы и блокировки
Счетчики использования ресурсов (например таймеры использованного процессорного времени)
Регионы памяти, выделенные процессу

[править] Переключение контекста и производительность

Кроме того, что очень важно, при переключении контекста происходят следующие программно-незаметные аппаратные действия, влияющие на производительность:

Происходит очистка конвейера команд и данных процессора
Очищается TLB, отвечающий за страничное отображение линейных адресов на физические

Кроме того, следует учесть следующие факты, влияющие на состояние системы:

Содержимое кеша (особенно это касается кеша первого уровня) накопленное и «оптимизированное» под выполнение одного потока оказывается совершенно неприменимым к новому потоку, на который происходит переключение.
При переключении контекста, на процесс, который до этого долгое время не использовался (см. Подкачка страниц), многие страницы могут физически отсутствовать в оперативной памяти, что порождает подгрузку вытесненных страниц из вторичной памяти.

[править] Переключение контекста и ОС

С точки зрения прикладного уровня можно разделить добровольный (voluntary) и принудительный (non-voluntary) переключения контекста: выполняющийся процесс/поток может сам передать управление другому потоку, либо ядро само может отобрать управление.

Ядро ОС может отобрать управление у выполняющегося процесса/потока при истечении кванта времени, выделенного на выполнение. С точки зрения программиста это означает, что управление могло уйти от потока в «самый неподходящий» момент времени, когда структуры данных могут находиться в противоречивом состоянии из-за того, что их изменение не было завершено.
Выполнение блокирующего системного вызова. Когда приложение производит ввод-вывод, ядро может решить, что можно отдать управление другому потоку/процессу в ожидании, пока запрошенный данным потоком дисковый либо сетевой ввод-вывод будет выполнен. С точки зрения общей производительности системы, это самый «лучший» вариант.
Синхронизирующие примитивы ядра. Мьютексы, Семафоры и т. д. Это и есть основной источник проблем с производительностью. Недостаточно продуманная работа с синхронизирующими примитивами может в «плохих случаях» приводить к десяткам тысяч, а при плохом проектировании и сотням тысяч переключений контекста в секунду.
Системный вызов явно ожидающий наступления события (select, poll, epoll, pause, wait,в) либо момента времени (sleep, nanosleep,..). С точки зрения производительности в это хороший вариант, ядро ОС всегда знает, кто ждет и чего ждет.

[править] Особенности процедуры планировщика

Разницу между операционными системами реального времени и разделения времени особенно хорошо видно в различии логики планирования при переключении контекста: Планировщик систем разделения времени старается максимизировать производительность всей системы в целом, возможно в ущерб производительности отдельных процессов. Задача планировщика систем реального времени в обеспечить приоритетное выполнение отдельных, критических процессов, причем неважно, насколько жесткими накладными расходами для всей остальной системы в целом это обойдется.

[править] Реализации переключения контекста в современных ОС

Как видно из вышесказанного, переключение контекста является очень ресурсоемкой операцией, причем, чем более «навороченым» является процессор, тем более ресурсоемкой эта операция становится. Исходя из этого, ядро использует ряд стратегий чтобы, во-первых, сократить количество переключений контекста, а во вторых, сделать переключение контекста менее ресурсоемким.

Методы уменьшения количества переключений контекста:

Существует возможность конфигурирования выделяемого потоку кванта процессорного времени. При сборке ядра Linux возможно указать Server/Desktop/Low-Latency Desktop. Для серверных конфигураций этот квант больше.

Методы снижения ресурсоемкости переключения контекста:

При переключении контекста между потоками, разделяющими одно адресное пространство в пределах одного процесса, ядро не трогает регистр CR3, тем самым сохраняя TLB
Производя шедулинг, ядро старается минимизировать перемещение процесса между вычислительными ядрами в SMP-системе, тем самым улучшая эффективность работы кеша второго уровня.
Реальное сохранение/восстановление контекста регистров сопроцессора плавающей точки и MMX/SSE контекст происходит при первом обращении нового потока, что оптимизировано под случай, когда большинство потоков производит только операции с регистрами общего назначения.

Вышеприведенные примеры относятся к ядру Linux, однако прочие операционные системы также применяют сходные методы, хотя в случае проприетарных ОС доказать/опровергнуть использование этого является проблематичным.

[править] Замечания о терминологии

[править] Ссылки

Операционные системы (история)
Ядро	Гибридное Микро Модульное Монолитное Нано Экзо Драйвер Пространство пользователя Область пользователя
Управление процессами	Режимы (супервизора реальный защищённый) Прерывание Кольца защиты Переключение контекста Многозадачность (вытесняющая кооперативная мультипрограммирование) Процесс Управление процессом Планировщик задач Многопоточность
впамятью	Защита памяти Сегментная адресация памяти Страничная память Менеджер виртуальной памяти Ошибка сегментации Общая ошибка защиты
Прочее	Загрузчик ОС API VFS Компьютерная сеть GUI Слой аппаратных абстракций (HAL)

Переключение контекста

Содержание

[править] Описание

[править] Переключение контекста и производительность

[править] Переключение контекста и ОС

[править] Особенности процедуры планировщика

[править] Реализации переключения контекста в современных ОС

[править] Замечания о терминологии

[править] Ссылки

Личные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Участие

Печать/экспорт

Инструменты

На других языках