Re: [cocci] Merging results from parallel data processing?

On Sat, 9 May 2026, Markus Elfring wrote:

> 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?

I don't know exactly what you are reffing to, but you can for example,
concatenation the set of hash tables into a list of hash tables and then
reprocess the data however you want.  I don't think that Coccinelle can
anticipate what structure the user will want.  Making a list preserves all
the information.

julia