After looking a bit more closely at the contents of sk104788, I realized that the recommendation to disable Hyperthreading is most definitely valid for a R77.30 or earlier SMS due to the single-threaded nature of key processes such as fwm and fwd.
However the management backend for R80+ SMS was totally revamped, and at its core are six java-based processes which are most definitely capable of multithreaded operation based on my observations. I would think that enabling Hyperthreading would actually help for a R80+ SMS at least at the process level, however some single-threaded bottlenecks may still exist at the storage controller driver level or elsewhere that I'm not taking into account.
I have requested a clarification on this via the feedback mechanism in sk104788, hopefully this post will expedite an answer to this question.
--
My book "Max Power: Check Point Firewall Performance Optimization"
now available via http://maxpowerfirewalls.com.
Gateway Performance Optimization R81.20 Course
now available at maxpowerfirewalls.com