Состоялся выпуск разделительного ядра (separation kernel) Muen, развиваемого швейцарской компанией Codelabs.

Muen поддерживает только платформы Intel x86_64 и позволяет гарантировать, что запущенные в нём ядра ОС и приложения не могут получить доступ к ресурсам сверх выделенной для них квоты. Это касается, в том числе, оперативной памяти, процессорного времени и доступа к устройствам ввода-вывода.

( читать дальше... )

>>> Подробности

Недавно на Github появился репозиторий операционной системы Gloire. Gloire использует ядро Ironclad, написанное на языке программирования Ada, и пользовательское окружение GNU. На сайте, посвященном Ironclad, написано что оно находится в процессе «формальной верификации».

( читать дальше... )

>>> Подробности

Вернее фреймворка для построения операционных систем — именно такую терминологию предпочитают авторы из Genode Labs.

Данный конструктор микроядерных ОС поддерживает несколько микроядер из семейства L4, ядро Muen и собственное минималистичное ядро base-hw.

Разработки доступны под лицензией AGPLv3 и, по желанию, коммерческой лицензией: https://genode.org/about/licenses

Попытка сделать вариант, доступный для использования кем-то помимо энтузиастов разработки микроядер называется SculptOS: https://genode.org/download/sculpt

В данном релизе:

• полная переработка графического стека (в будущем позволит без проблем рестартовать драйвера в случае сбоя);
• улучшения в интеграции Qt, позволившие частично портировать браузер Falkon (что достаточно наглядно иллюстрирует степень готовности к использованию ОС обывателями);
• обновления подсистемы шифрования (написанной на SPARK/Ada!);
• обновления VFS;
• и множество других улучшений.

Из особенностей данного проекта можно отметить следующее:

• повсеместное использование xml в качестве формата конфигурации - что может вызвать идиосинкразию у некоторых комментаторов;
• эталонный уровень написания release notes и документации — если бы все открытые проекты придерживались подобных стандартов жизнь была бы легка и удивительна.

В целом проект радует регулярными релизами, активно и планомерно развивается и выглядит очень перспективным в качестве альтернативы GNU/Linux в светлом микроядерном будущем. Увы, отсутствие порта Emacs демотивирует автора новости от попыток познакомится с наработками проекта глубже, чем чтение документации.

>>> Подробности

Новое издание компилятора и набора рабочих программ Ada предоставляет множество новых функций и улучшений:

• полная поддержка стандарта Ada 2012;
• улучшение поддержки C/C++, улучшение автоматической коррекции ошибок, улучшенное меню для Version Control System, улучшение в работе MDI (Multiple Document Interface);
• теперь поддерживается GTK-2.24;
• поддержка выгрузки плагинов;
• улучшена интеграция Ada/C++;
• расширена система сообщений об ошибках и предупреждениях.

GNAT GPL и SPARK GPL издания доступны для разработчиков свободного программного обеспечения. Компилятор лицензируется на условиях GNU General Public License. Библиотека рабочих программ лицензируется либо под GNU General Public License («GNAT GPL Edition» от AdaCore), либо GNAT Modified General Public License (GCC, GNAT Pro). GNAT — часть большинства дистрибутивов Linux и BSD.

>>> Подробности

Не так давно компания AdaCore выпустила новую версию компилятора языка Ada — GNAT GPL 2011. В новой версии:

• улучшена поддержка стандарта Ada 2012;
• улучшения в системе разработки GNAT Programming Studio и в GtkAda;
• поддержка Lego Mindstorms, в том числе аудио и датчиков I²C.

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

>>> Подробности

На сайте AdaCore доступна новая версия Ada компилятора GNAT.

Кроме непосредственно компилятора, в GPL версии доступны:

• Ada-Java Interfacing Suite — набор инструментов для связывания кода на Ada и Java.
• Ada Web Server — инфраструктура для разработки Web-приложений.
• GNAT Programming Studio — мощная IDE для языка Ada.
• PolyORB — унифицированное решение для разработки распределённых приложений, основанных на CORBA, Ada 95 Distributed System Annex, SOAP.
• SPARK GPL — подмножество языка Ada и набор инструментов для статического анализа, предназначенные для разработки ПО с особыми требованиями к надёжности и безопасности.
• GtkAda, XML/Ada, AUnit.

В этой версии также добавлена базовая поддержка возможностей будущего стандарта языка — Ada 2012.

Загрузить GNAT GPL 2010 можно отсюда.

>>> Подробности

Вышел релиз связки библиотеки Qt и языка Ada - QtAda версии 3.0.0.

Основные изменения:

• Поддержка Qt4 версии 4.5.1.
• Добавлена поддержка модулей QtXml, QtSql.
• Улучшена работа компилятора метаинформации amoc (аналог Qt moc).
• Существенно упрощен процесс создания программ с использованием связки.
• Добавлена поддержка системы сборки gnat project files, что значительно упрощает сборку проекта.
• Связка реализована для более чем 190 классов модулей Qt.

QtAda предоставляет:

• поддержка создания пользовательских виджетов и их использования в программе Qt Designer;
• использование «родного» механизма сигналов/слотов - позволяет передавать сигналы между нитями;
• встроенный компилятор метаинформации с генерацией Ada кода;
• загрузка созданных Qt Designer форм во время исполнения программы;

В настоящий время ведется ведется разработка компилятора интерфейса пользователя (аналог uic).

Скачать QtAda можно с официального сайта: www.qtada.com

Также запущен проект QtAda Examples, по переносу примеров имеющихся в Qt с языка C++ на язык Ada. Все желающие могут присоединиться.

>>> Подробности

Вышел релиз GNAT GPL 2009 — сборка компилятора GCC от AdaCore.

Новшества:

Добавлена поддержка автоматического импорта определений из C и C++ заголовочных файлов. Теперь не надо дожидаться, пока кто–нибудь сделает привязки. (link link)

Стандартная утилита сборки пакетов gprbuild облегчает задачу сборки смешанных проектов (Ada&C++). Это упрощает внедрение Ады в проекты, уже начатые на C или C++. (link)

Появился порт для JVM, а также набор утилит AJIS, с помощью которых можно на высоком уровне из Java кода вызывать нативный Ada код и наоборот. (link)

Почти одновременно вышел SPARK GPL 2009. SPARK — это набор утилит, проверяющих утверждения касательно кода программы. С точки зрения компилятора, все утверждения находятся в специального вида комментариях, поэтому после успешной верификации исходники компилируются обычным компилятором Ады. Это первый раз, когда SPARK сделан доступным публично. (link)

После долгого перерыва снова есть порт на Mac OS X (x86_64). Предыдущий порт на Mac OS X был в 2006м году для PowerPC.

Полный список платформ в релизе, таким образом:

• dotnet-windows
• jvm-windows
• x86-windows
• x86-linux
• x86_64-linux
• x86_64-darwin

>>> Подробности

Вышел релиз GNAT GPL 2008 — набор средств разработки на языке Ада-95/2005 (компилятор, IDE, профайлер, отладчик, масса библиотек).

Основные новшества:

• Улучшена поддержка стандарта Ада-2005 (с т.з. как строгого следования стандарту, так и эффективности реализации).
• Добавлена поддержка пред- и постусловий (через pragma).
• Добавлены новые предупреждения компилятора для выявления на ранних стадиях потенциальных ошибок программы.
• Порт под Windows .NET
• Расширение набора стилей и стандартов программирования поддерживаемых утилитами: gprof, gcov, gnatcheck, gnatpp и gnatmetric.

В составе GNAT GPL 2008 в качестве IDE включен как GPS (Gnat Programming Studio — собственная среда разработки), так и GNATbench (плагин к Eclipse).

GNAT GPL 2008 доступен для следующих платформ:

• linux-x86
• linux-x86_64
• windows-x86
• windows-dotnet

>>> Подробности