On Wed, May 11, 2011 at 20:20, Julia Lawall <[email protected]> wrote: > > For what it is worth, I don't have any opinion about the various > extensions of ocaml to permit concurrency. Simply dividing the files > among the available processors is not perfect, but has been good enough > for me in practice. >
Concurrency and in particular *parallelism* (No, they are not the same :) are weak points in Ocaml currently. The trouble hinges on the fact that the GC blocks all threads and Ocaml programs tend to allocate lots and lots of data quickly. There is a recent Ocaml Pro group who will be looking into putting Ocaml in the multicore era I guess, but they do have other things to look into as well. For coccinelle, the easy solution is just "run more coccinelles". If you are looking at runtimes of hours, then the fine-grainedness of the tasks doesn't matter that much. 5 minutes extra runtime isn't that important if you just went from 8 hours to 1. Of course, you could share the parsed AST among the cores and get a speedup that way as well, but Cocci can already do that. Embarrassingly parallel problems, like this one, are easy... says the resident Erlang hacker :) -- J. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
