From: Nicola Vetrini <nicola.vetrini@bugseng.com>
To: Jan Beulich <jbeulich@suse.com>
Cc: xen-devel <xen-devel@lists.xenproject.org>,
"Roger Pau Monné" <roger.pau@citrix.com>,
"Bertrand Marquis" <Bertrand.Marquis@arm.com>,
"Michal Orzel" <michal.orzel@amd.com>,
"Anthony PERARD" <anthony.perard@vates.tech>,
"Andrew Cooper" <andrew.cooper3@citrix.com>,
"Stefano Stabellini" <sstabellini@kernel.org>
Subject: Re: Current Eclair analysis
Date: Thu, 11 Dec 2025 11:08:52 +0100 [thread overview]
Message-ID: <dab08dfc1de25d7573c401ecad8a1f21@bugseng.com> (raw)
In-Reply-To: <c0d5cf8c-cb57-47a5-a989-f65677e565aa@suse.com>
On 2025-12-11 11:00, Jan Beulich wrote:
> On 10.12.2025 19:14, Andrew Cooper wrote:
>> The Eclair step is now the dominating aspect of wallclock time. While
>> the recent changes were a step in the right direction, we need some
>> adjustments.
>
> One other question, related to the "dominating" aspect, but not to any
> of the points raised so far. Can scan results possibly be recorded
> somehow, somewhere, such that upon re-scanning the same tree (pre-push
> test followed by post-push test) the identical re-scan can be avoided?
> And perhaps even incrementally - if only .c files change within a (set
> of) commit(s), only re-scan those, rather than everything? Could be
> extended to .h files if dependencies were properly taken into account.
>
> Jan
We support incremental analysis, but it requires non-trivial changes to
the current Xen integration. If someone wants to invest time and/or
resources in it, I can support the effort, but it requires a fair deal
of rearrangements of scripting in order to avoid losing information
--
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253
next prev parent reply other threads:[~2025-12-11 10:09 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-12-10 18:14 Current Eclair analysis Andrew Cooper
2025-12-10 19:57 ` Nicola Vetrini
2025-12-11 9:04 ` Jan Beulich
2025-12-11 16:07 ` Andrew Cooper
2025-12-11 10:00 ` Jan Beulich
2025-12-11 10:08 ` Nicola Vetrini [this message]
2025-12-11 10:50 ` Jan Beulich
2025-12-11 15:53 ` Nicola Vetrini
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=dab08dfc1de25d7573c401ecad8a1f21@bugseng.com \
--to=nicola.vetrini@bugseng.com \
--cc=Bertrand.Marquis@arm.com \
--cc=andrew.cooper3@citrix.com \
--cc=anthony.perard@vates.tech \
--cc=jbeulich@suse.com \
--cc=michal.orzel@amd.com \
--cc=roger.pau@citrix.com \
--cc=sstabellini@kernel.org \
--cc=xen-devel@lists.xenproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.