Ник:
Пароль:

Контакты

E-mail: info@starterkit.ru
тел.: +7 922 680-21-73
тел.: +7 922 680-21-74
Телеграм: t.me/starterkit_ru

Способы оплаты

User Info


Добро пожаловать,
Guest

Регистрация или входРегистрация или вход
Потеряли пароль?Потеряли пароль?

Ник:
Пароль:

ПользователейПользователей:0
Поисковых ботовПоисковых ботов:2
ГостейГостей:1

ОбновитьПодробнееВсегоВсего:3
Форум » starterkit.ru » Общение
L4Ka::Pistachio
alman
Добавлено 04.02.2011 16:53 Редактировалось 04.02.2011 17:01
0
Сообщение: 1
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Здравствуйте.

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

Есть непреодолимое желание портировать L4Ka::Pistachio на архитектуру ARM. Вообще-то, NICTA и Open Kernel Labs уже давно портировали Pistachio на ARM и изменили лицензию на коммерческую, однако у меня остались старые исходники Pistachio, в которых есть поддержка процессоров ARM и которая распространялась под Two Clause BSD License.

Собственно вопросы:
Кто нибудь пробовал запустить Pistachio на developmnt boards и с каким успехом? Есть ли заинтересованные в использовании микроядра L4 на ARM?

Спасибо.
Спуститься к концу Подняться к началу
Персональная информация
rw9uao
Добавлено 04.02.2011 19:29 Сообщение: 2
rw9uao
Ранг
5

Группа: Клиенты
Пункты: 6973
Регистрация: 26.03.2009
а в чем проблема то? уарт сначала, дальше проще. в качестве загрузчика можно у-бут использовать. для 926 ядер. арм7 не рассматриваю, нету =)
Спуститься к концу Подняться к началу
Персональная информация
sasamy
Добавлено 04.02.2011 21:05 Редактировалось 04.02.2011 21:11 Сообщение: 3
sasamy
4.71

Пункты: 83603
Регистрация: 14.08.2009
Цитата

Есть ли заинтересованные в использовании микроядра L4 на ARM?


А какой от этого толк ? как вы написали это _микроядро_, кто будет писать всю остальную надстройку ? или там уже есть готовые сервисы ? Помоему они просто используют микроядро в качестве гипервизора для ядра linux, вот в таком случае я не вижу от него никакого прока, проще нативно использовать linux. Понятно что за микроядрами будущее, но на данный момент на L4 поднять полноценную ОС это слишком сложно.
Спуститься к концу Подняться к началу
Персональная информация
alman
Добавлено 05.02.2011 12:01 Сообщение: 4
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Цитата

А какой от этого толк ? как вы написали это _микроядро_, кто будет писать всю остальную надстройку ?


А вот я категорически не согласен с Вами. Микроядро написал не я, а команда университета Karlsrue. Обвязку как раз пишу я - в моём профиле можете найти результат.

Цитата
или там уже есть готовые сервисы ?


Не сочтите за рекламу, просто посмотрите http://l4os.ru.

Цитата
Помоему они просто используют микроядро в качестве гипервизора для ядра linux, вот в таком случае я не вижу от него никакого прока, проще нативно использовать linux.


Совершенно верно и тут я полостью поддерживаю Вас. И то, что Вы так думаете, придаёт мне хороший оптимизм и веру в будущее.

Цитата
Понятно что за микроядрами будущее, но на данный момент на L4 поднять полноценную ОС это слишком сложно.


Честно говоря, я знаю, насколько это сложно. Именно потому, что отдал этому много много лет жизни. Таки посмотрите проект Xameleon - это и есть обвязка поверх микроядра.
Спуститься к концу Подняться к началу
Персональная информация
alman
Добавлено 05.02.2011 12:08 Сообщение: 5
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Цитата
а в чем проблема то? уарт сначала, дальше проще. в качестве загрузчика можно у-бут использовать. для 926 ядер. арм7 не рассматриваю, нету =)


Если интересно, я могу прислать исходники L4Ka::Pistachio, версии, которая ещё поддерживает ARM. Лицензия Two Clause BSD. В какой-то момент, разработчики вырезали поддержу ARM из Pistachio и целиком отдали поддержку ARM вот этим ребятам: http://www.ok-labs.com/
Спуститься к концу Подняться к началу
Персональная информация
rw9uao
Добавлено 05.02.2011 12:09 Сообщение: 6
rw9uao
Ранг
5

Группа: Клиенты
Пункты: 6973
Регистрация: 26.03.2009
тут и выложите. вдруг пригодится =)
Спуститься к концу Подняться к началу
Персональная информация
alman
Добавлено 05.02.2011 12:51 Редактировалось 05.02.2011 15:34 Сообщение: 7
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Цитата
тут и выложите. вдруг пригодится =)


Выкладываю версию с поддержкой ARM.
На мой взгляд, самое интересное помимо кода, это спецификация вызовов микроядра ./doc/refman/l4-x2.pdf
Очень красивое решение. Очень.

файл ./kernel/src/api/v4/ipcx.cc запатчен мной на предмет корректной передачи строк в IPC. Разработчики патч не приняли.

Кстати, это к делу не относится, но я верю, что спецификация l4-x2 рано или поздно появится в самом железе, например в микропрограмме процессора.

Attachment file: uploads/forum/forum-TeYImCCWjf-2616.tgz
Спуститься к концу Подняться к началу
Персональная информация
sasamy
Добавлено 05.02.2011 18:28 Сообщение: 8
sasamy
4.71

Пункты: 83603
Регистрация: 14.08.2009
Сходил на l4os.ru - проект закрытый. В общем для меня это сразу крест на нем :) намного интереснее открытый проект Дрезденского университета (спасибо что напомнили про l4 - давно им не интересовался)
http://os.inf.tu-dresden.de/L4Re/
gpl, поддержка ARM из коробки, скорей всего буду заниматься с ним.
Спуститься к концу Подняться к началу
Персональная информация
sasamy
Добавлено 05.02.2011 19:43 Редактировалось 05.02.2011 20:03 Сообщение: 9
sasamy
4.71

Пункты: 83603
Регистрация: 14.08.2009
титл титлом но реализация l4 от Дрезденского университета мне ближе
Цитата

In contrast to L4Ka::Hazelnut, which does not allow concurrency in the kernel at all and its successor L4Ka::Pistachio, which allows interrupts in the kernel only at specific preemption points, L4/Fiasco is fully preemptible (with the exception of extremely short atomic operations) to achieve a low interrupt latency. This was considered necessary because L4/Fiasco is used as the basis of DROPS, a hard real-time capable operating system, also developed at the TU Dresden.


киллер-фича фисташки в том что оно верифицировано - математически доказано его полное bug free. Это все круто но предлагаю заглянуть в даташит _любого_ современного процессора/микроконтроллера и увидишь там приличную еррату :)

Хотя помоему наврал - верифицировано ядро в исполнении OKL4, черт ногу там сломит в этих l4 :)

2alman не могли бы Вы провести краткий ликбез если есть время и желание - достоинства и недостатки реализаций l4.
Спуститься к концу Подняться к началу
Персональная информация
alman
Добавлено 05.02.2011 21:19 Сообщение: 10
alman
2

Пункты: 740
Регистрация: 04.02.2011
Пол: Мужчина
Цитата
Сходил на l4os.ru - проект закрытый. В общем для меня это сразу крест на нем :)


Ваше право. Я не обижаюсь и не спорю - каждый волен выбирать что ему по-душе.

Цитата
намного интереснее открытый проект Дрезденского университета (спасибо что напомнили про l4 - давно им не интересовался)
gpl, поддержка ARM из коробки, скорей всего буду заниматься с ним.


Вы о Fiasco? Как корабль назовёшь, так он и поплывёт. :)
Между прочим, я начинал именно с Fiasco, даже доказательство есть - http://savannah.nongnu.org/projects/l4-console/

Давайте будем честными - Pistachio лучше спроектирован,чем Fiasco. И самое главное, не побоюсь повториться, это спецификация l4-x2. Очень близко к идеалу.
Спуститься к концу Подняться к началу
Персональная информация
Форум » starterkit.ru » Общение