Anton Petrusevich -> [email protected] @ Mon, 27 Mar 2006
17:26:44 +0100:
>> А высокоуровневые рассуждения, конечно, надежнее... Они, конечно,
>> доказываются и доказательства проверяют несколько хороших специалистов в
>> computer science? Каждый раз после малейшего изменения в программе?
AP> Достаточно определить правила использования разделяемых ресурсов, и
AP> при каждом использовании проверять нарушение правил. Такие места
AP> обычно поддаются учёту, даже в больших проектах.
А, ну-ну... Хинт: чтобы это работало, надо построить _полную_ систему
этих самых правил. Доказать ее полноту и дать специально образованным
людям проверить доказательство. И после каждого изменения в программе
проверять, не нарушили ли где протокол. Каковая проверка ой, не всегда
бывает локальной операцией...
--
Artem Chuprina
RFC2822: <ran{}ran.pp.ru> Jabber: [EMAIL PROTECTED]
Чайник - это человек, который, наткнувшись на проблему, начинает громко
свистеть
(c)vitus
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
