>[оверквотинг удален]
> или стоит обработать ответ на сообщение асинхронно, продолжая выполнять другую работу.
> Например, есть жёсткий диск, есть драйвер жёсткого диска. Этот драйвер является отдельным
> процессом и он привязан к одному процессору. На другом процессоре этот
> же драйвер запуститься не может, а на том же самом процессоре
> драйвер-процесс не сможет сам себя вытеснить. Все обращения к жёсткому диску
> попадают в виде сообщений в очередь сообщений драйвера-процесса и обрабатываются по
> очереди.
> Всё это существенно отличается от парадигмы реентерабельности единого образа ядра, когда
> любой процесс может попытаться обратиться к ресурсу любого процессора. При этом
> приходится постоянно проверять доступность ресурса и блокировать его.

Всё верно! Если сказать простыми словами, то там используются LWKT (Light Weight Kernel Threads), т.е. каждый процесс обладает собственным планировщиком. Насколько я помню, именно из-за реализации этиз концепций Диллон и ушел из FreeBSD.