Início / unix / Perguntas / 759402
Accepted
Mark K
Asked: 2023-10-20 09:19:09 +0800 CST

Verifique o uniforme apenas após chamar mtrr_type_lookup()

  • 772

Por que o mecanismo de verificação foi alterado? Por causa da atualização do código MTRR? Ou foi um bug na verificação anterior?

link

x86/mm: Only check uniform after calling mtrr_type_lookup()
Today pud_set_huge() and pmd_set_huge() test for the MTRR type to be
WB or INVALID after calling mtrr_type_lookup().

Those tests can be dropped as the only reason not to use a large mapping
would be uniform being 0.

Any MTRR type can be accepted as long as it applies to the whole memory
range covered by the mapping, as the alternative would only be to map
the same region with smaller pages instead, using the same PAT type as
for the large mapping.
kernel

1 respostas

  1. Best Answer

    O código foi alterado porque a semântica uniformnão estava correta. Isso foi descoberto em uma iteração anterior do patchset; Juergen Gross perguntou

    O problema surge no caso de um mapeamento grande abranger vários MTRRs, mesmo que eles definam o mesmo tipo de cache (uniforme é definido como 0 neste caso).

    Portanto, a questão básica para mim é: a semântica do uniforme não deveria ser adaptada? Hoje significa “a faixa é coberta por apenas um MTRR ou por nenhum”. Olhando para os casos de uso, estou me perguntando se não deveria ser "todo o intervalo tem o mesmo tipo de cache".

    ao que Linus Torvalds respondeu

    Ah, acho que você deveria fixar o uniforme como 1.

    IOW, não devemos pensar que "múltiplos MTRRs" significa "não uniforme". Apenas "diferentes tipos de memória real" devem significar não uniformidade.

    Se bem me lembro, havia boas razões para haver MTRRs sobrepostos. Na verdade, você pode gerar um único MTRR que descreva um tipo de memória que nem sequer era contíguo se você tivesse configurações de memória estranhas.

    A Intel definitivamente define como a sobreposição do MTRR funciona, e "sobreposições dos mesmos tipos" são documentadas como algo real.

    Isso levou ao patch que você está perguntando, marcado como sugerido por Linus.

    (Nessas circunstâncias, para encontrar o e-mail que conta como sugestão, procure os e-mails do sugeridor para o autor do patch .)

    • 1

relate perguntas