Ada_Ru форум

Обсуждение языка Ада

avr-gnat

Оставить новое сообщение

Сообщения

Alexandre Makeev
avr-gnat
2003-03-09 13:34:33

Aloha, forever people

 

Мне вздумалось поискать "avr gnat" в гугле и нашел страницу одного немца, он оказывается успешно собрал и даже сумел использовать GNAT для AVR. Я тут подумал, приобрести что-нибудь вроде ATMega8 не так уж и дорого, демонстрационную плату собрать тоже. Может быть мне и

диплом написать с темой "Портирование GNAT на микроконтроллеры AVR"? В конце-концов ассемблерный текст генерируется, так что доработать обвязку для создания выполняемых файлов и hex-файлов загружаемых в контроллер можно по аналогии с avr-gcc, да и исходные тексты

достаточно с No_Run_Time компилировать. Меня интерисует другое, как сложно разобраться с rts и особенно интерфейсом gnat к rts, чтобы все было по-честному и без хаков, т.е. когда будет компилироваться что-то не реализованное, то должен выдаваться вразумительное сообщение об ошибке (вот очень подробные сообщения об ошибках меня очень радуют в gnat). И на 512 байтах памяти ее динамическую раздачу не сделать в принципе, но вот можно ли сделать статические задачи, даже без select и самые простые статические защищеные объекты, максимум с полноценными entry и возможностью назначения на них прерываний? Или сделать исключения, но только в стиле Ada 83, где исключение это просто некоторое число и все, никакого пакета Ada.Exceptions.

 

Разумеется полученый порт будет реализовывать только часть RM95 и поэтому не будет считаться компилятором действительно языка Ada 95. Если по этому поводу религиозных возражений нет, то остальное лишь вопрос приложения усилий, чтобы получить достойную альтернативу C.

--

Alexandre mailto:sonni@...

Alexandre Makeev wrote:

 

Разумеется полученый порт будет реализовывать только часть RM95 и

поэтому не будет считаться компилятором действительно языка Ada 95.

Если по этому поводу религиозных возражений нет, то остальное лишь

вопрос приложения усилий, чтобы получить достойную альтернативу C.

 

 

А какие могут быть религиозные возражения?

 

Насколько я знаю, в проект Ada0X рабочая группа по "высокоинтегрированным", встраиваемым и жизненноважным приложениям внесла предложение переделать приложение Safety and Security в (не помню точно) High Integrity, добавив туда все текущие ограничения в рамках профайлов No_Runtime и RAVENSCAR.

 

Этим самым будут разрешены "урезанные" версии Ada трансляторов/RTL. И никаких религиозных разборок не предвидется, раз это _реально_ требует промышленность, то стандарт отразит требования.

 

Кроме профайлов No Runtime и RAVENSCAR существует ещё и зверь по имени SPARK (или SPARC). Собственно он накладывает ещё большие ограничения на используемые языковые средства, но позволяет производить ещё больший статический контроль корректности программ. И тоже существует и широко используется. Его судьба ещё не решена, но не исключено, что и часть его ограничений будут присутствовать в Ada0x

 

-- Vadim Godunko

Project Manager

Automated Control Systems Department

North-Caucasian Area Air Traffic Control Center

А откуда такая дикая кодировка?

Sergey I. Rybin wrote:

А откуда такая дикая кодировка?

 

Не знаю. У меня все читается нормально...

 

На всякий случай повторяю

 

Разумеется полученый порт будет реализовывать только часть RM95 и

поэтому не будет считаться компилятором действительно языка Ada 95.

Если по этому поводу религиозных возражений нет, то остальное лишь

вопрос приложения усилий, чтобы получить достойную альтернативу C.

 

 

 

А какие могут быть религиозные возражения?

 

Насколько я знаю, в проект Ada0X рабочая группа по

"высокоинтегрированным", встраиваемым и жизненноважным приложениям

внесла предложение переделать приложение Safety and Security в (не помню

точно) High Integrity, добавив туда все текущие ограничения в рамках

профайлов No_Runtime и RAVENSCAR.

 

Этим самым будут разрешены "урезанные" версии Ada трансляторов/RTL. И

никаких религиозных разборок не предвидется, раз это _реально_ требует

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

 

Кроме профайлов No Runtime и RAVENSCAR существует ещё и зверь по имени

SPARK (или SPARC). Собственно он накладывает ещё большие ограничения на

используемые языковые средства, но позволяет производить ещё больший

статический контроль корректности программ. И тоже существует и широко

используется. Его судьба ещё не решена, но не исключено, что и часть его

ограничений будут присутствовать в Ada0x

 

 

Vadim Godunko wrote:

 

Sergey I. Rybin wrote:

А откуда такая дикая кодировка?

 

Не знаю. У меня все читается нормально...

 

На всякий случай повторяю

 

Теперь и у меня нормально.

 

Я и предыдущее письмо Штирлицем прочел, но все же - какого

рожна оно сбивается! :(((

hi,

"Sergey I. Rybin" wrote:

Vadim Godunko wrote:

>

Sergey I. Rybin wrote:

А откуда такая дикая кодировка?

>

Не знаю. У меня все читается нормально...

>

На всякий случай повторяю

>

Теперь и у меня нормально.

>

Я и предыдущее письмо Штирлицем прочел, но все же - какого

рожна оно сбивается! :(((

а оно абсолютно правильно сбивается.

дело в том, что в письме(ах) была использована

_не_стандартная_ кодировка для посылки почты,

то бишь CP1251

стандартами RFC как сетевая кодировка узаконена KOI8-R.

у товарисча стоят Win установки по умолчанию,

а поскольку мелкосакс игнорирует все стандарты

(включая и свои собственные), то по умолчанию

устанавливается CP1251. результат - кракозябры

Alex

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти