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

Г'НАТОвский :)

Интересная штука, потыкаю.

Там для не-x86 из поддерживаемой периферии только serial да таймер.

Я не очень внимательно смотрел. Действительно, пока under development.

GNU/Hurt

Может, стоит переписать управляющий софт для своего беспилотника на Аде?

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

Отличная новость - никогда раньше не слышал про эти проекты. Под формальной верификацией они имеют в виду SPARK я полагаю?

Кстати заметьте xeyes и прочие части X11 под капотом. Что в общем-то повторяет запуск тех же xfree386 на Линуксе аж в 1992 году. Хотя тут скорее всего линейный vesa fb, который дело немножко упрощает.

Интересная новость, хорошо заГНУли!

Про «формальную верификацию» я погуглил, в обсуждениях на Reddit ссылаются вот на это:

https://archive.fosdem.org/2023/schedule/event/open_source_formal_verification/

Вот это я понимаю, «тихо и незаметно»!

А то крыло не фитилит... :(

линейный vesa fb, который дело немножко упрощает.

При современной производительности железа вполне хватает скорости отрисовки графики в иксах,запущенных на vesa fb если комп используется для неигровых и неразвлекательных целей. Даже такие вещи как FreeCAD,KiCAD,OpenScad и Gimp вполне нормально работают,во всяком случае в Линуксе.

хорошо заГНУли!

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

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

Вы про Inferno слышали?

О как!

Но надо поизучать вопрос. Поставил себе в мемориз.

про Inferno слышали?

Да,слышал когда-то так как периодически из любопытства интересуюсь операционными системами,отличными от «общепринятых». Но насколько я помню - эта на Си написана,а не на Аде. А мне более интересно то что написано на Аде.

тормозилово @ глюкалово @ рандеву

А мне более интересно то что написано на Аде

Есть ОС Oberon A2 © – почти «мини-лайт Ада» :)
Ежели в него влить финансы и разработчиков, то можно получить интересный и практичный результат быстрее, чем Gloire.

почти «мини-лайт Ада» :)

Это конечно тоже много лучше чем Си,но мне Ада нравится больше. Как познакомился с ней тридцать лет назад так и влюбился :) Язык,идеально совместимый с моим мозгом.

MODULE Timer;

IMPORT ACPI, SYSTEM;

TYPE Counter* = SIGNED32;

VAR frequency: Counter;
VAR counter {UNTRACED}: POINTER {UNSAFE} TO RECORD value: SIGNED64 END;

PROCEDURE - GetInstructionTimer(): SIGNED64;
CODE
	RDTSC
END GetInstructionTimer;

PROCEDURE GetCounter- (): Counter;
BEGIN {UNCOOPERATIVE, UNCHECKED}
	IF counter = NIL THEN RETURN  SHORT(GetInstructionTimer() DIV (1024*1024));  (* return millions of instructions *) END;
	ASSERT (counter # NIL); RETURN SHORT (counter.value);
END GetCounter;

PROCEDURE GetFrequency- (): Counter;
BEGIN {UNCOOPERATIVE, UNCHECKED}
	IF counter = NIL THEN RETURN 1024 (* giga instructions as a rough guess *) END;
	RETURN frequency;
END GetFrequency;

Нет, не нравится.

На Pascal похожа :)

Да, но вот что непонятно:

• Counter* – что означает звёздочка?
• GetCounter- – что означает минус?
• неужели обязательно снова писать имя функции после END?

поддерживаемого оборудования пока мало

Список совпадает со списком виртуальных машин?

На скриншоте пятнистая нерпа почему-то напомнила Гленду из Plan 9

А для чего оно вообще?

хочу ос на Perl или Java ASM

что ответят rust-nerds?

лучше rust.

но мне Ада нравится больше. Как познакомился с ней тридцать лет назад так и влюбился

Всем хочется такую бабу, как Ада Лавлейс.

неужели обязательно снова писать имя функции после END?

Это читабельность улучшает. По сравнению с

    }
  }
}

Counter* – что означает звёздочка? GetCounter- – что означает минус?

Это какая-то не совсем Ада. В Аде и тип определяться должен как

Type Counter is SIGNED32;

И функция как

function GetCounter return Counter is ...

А это больше на Оберон похоже.

А если Оберон, то звёздочка обозначает экспортное имя.

А то крыло не фитилит... :(

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

function GetCounter return Counter is ... А это больше на Оберон похоже.

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

В общем, код из операционки Oberon A2.

Настораживает, очень настораживает. Враги стоят у наших границ, а их студенты вспомнили Аду…

Компилятор есть, как я понимаю, даже под Линукс (кумир), только вот ссылки со стнаницы на него битые

Там сам язык очень-очень ограниченный.

А про загадочные минусы в именах и перед именем в процедуре не нашёл?

Хорошо, но слишком многословно.
Вспоминается COBOL / DIBOL
многабукафф…

Не, не нашел: времени нет, текучка заела, да и пользы для себя, наверное.

У меня как было: работал с PL/SQL, решил посмотреть на родителя ADA, тем более когда-то в 90е годы, не будучи еще ит-шником, купил книгу по ADA, без компа, без компилятора почитал ее и ничего не понял, кроме того, что это «типа, круто и … платно». Вот и решил все таки узнать про ADA поближе, когда появилась возможность.

Сейчас «Oracle, давай до свидания», соответственно и PL/SQL и ADA.

А Oberon и не трогал, потому что по молодости работал с С/C++/Java/VB, а Oberon-ом, наверное, могли бы увлекаться Дельфийцы.

Сейчас «увлечение» - Rust, Julia, Mojo - в них вижу практическую пользу для себя и время потратил бы там покопаться (когда бы оно появилось после работы).

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

Хорошо, но слишком многословно.

«Что бы вы сделали, если бы проектировали Си сейчас? Добавил бы «e» в вызов creat.» (Кен Томпсон)

Многословный код зато легче читать (поэтому и был популярен Кобол).

Есть такой диалект Оберона, Component Pascal.

An identifier declared in a module block may be followed by an export mark (" * " or " - ") in its declaration to indicate that it is exported. An identifier x exported by a module M may be used in other modules, if they import M (see Ch.11). The identifier is then denoted as M.x in these modules and is called a qualified identifier. Variables and record fields marked with " - " in their declaration are read-only (variables and fields) or implement-only (methods) in importing modules.

https://blackbox.oberon.org/cp-lang.pdf

В Active Oberon, который в A2, вероятно, так же.

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

вот попишете на модулах/оберонах зарезервированные слова в верхнем регистре

Не знаю как на модулах/оберонах, но но PL/SQL, ADA, наверное, на Pascal ключевые слова, идентификаторы регистронезависимы - это раз.

Два - современные IDE обеспечивают форматирование в нужном стиле.

Три - действительно текст программы, когда ключевые слова и конструкции в верхнем регистре, а имена переменных, типов, пакетов, функций и т.д. в нижнем чисто визуально упрощает понимание логики программы (это кстати одна из рекомендаций Стивена Фейрштейна - одного из гуру PL/SQL - как он написал «3х-мерность кода») и упрощает поддержку (но не стоит забывать, что «Писать на фортране можно на любом языке»)

Два - современные IDE обеспечивают форматирование в нужном стиле.

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

современные редакторы уже обеспечивают подсветку синтаксиса. а модула разрабатывалась еще для одноцветных дисплеев и метода читки программ с бумажного листинга

Я начинал работать на одноцветных дисплеях и даже тот самый принтер немного застал. И мне действительно больше нравится «подсветка регистром» чем сильно попугаистая цветная раскраска программного кода в некоторых редакторах,которую я видел у знакомых программистов. Безусловно, это личные предпочтения, но мельтешение цвета вполне заметно мешает мне сосредоточиться при чтении кода.

отрастите мизинец, целящийся в shift

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

Впрочем - писать всё в одном регистре в Аде никто не запрещает. Это не Питон с его значащими пробелами,где в случае если их расстановка не понравится машине то код не работает. Я когда впервые с этим столкнулся был сильно удивлен такому возвращению к перфокартам ЕС ЭВМ где пробелы тоже были значащие. Думал что от этого неудобства давно ушли,однако нет - кому-то это видимо показалось удобным. Вот уж действительно - удобства штука очень субъективная. Кто-то и на Си пишет так что код напоминает результат работы какого-нибудь обфускатора.

продаю бизнес идею. нужны педали - shift/ctrl/alt. тогда дело в программировании пойдет шыбче, и сдвинется с мертвой точки.

ведь проще жать на педаль shift, чем удерживать клавишу мизинцем. мизинец не казенный, он есть просит.

Именно. Но если код смотреть, то там много где SPARK mode off.