I just discovered that when I turn off
Hyperthreading on my P4-3Ghz Linux desktop machine the strange rendering artifacts go away. (These rendering artifacts do not appear on dual-processing machines with two legitimate processors.)
"Bollocks!", as Kim would say.
The solution, of course, is to turn hyperthreading off which is a good idea since it only gives a 10% speed-up but requires twice as many renderman licenses which are
not cheap.
UPDATE: I'm totally wrong: prman 12 changed its dicing algorithm and that's where the artifacts are coming from. Fuck.