{toc}

h3. stack trace of threaded program using gdb

{noformat} (gdb) thread apply all backtrace full {noformat}

h3. valgrind

• usage {code}valgrind --tool=memcheck --leak-check=full --show-reachable=yes ./foobar{code}
• still reachable ** http://stackoverflow.com/questions/3840582/still-reachable-leak-detected-by-valgrind

h4. tools

• valgrind-3.6.0.SVN-Debian 기준

• memcheck (default) - [manual|http://aragorn1.dev.daum.net/doc/valgrind/html/mc-manual.html] {{valgrind --tool=memcheck --leak-check=full --show-reachable=yes ./foobar}}

• cachegrind - [manual|http://aragorn1.dev.daum.net/doc/valgrind/html/cg-manual.html] {{valgrind --tool=cachegrind ./foobar}}

• • [manual|] {{valgrind --tool=memcheck --leak-check=full --show-reachable=yes ./foobar}}
• • [manual|] {{valgrind --tool=memcheck --leak-check=full --show-reachable=yes ./foobar}}
• • [manual|] {{valgrind --tool=memcheck --leak-check=full --show-reachable=yes ./foobar}}
• • [manual|] {{valgrind --tool=memcheck --leak-check=full --show-reachable=yes ./foobar}} h4. suppressing errors

• http://valgrind.org/docs/manual/manual-core.html#manual-core.suppress

• http://valgrind.org/docs/manual/mc-manual.html#mc-manual.suppfiles

• writing suppression files *# 참고: http://wiki.wxwidgets.org/Valgrind_Suppression_File_Howto *# valgrind report에서 불필요한 오류 탐지가 있는지 확인한다. {{valgrind --tool=memcheck --leak-check=full --show-reachable=yes ./benchmark -g debug -c 10 *.c > /dev/null 3>>error.log}} *# {{--gen-suppressions=all}} 옵션을 사용하여 suppression file을 생성한다. 이때 샘플을 화면에 출력하는 것을 파일에 저장하고, 탐지된 오류를 제한없이 모두 출력하기 위한 옵션을 추가한다. {{valgrind --tool=memcheck --leak-check=full --show-reachable=yes --gen-suppressions=all --error-limit=no --log-file=valgrind.log ./benchmark -g debug -c 10 *.c > /dev/null 3>>error.log}} # {{--log-file=valgrind.log}} 출력을 로그에 저장 # {{--error-limit=no}} 탐지된 오류의 수 제한을 없앰 *# valgrind.log 를 편집하여 suppression 규칙만 남긴다. 규칙파일을 valgrind.supp 정도의 이름으로 변경하여 저장한다. ==1234== 와 같은 PID로 시작하는 로그 메시지를 삭제한다. suppression 규칙의 stack trace를 적절히 편집하여 유사한 패턴에 매치될 수 있도록 수정한다. stack trace 전체가 일치하여야 하며, 함수나 개체이름을 찾을 때 * 또는 ? 와일드카드를 사용할 수 있다. stack의 frame에 대한 와일드카드 매치는 ... 를 사용한다. {newcode}

comments start with

{ <_Unwind_ForcedUnwind/pthread_cancel_init> Memcheck:Leak ... fun:dl_open_worker fun:_dl_catch_error fun:_dl_open fun:do_dlopen fun:_dl_catch_error fun:__libc_dlopen_mode fun:pthread_cancel_init fun:_Unwind_ForcedUnwind ... } {newcode} *# suppression file을 적용하여 오류 탐지를 재시도하고 결과를 확인한다. {{valgrind --tool=memcheck --leak-check=full --show-reachable=yes --suppressions=valgrind.supp ./benchmark -g debug -c 10 *.c > /dev/null 3>>error.log}}

h4. Data Race Detection

h3. threaded programming

• volatile ** http://stackoverflow.com/questions/78172/using-c-pthreads-do-shared-variables-need-to-be-volatile ** http://stackoverflow.com/questions/6837699/are-mutex-lock-functions-sufficient-without-volatile ** https://en.wikipedia.org/wiki/Memory_barrier ** http://software.intel.com/en-us/blogs/2007/11/30/volatile-almost-useless-for-multi-threaded-programming ** http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2016.html

• volatile의 3가지 용도 ** marking a local variable in the scope of a setjmp so that the variable does not rollback after a longjmp. ** memory that is modified by an external agent or appears to be because of a screwy memory mapping ** signal handler mischief

• pthreads and valgrind memory leak ** http://stackoverflow.com/questions/15207762/c-pthreads-valgrind-memory-leak-why ** http://stackoverflow.com/questions/3840582/still-reachable-leak-detected-by-valgrind

h3. signal

• man 7 signal ** Async-signal-safe functions A signal handling routine established by sigaction(2) or signal(2) must be very careful, since processing elsewhere may be interrupted at some arbitrary point in the execution of the program. POSIX has the concept of "safe function". If a signal interrupts the execution of an unsafe function, and handler calls an unsafe function, then the behavior of the program is undefined.