Qual é o clocksource preferido para um convidado kvm executando o debian?

Question

Nosso servidor de desenvolvimento está executando o debian 4.0 (etch) como convidado no KVM. Por muito tempo, teve problemas esporádicos onde muitos processos pareceriam apenas travar. Nós finalmente encontramos o problema - o clocksource ainda estava configurado como tsc de quando estava rodando no servidor vmware. Eu mudei para "pit" e os problemas desapareceram.

Infelizmente, acabei de descobrir que sob alta CPU e alta carga de disco (grande número de seleções / atualizações em um db hospedado localmente), começamos a ver a distorção do relógio no convidado. Quando rodando sob alta carga de disco e moderalmente alta carga cpu por meia hora, acabamos com uma distorção de clock de cerca de 200 segundos. Só esta manhã notei um desvio de 7 segundos.

Isso está relacionado ao clocksource e, em caso afirmativo, qual é a melhor escolha? Eu não consegui encontrar muita informação online explicando a diferença entre cada fonte de clock.

Relatórios de

cat / sys / devices / system / clocksource / clocksource0 / available_clocksource:

jiffies hpet tsc pit

Devido ao suporte de nossos aplicativos herdados, não posso atualizar esse servidor para uma versão mais recente que inclua o kvm_clock.