You ([EMAIL PROTECTED]) wrote: AC> А высокоуровневые рассуждения, конечно, надежнее... Они, AC> конечно, доказываются и доказательства проверяют несколько AC> хороших специалистов в computer science? Каждый раз после AC> малейшего изменения в программе?
Да-да, а вы конечно проверяете, что у вас никаких timing issues нету в общении с субпроцессами из-за буферизации и прочей ботвы. В общем случае, конечно, работа с разделяемыми ресурсами (будь то память обычная или shmem) - занятие трудное, но ведь мы не "произвольные программы в вакууме" пишем, а что-то выполняющее полезную работу. И во многих случаях удаётся правильно сформулировать и объекты защиты, и стратегию, и выработать стратегию работы с блокировками и разделяемыми объектами. Другое дело, что языки типа C усложняют такие вещи из-за трактовки памяти как линейного массива битов. -- JID: [EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
