Как пробуждаются спящие нити на самом низком уровне?

Я задавался вопросом об этом в течение очень долгого времени.

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

Мой вопрос, однако, таков: как операционная система проверяет доступные сообщения? Где-то в стеке, я полагаю, должен быть цикл, который постоянно проверяет наличие новых событий. В таком цикле не может быть какой-либо блокировки, потому что если это так, должен быть еще один циклический поток, который «всегда бодрствует», готовый разбудить первый. Тем не менее, я также понимаю, что это не может быть правдой, потому что в противном случае я ожидал бы увидеть 100% по крайней мере одного ядра процессора, используемого постоянно, проверяя снова и снова, снова и снова....

Я подумал, что, возможно, проверяющий поток имеет небольшой сон между каждой итерацией. Это, безусловно, объясняет, почему бездействующая система не использует 100% ЦП. Но потом я вспомнил, как обычно на события реагируют мгновенно. Возьмем, к примеру, движение мыши: курсор постоянно перерисовывается синхронно с физическими движениями.

Возможно, есть что-то фундаментальное в архитектуре ЦП, позволяющее запускать потоки на аппаратном уровне при изменении значения определенных адресов памяти?

У меня иначе нет идей! Может ли кто-нибудь помочь объяснить, что на самом деле происходит?