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