Ada_Ru форум

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

Re: [ada_ru] Вопрос о лицензиях. Финита?

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

Сообщения

Alexey Veselovsky
Re: [ada_ru] Вопрос о лицензиях. Финита?
2008-05-30 20:09:43

Хотелось бы узнать какие процедуры контроля качества проходит GNAT GPL. Т.е. хотелось бы узнать чем он, скажем так, лучше чем GNAT FSF.

 

Основной контроль за качеством компилятора выполняется на основе прогона полного набора тестов ACATS 2.6 и нашей собственной базы регрессионного тестирования, которая составляет на сегодняшний день 14020 тестов. Цикл тестирования выполняется ежедневно примерно на 50 разных платформах.

 

Спасибо за информацию.

 

Да. Именно это и интересовало. Спасибо.

В данный момент Pro несколько опережает GPL?

 

Да, примерно на полгода. Когда на днях выйдет версия GPL 2008,

ситуация изменится на противоположную.

 

О! А что там будет новенького относительно GPL 2007?

 

Вкралась досадная описка. Не donation а copyright assignment

естественно. Что такое FSF copyright assignment, зачем это и как это работает, и в частности какие права возвращает обратно исходному владельцу (если вкратце - ВСЕ) - тема не этой конференции.

 

Т.о. правами на GNAT одинаково владеет как FSF так и AdaCore. Каждый со своим слепком кода может вытворять всё что угодно. Если кому-то интересно, то пример можно прочитать тут:

http://blog.johang.se/2007/05/fsf-copyright-assignment-contract.html

Т.о. взаимных притензий между FSF и AdaCore быть практически не может. Они сотрудничают, но лицензия одной никак не влияет на лицензию

другой.

Alexey Veselovsky wrote:

Хотелось бы узнать какие процедуры контроля качества проходит GNAT

GPL. Т.е. хотелось бы узнать чем он, скажем так, лучше чем GNAT FSF.

Основной контроль за качеством компилятора выполняется на основе

прогона полного набора тестов ACATS 2.6 и нашей собственной базы

регрессионного тестирования, которая составляет на сегодняшний день

14020 тестов. Цикл тестирования выполняется ежедневно примерно на 50

разных платформах.

 

Спасибо за информацию.

 

Да. Именно это и интересовало. Спасибо.

В данный момент Pro несколько опережает GPL?

Да, примерно на полгода. Когда на днях выйдет версия GPL 2008,

ситуация изменится на противоположную.

 

О! А что там будет новенького относительно GPL 2007?

 

Файл с отличиями для каждой новой версии GNAT PRO содержит

сотню позиций. Всего не упомнишь. С GPL версией ситуация аналогична.

 

Т.о. взаимных притензий между FSF и AdaCore быть практически не может.

Они сотрудничают, но лицензия одной никак не влияет на лицензию

другой.

 

Претензий "быть практически не может" в первую очередь

потому, что претензии сторонам не нужны. Других забот хватает

О! А что там будет новенького относительно GPL 2007?

 

Главное новенькое на мой взгляд: с точки зрения языка - дальнейшая стабилизация поддержки стандарта Ада 2005, с точки зрения расширений

- поддержка пред- и постусловий, с точки зрения технологии - порт под .NET.

 

А так изменений разных за прошедший год многие сотни, следите тыкскть за рекламой...

 

Т.о. взаимных притензий между FSF и AdaCore быть практически не может.

 

Дык у нас их и нет :)

 

Они сотрудничают, но лицензия одной никак не влияет на лицензию

другой.

 

Однозначно. Соответственно тезис ув. Максима Резника что собственную лицензию GNAT RTL мы дескать "поменять не в силах" поверг меня в

глубочайшее изумление. Мы можем ее поменять на что угодно, хоть на требование клиенту ежегодно исполнять лезгинку под нашими окнами. Но в безмерной доброте душевной всего лишь поменяли лицензию на GPL :) Вот сам компилятор (кодогенератор) - может быть исключительно под GPL, поскольку это derived work. Поэтому помимо требования исполнять

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

клиенту исходные тексты компилятора :))))

 

Но тут мы опять вернулись к тому, а под какой же лицензией наш

отданный FSF труд распространяет сама FSF? Меня уверяют что - под GMGPL, но мне это по-прежнему так и не ясно.

 

Но Бог с ним. Не мои проблемы :)

Vasiliy Fofanov пишет:

О! А что там будет новенького относительно GPL 2007?

 

Главное новенькое на мой взгляд: с точки зрения языка - дальнейшая

стабилизация поддержки стандарта Ада 2005, с точки зрения расширений

- поддержка пред- и постусловий, с точки зрения технологии - порт под

..NET.

А под Mac OS X вернут?

 

Я смотрел, там "x86 Mac OS X – future availability" до сих пор. Но хотя бы PowerPC. Лучше полдня ждать, пока скомпилируется, чем вообще не компилировать.

 

-- If you want to get to the top, you have to start at the bottom

Vasiliy Fofanov wrote:

Главное новенькое на мой взгляд: с точки зрения языка - дальнейшая

стабилизация поддержки стандарта Ада 2005, с точки зрения расширений

- поддержка пред- и постусловий, с точки зрения технологии - порт под

.NET.

 

А какая ситуация с портом под jvm?

 

-- Olleg Samoylov

А под Mac OS X вернут?

Я смотрел, там "x86 Mac OS X – future availability" до сих пор. Но хотя бы PowerPC. Лучше полдня ждать, пока скомпилируется, чем вообще не компилировать.

 

PPC не будет, это точно. Х86 - мы очень на это надеемся. Но пока к сожалению нам не удается решить некоторые проблемы с портом (если не изменяет память - с отладчиком). Так что в первой порции и его видимо не будет. Возможно справимся к началу учебного года, поскольку в

образовании маки расползаются как метастаза :)

 

А какая ситуация с портом под jvm?

 

Кажется он есть только в профессиональной версии.

 

ВФ

Vasiliy Fofanov wrote:

 

 

> А под Mac OS X вернут?

> Я смотрел, там "x86 Mac OS X – future availability" до сих пор. Но хотя

> бы PowerPC. Лучше полдня ждать, пока скомпилируется, чем вообще не

> компилировать.

 

PPC не будет, это точно. Х86 - мы очень на это надеемся. Но пока к

сожалению нам не удается решить некоторые проблемы с портом (если не

изменяет память - с отладчиком). Так что в первой порции и его видимо

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

образовании маки расползаются как метастаза :)

 

Насколько я знаю, проект

 

http://www.macada.org/

 

предлагает свой порт компилятора для Mac-ов. Никогда сам не пользовался, но имею пару-тройку отчётов о работоспособности QtAda на Mac-ах с этим компилятором.

предлагает свой порт компилятора для Mac-ов. Никогда сам не пользовался, но имею пару-тройку отчётов о работоспособности QtAda на Mac-ах с этим компилятором.

 

Да компилятор-то вроде если не ошибаюсь и у нас нормально работает и тесты отрабатывает... Но весь пакет нашим стандартам пока не

удовлетворяет увы.

 

ВФ

Vasiliy Fofanov пишет:

Х86 - мы очень на это надеемся.

В x86 я пока сам не верю. Пока пусть хоть ppc будет. Я буду использовать ppc порт сейчас, а когда придёт время, возьму x86 порт. Одного x86 недостаточно, там матрица кросскомпиляторов должна быть (ppc,x86)x(ppc,x86). Иначе open source программы не будут конкурентноспособными даже с другими open source программами, не говоря уже о коммерческих (а ведь GPL релизы именно ради open source)

 

PPC не будет, это точно.

Мне вот интересно, если в Америке и Европе в школах, университетах и колледжах Макинтоши распространены так же повсеместно, как я об этом слышал, то почему AdaCore реагирует на это противоположно? Перестали GPL релизы поставлять, а с тех, что были, разве что компилятор взять, потому что из GPS, конкретно из GTK+, которая с ним идёт, были специально вырезаны все фичи и загружаемые модули. Всякие пиксбуфы, FreeType, методы ввода. Специально, потому что по умолчанию всё это само собирается.

 

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

 

-- If you want to get to the top, you have to start at the bottom

Пока пусть хоть ppc будет.

 

К сожалению не будет его, т.к. нет на него коммерческого спроса.

 

Мне вот интересно, если в Америке и Европе в школах, университетах и колледжах Макинтоши распространены так же повсеместно, как я об этом слышал, то почему AdaCore реагирует на это противоположно?

 

Ну как почему? Потому что мы злые естественно, какое еще может быть тому еще объяснение в самом деле :) Ну или см.выше.

Vasiliy Fofanov пишет:

Пока пусть хоть ppc будет.

 

К сожалению не будет его, т.к. нет на него коммерческого спроса.

Его нет вообще (в том числе Pro) или GPL не будет из–за клиентов?

 

-- If you want to get to the top, you have to start at the bottom

К сожалению не будет его, т.к. нет на него коммерческого спроса.

Его нет вообще (в том числе Pro) или GPL не будет из–за клиентов?

 

Кажется такой порт Pro есть но на него нет спроса...не уверен.

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

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