La interfaz es muy simple, y no es un ADT.
Los estados se identifican con un número entero (típicamente proveniente de
un enum).
- El usuario instancia un `struct state_machine'
- Describe la maquina de estados:
- describe el estado inicial en `initial'
- todos los posibles estados en `states' (el orden debe coincidir con
el identificador)
- describe la cantidad de estados en `states'.
Provee todas las funciones necesitadas en un `struct fd_handler'
Un selector permite manejar en un único hilo de ejecución la entrada salida
de file descriptors de forma no bloqueante.
Esconde la implementación final (select(2) / poll(2) / epoll(2) / ..)
El usuario registra para un file descriptor especificando:
1. un handler: provee funciones callback que manejarán los eventos de
entrada/salida
2. un interés: que especifica si interesa leer o escribir.
Es importante que los handlers no ejecute tareas bloqueantes ya que demorará
el procesamiento del resto de los descriptores.
Si el handler requiere bloquearse por alguna razón (por ejemplo realizar
una resolución de DNS utilizando getaddrinfo(3)), tiene la posiblidad de
descargar el trabajo en un hilo notificará al selector que el resultado del
trabajo está disponible y se le presentará a los handlers durante
la iteración normal. Los handlers no se tienen que preocupar por la
concurrencia.
Dicha señalización se realiza mediante señales, y es por eso que al
iniciar la librería `selector_init' se debe configurar una señal a utilizar.
Todos métodos retornan su estado (éxito / error) de forma uniforme.
Puede utilizar `selector_error' para obtener una representación human
del estado. Si el valor es `SELECTOR_IO' puede obtener información adicional
en errno(3).
El flujo de utilización de la librería es:
- iniciar la libreria `selector_init'
- crear un selector: `selector_new'
- registrar un file descriptor: `selector_register_fd'
- esperar algún evento: `selector_iteratate'
- destruir los recursos de la librería `selector_close'
El usuario describe estados y transiciones.
Las transiciones contienen una condición, un estado destino y acciones.
El usuario provee al parser con bytes y éste retona eventos que pueden
servir para delimitar tokens o accionar directamente.
Santiago Lo Coco
Juan F. Codagnone