Тактовая частота, которая видна в гостевой операционной системе, берется из внутреннего счетчика времени процессора — TSC. В современных процессорах TSC работает с постоянной частотой, которая равна либо номинальной частоте процессора либо максимальной гарантированной для всех ядер.
У процессоров Intel® Xeon максимальная гарантированная и номинальная частоты — отличаются. В случае использования инструкций AVX2 и AVX3 максимальная частота ниже номинальной. К примеру, согласно спецификации процессоров семейства Cascade Lake для ситуации когда используются инструкции AVX-512 для обработки векторных данных, процессоры работают на частотах:
В указанных выше процессорах TSC работает на максимальной гарантированной для всех ядер частоте, которая ниже номинальной. Поэтому частоты, которые видно в операционной системе Виртуальной машины, никак не связаны с реальными частотами на которых работают процессорные ядра. Эффективные частоты меняются динамически в зависимости от нагрузки.