epoll instellen

Alles begint met een epoll-instantie, die zelf een bestandsdescriptor is. Maak er een met epoll_create1().

Het argument is een vlaggenveld; geef 0 door voor standaardgedrag of EPOLL_CLOEXEC om de descriptor automatisch te sluiten bij exec(). De geretourneerde fd geef je door aan elke andere epoll-aanroep.

De oudere epoll_create(int size) nam een aanwijzing voor de grootte aan, maar de kernel negeert die nu; de enige vereiste was dat de waarde positief was.

Gebruik bij voorkeur epoll_create1(): deze functie gebruikt vlaggen in plaats van een betekenisloze grootte en laat je atomair om EPOLL_CLOEXEC vragen, zodat een aparte aanroep van fcntl() niet nodig is.

Zowel de gewenste gebeurtenissen als de resultaten worden uitgedrukt met struct epoll_event. Deze bevat een bitmasker events en een union data.

De union data bevat wat je terug wilt krijgen wanneer de gebeurtenis optreedt: meestal data.fd, maar het kan ook een data.ptr zijn naar een verbindingsobject dat je hebt toegewezen.

epoll_ctl() beheert de lijst met gewenste gebeurtenissen. Gebruik de bewerking EPOLL_CTL_ADD om een descriptor te gaan bewaken.

Je geeft de epoll-fd, de bewerking, de doel-fd en een pointer naar je epoll_event door. Daarna rapporteert epoll wanneer die descriptor gereed is.

Het masker events geeft aan waarin je geïnteresseerd bent. EPOLLIN betekent dat de descriptor leesbaar is; EPOLLOUT betekent dat deze beschrijfbaar is.

Meestal bewaak je EPOLLIN op een luistersocket (om verbindingen te accepteren) en op clientsockets (om te lezen). Voeg EPOLLOUT alleen toe wanneer je gebufferde gegevens hebt die niet volledig zijn verzonden.

De kernel rapporteert bepaalde omstandigheden altijd, ook als je er niet om hebt gevraagd: EPOLLERR voor fouten, EPOLLHUP voor een verbreking en EPOLLRDHUP wanneer de peer de verbinding aan zijn kant gedeeltelijk sluit.

Controleer deze in je handler; als je EPOLLHUP op een dode socket negeert, blijft de gebeurtenislus onnodig draaien.

Zodra een descriptor is geregistreerd, kun je het gebeurtenismasker wijzigen zonder de descriptor te verwijderen. Gebruik daarvoor EPOLL_CTL_MOD.

Een veelgebruikt patroon: een verbinding bewaakt normaal alleen EPOLLIN en schakelt over naar EPOLLIN | EPOLLOUT wanneer de verzendbuffer vol raakt, om daarna weer terug te schakelen zodra de buffer leeg is.

Wanneer een verbinding wordt gesloten, stop je met het bewaken ervan met EPOLL_CTL_DEL. Het laatste argument van het type epoll_event wordt genegeerd en mag op moderne kernels NULL zijn.

Let op: als je een descriptor sluit, wordt deze automatisch uit alle epoll-lijsten met gewenste gebeurtenissen verwijderd. Toch houdt expliciet verwijderen vóór het sluiten je administratie overzichtelijk.

Standaard is epoll niveaugestuurd: zolang een descriptor leesbaar blijft, rapporteert elke epoll_wait()-aanroep deze. Dat is vergevingsgezind en eenvoudig.

Voeg de vlag EPOLLET toe voor de flankgestuurde modus: je krijgt alleen een melding wanneer de gereedheid verandert. Daarom moet je de socket in een lus volledig leeglezen tot EAGAIN.

In plaats van data.fd kun je data.ptr opslaan, die naar een struct per verbinding wijst. Wanneer de gebeurtenis optreedt, krijg je die pointer direct terug en heb je geen opzoektabel nodig.

Vergeet de union niet: als je data.ptr instelt, kun je niet ook data.fd uit dezelfde gebeurtenis lezen.

De epoll-instantie is gewoon een bestandsdescriptor, dus geef je deze vrij met close() wanneer de server wordt afgesloten.

Door de epoll-fd te sluiten, maakt de kernel de lijst met gewenste gebeurtenissen vrij. Eventuele nog geopende bewaakte sockets blijven open; sluit die afzonderlijk om hun resources vrij te geven.

Je maakt een instantie met epoll_create1() en beheert daarna de gewenste gebeurtenissen via epoll_ctl() met ADD, MOD en DEL. Elke struct epoll_event bevat een masker events en een union data.

Kies niveaugestuurde verwerking voor eenvoud of EPOLLET voor flankgestuurde prestaties. Vervolgens gebruiken we deze onderdelen vanuit een gebeurtenislus.