Я провожу торговое исследование для разработки Ada для Linux. Есть ли у вас хорошие рекомендации по компилятору/ОС?
Пока у меня есть GNAT от AdaCore, работающий на CentOS 5.4, и у меня есть запросы на лицензию для Rational Apex и Aonix ObjectAda.
Это попытка портирования. Исходной кодовой базой является Apex 3.0 на OSF1 4.0d.
Что-нибудь еще, что я должен рассмотреть? В идеале это должна быть поддерживаемая среда.
Одна из проблем, которую необходимо принять во внимание, заключается в том, чтобы определить, в какой степени ваша переносимая система использует пакеты, поставляемые поставщиком, для выполнения своих функций. То, что я видел со старыми, большими системами, особенно с Apex, — это склонность языковых гуру во время их разработки решать, что ванильная Ада просто недостаточно хороша, и поэтому привязываться ко всем этим пакетам, поставляемым поставщиками. Если это то, что ваша система делает прямо сейчас, это веский аргумент в пользу обновления внутри поставщика и использования Apex (при прочих равных условиях).
Всякий раз, когда я делал порты таких систем, если мне давали возможность, я делал все возможное, чтобы вырвать весь материал, поставляемый поставщиком - в девяти случаях из десяти замена компонентов, специфичных для поставщика, на ванильную реализацию Ады работала так же хорошо. , и вам больше не придется иметь дело с особенностями пакета, специфичного для компилятора. Кроме того, вы увеличиваете переносимость и ремонтопригодность системы, позволяя ей лучше адаптироваться к будущим изменениям.
Всегда есть SPARK, но я считаю, что это специализированная/подмножественная версия языка Ада. Возможно, вы захотите связаться с SigAda или с группой Ada usenet, чтобы узнать, есть ли какие-либо другие идеи.
Честно говоря, GNAT — отличный набор инструментов. Вы можете использовать GNATBench, интерфейс Eclipse, или GPS, облегченную среду разработки GTK+, для взаимодействия с инструментами GNAT.
Другие известные мне компиляторы: Green Hills AdaMULTI (для различных ОСРВ) и ОЦЕНКА DDC-I (также для различных ОСРВ)
Поставщики сертифицированных компиляторов, поддерживающих Linux (помимо перечисленных в вопросе):
