-/* Licensed under BSD-MIT - see LICENSE file for details */
+/* Licensed under LGPLv2.1+ - see LICENSE file for details */
#include "io.h"
#include "backend.h"
#include <sys/types.h>
#include <errno.h>
#include <stdlib.h>
#include <assert.h>
+#include <unistd.h>
+#include <fcntl.h>
+#include <ccan/container_of/container_of.h>
void *io_loop_return;
-struct io_listener *io_new_listener_(int fd,
- struct io_op *(*start)(struct io_conn *,
- void *arg),
- void (*finish)(struct io_conn *, void *),
+struct io_listener *io_new_listener_(const tal_t *ctx, int fd,
+ struct io_plan *(*init)(struct io_conn *,
+ void *),
void *arg)
{
- struct io_listener *l = malloc(sizeof(*l));
-
+ struct io_listener *l = tal(ctx, struct io_listener);
if (!l)
return NULL;
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;
- if (!add_listener(l)) {
- free(l);
- return NULL;
- }
+ l->init = init;
+ l->arg = arg;
+ l->ctx = ctx;
+ if (!add_listener(l))
+ return tal_free(l);
return l;
}
{
close(l->fd.fd);
del_listener(l);
- free(l);
+ tal_free(l);
}
-struct io_conn *io_new_conn_(int fd,
- struct io_op *(*start)(struct io_conn *, void *),
- void (*finish)(struct io_conn *, void *),
+static struct io_plan *io_never_called(struct io_conn *conn, void *arg)
+{
+ abort();
+}
+
+static void next_plan(struct io_conn *conn, struct io_plan *plan)
+{
+ struct io_plan *(*next)(struct io_conn *, void *arg);
+
+ next = plan->next;
+
+ plan->status = IO_UNSET;
+ plan->io = NULL;
+ plan->next = io_never_called;
+
+ plan = next(conn, plan->next_arg);
+
+ /* It should have set a plan inside this conn (or duplex) */
+ assert(plan == &conn->plan[IO_IN]
+ || plan == &conn->plan[IO_OUT]
+ || plan == &conn->plan[2]);
+ assert(conn->plan[IO_IN].status != IO_UNSET
+ || conn->plan[IO_OUT].status != IO_UNSET);
+
+ backend_new_plan(conn);
+}
+
+struct io_conn *io_new_conn_(const tal_t *ctx, int fd,
+ struct io_plan *(*init)(struct io_conn *, void *),
void *arg)
{
- struct io_conn *conn = malloc(sizeof(*conn));
+ struct io_conn *conn = tal(ctx, struct io_conn);
if (!conn)
return NULL;
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;
- if (!add_conn(conn)) {
- free(conn);
- return NULL;
- }
+ conn->finish = NULL;
+ conn->finish_arg = NULL;
+ conn->list = NULL;
+ conn->debug = false;
+
+ if (!add_conn(conn))
+ return tal_free(conn);
+
+ /* We start with out doing nothing, and in doing our init. */
+ conn->plan[IO_OUT].status = IO_UNSET;
+
+ conn->plan[IO_IN].next = init;
+ conn->plan[IO_IN].next_arg = arg;
+ next_plan(conn, &conn->plan[IO_IN]);
+
return conn;
}
-/* Convenient token which only we can produce. */
-static inline struct io_next *to_ionext(struct io_conn *conn)
+void io_set_finish_(struct io_conn *conn,
+ void (*finish)(struct io_conn *, void *),
+ void *arg)
{
- return (struct io_next *)conn;
+ conn->finish = finish;
+ conn->finish_arg = arg;
}
-static inline struct io_op *to_ioop(enum io_state state)
+struct io_plan_arg *io_plan_arg(struct io_conn *conn, enum io_direction dir)
{
- return (struct io_op *)(long)state;
+ assert(conn->plan[dir].status == IO_UNSET);
+
+ conn->plan[dir].status = IO_POLLING;
+ return &conn->plan[dir].arg;
}
-static inline struct io_conn *from_ionext(struct io_next *next)
+static struct io_plan *set_always(struct io_conn *conn,
+ enum io_direction dir,
+ struct io_plan *(*next)(struct io_conn *,
+ void *),
+ void *arg)
{
- return (struct io_conn *)next;
+ struct io_plan *plan = &conn->plan[dir];
+
+ plan->status = IO_ALWAYS;
+ backend_new_always(conn);
+ return io_set_plan(conn, dir, NULL, next, arg);
}
-struct io_next *io_next_(struct io_conn *conn,
- struct io_op *(*next)(struct io_conn *, void *),
- void *arg)
+static struct io_plan *io_always_dir(struct io_conn *conn,
+ enum io_direction dir,
+ struct io_plan *(*next)(struct io_conn *,
+ void *),
+ void *arg)
{
- conn->fd.next = next;
- conn->fd.next_arg = arg;
+ return set_always(conn, dir, next, arg);
+}
- return to_ionext(conn);
+struct io_plan *io_always_(struct io_conn *conn,
+ struct io_plan *(*next)(struct io_conn *, void *),
+ void *arg)
+{
+ return io_always_dir(conn, IO_IN, next, arg);
+}
+
+struct io_plan *io_out_always_(struct io_conn *conn,
+ struct io_plan *(*next)(struct io_conn *,
+ void *),
+ void *arg)
+{
+ return io_always_dir(conn, IO_OUT, next, arg);
+}
+
+static int do_write(int fd, struct io_plan_arg *arg)
+{
+ ssize_t ret = write(fd, arg->u1.cp, arg->u2.s);
+ if (ret < 0)
+ return -1;
+
+ arg->u1.cp += ret;
+ arg->u2.s -= ret;
+ return arg->u2.s == 0;
}
/* Queue some data to be written. */
-struct io_op *io_write(const void *data, size_t len, struct io_next *next)
+struct io_plan *io_write_(struct io_conn *conn, const void *data, size_t len,
+ struct io_plan *(*next)(struct io_conn *, void *),
+ void *next_arg)
{
- struct io_conn *conn = from_ionext(next);
- conn->u.write.buf = data;
- conn->u.write.len = len;
- return to_ioop(WRITE);
+ struct io_plan_arg *arg = io_plan_arg(conn, IO_OUT);
+
+ if (len == 0)
+ return set_always(conn, IO_OUT, next, next_arg);
+
+ arg->u1.const_vp = data;
+ arg->u2.s = len;
+
+ return io_set_plan(conn, IO_OUT, do_write, next, next_arg);
+}
+
+static int do_read(int fd, struct io_plan_arg *arg)
+{
+ ssize_t ret = read(fd, arg->u1.cp, arg->u2.s);
+ if (ret <= 0)
+ return -1;
+
+ arg->u1.cp += ret;
+ arg->u2.s -= ret;
+ return arg->u2.s == 0;
}
/* Queue a request to read into a buffer. */
-struct io_op *io_read(void *data, size_t len, struct io_next *next)
+struct io_plan *io_read_(struct io_conn *conn,
+ void *data, size_t len,
+ struct io_plan *(*next)(struct io_conn *, void *),
+ void *next_arg)
{
- struct io_conn *conn = from_ionext(next);
- conn->u.read.buf = data;
- conn->u.read.len = len;
- return to_ioop(READ);
+ struct io_plan_arg *arg = io_plan_arg(conn, IO_IN);
+
+ if (len == 0)
+ return set_always(conn, IO_IN, next, next_arg);
+
+ arg->u1.cp = data;
+ arg->u2.s = len;
+
+ return io_set_plan(conn, IO_IN, do_read, next, next_arg);
+}
+
+static int do_read_partial(int fd, struct io_plan_arg *arg)
+{
+ ssize_t ret = read(fd, arg->u1.cp, *(size_t *)arg->u2.vp);
+ if (ret <= 0)
+ return -1;
+
+ *(size_t *)arg->u2.vp = ret;
+ return 1;
}
/* Queue a partial request to read into a buffer. */
-struct io_op *io_read_partial(void *data, size_t *len, struct io_next *next)
+struct io_plan *io_read_partial_(struct io_conn *conn,
+ void *data, size_t maxlen, size_t *len,
+ struct io_plan *(*next)(struct io_conn *,
+ void *),
+ void *next_arg)
{
- struct io_conn *conn = from_ionext(next);
- conn->u.readpart.buf = data;
- conn->u.readpart.lenp = len;
- return to_ioop(READPART);
+ struct io_plan_arg *arg = io_plan_arg(conn, IO_IN);
+
+ if (maxlen == 0)
+ return set_always(conn, IO_IN, next, next_arg);
+
+ arg->u1.cp = data;
+ /* We store the max len in here temporarily. */
+ *len = maxlen;
+ arg->u2.vp = len;
+
+ return io_set_plan(conn, IO_IN, do_read_partial, next, next_arg);
+}
+
+static int do_write_partial(int fd, struct io_plan_arg *arg)
+{
+ ssize_t ret = write(fd, arg->u1.cp, *(size_t *)arg->u2.vp);
+ if (ret < 0)
+ return -1;
+
+ *(size_t *)arg->u2.vp = ret;
+ return 1;
}
/* Queue a partial write request. */
-struct io_op *io_write_partial(const void *data, size_t *len, struct io_next *next)
+struct io_plan *io_write_partial_(struct io_conn *conn,
+ const void *data, size_t maxlen, size_t *len,
+ struct io_plan *(*next)(struct io_conn *,
+ void*),
+ void *next_arg)
{
- struct io_conn *conn = from_ionext(next);
- conn->u.writepart.buf = data;
- conn->u.writepart.lenp = len;
- return to_ioop(WRITEPART);
+ struct io_plan_arg *arg = io_plan_arg(conn, IO_OUT);
+
+ if (maxlen == 0)
+ return set_always(conn, IO_OUT, next, next_arg);
+
+ arg->u1.const_vp = data;
+ /* We store the max len in here temporarily. */
+ *len = maxlen;
+ arg->u2.vp = len;
+
+ return io_set_plan(conn, IO_OUT, do_write_partial, next, next_arg);
}
-struct io_op *io_idle(struct io_conn *conn)
+static int do_connect(int fd, struct io_plan_arg *arg)
{
- return to_ioop(IDLE);
+ int err, ret;
+ socklen_t len = sizeof(err);
+
+ /* Has async connect finished? */
+ ret = getsockopt(fd, SOL_SOCKET, SO_ERROR, &err, &len);
+ if (ret < 0)
+ return -1;
+
+ if (err == 0) {
+ /* Restore blocking if it was initially. */
+ fcntl(fd, F_SETFL, arg->u1.s);
+ return 1;
+ } else if (err == EINPROGRESS)
+ return 0;
+
+ errno = err;
+ return -1;
}
-void io_wake_(struct io_conn *conn,
- struct io_op *(*next)(struct io_conn *, void *), void *arg)
+struct io_plan *io_connect_(struct io_conn *conn, const struct addrinfo *addr,
+ struct io_plan *(*next)(struct io_conn *, void *),
+ void *next_arg)
+{
+ struct io_plan_arg *arg = io_plan_arg(conn, IO_IN);
+ int fd = io_conn_fd(conn);
+
+ /* Save old flags, set nonblock if not already. */
+ arg->u1.s = fcntl(fd, F_GETFL);
+ fcntl(fd, F_SETFL, arg->u1.s | O_NONBLOCK);
+
+ /* Immediate connect can happen. */
+ if (connect(fd, addr->ai_addr, addr->ai_addrlen) == 0)
+ return set_always(conn, IO_IN, next, next_arg);
+
+ if (errno != EINPROGRESS)
+ return io_close(conn);
+ return io_set_plan(conn, IO_IN, do_connect, next, next_arg);
+}
+
+static struct io_plan *io_wait_dir(struct io_conn *conn,
+ const void *wait,
+ enum io_direction dir,
+ struct io_plan *(*next)(struct io_conn *,
+ void *),
+ void *next_arg)
{
- /* It might have finished, but we haven't called its finish() yet. */
- if (conn->state == FINISHED)
- return;
- assert(conn->state == IDLE);
- conn->fd.next = next;
- conn->fd.next_arg = arg;
- backend_set_state(conn, to_ioop(NEXT));
+ struct io_plan_arg *arg = io_plan_arg(conn, dir);
+ arg->u1.const_vp = wait;
+
+ conn->plan[dir].status = IO_WAITING;
+
+ return io_set_plan(conn, dir, NULL, next, next_arg);
}
-static struct io_op *do_next(struct io_conn *conn)
+struct io_plan *io_wait_(struct io_conn *conn,
+ const void *wait,
+ struct io_plan *(*next)(struct io_conn *, void *),
+ void *next_arg)
{
- return conn->fd.next(conn, conn->fd.next_arg);
+ return io_wait_dir(conn, wait, IO_IN, next, next_arg);
}
-struct io_op *do_writeable(struct io_conn *conn)
+struct io_plan *io_out_wait_(struct io_conn *conn,
+ const void *wait,
+ struct io_plan *(*next)(struct io_conn *, void *),
+ void *next_arg)
{
- ssize_t ret;
- bool finished;
+ return io_wait_dir(conn, wait, IO_OUT, next, next_arg);
+}
- 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;
+void io_wake(const void *wait)
+{
+ backend_wake(wait);
+}
+
+static int do_plan(struct io_conn *conn, struct io_plan *plan)
+{
+ /* Someone else might have called io_close() on us. */
+ if (plan->status == IO_CLOSING)
+ return -1;
+
+ /* We shouldn't have polled for this event if this wasn't true! */
+ assert(plan->status == IO_POLLING);
+
+ switch (plan->io(conn->fd.fd, &plan->arg)) {
+ case -1:
+ io_close(conn);
+ return -1;
+ case 0:
+ return 0;
+ case 1:
+ next_plan(conn, plan);
+ return 1;
default:
- /* Shouldn't happen. */
+ /* IO should only return -1, 0 or 1 */
abort();
}
+}
+
+void io_ready(struct io_conn *conn, int pollflags)
+{
+ if (pollflags & POLLIN)
+ do_plan(conn, &conn->plan[IO_IN]);
- if (finished)
- return do_next(conn);
- return to_ioop(conn->state);
+ if (pollflags & POLLOUT)
+ do_plan(conn, &conn->plan[IO_OUT]);
}
-struct io_op *do_readable(struct io_conn *conn)
+void io_do_always(struct io_conn *conn)
{
- ssize_t ret;
- bool finished;
+ if (conn->plan[IO_IN].status == IO_ALWAYS)
+ next_plan(conn, &conn->plan[IO_IN]);
- switch (conn->state) {
- 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_OUT].status == IO_ALWAYS)
+ next_plan(conn, &conn->plan[IO_OUT]);
+}
+
+void io_do_wakeup(struct io_conn *conn, enum io_direction dir)
+{
+ struct io_plan *plan = &conn->plan[dir];
+
+ assert(plan->status == IO_WAITING);
- if (finished)
- return do_next(conn);
- return to_ioop(conn->state);
+ set_always(conn, dir, plan->next, plan->next_arg);
}
-/* Useful next functions. */
/* Close the connection, we're done. */
-struct io_op *io_close(struct io_conn *conn, void *arg)
+struct io_plan *io_close(struct io_conn *conn)
+{
+ /* Already closing? Don't close twice. */
+ if (conn->plan[IO_IN].status == IO_CLOSING)
+ return &conn->plan[IO_IN];
+
+ conn->plan[IO_IN].status = conn->plan[IO_OUT].status = IO_CLOSING;
+ conn->plan[IO_IN].arg.u1.s = errno;
+ backend_new_closing(conn);
+
+ return io_set_plan(conn, IO_IN, NULL, NULL, NULL);
+}
+
+struct io_plan *io_close_cb(struct io_conn *conn, void *next_arg)
{
- return to_ioop(FINISHED);
+ return io_close(conn);
}
/* Exit the loop, returning this (non-NULL) arg. */
-struct io_op *io_break(void *arg, struct io_next *next)
+void io_break(const void *ret)
+{
+ assert(ret);
+ io_loop_return = (void *)ret;
+}
+
+struct io_plan *io_never(struct io_conn *conn, void *unused)
+{
+ return io_always(conn, io_never_called, NULL);
+}
+
+int io_conn_fd(const struct io_conn *conn)
+{
+ return conn->fd.fd;
+}
+
+void io_duplex_prepare(struct io_conn *conn)
{
- io_loop_return = arg;
+ assert(conn->plan[IO_IN].status == IO_UNSET);
+ assert(conn->plan[IO_OUT].status == IO_UNSET);
+
+ /* We can't sync debug until we've set both: io_wait() and io_always
+ * can't handle it. */
+ conn->debug_saved = conn->debug;
+ conn->debug = false;
+}
+
+struct io_plan *io_duplex_(struct io_plan *in_plan, struct io_plan *out_plan)
+{
+ struct io_conn *conn;
+
+ /* in_plan must be conn->plan[IO_IN], out_plan must be [IO_OUT] */
+ assert(out_plan == in_plan + 1);
+
+ /* Restore debug. */
+ conn = container_of(in_plan, struct io_conn, plan[IO_IN]);
+ conn->debug = conn->debug_saved;
+
+ /* Now set the plans again, to invoke sync debug. */
+ io_set_plan(conn, IO_OUT,
+ out_plan->io, out_plan->next, out_plan->next_arg);
+ io_set_plan(conn, IO_IN,
+ in_plan->io, in_plan->next, in_plan->next_arg);
- return to_ioop(NEXT);
+ return out_plan + 1;
+}
+
+struct io_plan *io_halfclose(struct io_conn *conn)
+{
+ /* Already closing? Don't close twice. */
+ if (conn->plan[IO_IN].status == IO_CLOSING)
+ return &conn->plan[IO_IN];
+
+ /* Both unset? OK. */
+ if (conn->plan[IO_IN].status == IO_UNSET
+ && conn->plan[IO_OUT].status == IO_UNSET)
+ return io_close(conn);
+
+ /* We leave this unset then. */
+ if (conn->plan[IO_IN].status == IO_UNSET)
+ return &conn->plan[IO_IN];
+ else
+ return &conn->plan[IO_OUT];
+}
+
+struct io_plan *io_set_plan(struct io_conn *conn, enum io_direction dir,
+ int (*io)(int fd, struct io_plan_arg *arg),
+ struct io_plan *(*next)(struct io_conn *, void *),
+ void *next_arg)
+{
+ struct io_plan *plan = &conn->plan[dir];
+
+ plan->io = io;
+ plan->next = next;
+ plan->next_arg = next_arg;
+ assert(plan->status == IO_CLOSING || next != NULL);
+
+ if (!conn->debug)
+ return plan;
+
+ if (io_loop_return) {
+ io_debug_complete(conn);
+ return plan;
+ }
+
+ switch (plan->status) {
+ case IO_POLLING:
+ while (do_plan(conn, plan) == 0);
+ break;
+ /* Shouldn't happen, since you said you did plan! */
+ case IO_UNSET:
+ abort();
+ case IO_ALWAYS:
+ /* If other one is ALWAYS, leave in list! */
+ if (conn->plan[!dir].status != IO_ALWAYS)
+ remove_from_always(conn);
+ next_plan(conn, plan);
+ break;
+ case IO_WAITING:
+ case IO_CLOSING:
+ io_debug_complete(conn);
+ }
+
+ return plan;
+}
+
+void io_set_debug(struct io_conn *conn, bool debug)
+{
+ conn->debug = debug;
+}
+
+void io_debug_complete(struct io_conn *conn)
+{
}
projects / ccan / blobdiff