From: Markus Elfring <Markus.Elfring@web.de>
To: cocci@inria.fr, kernel-janitors@vger.kernel.org
Cc: LKML <linux-kernel@vger.kernel.org>
Subject: Re: [RFC] Extending data processing resources for isomorphism rules?
Date: Sun, 13 Sep 2026 08:33:31 +0200 [thread overview]
Message-ID: <f16640cb-8a67-4263-99e2-f04d4118c641@web.de> (raw)
In-Reply-To: <5122da19-8a4c-413e-9374-997cb6442520@web.de>
> How can this data processing ever succeed?
It could be observed that parsing attempts did not finish in a reasonable time
frame for scripts of the semantic patch language on a single processor core
if detailed expressions were tried out.
Isomorphism rules triggered special consequences for the run time characteristics
of the Coccinelle software.
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/ea58efe355dea2184217954248a01f5dc5995d24/standard.iso#L5-12
It would eventually be helpful to use additional processor cores for improved
parallel data processing.
It might make sense to take distributed computing into account accordingly.
This desire depends on the parallelizability of involved algorithms.
https://en.wikipedia.org/wiki/Analysis_of_parallel_algorithms
How do you think about to clarify corresponding software development possibilities
with variations for computation tree logic?
Regards,
Markus
parent reply other threads:[~2026-09-13 6:33 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <5122da19-8a4c-413e-9374-997cb6442520@web.de>]
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=f16640cb-8a67-4263-99e2-f04d4118c641@web.de \
--to=markus.elfring@web.de \
--cc=cocci@inria.fr \
--cc=kernel-janitors@vger.kernel.org \
--cc=linux-kernel@vger.kernel.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®