On Sun, 23 Aug 2015, SF Markus Elfring wrote:

> > * -j should now work correctly.
>
> An incompatibility for the SmPL rules "initialize" and "finalize"
> is mentioned in the manual.
> https://github.com/coccinelle/coccinelle/blob/a46bef70162d17cec6b0fc6101d737989f735ee4/docs/manual/spatch_options.tex#L673
>
> Can this software limitation be explained better there?

There is no shared memory in ocaml.  initialize and finalize naturally
suggest that locations created in initialize can all be collected in a
single execution of finalize. Since this is not possible, initialize and
finalize are not allowed.  If you are OK with disjoint memory spaces per
thread, just use the existing script for parallelism.

>
>
> Does the parallelisation support need any more fine-tuning?
> * How often is task preparation required before further data processing
>   can be performed in parallel?
>
> * Which programming interfaces do you prefer for the storage
>   of collected data in the fork-join work flow?

No idea what either of these questions mean, but the whole point is that
there is no join.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to