Есть ли какое-либо применение L4 (микроядра)?[закрыто]

Question

Я много гуглил о микроядре L4 и обнаружил, что на L4 очень мало ресурсов.

1. На какие хорошие ссылки я могу сослаться ?
2. Есть ли какое-либо применение L4 (т. е.где он используется)?

Answer 1

Предположительно, год назад количество установок L4 превысило миллиард, так что короткий ответ - да.Согласно моему чтению, Linux, работающий поверх L4, работает в несколько раз быстрее, чем в одиночку, что делает возможным использование Linux L4, а Android был портирован на L4 поверх linux.На мой взгляд, если запущено так много установок, почему мы не можем сделать L4 доступным для нас через оболочку, такую как ksh или bash?Короткий ответ - драйверы;боги L4 выбрали для нас, что L4 должен быть Linux для поддержки драйверов, даже несмотря на то, что в Linux не хватает драйверов.Немного об этом есть здесь, в этом сообществе wiki: http://alopex.li/wiki/L4FiascoTutorial И обоснование для L4 / Linux здесь: http://www.slideshare.net/sartakov/03-advanced-components

Если драйверы настолько проблематичны, что свободное программное обеспечение не позволяет коммерческим поставщикам писать их, то почему бы не создать версию "qt" для разработчиков драйверов, то есть общедоступный набор, который объединяет функциональность компьютера для определения драйверов.Затем разработчики операционной системы создали бы серверную часть для своей операционной системы таким образом, чтобы поставщику оставалось выполнить эту работу только один раз.

Другой полезной темой является идея виртуальной машины поверх L4 с использованием Perl Parrot VM (PVM) в качестве гипотетического примера;если бы L4 можно было изменить, чтобы он выполнялся строго в регистрах....представьте себе это представление

Answer 2

L4 - это семейство микроядер, разделяющих более или менее общий API и некоторые базовые идеи / концепции.

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

О приложениях: Существует ядро L4 от ok-labs.com , которое, например, использовалось в Motorola Evoke для запуска стека приложений бок о бок со стеком основной полосы частот на одном процессоре. Ядро от ok-labs также используется для размещения стека основной полосы частот iPad2.

sysgo.com имеет ядро под названием PikeOS, которое они используют для аэрокосмических / оборонных приложений.

Answer 3

Согласно Эндрю Таненбауму, L4 используется в сотовых телефонах (пятый из последнего ответа,или вы можете выполнить поиск по тексту «L4»).К сожалению, мне не удалось найти ничего, кроме веб-сайта L4 и FIASCO .