On Fri, Apr 11, 2014 at 10:50 AM, SF Markus Elfring < [email protected]> wrote:
> Would you like to share any more ideas about corresponding software > improvements? > The quick answer: It is currently somewhat hard. Ocaml is not multi-threaded because it does not have a garbage collector able to execute in multiple threads at the same time. This is being worked on seriously now, but is at least 2-3 years out on the horizon for a stable solution. So to make cocci faster on the inside requires some multi-processing hackery. Certainly possible, but not as easy. -- J.
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
