Gloire — ОС с ядром Ironclad, написанном на языке Ada

на языке Ada

Как-то неправославно, знаете ли, писать ОС на языке ада.

Ну напишите на языке РАЯ, никто не против.

Кто бы говорил, у нас вообще демоны в ОС есть.

Так они того, католики.

FreeBSD?

И у бздунов тоже, да. Все грешники.

А в чем преимущества ядра?

formally verified, hard real-time

Да чтож такое, очередной одинокий энтузиаст осилил за пару лет то, чего мифическая «ОС GNU» нишмогла лет за тридцать.

Не такой уж и одинокий, не обошлось без помощи ада.

А там какой стандарт Ады?

Аццкий

Этот язык программирования назван в честь Аугусты Ады Лавлейс.

Считается первым в мире программистом, написавшим программу для вычислительной машины.

Хотели бы разрабы язык ада - назвали бы «Hell» или «Tartarus».

А я думал лютеране

Ну ты душнила! 🤦‍♂️

А вот я передушню: Ада не первый программист, а второй после бати. Она первый сторонний программист.

Кто бы говорил, у нас вообще демоны в ОС есть.

А вот в оффтопике - иконы и службы!

Ада не первый программист, а второй после бати.

Батя у неё Байрон. Что-то не помню, чтобы он код писал. Он больше по стихам был.

Какого бати? Тот лорд Байрон, что развелся с матерью Августы после ее рождения. Вы его первым программистом называете?

Возможно он «батей» (в кавычках) Беббиджа называет. Но он больше по железу. У Ады же в записях наоборот можно найти идеи структурного программирования. Описания циклов, ветвлений и т.д.

Ядро на Аде — интересная тема, интересней, чем этот ваш Руст.
Может, стоит переписать управляющий софт для своего беспилотника на Аде?

Прикольно! Вирт навсегда!
Есть ОС на Pascal, Ada, Oberon. Интересно, а на Algol есть?

Комментарии некоторых местных персонажей похожи на тексты Каббалы - что сказал не понятно, но звучит таинственно. И изволь додумывать сам, что автор изречения помыслил.

Батя - это который по железу, не по биологии. Отлаживая его, он совершенно явно программировал, без этого никуда.

Очередное just for fun?

Да что вы таки говорите!

Есть ОС на Pascal, Ada, Oberon. Интересно, а на Algol есть?

Были на Algol 68 (внизу статьи) ©.

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

только если компилятор подходящий найдёшь.

Так батя (если речь про Бэббиджа) железо не сделал, только спроектировал. Железо сделал батин сын, отставной полковник, когда уже ни бати, ни Ады в живых не было…

Спасибо, Кэп!

Ты смотри. На реальном железе и в 64 битном режиме. Hurd чувствует hurt ниже спины.

А что, проблемы? Был на сайте, вроде бы нет вопросов.

Ради прикола забанил всех последователей филолога Задорнова. По сути новости осталось всего 10 комментариев. М-да.

Их и вообще-то, всего 34.

Я нигде не нашёл информацию, микроядерное оно или монолит, так что это ещё вопрос, кому Hurt чувствовать — Hurd-у или линуксу…

коэшн! на stm8 пробовал адско прогать?

Ага! Ошибка! На x86 нет hard real time благодаря SMI

А кто ж видел-то? Может оно в 4х мегабайтах хорошо себя чувствует?

Классные все-таки у них парашюты, из синтентики и со слайдерами. Не то, что наши школьники-убийцы.

Так и я первым программистом могу быть, под меня просто железа не сделали пока.

Глуар?

Нет.

Да хорошо бы... Но ориентация явно на встраиваемые системы. Автору ядра явно надоело писать всякие бортовые системы, если он сразу пишет код с учетом формальной верификации.

или «Tartarus».

Полезный коммент. Повышает эрудицию. Еще зашел погугил про слово, «эрудиция» значит сглаживание невежества.

Интересная штука, надо куда-то в закладки положить что-ли... Будем посмотреть, что из этого выйдет. Мужик там в одно лицо ядро лабает, может помочь ему чем? Глядишь и Аду выучим наконец-то... :)

CDC с Барроузом использовали Алгол как системный язык, типа как PL/1 у IBMa. Все ли их операционки целиком на Алголе писаны, про то не знаю, и явно не все, но куски были на нем были написаны.

hard real-time

На x86? Оно что, умеет полностью отключать IntelME/PSP? Или просто речь о каких-нибудь i486/первопнях где hard real-time был хотя бы теоретически возможен?

Ты сходи на сайт ядра, оно ориентировано на всякие не-интеловские одноплатники в основном. X86 поддерживается опционально, как я понял.

Если бы ТС запустил на своей машине…
В общем, неуважуха.