Ada_Ru форум

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

прожект на Аде

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

Сообщения

Oleksandr Havva
прожект на Аде
2004-05-24 16:45:57

hi,

Я тут невзначай набрел на ранее неизвестную в наших кругах поделку: http://www.gosniias.ru/pages/21/21-5.htm

imho, Можно указать на страничке прожектов

Alex

 

 

Oleksandr Havva wrote:

 

hi,

 

Я тут невзначай набрел на ранее неизвестную в наших кругах поделку:

http://www.gosniias.ru/pages/21/21-5.htm

 

imho, Можно указать на страничке прожектов

 

Подробности бы узнать...

hi,

"Sergey I. Rybin" wrote:

Oleksandr Havva wrote:

>

hi,

>

Я тут невзначай набрел на ранее неизвестную в наших кругах поделку: http://www.gosniias.ru/pages/21/21-5.htm

>

imho, Можно указать на страничке прожектов

>

Подробности бы узнать...

>

Для решения этой благородной задачи,

наверное, надо обзадачивать тех товарищей,

которые к Москве поближе будут ;)

Alex

Для решения этой благородной задачи,

наверное, надо обзадачивать тех товарищей,

которые к Москве поближе будут ;)

 

Да у меня с ГосНииАс-ом уже давно все контакты умерли...

:(

hi,

"Sergey I. Rybin" wrote:

Для решения этой благородной задачи,

наверное, надо обзадачивать тех товарищей,

которые к Москве поближе будут ;)

>

Да у меня с ГосНииАс-ом уже давно все контакты умерли...

:(

Знач придется оживлять (на кофей прогуляться, водовки попить :)) Или ты супротив того чтобы нести в массы

"доброе, чистое, вечное" ((С) не мое)???

Кстати, я по окресностям этого сайта побродил,

так у них там довольно часто US DoD стандарты

на предмет security/safety упоминаются,

которые напрямую связаны с технологиями

на основе Ады. Так что с Адой они, похоже,

не первый день тихонько "партизанят".

Alex

Кстати, я по окресностям этого сайта побродил,

так у них там довольно часто US DoD стандарты

на предмет security/safety упоминаются,

которые напрямую связаны с технологиями

на основе Ады. Так что с Адой они, похоже,

не первый день тихонько "партизанят".

 

Они начали работать с Адой еще в советские времена.

Я к ним в конце 80-х ходил тестировать нашими тестами

спертый где-то компилятор для VAX VMS. Но потом как-то

заглохло, причем - с их стороны...

 

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

hi,

"Sergey I. Rybin" wrote:

>

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

>

угу... и приобщить их к нашей (ada-ru) компании :)

Alex

VD

Добрый день !

 

Пытаюсь собрать gnat в составе gcc-3.4.0 под qnx, в принципе

получилось, но тесты проходят далеко не все. Может быть народ

подскажет в каком направлении копать?

 

Вот выдержка из лога acats.sum

 

=== acats configuration ===

target gcc is /home/gcc-bin/gcc/xgcc -B/home/gcc-bin/gcc/

Reading specs from /home/gcc-bin/gcc/specs Configured with: /src/gcc-3.4.0/configure

--enable-threads=posix --enable-languages=ada --enable-shared --srcdir=/src/gcc-3.4.0

--prefix=/usr/local Thread model: posix gcc version 3.4.0

host=i386-pc-nto-qnx6.2.1

target=i386-pc-nto-qnx6.2.1

gnatmake is a tracked alias for /home/gcc-bin/gcc/gnatmake

 

=== acats support ===

Generating support files... done.

Compiling support files... done.

 

=== acats tests ===

Running chapter a ...

PASS: a22006b

PASS: a22006c

PASS: a22006d

PASS: a26007a

.............................

........................................

=== acats Summary ===

# of expected passes 1945

# of unexpected failures 21

# of unsupported tests 356

*** FAILURES: c23003b c23003g c23003i ca13001 cxg2002 cxg2003 cxg2004 cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 cxg2017 cxg2018 cxg2019 cxg2020 cxg2021

 

 

Viktor

hi,

Viktor Danylenko wrote:

Добрый день !

>

Пытаюсь собрать gnat в составе...

О! Еще один "вольный потрошитель" GNAT-ства объявился :)

Вот выдержка из лога acats.sum

>

=== acats Summary ===

# of expected passes 1945

# of unexpected failures 21

# of unsupported tests 356

*** FAILURES: c23003b c23003g c23003i ca13001 cxg2002 cxg2003 cxg2004 cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 cxg2017 cxg2018 cxg2019 cxg2020 cxg2021

>

Viktor

К сожалению, сейчас не имею на компе развернутого ACATS,

посему, на первый (беглый) вгляд похоже на отсутствие

в сборке поддержки какого-то (или каких-то)

специализированного дополнения (Annex).

Более точно, надо смотреть в исходный текст

соответствующего неудачного теста. Там точно указывается,

_что_ этот тест проверяет.

Ежели я угадал, и проблема с поддержкой дополнений,

то надо смотреть в скрипты, где указывается конфигурация

запуска ACATS - что заявлено как присутствующее и

поддерживаемое.

...или добывать/доставлять поддержку соотв. дополнения. :)

Alex

PS

На всякий случай: руководство по ACATS я перевел на русский

и оно есть на сайте www.ada-ru.org в разделе документации.

Viktor Danylenko wrote:

Добрый день !

 

Пытаюсь собрать gnat в составе gcc-3.4.0 под qnx, в принципе

получилось, но тесты проходят далеко не все. Может быть народ

подскажет в каком направлении копать?

 

........................................

=== acats Summary ===

# of expected passes 1945

# of unexpected failures 21

# of unsupported tests 356

*** FAILURES: c23003b c23003g c23003i

 

Какова максимальная длинна имени файла в QNX?

 

 

ca13001

 

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

 

 

cxg2002 cxg2003 cxg2004

cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016

cxg2017 cxg2018 cxg2019 cxg2020 cxg2021

А здесь необходимо смотреть почему не работает арифметика с плавающей точкой, в частности элементарные функции abs, sin, ...

 

 

-- Vadim Godunko

hi,

Vadim Godunko wrote:

>

cxg2002 cxg2003 cxg2004

cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 cxg2017 cxg2018 cxg2019 cxg2020 cxg2021

>

А здесь необходимо смотреть почему не работает арифметика с плавающей точкой, в частности элементарные функции abs, sin, ...

хм... В таком случае, возможно, стоит "поиграться"

с опциями оптимизации?

Собрать без оптимизации и "прогнать" через ACATS.

Если проблема исчезнет, то далее следует выяснить

на каких модулях необходимо отключать (-O0)

или понижать (например с -O3 на -O2) режим оптимизации.

Я с таким поведением столкнулся при сборке ALR.

Пришлось полностью "зарубить" оптимизацию (-O0)

на модуле битовых операций.

Alex

Oleksandr Havva wrote:

 

cxg2002 cxg2003 cxg2004

cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016

cxg2017 cxg2018 cxg2019 cxg2020 cxg2021

 

 

А здесь необходимо смотреть почему не работает арифметика с плавающей

точкой, в частности элементарные функции abs, sin, ...

 

 

хм... В таком случае, возможно, стоит "поиграться"

с опциями оптимизации?

 

Возможно дело обстоит значительно серьезнее. Эта группа тестов предназначена для проверки _точности_ выполнения операций. "И кто его знает, чего он мигает..."

 

 

-- Vadim Godunko

VD

Hello Vadim!

 

Thursday, May 27, 2004, 2:06:40 PM, you wrote :

 

 

........................................

=== acats Summary ===

# of expected passes 1945

# of unexpected failures 21

# of unsupported tests 356

*** FAILURES: c23003b c23003g c23003i

 

VG> Какова максимальная длинна имени файла в QNX?

 

Кажется 48 символов, на выходных постараюсь проверить действительно ли проблемы вызваны этим.

 

Большое спасибо.

 

 

Виктор

hi,

Vadim Godunko wrote:

Oleksandr Havva wrote:

>

>cxg2002 cxg2003 cxg2004

>cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 >cxg2017 cxg2018 cxg2019 cxg2020 cxg2021

>

>

>А здесь необходимо смотреть почему не работает арифметика с плавающей >точкой, в частности элементарные функции abs, sin, ...

>

>

хм... В таком случае, возможно, стоит "поиграться"

с опциями оптимизации?

>

Возможно дело обстоит значительно серьезнее. Эта группа тестов

предназначена для проверки _точности_ выполнения операций. "И кто его знает, чего он мигает..."

ес-сно возможно...

Насколько помню, в исходниках GNAT (3.X, 5.X)

такая вещь как QNX не упоминается.

Посему, наверное, надо смотреть какими средствами

обеспечивается и/или должна быть обеспечена поддержка

плавающей арифметики для данного случая GNAT+QNX.

Точнее, где она живет - в GNAT(?), в самом QNX(?),

или в какой-нибудь дополнительной внешней библиотеке

(из поставки QNX, чего-то GNU-сное или "левое"?).

Кстати, под тот же Linux GNAT ведь не только с GLIBC

можно собрать(!), можно собрать и с NEWLIB, например.

А как и в каких связках вопрошающий его под QNX собирает,

что _реально_ меняет/добавляет в исходниках, жуть его знает?

Alex

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

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