git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH v3] coccicheck: process every source file at once

From
Jeff King <peff@peff.net>
Date
Oct 10, 2018, 13:59 UTC
Message-ID
<20181010135952.GA2933@sigill.intra.peff.net>
In-Reply-To
<20181010114441.GD23446@szeder.dev>
On Wed, Oct 10, 2018 at 01:44:41PM +0200, SZEDER Gábor wrote:
Show 17 quoted lines
> > So that's really weird and counter-intuitive, since we should be doing
> > strictly less work. I know that spatch tries to parallelize itself,
> > though from my tests, 1.0.4 does not. I wonder if the version in Travis
> > differs in that respect and starts too many threads, and the extra time
> > is going to contention and context switches.
> 
> I don't think it does any parallel work.
> 
> Here is the timing again from my previous email:
> 
>   960.50user 22.59system 16:23.74elapsed 99%CPU (0avgtext+0avgdata 1606156maxresident)k
> 
> Notice that 16:23 is 983s, and that it matches the sum of the user and
> system times.  I usually saw this kind of timing with CPU-intensive
> single-threaded programs, and if there were any parallelization, then I
> would expect the elapsed time to be at least somewhat smaller than the
> other two.

Ah, right, I should have been able to figure that out myself. So scratch that theory. My "hypervisor stalling our memory reads" theory is still plausible, but I don't know how we would test it.

I guess in some sense it doesn't matter. If it's slower, we're not likely to be able to fix that. So I guess we just need the fallback to the current behavior.

-Peff
Previous: SZEDER GáborNext: Beat Bolli
Message 18 of 20 in “coccicheck: process every source file at once”
  1. coccicheck: process every source file at onceJacob Keller, Oct 2, 2018
  2. Jacob KellerOct 2, 2018
  3. Jacob KellerOct 5, 2018
  4. SZEDER GáborOct 5, 2018
  5. Jeff KingOct 5, 2018
  6. Keller, Jacob EOct 5, 2018
  7. Jeff KingOct 5, 2018
  8. SZEDER GáborOct 5, 2018
  9. Jeff KingOct 5, 2018
  10. Jacob KellerOct 5, 2018
  11. René ScharfeOct 6, 2018
  12. Jeff KingOct 9, 2018
  13. SZEDER GáborOct 5, 2018
  14. Jeff KingOct 5, 2018
  15. SZEDER GáborOct 5, 2018
  16. Jeff KingOct 9, 2018
  17. SZEDER GáborOct 10, 2018
  18. Jeff KingOct 10, 2018
  19. Beat BolliOct 7, 2018
  20. Beat BolliOct 7, 2018

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.