Главная страница


ru.linux

 
 - RU.LINUX ---------------------------------------------------------------------
 From : Ian Dichkovsky                       2:5020/400     24 Jan 2003  16:45:53
 To : All
 Subject : Linux community and errors in kernel
 -------------------------------------------------------------------------------- 
 
 Hello, All!
 
 http://itc.ua/forums/thread.phtml?ID=4994&n=83348#83348
 
 А сложность и распределённая разработка по принципам комьюнити - вещи не
 очень хорошо сочетаемые. Hасколько "не очень хорошо", показывает результат
 работы Yichen Xie и Dawson Engler из Стэнфордского Университета (короткий
 отчёт здесь - http://www.stanford.edu/~engler/p401-xie.pdf ). Для не любящих
 читать из pdf-файлов с отвратительными шрифтами :-), два слова - Xie и
 Engler проводили анализ 2055 файлов исходных текстов ядра Linux версии 2.4.1
 и обнаружили 1800 hard serious ошибок в 551 файле. Причём суть их (Xie и
 Engler) работы - не полноценный аудит кода, а только анализ избыточности
 (есть эмпирическое правило - фрагменты избыточного, бессодержательного или
 недостижимого потоком вычислений, кода с вероятностью от 50% до 100%
 свидетельствуют о наличии серьёзных ошибок). Что дал бы полный аудит кода
 (вот куда бы IBM потратить мифический миллиард инвестиций...) - об этом
 лучше не задумываться..
 
 Best regards,
 Ian Dichkovsky, mailto: ntokay at org lviv net, ICQ 83146271
 --- ifmail v.2.15dev5
  * Origin: Ukranian Academic Research Network (2:5020/400)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

 Тема:    Автор:    Дата:  
 Linux community and errors in kernel   Ian Dichkovsky   24 Jan 2003 16:45:53 
Архивное /ru.linux/64772dabcf8a.html, оценка 3 из 5, голосов 10
Яндекс.Метрика
Valid HTML 4.01 Transitional