Dotaz: Select - multiplexování socketů

[Martin Matějek]

Přílohy:

• sockserver_listen.c (2235 bytů)
• sockclient_send.c (1071 bytů)
• sockrootclient.c (1073 bytů)

Zdravím, pokouším se napsat program komunikující přes lokální sockety (AF_UNIX), který má přijmout spojení, vytvořit nový socket pro to dané spojení (s ním pak něco dělat) a čekat na další.

Problém nastává, když chci aby hlídal dva sockety najednou (řídící - vypnutí,restart; socket pro „obyčejné“ spojení) pomocí funkce select(). Když se jsou sockety zařazeny za sebou

listen(...,...);
listen(...,...);

tak všechno funguje v pořadí daném filedescriptory.

Když zkusím použít select() takhle:

FD_ZERO(&fd_read);
FD_SET(sockfd, &fd_read);	
FD_SET(rootsockfd, &fd_read);	
	
select(2,&fd_read, NULL, NULL, NULL);
if (FD_ISSET(sockfd,&fd_read)) {
	printf("Normal socket ready.\n");
}
else {
	printf("Root socket ready.\n");
}

nic se nestane a „server“ se zasekne a už se nedostane k accept(). Zajímavé ovšem je, že „klient“ odešle to co má a skončí.

Otázka zní: Jak funguje select()? Vycházel jsem z referenční příručky GNU C library (http://www.gnu.org/software/libc/manual/), kde mají ukázky podobným stylem.

(Zdrojáky v příloze)

---

---

Odpovědi

[Martin Matějek]

První argument select(2) není počet deskriptorů v poli deskriptorů, ale číslo nejvyššího deskriptoru navýšené o 1.

Prakticky ve vašem programu čekáte na čtecí událost nad prázdnou množinou deskriptorů, která tedy nikdy nenastane. Deskriptor 0 a 1 má totiž již standardní vstup a standardní výstup.

[Martin Matějek]

Aha!

select(FD_SETSIZE,&fd_read, NULL, NULL, NULL);

to vyřešilo, díky!

[petr_p]

Což ovšem kvůli implementaci v jádře bude nechutně pomalé. Proč tam asi tak ten první argument vůnec je? Je třeba při přidávání deskriptoru do pole hledat nejvyšší hodnotu deskriptoru a tu pak selectu předat.

[Luboš Doležel (Doli)]

Proč tam asi tak ten první argument vůnec je?

To by mě mimochodem docela zajímalo.

[petr_p]

To byla řečnická otázka. Ale jestli chcete odpověď:

Právě proto, že pole deskriptorů jsou skutečná pole a jádro je prochází lineárně. Vzhledem k tomu, že deskriptory mají obvykle malé číslo, tak je hloupost procházet všech INT_MAX prvků, když z nich většina je nevyplněná.

[Martin Matějek]

Mea culpa. Poté co jsem odeslal odpověď mě napadlo, že to možná je kanón na vrabce. Dík za vysvětlení.

[zulu]

Kromě toho už vyřešeného prvního parametru... ten if-else po selectu by měl být if,if.