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

Re: coccinelle: merge two rules from flex_alloc.cocci

From
MEMarkus Elfring <markus.elfring@web.de>
Date
Nov 14, 2019, 17:30 UTC
Message-ID
<751e4cc2-e6d0-edfb-b206-4204443a5c62@web.de>
In-Reply-To
<20191114163527.GT4348@szeder.dev>
Show 7 quoted lines
>> Does any test infrastructure (or benchmarks) exist which you would trust for
>> corresponding comparisons of software run time characteristics?
>
> Yes, just run:
>
>   make cocciclean
>   time make contrib/coccinelle/flex_alloc.cocci.patch
Thanks for this suggestion.
> before and after your changes, and include the timing results in the
> commit message if there is a notable difference.
The measurements from my test system might not be representative enough.
Show 7 quoted lines
> FWIW, I did just that with your "coccinelle: merge twelve rules from
> object_id.cocci" patch [1], and the runtime went down from 2m48.610 to
> 2m34.395, a bit over 8% speedup. (with Ubuntu 16.04's Coccinelle
> 1.0.4)
>
>
> [1] https://public-inbox.org/git/6c9962c0-67c1-e700-c145-793ce6498099@web.de/

These numbers seem to be nice. Would a direct reply have been more helpful for the referenced patch than the current subject?

Regards, Markus

Previous: SZEDER GáborNext: Junio C Hamano
Message 8 of 9 in “coccinelle: merge two rules from flex_alloc.cocci”
  1. coccinelle: merge two rules from flex_alloc.cocciMarkus Elfring, Nov 12, 2019
  2. Denton LiuNov 12, 2019
  3. Martin ÅgrenNov 13, 2019
  4. Markus ElfringNov 13, 2019
  5. Martin ÅgrenNov 14, 2019
  6. Markus ElfringNov 14, 2019
  7. SZEDER GáborNov 14, 2019
  8. Markus ElfringNov 14, 2019
  9. Junio C HamanoNov 15, 2019

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.