[cocci] Merging results from parallel data processing?

Markus Elfring <[email protected]> Sat, 9 May 2026 08:15:20 +0200
Newsgroups fr.inria.cocci
Message-ID <[email protected]>
Hello,

A programming interface is used by the Coccinelle software for parallel data processing.
https://gitlab.inria.fr/search?search=Parmap.parfold&nav_source=navbar&project_id=18465&group_id=10912&search_code=true&repository_ref=master
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/03a1af0a3316ddfc2b54d827b8b9627a841c85c9/enter.ml#L1283-1299

Corresponding results are concatenated so far.
I would appreciate if data can occasionally be combined by other algorithms.

I imagine that unique constraints can be taken better into account accordingly.
Some information would be usable as key data on demand then, wouldn't it?

Regards,
Markus