Hello,

The Coccinelle software supports multi-processing (parameter “--jobs”)
for a while. It would be occasionally useful to share data between started
(background) processes for specific analysis tasks.
Such parallel data collection would require a software design which is safe
for data synchronisation.

The information “Database connections generally do not travel across
process boundaries.” is provided by a known software documentation.
https://docs.sqlalchemy.org/en/13/core/connections.html#engine-disposal

It was determined once more then that transaction management does only work
within a single process by this programming interface so far.
https://groups.google.com/d/msg/sqlalchemy/5-6O-Pwzh4A/5xSnxE_pDAAJ


I got information like the following (on 2018-05-12).

@initialize:ocaml@
@@
let _ =
  if not (!Flag.parmap_cores = None) then failwith "bad"


It seems that I did not become familiar enough with the programming
language “OCaml” to integrate another check (in a convenient way) for
the special case that the parameter “-j 1” could be passed.
(Related system constraints can be also interesting.)

Would you like to help a bit more to achieve the restriction for
serial execution of selected SmPL scripts?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to