Re: [Sks-devel] OCaml vs hyperthreading

2017-07-06 Thread Kristian Fiskerstrand
On 06/26/2017 06:16 PM, Andrew Gallagher wrote: > Since SKS is written in OCaml, this might be of interest to keyserver > operators. This article might be of interest related to the intel microcode issue: https://tech.ahrefs.com/skylake-bug-a-detective-story-ab1ad2beddcd -- -

Re: [Sks-devel] OCaml vs hyperthreading

2017-06-26 Thread Kristian Fiskerstrand
On 06/26/2017 06:16 PM, Andrew Gallagher wrote: > OCaml appears to make (dis?)optimisations that trigger a rare Intel > hyperthreading bug with increased probability. The way I'm reading it is; When ocaml breaks it is due to a processor misbehaving :) -- Kristian Fis

[Sks-devel] OCaml vs hyperthreading

2017-06-26 Thread Andrew Gallagher
Since SKS is written in OCaml, this might be of interest to keyserver operators. OCaml appears to make (dis?)optimisations that trigger a rare Intel hyperthreading bug with increased probability. This only happens on Skylake and Kaby Lake processors. For Skylake (Xeon v5, Core iX-6XXX and similar)