>в результате выяснилось, что чем больше cores, тем больше монолитное kernel тратит
>
>времени на синхронизацию доступа к критическим секциям, семафоры, и т.п. фигню.
нихрена подобного не выяснялось. RTLinux весьма монолит но на любой чих там свой ядреный процесс. То же самое происходит и в микроядре. Вся разница между ними - это ЛИШЬ способ защиты памяти ядра: в монолите один на всех, а в микроядре у каждого потока свое пространство.

>не говоря уже о том, что написать нетривиальное SMP-приложение - это очень
>сложная задача.
>при переходе FreeBSD

и только в этом месте стало примерно понятно почему Вы не любите монолит.
Но почему бы не обратить внимание на то, что линух это не ядро BSD?
Там до сих пор наводит страх giantLock.

Линух же еще с прошлого мажора весьма культурен в многопроцессорной системе.

Как сказал на днях Михаил о Линуксе и федоре - можно примено также выразиться и о монолите и BSD :)
"Не нужно судить о монолите по BSD ядру" (ц)