Re: [RFC] Extending data processing resources for isomorphism rules?

[Markus Elfring]

> 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