[cocci] Influence of shared memory areas for parallel data processing of SmPL code

[cocci] Influence of shared memory areas for parallel data processing of SmPL code

[Markus Elfring]

Hello,

A bit of information is provided for the usage of the program parameter “--jobs”.
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/68c580f1f1abf9979d591371e5b2e474f97dac90/docs/manual/spatch_options.tex#L762-772 :

“…
This option is not compatible with the use of a {\tt finalize} rule in the semantic patch,
as there is no shared memory and the effect of a {\tt finalize} rule is thus not likely to be useful.
…”


Another bit of information is provided for the applied OCaml module “parmap”.
https://github.com/rdicosmo/parmap/blob/963608763589e03de38e744d359884d491e65460/README.md?plain=1#L21-L26 :

“…
The principle of parmap is very simple: when you call one of the three available
primitives, map, fold, and  mapfold , your OCaml  sequential program forks  in n
subprocesses (you choose the n), and each subprocess performs the computation on
the 1/n of the data, in chunks  of a size you  can choose, returning the results
through a shared memory area to the  parent process, that resumes execution once
all the children have terminated, and the data has been recollected.
…”


Can such descriptions fit better together anyhow?

Regards,
Markus