|
|
Message-ID: <alpine.DEB.2.10.1611171353150.2913@hadrien>
Date: Thu, 17 Nov 2016 13:59:32 +0100 (CET)
From: Julia Lawall <julia.lawall@...6.fr>
To: Peter Zijlstra <peterz@...radead.org>
cc: Julia Lawall <julia.lawall@...6.fr>,
"Reshetova, Elena" <elena.reshetova@...el.com>,
Rik van Riel <riel@...hat.com>,
"kernel-hardening@...ts.openwall.com" <kernel-hardening@...ts.openwall.com>,
Will Deacon <will.deacon@....com>, Greg KH <gregkh@...uxfoundation.org>,
David Windsor <dave@...gbits.org>, Arnd Bergmann <arnd@...db.de>,
Thomas Gleixner <tglx@...utronix.de>, Ingo Molnar <mingo@...hat.com>,
"Anvin, H Peter" <h.peter.anvin@...el.com>
Subject: Re: Re: [RFC v4 PATCH 00/13] HARDENED_ATOMIC
With the options
--all-includes --include-headers --include-headers-for-types -I
/var/julia/linux-next/include -I /var/julia/linux-next/include/drm -I
/var/julia/linux-next/include/uapi --use-idutils
with 9 parallel jobs, I get 20 occurrences that have to be checked
manually due to insufficient type information in 1.5 minutes elapsed time.
Replacing --all-includes with --recursive-includes increases the elapsed
time to over 12 minutes but give only 9 occurrences that have to be
checked.
--include-headers-for-types does some caching of header file information.
Make coccicheck by default achieves paralellism by starting a thread for
each file, which eliminates the benefit of caching. One then also needs
the argument --chunksize N, for perhaps N = 20, to get some benefit from
the caching.
julia
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.