[devel] об обсуждении подходов к оценке надёжности Sisyphus

[Денис Смирнов]

On Wed, Nov 26, 2003 at 03:15:42PM +0300, Stanislav Ievlev wrote:

 >> Цель -- _увеличить надёжность_. То есть _уменьшить вероятность сбоя_, а не
 >> свести её к нулю (что, как я уже говорил, принципиально невозможно при
 >> нынешней практике писать софт на си).
 > ради любопытства: причём здесь си.

Потому что самое большое количество ошибок безопасности, например, это
переполнение буфера, которое невозможно в языках, где есть тип данных
"строка" и нет адресной арифметики.

Эти два факта (отсутствие строк и присутствие адресной арифметики)
превращают этот язык в диверсию отраслевого масштаба.

Си это язык для профессионала-системщика, так же как и C++. К сожалению
сейчас использование других языков сопряжено с проблемами, которые всегда
вылезают когда отходишь от средств используемых большинством.

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

Дальнейшие разговоры на эту тему предлагаю провести в talk-room, так как
тема слишком провокативная.

 > Итак, мне понятна мысль  - сделать два Сизифа с "запаздыванием по времени".
 > Но до сих пор не понятно почему для этого нельзя использовать связку
 > Сизиф-Дедал. По моему разумению результат от введения ещё одного Сизифа
 > сопоставим (при значительно меньших затратах) от более эффективного
 > использования Дедала.

Дело в том, что в Дедал идут пакеты, которые изначально подразумевается
что недостаточно готовы, чтобы отправиться конечному пользователю. В Сизиф
идут пакеты, о которых мантейнер по крайней мере надеется, что
пользователь может их использовать.
 
 > Ключевой момент в моей позиции - мы получим ещё один Дедал ибо люди (будь
 > то пользователи или разработчики) будут сознательно или несознательно
 > избегать использования пакетов, объявленных как нестабильные. Зачем нам
 > ещё одна прослойка которая будет использоваться на 30%.

Я предлагаю создать не ещё одну тестовую прослойку, а наоборот, отслоить
более надёжную версию Сизифа. 
 
 > Если уж нужен какой "отстойник" пакетов - то для этих целей можно
 > использовать уже существующий incoming: он доступен на чтение всем
 > разработчикам, а забирать в Сизиф можно только пакеты которые отлежались
 > там например 3 дня. Результат будет одинаковый.

Это преувеличение.

 > Много пакетов придётся проверять в скрипте: например может появиться
 > принципиально новый пакет который просто обсолетит другой пакет в Сизифе.

Ну и что? Если мантейнер один и тот же, то как только принимается решение
о том, что пакет может быть перемещён в Сизиф, то пакет из Сизифа
удаляется.

Кстати, как сейчас это решается технически? incominger делает это ручками?

-- 
С уважением, Денис

http://freesource.info

----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Url     : <http://lists.altlinux.org/pipermail/devel/attachments/20031126/8517cc7d/attachment-0001.bin>