#include <errno.h>
#include <stdlib.h>
#include <assert.h>
+#include <poll.h>
void *io_loop_return;
+#ifdef DEBUG
+bool io_plan_for_other;
+struct io_conn *current;
+bool (*io_debug)(struct io_conn *conn);
+bool io_debug_wakeup;
+
+static void debug_io_plan(struct io_plan *plan)
+{
+ if (io_plan_for_other) {
+ io_plan_for_other = false;
+ return;
+ }
+
+ if (!io_debug || !current)
+ return;
+
+ if (!io_debug(current) && !io_debug_wakeup)
+ return;
+
+ io_debug_wakeup = false;
+ current->plan = *plan;
+ backend_plan_changed(current);
+
+ /* Call back into the loop immediately. */
+ io_loop_return = io_loop();
+}
+
+static void debug_io_wake(struct io_conn *conn)
+{
+ /* We want linear if we wake a debugged connection, too. */
+ if (io_debug && io_debug(conn))
+ io_debug_wakeup = true;
+}
+#else
+static void debug_io_plan(struct io_plan *plan)
+{
+}
+static void debug_io_wake(struct io_conn *conn)
+{
+}
+#endif
+
struct io_listener *io_new_listener_(int fd,
- struct io_plan *(*start)(struct io_conn *,
- void *arg),
- void (*finish)(struct io_conn *, void *),
+ void (*init)(int fd, void *arg),
void *arg)
{
struct io_listener *l = malloc(sizeof(*l));
l->fd.listener = true;
l->fd.fd = fd;
- l->fd.next = start;
- l->fd.finish = finish;
- l->fd.finish_arg = l->fd.next_arg = arg;
+ l->init = init;
+ l->arg = arg;
if (!add_listener(l)) {
free(l);
return NULL;
}
struct io_conn *io_new_conn_(int fd,
- struct io_plan *(*start)(struct io_conn *, void *),
+ struct io_plan plan,
void (*finish)(struct io_conn *, void *),
void *arg)
{
conn->fd.listener = false;
conn->fd.fd = fd;
- conn->fd.next = start;
- conn->fd.finish = finish;
- conn->fd.finish_arg = conn->fd.next_arg = arg;
- conn->state = NEXT;
+ conn->plan = plan;
+ conn->finish = finish;
+ conn->finish_arg = arg;
conn->duplex = NULL;
conn->timeout = NULL;
if (!add_conn(conn)) {
}
struct io_conn *io_duplex_(struct io_conn *old,
- struct io_plan *(*start)(struct io_conn *, void *),
- void (*finish)(struct io_conn *, void *),
- void *arg)
+ struct io_plan plan,
+ void (*finish)(struct io_conn *, void *),
+ void *arg)
{
struct io_conn *conn;
conn->fd.listener = false;
conn->fd.fd = old->fd.fd;
- conn->fd.next = start;
- conn->fd.finish = finish;
- conn->fd.finish_arg = conn->fd.next_arg = arg;
- conn->state = NEXT;
+ conn->plan = plan;
conn->duplex = old;
+ conn->finish = finish;
+ conn->finish_arg = arg;
conn->timeout = NULL;
if (!add_duplex(conn)) {
free(conn);
return conn;
}
-/* Convenient token which only we can produce. */
-static inline struct io_next *to_ionext(struct io_conn *conn)
-{
- return (struct io_next *)conn;
-}
-
-static inline struct io_plan *to_ioplan(enum io_state state)
-{
- return (struct io_plan *)(long)state;
-}
-
-static inline struct io_conn *from_ionext(struct io_next *next)
-{
- return (struct io_conn *)next;
-}
-
-struct io_next *io_next_(struct io_conn *conn,
- struct io_plan *(*next)(struct io_conn *, void *),
- void *arg)
-{
- conn->fd.next = next;
- conn->fd.next_arg = arg;
-
- return to_ionext(conn);
-}
-
bool io_timeout_(struct io_conn *conn, struct timespec ts,
- struct io_plan *(*next)(struct io_conn *, void *), void *arg)
+ struct io_plan (*cb)(struct io_conn *, void *), void *arg)
{
+ assert(cb);
+
if (!conn->timeout) {
conn->timeout = malloc(sizeof(*conn->timeout));
if (!conn->timeout)
} else
assert(!timeout_active(conn));
- conn->timeout->next = next;
+ conn->timeout->next = cb;
conn->timeout->next_arg = arg;
backend_add_timeout(conn, ts);
return true;
}
+/* Returns true if we're finished. */
+static bool do_write(int fd, struct io_plan *plan)
+{
+ ssize_t ret = write(fd, plan->u.write.buf, plan->u.write.len);
+ if (ret < 0) {
+ /* Override next function to close us. */
+ plan->next = io_close;
+ return true;
+ }
+
+ plan->u.write.buf += ret;
+ plan->u.write.len -= ret;
+ return (plan->u.write.len == 0);
+}
+
/* Queue some data to be written. */
-struct io_plan *io_write(const void *data, size_t len, struct io_next *next)
+struct io_plan io_write_(const void *data, size_t len,
+ struct io_plan (*cb)(struct io_conn *, void *),
+ void *arg)
{
- struct io_conn *conn = from_ionext(next);
- conn->u.write.buf = data;
- conn->u.write.len = len;
- return to_ioplan(WRITE);
+ struct io_plan plan;
+
+ assert(cb);
+ plan.u.write.buf = data;
+ plan.u.write.len = len;
+ plan.io = do_write;
+ plan.next = cb;
+ plan.next_arg = arg;
+ plan.pollflag = POLLOUT;
+
+ debug_io_plan(&plan);
+ return plan;
+}
+
+static bool do_read(int fd, struct io_plan *plan)
+{
+ ssize_t ret = read(fd, plan->u.read.buf, plan->u.read.len);
+ if (ret <= 0) {
+ /* Override next function to close us. */
+ plan->next = io_close;
+ return true;
+ }
+
+ plan->u.read.buf += ret;
+ plan->u.read.len -= ret;
+ return (plan->u.read.len == 0);
}
/* Queue a request to read into a buffer. */
-struct io_plan *io_read(void *data, size_t len, struct io_next *next)
+struct io_plan io_read_(void *data, size_t len,
+ struct io_plan (*cb)(struct io_conn *, void *),
+ void *arg)
{
- struct io_conn *conn = from_ionext(next);
- conn->u.read.buf = data;
- conn->u.read.len = len;
- return to_ioplan(READ);
+ struct io_plan plan;
+
+ assert(cb);
+ plan.u.read.buf = data;
+ plan.u.read.len = len;
+ plan.io = do_read;
+ plan.next = cb;
+ plan.next_arg = arg;
+ plan.pollflag = POLLIN;
+
+ debug_io_plan(&plan);
+ return plan;
+}
+
+static bool do_read_partial(int fd, struct io_plan *plan)
+{
+ ssize_t ret = read(fd, plan->u.readpart.buf, *plan->u.readpart.lenp);
+ if (ret <= 0) {
+ /* Override next function to close us. */
+ plan->next = io_close;
+ return true;
+ }
+
+ *plan->u.readpart.lenp = ret;
+ return true;
}
/* Queue a partial request to read into a buffer. */
-struct io_plan *io_read_partial(void *data, size_t *len, struct io_next *next)
+struct io_plan io_read_partial_(void *data, size_t *len,
+ struct io_plan (*cb)(struct io_conn *, void *),
+ void *arg)
+{
+ struct io_plan plan;
+
+ assert(cb);
+ plan.u.readpart.buf = data;
+ plan.u.readpart.lenp = len;
+ plan.io = do_read_partial;
+ plan.next = cb;
+ plan.next_arg = arg;
+ plan.pollflag = POLLIN;
+
+ debug_io_plan(&plan);
+ return plan;
+}
+
+static bool do_write_partial(int fd, struct io_plan *plan)
{
- struct io_conn *conn = from_ionext(next);
- conn->u.readpart.buf = data;
- conn->u.readpart.lenp = len;
- return to_ioplan(READPART);
+ ssize_t ret = write(fd, plan->u.writepart.buf, *plan->u.writepart.lenp);
+ if (ret < 0) {
+ /* Override next function to close us. */
+ plan->next = io_close;
+ return true;
+ }
+
+ *plan->u.writepart.lenp = ret;
+ return true;
}
/* Queue a partial write request. */
-struct io_plan *io_write_partial(const void *data, size_t *len, struct io_next *next)
+struct io_plan io_write_partial_(const void *data, size_t *len,
+ struct io_plan (*cb)(struct io_conn*, void *),
+ void *arg)
{
- struct io_conn *conn = from_ionext(next);
- conn->u.writepart.buf = data;
- conn->u.writepart.lenp = len;
- return to_ioplan(WRITEPART);
+ struct io_plan plan;
+
+ assert(cb);
+ plan.u.writepart.buf = data;
+ plan.u.writepart.lenp = len;
+ plan.io = do_write_partial;
+ plan.next = cb;
+ plan.next_arg = arg;
+ plan.pollflag = POLLOUT;
+
+ debug_io_plan(&plan);
+ return plan;
}
-struct io_plan *io_idle(struct io_conn *conn)
+struct io_plan io_idle(void)
{
- return to_ioplan(IDLE);
+ struct io_plan plan;
+
+ plan.pollflag = 0;
+ plan.io = NULL;
+ /* Never called (overridded by io_wake), but NULL means closing */
+ plan.next = io_close;
+
+ debug_io_plan(&plan);
+ return plan;
}
-void io_wake_(struct io_conn *conn,
- struct io_plan *(*next)(struct io_conn *, void *), void *arg)
+void io_wake_(struct io_conn *conn, struct io_plan plan)
{
- /* It might have finished, but we haven't called its finish() yet. */
- if (conn->state == FINISHED)
+ /* It might be closing, but we haven't called its finish() yet. */
+ if (!conn->plan.next)
return;
- assert(conn->state == IDLE);
- conn->fd.next = next;
- conn->fd.next_arg = arg;
- backend_set_state(conn, to_ioplan(NEXT));
-}
+ /* It was idle, right? */
+ assert(!conn->plan.io);
+ conn->plan = plan;
+ backend_plan_changed(conn);
-static struct io_plan *do_next(struct io_conn *conn)
-{
- if (timeout_active(conn))
- backend_del_timeout(conn);
- return conn->fd.next(conn, conn->fd.next_arg);
+ debug_io_wake(conn);
}
-struct io_plan *do_ready(struct io_conn *conn)
+void io_ready(struct io_conn *conn)
{
- ssize_t ret;
- bool finished;
-
- switch (conn->state) {
- case WRITE:
- ret = write(conn->fd.fd, conn->u.write.buf, conn->u.write.len);
- if (ret < 0)
- return io_close(conn, NULL);
- conn->u.write.buf += ret;
- conn->u.write.len -= ret;
- finished = (conn->u.write.len == 0);
- break;
- case WRITEPART:
- ret = write(conn->fd.fd, conn->u.writepart.buf,
- *conn->u.writepart.lenp);
- if (ret < 0)
- return io_close(conn, NULL);
- *conn->u.writepart.lenp = ret;
- finished = true;
- break;
- case READ:
- ret = read(conn->fd.fd, conn->u.read.buf, conn->u.read.len);
- if (ret <= 0)
- return io_close(conn, NULL);
- conn->u.read.buf += ret;
- conn->u.read.len -= ret;
- finished = (conn->u.read.len == 0);
- break;
- case READPART:
- ret = read(conn->fd.fd, conn->u.readpart.buf,
- *conn->u.readpart.lenp);
- if (ret <= 0)
- return io_close(conn, NULL);
- *conn->u.readpart.lenp = ret;
- finished = true;
- break;
- default:
- /* Shouldn't happen. */
- abort();
+ if (conn->plan.io(conn->fd.fd, &conn->plan)) {
+ set_current(conn);
+ if (timeout_active(conn))
+ backend_del_timeout(conn);
+ conn->plan = conn->plan.next(conn, conn->plan.next_arg);
+ backend_plan_changed(conn);
+ set_current(NULL);
}
-
- if (finished)
- return do_next(conn);
- return to_ioplan(conn->state);
}
/* Useful next functions. */
/* Close the connection, we're done. */
-struct io_plan *io_close(struct io_conn *conn, void *arg)
+struct io_plan io_close(struct io_conn *conn, void *arg)
{
- return to_ioplan(FINISHED);
+ struct io_plan plan;
+
+ plan.pollflag = 0;
+ /* This means we're closing. */
+ plan.next = NULL;
+
+ debug_io_plan(&plan);
+ return plan;
}
/* Exit the loop, returning this (non-NULL) arg. */
-struct io_plan *io_break(void *arg, struct io_next *next)
+struct io_plan io_break_(void *ret, struct io_plan plan)
{
- io_loop_return = arg;
+ assert(ret);
+ io_loop_return = ret;
- return to_ioplan(NEXT);
+ return plan;
}