Início / unix / Perguntas / 787287
Accepted
abg1984
Asked: 2024-11-27 18:20:20 +0800 CST

Implementação de unregister_chrdev_region()

  • 772

Então, atualmente estou aprendendo a escrever módulos de kernel/drivers de dispositivo e estava analisando a implementação de unregister_chrdev_region:

https://elixir.bootlin.com/linux/v6.12/source/fs/char_dev.c#L311

/**
 * unregister_chrdev_region() - unregister a range of device numbers
 * @from: the first in the range of numbers to unregister
 * @count: the number of device numbers to unregister
 *
 * This function will unregister a range of @count device numbers,
 * starting with @from.  The caller should normally be the one who
 * allocated those numbers in the first place...
 */
void unregister_chrdev_region(dev_t from, unsigned count)
{
    dev_t to = from + count;
    dev_t n, next;

    for (n = from; n < to; n = next) {
        next = MKDEV(MAJOR(n)+1, 0);
        if (next > to)
            next = to;
        kfree(__unregister_chrdev_region(MAJOR(n), MINOR(n), next - n));
    }
}

O que não entendo é a verificação nesta linha:

https://elixir.bootlin.com/linux/v6.12/source/fs/char_dev.c#L318

if (next > to) next = to;

O loop, como eu vejo, já quebra quando a variável do loop é igual ao limite superior to = from + count. Quando teríamos o caso de encontrarmos o condicional if (next > to)? Qual é o motivo dessa verificação condicional?

linux-kernel

2 respostas

  1. Best Answer

    unregister_chrdev_regioncancela o registro de uma série de dispositivos, mas esse cancelamento de registro deve ser tratado por major using __unregister_chrdev_region. O loop lida com isso:

    • na entrada, né o início do alcance do dispositivo para o principal atual
    • next = MKDEV(MAJOR(n)+1, 0);extrai o número principal do dispositivo ne o usa para calcular o início do próximo intervalo principal
    • se nextfor maior que to, o intervalo atual estará totalmente contido no principal atual e o cancelamento do registro precisará parar em toem vez denext

    Em todos os casos, __unregister_chrdev_regioné chamado para cancelar o registro do que resta no intervalo principal atual e nexté definido como o início do próximo intervalo principal ou o fim do intervalo geral para que a próxima iteração do loop manipule o próximo intervalo principal ou saia se tudo tiver sido manipulado.

    Vamos dar um exemplo: se você pedisse para cancelar o registro de 1024 dispositivos começando no principal 1 e no secundário 512:

    • na entrada da função, fromé 1536, counté 1024
    • toé calculado em 2560
    • na entrada do loop, né 1536
    • nexté calculado em 2048 (maior 2)
    • 2048 é menor que 2560, então __unregister_chrdev_regioné chamado para cancelar o registro de 512 dispositivos começando em 1536
    • na próxima iteração do loop, né 2048
    • nexté calculado como 3072 (maior 3)
    • 3072 é maior que 2560, então nexté definido como to, e __unregister_chrdev_regioné chamado para cancelar o registro de 512 dispositivos a partir de 2048
    • na próxima iteração do loop, né 2560 e o loop termina
    • 0

  2. Você está interpretando mal o que o loop faz! O loop não é

    //                        vvv
for(int n = from; n < to; n++) {
  /* Do something treating n as a constant each iteration */
}

    que corre exatamente to - from == countvezes.

    É, em vez disso,

    //                        vvvvvvvv
for(int n = from; n < to; n = next) {
   next = something_that_might_or_might_not_change_each_iteration();
}

    nesse caso,

    next=MKDEV(MAJOR(n)+1, 0);

    Se você procurar a definição de MKDEVeMAJOR , verá que isso se expande para

    next =  ((n >> 20) + 1) << 20 | 0;

    o que equivale a "arredondar para o próximo múltiplo de 2 20 (mesmo que njá seja um múltiplo)".

    Então, é bem provável que já na primeira iteração seu nextseja maior que to!

    • 0

relate perguntas