Почему Linux называют монолитным ядром?


209

Я читал, что Linux - это монолитное ядро. Означает ли монолитное ядро ​​компиляцию и компоновку всего кода ядра в исполняемый файл?

Если Linux может поддерживать модули, почему бы не разбить все подсистемы на модули и загрузить их при необходимости? В этом случае ядро ​​не должно загружать все модули изначально и может поддерживать индекс функций в модуле и загружать их при необходимости.

Ответы:


291

Монолитное ядро ​​- это ядро, в котором все службы (файловая система, VFS, драйверы устройств и т. Д.), А также основные функции (планирование, распределение памяти и т. Д.) Представляют собой сплоченную группу, разделяющую одно пространство. Это прямо против микроядра .

Микроядро предпочитает подход, в котором функциональность ядра изолирована от системных служб и драйверов устройств (которые в основном являются просто системными службами). Например, VFS (виртуальная файловая система) и файловые системы блочных устройств (например, minixfs) - это отдельные процессы, которые выполняются вне пространства ядра, используя IPC для связи с ядром, другими службами и пользовательскими процессами. Короче говоря, если это модуль в Linux, то это сервис в микроядре, указывающий на изолированный процесс.

Не путайте термин модульное ядро с чем-либо, кроме монолитного. Некоторые монолитные ядра могут быть скомпилированы для модульности (например, Linux), важно то, что модуль вставляется и запускается из того же пространства, которое обрабатывает функциональность ядра (пространство ядра).

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

Недостаток микроядра в том, что асинхронный обмен сообщениями IPC может стать очень трудным для отладки, особенно если реализованы фибриллы . Кроме того, простое отслеживание проблемы FS / записи означает проверку процесса пользовательского пространства, службы блочных устройств, службы VFS, службы файловой системы и (возможно) службы PCI. Если вы ничего не знаете, самое время взглянуть на сервис IPC. Это часто проще в монолитном ядре. GNU Hurd страдает от этих проблем отладки ( ссылка ). Я даже не собираюсь вдаваться в контрольные точки при работе со сложными очередями сообщений. Микроядра не для слабонервных.

Кратчайший путь к работающему стабильному ядру - это монолитный подход. Любой из этих подходов может предложить интерфейс POSIX, где разработка ядра становится малоинтересной для человека, который просто хочет написать код для работы с любым конкретным проектом.

Я использую Linux (монолитный) в производстве. Тем не менее, большая часть моего обучения, взлома или возни с разработкой ядра идет в микроядро, в частности HelenOS .

редактировать

Если вы дошли до этого из-за моего очень многословного ответа, вам, вероятно, будет весело читать « Великие дебаты Торвальдса-Таненбаума о разработке ядра ». Это даже смешнее читать в 2013 году, более чем через 20 лет после его появления. Самой смешной была подпись Линуса в одном из последних сообщений:

Linus "my first, and hopefully last flamefest" Torvalds

Очевидно, что это сбылось не больше, чем предсказание Таненбаума о том, что x86 скоро устареет.

NB:

Когда я говорю «Minix», я не имею в виду Minix 3. Кроме того, когда я упоминаю The HURD, я ссылаюсь (главным образом) на микроядро Mach. Я не намерен унижать недавнюю работу других.


5
Интересно, что Линус Торвальдс находился под сильным влиянием MINIX Андью Таненбаума, когда он создавал Linux. Тем не менее, MINIX основан на микроядерном дизайне, а Linux использует монолитное ядро.
Martin Liversage

2
@Martin Liversage: Больше разочарован, чем под влиянием :) Я отредактировал свой ответ, чтобы отразить это.
Тим Пост

25
@DigitalRoss: вы должны увидеть мой почтовый ящик после ответа, Линус ручная работа по сравнению с энтузиастами Minix и Mach.
Тим Пост


3
@p_l Я думаю, что это довольно близко к тому времени, когда нам нужно поговорить о различиях между микро, монолитным и гибридным. Это может быть довольно хороший вопрос :)
Тим Пост

15

Монолитное ядро ​​означает, что вся операционная система работает в режиме ядра (то есть высоко привилегированна аппаратным обеспечением). То есть ни одна часть ОС не работает в пользовательском режиме (более низкая привилегия). Только приложения поверх операционной системы запускаются в пользовательском режиме.

В немонолитных операционных системах с ядром, таких как Windows, большая часть самой ОС работает в пользовательском режиме.

В любом случае ОС может быть очень модульной.


9
Windows, безусловно, является монолитным ядром.
Адам Розенфилд

7
@ Адам: я не согласен. 16-битная Windows старого стиля была монолитным ядром, как и Windows 95 и тому подобное. Но выпуски Windows на базе NT, включая все версии сервера, а также Vista и 7, являются явно микроядерными или, возможно, гибридными, в зависимости от того, какое определение «микроядро» вы используете.
CesarGon

8
То, что драйверы принтера не работают в ring0, не делает его микроядром :)
caf

7
@caf: Я предлагаю вам взглянуть на en.wikipedia.org/wiki/Windows_NT_kernel и en.wikipedia.org/wiki/Comparison_of_operating_system_kernels . Вы увидите, что Windows NT и их преемники, включая Vista, 7 и Серверы, описаны как «гибридное ядро». Две большие подсистемы ОС полностью работают в пользовательском режиме, а не только в драйвере принтера. :-)
CesarGon

7
Мой комментарий был несколько насмешливым - «гибридное» обозначение кажется настолько бесполезным, что бесполезным.
кафе

10

; tl-dr - нет, Linux всегда монолитен.

Модули Linux могут означать модульность в некотором смысле. Как уже отмечали другие, монолитное обычно представляет собой микроядро по сравнению с монолитным ядром. Традиционное микроядро имеет только эти особенности,

  1. планирование
  2. Управление памятью
  3. Межпроцессное взаимодействие

В основном ядре нет аппаратных драйверов , стеков протоколов , файловых систем , приостановки / возобновления , управления часами и т. Д. Эти вещи идентичны любой пользовательской задаче (хотя они могут иметь разные привилегии через MMU / планировщик).


Предсказания Таненбаума

  1. Микроядра - это будущее
  2. x86 вымрет, а архитектуры RISC будут доминировать на рынке
  3. (Через 5 лет) все будут использовать бесплатную ОС GNU

Программисты для ПК и серверов могут смеяться, но два и три, безусловно, верны для большинства существующих сотовых телефонов. Таненбаум был бы прав во всех отношениях, если бы BlackBerry QNX был успешным.

Кроме того, многие гипервизоры L1 имеют микроядра внизу. Это потому, что гипервизор обычно мало что делает помимо переключения контекста .

По-видимому, три предсказывают успех Linux. ;-)


Аргументом для микроядра является то, что все монолитные подсистемы должны синхронизировать несколько значений одновременно. Чтобы сделать это, они должны использовать замки и пострадают от закона Амдала при распространении на параллельные архитектуры. Счетчик в том, что микроядра приводят к большому количеству сообщений IPC.

Основное развитие - использование программирования без блокировок, чтобы избежать конфликтов в монолитном ядре. Это позволяет избежать блокировки в монолитном ядре, а также снижает накладные расходы IPC. В последнее время все процессоры расширяют свои ISA, чтобы включить лучшие примитивы для алгоритмов без блокировки . Таким образом, Linux, вероятно, останется монолитным ядром в течение некоторого времени.


1
Да, я знаю, что Таненбаум имел в виду Херд. Но GNU перешел на Linux, поэтому формулировка смешная.
бесхитростный шум

Почему не хватает x86 для мобильных устройств? Что делает другие архитектуры выгодными?
Абдул


Да, это важно. Трудно сделать x86 SOC (система на кристалле). Не существует стандартного кода HDL для создания x86, который может купить поставщик SOC (Broadcom, Freescale и т. Д.).
бесхитростный шум

9

Из Википедии :

Монолитное ядро ​​- это архитектура ядра, в которой вся операционная система работает в пространстве ядра и в режиме супервизора. В отличие от других архитектур, монолитное ядро ​​определяет только виртуальный интерфейс высокого уровня над компьютерным оборудованием с набором примитивов или системных вызовов для реализации всех служб операционной системы, таких как управление процессами, параллелизм и управление памятью, а также один или несколько драйверы устройств в виде модулей.

Последние версии Windows, с другой стороны, используют гибридное ядро .

Гибридное ядро ​​- это архитектура ядра, основанная на сочетании аспектов микроядерной и монолитной архитектур ядра, используемых в компьютерных операционных системах. Категория является спорным из-за сходства с монолитным ядром; термин был отклонен некоторыми как простой маркетинг. Традиционные категории ядер - это монолитные ядра и микроядра (с наноядрами и экзокернами, которые рассматриваются как более экстремальные версии микроядер).


7
Если я когда-нибудь что-нибудь сделаю в пространстве ядра, я должен помнить, чтобы где-нибудь использовать «Hybric Kerkel». SCNR ;-)
Юрген А. Эрхард

1
Windows NT всегда была гибридной системой. Ядро может быть не совсем гибридным, но вы сталкиваетесь с вопросом о том, что вы считаете его частью (например, winapi реализован как сервис пользовательского пространства)
p_l

5

«Монолитный» в этом контексте не означает, что существует один большой исполняемый файл, и, как вы говорите, Linux поддерживает динамическую загрузку модулей ядра во время выполнения. Говоря о ядрах, «монолитный» означает, что вся операционная система работает в «привилегированном» или «супервизорном» режиме, в отличие от других типов операционных систем, которые используют тип ядра, такой как «микроядро», где только минимальное Набор функций работает в привилегированном режиме, а большая часть операционной системы работает в пользовательском пространстве.

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


Проверьте свои источники. Википейдж не цитируется. www2.cs.uh.edu/~rzheng/course/COSC6397sp2008/…
monksy

2

Монолитное ядро ​​представляет собой один большой процесс, работающий полностью в одном адресном пространстве. Это один статический двоичный файл. Все службы ядра существуют и выполняются в адресном пространстве ядра. Ядро может вызывать функции напрямую. Примерами монолитных ядер на основе ОС являются Linux, Unix.

Я думаю, что этот пост поможет вам больше понять концепцию.

http://learnlinuxconcepts.blogspot.in/2014/03/what-are-monolithic-and-micro-kernels.html


Хотя эта ссылка может ответить на вопрос, лучше включить сюда основные части ответа и предоставить ссылку для справки. Ответы, содержащие только ссылки, могут стать недействительными, если связанная страница изменится.
Скотт
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.