* Re: [RFC] Extending data processing resources for isomorphism rules?
[not found] ` <5122da19-8a4c-413e-9374-997cb6442520@web.de>
@ 2026-09-13 6:33 ` Markus Elfring
0 siblings, 0 replies; only message in thread
From: Markus Elfring @ 2026-09-13 6:33 UTC (permalink / raw)
To: cocci, kernel-janitors; +Cc: LKML
> 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2026-09-13 6:33 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <38ba026b-c6f9-4b23-9754-5fb61e9db85a@web.de>
[not found] ` <bec1dd2-e991-3e92-f65e-d795ea98eeae@inria.fr>
[not found] ` <5122da19-8a4c-413e-9374-997cb6442520@web.de>
2026-09-13 6:33 ` [RFC] Extending data processing resources for isomorphism rules? Markus Elfring
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®