Feature #2569
open
Let's DSCV and RCV won't keep debug traces by default
Added by Evgeny Novikov over 12 years ago.
Updated over 12 years ago.
Description
With Vadim we have noticed that this isn't so good to keep them even with LDV_DEBUG equals 100, since they occupies too much space. Here are sizes of directories of just one rule verification results:
19M current--X--drivers---X--defaultlinux-3.2.9--X--68_1.report.xml
255M files/
12M sources/
9.8M traces/
Debug traces are placed to the directory 'files/'. BTW they are already gzipped, so the final archive size is about 173Mb. Without them it would be 35Mb. Actually I don't know whether it's compressed by default or not, compressed results are just about 2Mb, i.e. just 1% of the current size.
May be a special environment variable responsible for this would be a good solution.
I think that pax archive should not include debug traces at all, they are don't needed.
- Assignee changed from Vadim Mutilin to Evgeny Novikov
I'll try to resolve it quickly before upcoming reference launches for 3.3 kernel.
BTW, debug traces are stored without respect to LDV_DEBUG. Everything placed to <file> tags are packed to the final archive. In case of debug traces it's so:
<file tag="verifier_out">linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/rcv/32_7/main-ldv_main0_sequence_infinite_withcheck_stateful/runs/drivers/staging/lirc/lirc_sasem.ko.1.gz</file>
I guess that such the files should appear just for LDV_DEBUG >= 30 ('DEBUG') and should be packed just in case of an user specifies an environment variable, say,
LDV_PACK_AUX_FILES.
- Assignee changed from Evgeny Novikov to Vadim Mutilin
- Priority changed from High to Normal
I did the latter (LDV_PACK_AUX_FILES environment variable) in commit a3cd11e. The former requires more work and static verifier related stuff, but it isn't so important.
Also available in: Atom
PDF