Actions
Feature #2569
openLet's DSCV and RCV won't keep debug traces by default
Start date:
03/11/2012
Due date:
% Done:
0%
Estimated time:
Published in build:
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.
Updated by Vadim Mutilin over 12 years ago
I think that pax archive should not include debug traces at all, they are don't needed.
Updated by Evgeny Novikov over 12 years ago
- 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.
Updated by Evgeny Novikov over 12 years ago
- 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.
Actions