|
ru.unix.bsd
- RU.UNIX.BSD ------------------------------------------------------------------
From : Valentin Nechayev 2:5020/400 24 Jan 2004 12:26:12
To : Slawa Olhovchenkov
Subject : Re: Stanford Metacompilation research group
--------------------------------------------------------------------------------
>>> Slawa Olhovchenkov wrote:
EG>>> Прошло несколько фиксов в FreeBSD насчет memory leak (ata, sio)
EG>>> со ссылкой на subj. Кто-нибудь в курсе, что происходит? Что-то
EG>>> типа внешнего аудита?
VN>> Похоже;) Эти стэнфордцы AFAIR недавно по линуху прошлись нашли несколько
VN>> тысяч ошибок, теперь вот фрю мучают.
VN>> Там проверки простые, но ситуации типа невернутого IPL, потерянного
VN>> куска памяти или несвобождённого семафора - находят.
SO> Простые-то постые, но находят плюхи котоорые сидят годами и никто боьше
SO> найти не может.
Hе "не может", а "не хочет". Hе на принципиальном уровне не хочет, а просто
терпения или времени не хватает. Когда в опёнке начали глубокий аудит кода,
Тео на каждый второй плач в багтреке "а у вас тут спина белая" отвечал "да,
было такое, закрыли полгода назад при плановой чистке, а вместе с ним ещё
два десятка подозрительных мест". (Что потом навносили - это уже потом.)
Hо автоматизированно проверять такие вещи действительно было бы удобнее.
P.S. Кстати, чем в этом плане хороши средства винды - try/finally и SEH
значительно упрощают кодирование таких чисток за собой...
Си в этом плане достаёт настолько, что периодически приходится вызывать
функцию через промежуточный враппер, который делает все очистки вслед
за основной функцией. Хотя я как старый фортранщик предпочитаю goto ;)
-netch-
--- ifmail v.2.15dev5.1
* Origin: Dark side of coredump (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
Re: Stanford Metacompilation research group 