Início / coding / Perguntas / 79569166
Accepted
user180574
Asked: 2025-04-11 23:05:20 +0800 CST

c: select trava em fd_set vazio

  • 772

O trecho de código a seguir chama a select()função.

n = select(max_fd, NULL, &write_set, NULL, NULL)

Ele verifica a disponibilidade de gravação em alguns soquetes. Como geralmente está disponível, o tempo limite não é definido. Em certas iterações do loop, é possível que write_setesteja vazio.

Abaixo está o rastreamento. Não há mais saída, então presumo que o programa trave.

select(7, NULL, [], NULL, NULL

Minha pergunta é: esse é o comportamento correto? Se o conjunto estiver vazio, o select deve retornar imediatamente? Não há motivo para select()esperar, certo?

c

2 respostas

  1. Best Answer

    Sim, este é o comportamento correto. POSIX diz

    select()blocos, até o intervalo de tempo limite especificado, até que a condição especificada seja verdadeira para pelo menos um dos descritores de arquivo especificados.

    Se nenhum FD for especificado, "verdadeiro para pelo menos um dos descritores de arquivo especificados" nunca será verdadeiro, então ele bloqueia até o tempo limite.

    Se o timeoutargumento for um ponteiro nulo, select()bloqueia até que um evento faça com que uma das máscaras seja retornada com um valor válido (diferente de zero).
    ...
    Se os argumentos readfds, writefdse errorfdsforem todos ponteiros nulos e o timeoutargumento for um ponteiro nulo, select()bloqueia até ser interrompido por um sinal.

    Um conjunto FD vazio é efetivamente o mesmo que passar um ponteiro nulo para esse conjunto.

    • 4

  2. Este é, na verdade, o comportamento especificado no POSIX (IEEE Std 1003.1-2024) :

    Se nenhum dos descritores selecionados estiver pronto para a operação solicitada, a função pselect()ou deverá bloquear até que pelo menos uma das operações solicitadas fique pronta , até que o tempo limite ocorra ou até ser interrompida por um sinal. O parâmetro timeout controla quanto tempo a função ou deverá levar antes de atingir o tempo limite. Se o parâmetro timeout não for um ponteiro nulo, ele especifica um intervalo máximo de espera para a seleção ser concluída. Se o intervalo de tempo especificado expirar sem que nenhuma operação solicitada fique pronta, a função deverá retornar. Se o parâmetro timeout for um ponteiro nulo, a chamada para ou deverá bloquear indefinidamente até que pelo menos um descritor atenda aos critérios especificados . Para efetuar uma pesquisa, o parâmetro timeout não deve ser um ponteiro nulo e deve apontar para uma estrutura timespec de valor zero.select()pselect()select()pselect()select()

    Sem descritores de arquivo em nenhum dos conjuntos e sem tempo limite, ele deve ser bloqueado até ser interrompido.

    • 4

relate perguntas