Mikhail Gusarov - debian-russian@lists.debian.org @ Mon, 27 Mar 2006 21:39:56
+0700:
AC А высокоуровневые рассуждения, конечно, надежнее... Они,
AC конечно, доказываются и доказательства проверяют несколько
AC хороших специалистов в computer science? Каждый раз после
AC малейшего
Anton Petrusevich - debian-russian@lists.debian.org @ Mon, 27 Mar 2006
17:26:44 +0100:
А высокоуровневые рассуждения, конечно, надежнее... Они, конечно,
доказываются и доказательства проверяют несколько хороших специалистов в
computer science? Каждый раз после малейшего изменения в
You ([EMAIL PROTECTED]) wrote:
AC А, ну-ну... Хинт: чтобы это работало, надо построить _полную_
AC систему этих самых правил.Доказать ее полноту и дать специально
AC образованным людям проверить доказательство. И после каждого
AC изменения в программе проверять, не нарушили ли где
On Tuesday 28 March 2006 17:26, Artem Chuprina wrote:
А, ну-ну... Хинт: чтобы это работало, надо построить _полную_ систему
этих самых правил. Доказать ее полноту и дать специально образованным
людям проверить доказательство. И после каждого изменения в программе
проверять, не нарушили ли
Mikhail Gusarov - debian-russian@lists.debian.org @ Tue, 28 Mar 2006 22:32:37
+0700:
AC А, ну-ну... Хинт: чтобы это работало, надо построить _полную_
AC систему этих самых правил.Доказать ее полноту и дать специально
AC образованным людям проверить доказательство. И после каждого
AC
Anton Petrusevich - debian-russian@lists.debian.org @ Tue, 28 Mar 2006
17:48:17 +0200:
А, ну-ну... Хинт: чтобы это работало, надо построить _полную_ систему
этих самых правил. Доказать ее полноту и дать специально образованным
людям проверить доказательство. И после каждого изменения в
You ([EMAIL PROTECTED]) wrote:
MG Ну скажи ещё, что всё это не распространяется на общающиеся
MG между собой процессы, разделяющие файловую систему или что-либо
MG ещё.
AC Распространяется. Но там гораздо сложнее нарушить протокол.
На этом можно и закончить, ибо сложнее/не сложнее
Anton Petrusevich - debian-russian@lists.debian.org @ Fri, 24 Mar 2006
20:56:10 +0100:
Даже если ты с unit-тестами на ты, тебе придется гонять тесты часами,
чтобы отловить все возможные race condition. Поэтому с нитями надо
связываться только если очень приперло.
AP Ой, а race condition
You ([EMAIL PROTECTED]) wrote:
AC А высокоуровневые рассуждения, конечно, надежнее... Они,
AC конечно, доказываются и доказательства проверяют несколько
AC хороших специалистов в computer science? Каждый раз после
AC малейшего изменения в программе?
Да-да, а вы конечно проверяете, что у
On Monday 27 March 2006 16:30, Artem Chuprina wrote:
А высокоуровневые рассуждения, конечно, надежнее... Они, конечно,
доказываются и доказательства проверяют несколько хороших специалистов в
computer science? Каждый раз после малейшего изменения в программе?
Достаточно определить правила
В сообщении от 26 Март 2006 05:07 Dmitry Baryshkov написал(a):
я бы сказал - как вообще с помошью gdb можно отлаживать программы -
непонятно.
Компиляцию для отладки с -O0 (максимум -O1) никто не отменял. Вы бы еще
с -O3 -fomit-frame-pointer скомпилировали и пытались отлаживать.
C -O3
On Sat, 25 Mar 2006 01:08:30 +0300
Vasily Titsky [EMAIL PROTECTED] wrote:
Возвращаясь к существу вопроса - пошаговая отладка в gdb многопоточных
приложений - возможна? Если да, то как? URL'ы, доки и прочее -
приветствуются.
Можно писать так чтоб меньше отлаживать...
Рекомендую
25.03.06, Dmitry-T[EMAIL PROTECTED] написал(а):
Можно писать так чтоб меньше отлаживать...
Дмитрий, вас не спрашивают, как лучше программировать - с нитями или
без, с какими либами и т.д.
И даже не спрашивают, как отлаживать с нитями.
А спрашивают - что за проблемы с нитями у gdb.
You ([EMAIL PROTECTED]) wrote:
Возвращаясь к существу вопроса - пошаговая отладка в gdb
многопоточных приложений - возможна? Если да, то как? URL'ы, доки
и прочее - приветствуются.
D Можно писать так чтоб меньше отлаживать...
Можно вообще не писать.
ps: что за люди - их спрашивают
On 2006.03.25 at 14:18:31 +0600, Dmitry Fedorov wrote:
25.03.06, Dmitry-T[EMAIL PROTECTED] написал(а):
Можно писать так чтоб меньше отлаживать...
Дмитрий, вас не спрашивают, как лучше программировать - с нитями или
без, с какими либами и т.д.
И даже не спрашивают, как отлаживать с
Vasily Titsky [EMAIL PROTECTED] wrote:
Привет.
Столкнулся со странным поведенем программы, запускаемой из отладчика
(под gdb). Начал выяснять. Обнаружилось, что если в программе есть
несколько нитей, то при хождении по шагам нити могут просыпаться, хотя
они сидят на вызове sem_wait(sema),
Привет.
Всё гораздо интереснее стало: оказывается проблема возникает при отладке
под xterm. Т.е. запускаем xterm, в нём - gdb, ставим точки останова,
ходим по шагам, наблюдаем падения. При запуске под rxvt - всё в порядке.
Погуглил. На редхатовской багзиле несколько описаний почти идентичной
On Friday 24 March 2006 19:53, Vasily Titsky wrote:
Сделал. Проблема ушла. Частично. Теперь уход в background/вывод в
foreground происходит корректно. Но. Под отладчиком теперь получаем такое:
Program received signal SIGSEGV, Segmentation fault.
Ну, кстати, лучше создавать detached нитку, если
Hello,
25.03.06, Andrey Melnikoff[EMAIL PROTECTED] написал(а):
я бы сказал - как вообще с помошью gdb можно отлаживать программы -
непонятно.
Компиляцию для отладки с -O0 (максимум -O1) никто не отменял. Вы бы еще
с -O3 -fomit-frame-pointer скомпилировали и пытались отлаживать.
--
With best
Привет.
Столкнулся со странным поведенем программы, запускаемой из отладчика
(под gdb). Начал выяснять. Обнаружилось, что если в программе есть
несколько нитей, то при хождении по шагам нити могут просыпаться, хотя
они сидят на вызове sem_wait(sema), а сам sema - ещё имеет нулевой
счетчик.
On 2006.03.24 at 21:53:04 +0300, Vasily Titsky wrote:
Всё. Приплыли. Как вообще можно отлаживать программы - непонятно.
Сначала надо научиться писать программы, так чтобы их не нужно было
отлажвать в интерактивном отладчике, потом научиться писать к ним
полномасштабные test suite, и только
On Friday 24 March 2006 20:35, Victor Wagner wrote:
Даже если ты с unit-тестами на ты, тебе придется гонять тесты часами,
чтобы отловить все возможные race condition. Поэтому с нитями надо
связываться только если очень приперло.
Ой, а race condition ловят тестами? Уж больно ненадёжно как-то...
Victor Wagner пишет:
Сначала надо научиться писать программы, так чтобы их не нужно было
отлажвать в интерактивном отладчике, потом научиться писать к ним
полномасштабные test suite, и только потом стоит браться за
написание программ с нитями. Нити - вообще крайне сложная в написании и
23 matches
Mail list logo