Re: отладка под gdb
You (ran@ran.pp.ru) wrote:
AC> А высокоуровневые рассуждения, конечно, надежнее... Они,
AC> конечно, доказываются и доказательства проверяют несколько
AC> хороших специалистов в computer science? Каждый раз после
AC> малейшего изменения в программе?
Да-да, а вы конечно проверяете, что у вас никаких timing issues нету в
общении с субпроцессами из-за буферизации и прочей ботвы.
В общем случае, конечно, работа с разделяемыми ресурсами (будь то
память обычная или shmem) - занятие трудное, но ведь мы не
"произвольные программы в вакууме" пишем, а что-то выполняющее
полезную работу. И во многих случаях удаётся правильно сформулировать
и объекты защиты, и стратегию, и выработать стратегию работы с
блокировками и разделяемыми объектами. Другое дело, что языки типа C
усложняют такие вещи из-за трактовки памяти как линейного массива
битов.
--
JID: dottedmag@jabber.dottedmag.net
Reply to: