Как реализовано программирование, управляемое событиями?

Я смотрел, как работают фреймворки twisted и node.js, и я пытаясь понять, как именно операционная система поддерживает ввод-вывод операций с использованием обратных вызовов.

Я понимаю, что это хорошо, потому что нам нужно меньше потоков, потому что мы не необходимо заблокировать потоки, ожидающие операций ввода-вывода. Но что-то должен вызвать обратный вызов после завершения ввода-вывода.

Как это реализовано в операционной системе?