Re: отладка под gdb
Anton Petrusevich -> debian-russian@lists.debian.org @ Mon, 27 Mar 2006 17:26:44 +0100:
>> А высокоуровневые рассуждения, конечно, надежнее... Они, конечно,
>> доказываются и доказательства проверяют несколько хороших специалистов в
>> computer science? Каждый раз после малейшего изменения в программе?
AP> Достаточно определить правила использования разделяемых ресурсов, и
AP> при каждом использовании проверять нарушение правил. Такие места
AP> обычно поддаются учёту, даже в больших проектах.
А, ну-ну... Хинт: чтобы это работало, надо построить _полную_ систему
этих самых правил. Доказать ее полноту и дать специально образованным
людям проверить доказательство. И после каждого изменения в программе
проверять, не нарушили ли где протокол. Каковая проверка ой, не всегда
бывает локальной операцией...
--
Artem Chuprina
RFC2822: <ran{}ran.pp.ru> Jabber: ran@jabber.ran.pp.ru
Чайник - это человек, который, наткнувшись на проблему, начинает громко
свистеть
(c)vitus
Reply to: