[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