- PVSM.RU - https://www.pvsm.ru -
Первые версии микроядра L4 были настолько малы, что могли целиком поместится в кэше современных процессоров. Вероятно, этот факт породил миф о микроядре L4: «Оно быстрое, потому что маленькое». Даже в настоящее время нередко можно услышать эту версию. Так можно ли разместить микроядро в процессоре и как это сделать?
Чтобы ответить на вопрос, как поместить микроядро в кристалл, необходимо представить, что же такое микроядро L4 и какие функции оно выполняет. Можно смело сказать, что L4 держится на трёх китах:
В результате родился документ с довольно скучным описанием регистров, алгоритмов и рекомендаций:
Формальное описание аппаратного микроядра L4 (L4_Hard_20130119.pdf, 1046Кб) [1]
Документ описывает расширение системы команд микропроцессоров для реализации аппаратной поддержки микроядра L4 ревизии X2 и совместимых спецификаций. Документ основываетя на следующих соглашениях
Документ описывает реализацию аппарантного планировщика, совместимого с L4-X2. Предложенная версия документа исправлена с учётом нескольких обсуждений:
Дайджест обсуждения «Отечественные микропроцессоры (2) (часть 2)» [2]
Аппаратное микроядро. Final discussion [3]
Дайджест обсуждения «Отечественные микропроцессоры (2) (часть 3)» [4]
Миниатюра, описывающая регистры задачи:
Предлагается использование большого регистрового файла, который поделен на две части — одна часть содержит массив, каждый элемент которого является блоком регистров задачи. Вторая часть большого регистрового файла содержит массив, каждый элемент которого является буфером сообщения. Также добавляется несколько глобальных регистров планировщика. Переключение задач осуществляется коммутацией блока регистров с исполнительным устройством. Передача сообщений осуществляется перекоммутаций буфера сообщений от задачи источника задаче приёмнику.
Надеюсь, документ вызовет интерес у уважаемого сообщества. Идеи, которые возникунт в результате обсуждения, будут внесены в следующую версию документа. Приятного чтения!
Автор: alman
Источник [5]
Сайт-источник PVSM.RU: https://www.pvsm.ru
Путь до страницы источника: https://www.pvsm.ru/vy-sokaya-proizvoditel-nost/25215
Ссылки в тексте:
[1] Формальное описание аппаратного микроядра L4 (L4_Hard_20130119.pdf, 1046Кб): http://l4os.ru/download/L4_Hard_20130119.pdf
[2] Дайджест обсуждения «Отечественные микропроцессоры (2) (часть 2)»: http://forum.ixbt.com/post.cgi?id=print:8:23617&user=%20xameleon
[3] Аппаратное микроядро. Final discussion: http://www.linux.org.ru/forum/talks/8719518
[4] Дайджест обсуждения «Отечественные микропроцессоры (2) (часть 3)»: http://forum.ixbt.com/post.cgi?id=print:8:24130&user=%20xameleon
[5] Источник: http://habrahabr.ru/post/113654/
Нажмите здесь для печати.