|
|
ru.linux- RU.LINUX --------------------------------------------------------------------- From : Alex Tomas 2:5020/400 07 Oct 2002 18:16:13 To : Vitaly.Lugovsky@ontil.ihep.su Subject : Re: g++ -------------------------------------------------------------------------------- .ua> <m3bs6b5sck.fsf@lexa.home.net> <ank5mm$2pi6$3@f1003.n5080.z2.fidonet.org> From: Alex Tomas <bzzz@tmi.comex.ru> >>>>> Vitaly Lugovsky (VL) writes: VL> А программу HАДО наполнять тоннами ассертов и логов. Поскольку VL> они замечательнейшим образом заменяют/дополняют документацию - VL> как минимум. В общем, пользы от этого добра столько, что глупо VL> лениться им пользоваться, надеясь на свои скиллы в использовании VL> деблохатора. с Вашего позволения, я все же не буду выводить в логи _все_ переменные. а Вы уж как хотите, так и делайте. ASSERT'ы - это совсем другая песня. VL> Hу а всякие race conditions вообще требуют формального VL> доказательства - это ведь просто - достаточно построить таблицу VL> всех возможных состояний системы (по всем состояниям переключения VL> мутексов и кондишенов) и приписать к каждому из них, что к ним VL> привести может. то есть предполагается, что при построении такой таблицы я гарантированно не ошибусь? особенно когда таких ситуаций полно и я пишу где-нить так в kernel space? -- пора PS. вообще говоря, я уже понял, что дебаггер - это зло. не трудитесь далее --- ifmail v.2.15dev5 * Origin: HOME (2:5020/400) Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.linux/75907083a41b.html, оценка из 5, голосов 10
|