Also actual graphs of 4- and 8-way SMP performance showed pretty poor scaling for real problems Do you mean for OCaml, or in general? Because lots of problems

Also actual graphs of 4- and 8-way SMP performance showed pretty poor scaling for real problems Do you mean for OCaml, or in general? Because lots of problems are amenable to 4 and 8 way threading on SMPs or multicores.