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

Markus Elfring <[email protected]> Sat, 9 May 2026 18:38:43 +0200
Newsgroups fr.inria.cocci
Message-ID <[email protected]>
>> 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

* Would you like to distinguish item concatenation better from
  the more advanced application of a merge algorithm?

* Where is the information presented and explained that such data structures
  would be involved here?


>                                                                 and then
> reprocess the data however you want.  I don't think that Coccinelle can
> anticipate what structure the user will want.

I hope that data processing requirements can be clarified accordingly.


>                                                Making a list preserves all
> the information.
Will any other structures become more appropriate for data merging?

Regards,
Markus