Changes between Version 20 and Version 21 of DebuggingBenchmarking


Ignore:
Timestamp:
Mar 8, 2017 11:50:24 AM (2 weeks ago)
Author:
bbell
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DebuggingBenchmarking

    v20 v21  
    5959Reason is that writing an abundance of lines into log files slows down performance somewhat and further has a tendency to flood file systems - two reasons to enable it only if needed, not in production operation.
    6060
    61 The debug output option is chosen during the configuration step, which passes on this information to the compiler during the subsequent ''make''.
     61If you are compiling with cmake (v3+), simply use -DENABLE_DEBUG before generating the build tree.
     62Doing this includes the above cmake flags for debugging, and it also sets two other variables to enable more-verbose logging.
     63
     64z.B. in CentOS 7, in your build directory
     65{{{
     66cmake3 $RASDAMAN_SOURCES -DCMAKE_INSTALL_PREFIX=$RMANHOME -DENABLE_DEBUG ...<other flags>
     67make
     68make install
     69}}}
     70
     71You may, optionally, alter settings in $RMANHOME/etc/log-client.conf and $RMANHOME/etc/log-server.conf to enable various other logging parameters, e.g. TRACE for easier back tracing.
     72
     73If you are using autotools (deprecated), the debug output option is chosen during the configuration step, which passes on this information to the compiler during the subsequent ''make''.
    6274{{{
    6375./configure ...other options... --enable-debug --with-debug-symbols --with-optimization=0
     
    6678# restart rasdaman
    6779}}}
    68 
    69 In case you are compiling with cmake (v3+), simply include -DENABLE_DEBUG.
    70 Doing this includes the above cmake flags for debugging, and it also sets two other variables to enable more-verbose logging.
    71 
    72 z.B. in CentOS 7, in your build directory
    73 {{{
    74 cmake3 $RASDAMAN_SOURCES -DCMAKE_INSTALL_PREFIX=$RMANHOME -DENABLE_DEBUG
    75 make
    76 make install
    77 }}}
    78 
    79 You may, optionally, alter settings in $RMANHOME/etc/log-client.conf and $RMANHOME/etc/log-server.conf to enable various other logging parameters, e.g. TRACE for easier back tracing.