]> git.ozlabs.org Git - ccan/blobdiff - ccan/io/io.c
io: always make fds O_NONBLOCK.
[ccan] / ccan / io / io.c
index 5ea90ea7b03437cd7a7a5e69210a6fc85a8a1363..0e716fced062c594d42955603e3fcfd2af67d3bb 100644 (file)
@@ -8,16 +8,18 @@
 #include <errno.h>
 #include <stdlib.h>
 #include <assert.h>
-#include <poll.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,
-                                    void (*init)(int fd, void *arg),
+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;
 
@@ -25,10 +27,9 @@ struct io_listener *io_new_listener_(int fd,
        l->fd.fd = fd;
        l->init = init;
        l->arg = arg;
-       if (!add_listener(l)) {
-               free(l);
-               return NULL;
-       }
+       l->ctx = ctx;
+       if (!add_listener(l))
+               return tal_free(l);
        return l;
 }
 
@@ -36,271 +37,509 @@ void io_close_listener(struct io_listener *l)
 {
        close(l->fd.fd);
        del_listener(l);
-       free(l);
+       tal_free(l);
+}
+
+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_(int fd,
-                            struct io_plan (*start)(struct io_conn *, void *),
-                            void (*finish)(struct io_conn *, void *),
+static void set_blocking(int fd, bool block)
+{
+       int flags = fcntl(fd, F_GETFL);
+
+       if (block)
+               flags &= ~O_NONBLOCK;
+       else
+               flags |= O_NONBLOCK;
+
+       fcntl(fd, F_SETFL, flags);
+}
+
+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->plan.next = start;
-       conn->finish = finish;
-       conn->finish_arg = conn->plan.next_arg = arg;
-       conn->plan.pollflag = 0;
-       conn->plan.state = IO_NEXT;
-       conn->duplex = NULL;
-       conn->timeout = NULL;
-       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);
+
+       /* Keep our I/O async. */
+       set_blocking(fd, false);
+
+       /* 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;
 }
 
-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)
+void io_set_finish_(struct io_conn *conn,
+                   void (*finish)(struct io_conn *, void *),
+                   void *arg)
 {
-       struct io_conn *conn;
+       conn->finish = finish;
+       conn->finish_arg = arg;
+}
 
-       assert(!old->duplex);
+struct io_plan_arg *io_plan_arg(struct io_conn *conn, enum io_direction dir)
+{
+       assert(conn->plan[dir].status == IO_UNSET);
 
-       conn = malloc(sizeof(*conn));
-       if (!conn)
-               return NULL;
+       conn->plan[dir].status = IO_POLLING;
+       return &conn->plan[dir].arg;
+}
 
-       conn->fd.listener = false;
-       conn->fd.fd = old->fd.fd;
-       conn->plan.next = start;
-       conn->finish = finish;
-       conn->finish_arg = conn->plan.next_arg = arg;
-       conn->plan.pollflag = 0;
-       conn->plan.state = IO_NEXT;
-       conn->duplex = old;
-       conn->timeout = NULL;
-       if (!add_duplex(conn)) {
-               free(conn);
-               return NULL;
-       }
-       old->duplex = conn;
-       return conn;
+static struct io_plan *set_always(struct io_conn *conn,
+                                 enum io_direction dir,
+                                 struct io_plan *(*next)(struct io_conn *,
+                                                         void *),
+                                 void *arg)
+{
+       struct io_plan *plan = &conn->plan[dir];
+
+       plan->status = IO_ALWAYS;
+       backend_new_always(conn);
+       return io_set_plan(conn, dir, NULL, next, 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)
+{
+       return set_always(conn, dir, next, arg);
 }
 
-bool io_timeout_(struct io_conn *conn, struct timespec ts,
-                struct io_plan (*cb)(struct io_conn *, void *), void *arg)
+struct io_plan *io_always_(struct io_conn *conn,
+                          struct io_plan *(*next)(struct io_conn *, void *),
+                          void *arg)
 {
-       if (!conn->timeout) {
-               conn->timeout = malloc(sizeof(*conn->timeout));
-               if (!conn->timeout)
-                       return false;
-       } else
-               assert(!timeout_active(conn));
+       return io_always_dir(conn, IO_IN, next, arg);
+}
 
-       conn->timeout->next = cb;
-       conn->timeout->next_arg = arg;
-       backend_add_timeout(conn, ts);
-       return true;
+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 enum io_result do_write(struct io_conn *conn)
+static int do_write(int fd, struct io_plan_arg *arg)
 {
-       ssize_t ret = write(conn->fd.fd, conn->plan.u.write.buf, conn->plan.u.write.len);
+       ssize_t ret = write(fd, arg->u1.cp, arg->u2.s);
        if (ret < 0)
-               return RESULT_CLOSE;
+               return -1;
 
-       conn->plan.u.write.buf += ret;
-       conn->plan.u.write.len -= ret;
-       if (conn->plan.u.write.len == 0)
-               return RESULT_FINISHED;
-       else
-               return RESULT_AGAIN;
+       arg->u1.cp += ret;
+       arg->u2.s -= ret;
+       return arg->u2.s == 0;
 }
 
 /* Queue some data to be written. */
-struct io_plan io_write_(const void *data, size_t len,
-                        struct io_plan (*cb)(struct io_conn *, void *),
-                        void *arg)
-{
-       struct io_plan plan;
-
-       plan.u.write.buf = data;
-       plan.u.write.len = len;
-       plan.io = do_write;
-       plan.next = cb;
-       plan.next_arg = arg;
-       plan.pollflag = POLLOUT;
-       plan.state = IO_IO;
-       return plan;
+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_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 enum io_result do_read(struct io_conn *conn)
+static int do_read(int fd, struct io_plan_arg *arg)
 {
-       ssize_t ret = read(conn->fd.fd, conn->plan.u.read.buf,
-                          conn->plan.u.read.len);
+       ssize_t ret = read(fd, arg->u1.cp, arg->u2.s);
        if (ret <= 0)
-               return RESULT_CLOSE;
-       conn->plan.u.read.buf += ret;
-       conn->plan.u.read.len -= ret;
-       if (conn->plan.u.read.len == 0)
-               return RESULT_FINISHED;
-       else
-               return RESULT_AGAIN;
+               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_plan io_read_(void *data, size_t len,
-                       struct io_plan (*cb)(struct io_conn *, void *),
-                       void *arg)
-{
-       struct io_plan plan;
-
-       plan.u.read.buf = data;
-       plan.u.read.len = len;
-       plan.io = do_read;
-       plan.next = cb;
-       plan.next_arg = arg;
-       plan.pollflag = POLLIN;
-       plan.state = IO_IO;
-       return plan;
+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_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 enum io_result do_read_partial(struct io_conn *conn)
+static int do_read_partial(int fd, struct io_plan_arg *arg)
 {
-       ssize_t ret = read(conn->fd.fd, conn->plan.u.readpart.buf,
-                          *conn->plan.u.readpart.lenp);
+       ssize_t ret = read(fd, arg->u1.cp, *(size_t *)arg->u2.vp);
        if (ret <= 0)
-               return RESULT_CLOSE;
-       *conn->plan.u.readpart.lenp = ret;
-       return RESULT_FINISHED;
+               return -1;
+
+       *(size_t *)arg->u2.vp = ret;
+       return 1;
 }
 
 /* Queue a partial request to read into a buffer. */
-struct io_plan io_read_partial_(void *data, size_t *len,
-                               struct io_plan (*cb)(struct io_conn *, void *),
-                               void *arg)
+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_plan plan;
+       struct io_plan_arg *arg = io_plan_arg(conn, IO_IN);
 
-       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;
-       plan.state = IO_IO;
+       if (maxlen == 0)
+               return set_always(conn, IO_IN, next, next_arg);
 
-       return plan;
+       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 enum io_result do_write_partial(struct io_conn *conn)
+static int do_write_partial(int fd, struct io_plan_arg *arg)
 {
-       ssize_t ret = write(conn->fd.fd, conn->plan.u.writepart.buf,
-                           *conn->plan.u.writepart.lenp);
+       ssize_t ret = write(fd, arg->u1.cp, *(size_t *)arg->u2.vp);
        if (ret < 0)
-               return RESULT_CLOSE;
-       *conn->plan.u.writepart.lenp = ret;
-       return RESULT_FINISHED;
+               return -1;
+
+       *(size_t *)arg->u2.vp = ret;
+       return 1;
 }
 
 /* Queue a partial write request. */
-struct io_plan io_write_partial_(const void *data, size_t *len,
-                                struct io_plan (*cb)(struct io_conn*, void *),
-                                void *arg)
+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_plan plan;
+       struct io_plan_arg *arg = io_plan_arg(conn, IO_OUT);
 
-       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;
-       plan.state = IO_IO;
+       if (maxlen == 0)
+               return set_always(conn, IO_OUT, next, next_arg);
 
-       return plan;
+       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_plan io_idle(void)
+static int do_connect(int fd, struct io_plan_arg *arg)
 {
-       struct io_plan plan;
+       int err, ret;
+       socklen_t len = sizeof(err);
 
-       plan.pollflag = 0;
-       plan.state = IO_IDLE;
+       /* Has async connect finished? */
+       ret = getsockopt(fd, SOL_SOCKET, SO_ERROR, &err, &len);
+       if (ret < 0)
+               return -1;
 
-       return plan;
+       if (err == 0) {
+               return 1;
+       } else if (err == EINPROGRESS)
+               return 0;
+
+       errno = err;
+       return -1;
+}
+
+struct io_plan *io_connect_(struct io_conn *conn, const struct addrinfo *addr,
+                           struct io_plan *(*next)(struct io_conn *, void *),
+                           void *next_arg)
+{
+       int fd = io_conn_fd(conn);
+
+       /* We don't actually need the arg, but we need it polling. */
+       io_plan_arg(conn, IO_OUT);
+
+       /* Note that io_new_conn() will make fd O_NONBLOCK */
+
+       /* Immediate connect can happen. */
+       if (connect(fd, addr->ai_addr, addr->ai_addrlen) == 0)
+               return set_always(conn, IO_OUT, next, next_arg);
+
+       if (errno != EINPROGRESS)
+               return io_close(conn);
+
+       return io_set_plan(conn, IO_OUT, do_connect, next, next_arg);
 }
 
-void io_wake_(struct io_conn *conn,
-             struct io_plan (*fn)(struct io_conn *, void *), void *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)
+{
+       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);
+}
+
+struct io_plan *io_wait_(struct io_conn *conn,
+                        const void *wait,
+                        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->plan.state == IO_FINISHED)
-               return;
-       assert(conn->plan.state == IO_IDLE);
-       conn->plan.next = fn;
-       conn->plan.next_arg = arg;
-       conn->plan.pollflag = 0;
-       conn->plan.state = IO_NEXT;
-       backend_wakeup(conn);
+       return io_wait_dir(conn, wait, IO_IN, next, next_arg);
 }
 
-static struct io_plan do_next(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)
 {
-       if (timeout_active(conn))
-               backend_del_timeout(conn);
-       return conn->plan.next(conn, conn->plan.next_arg);
+       return io_wait_dir(conn, wait, IO_OUT, next, next_arg);
 }
 
-struct io_plan do_ready(struct io_conn *conn)
+void io_wake(const void *wait)
 {
-       assert(conn->plan.state == IO_IO);
-       switch (conn->plan.io(conn)) {
-       case RESULT_CLOSE:
-               return io_close(conn, NULL);
-       case RESULT_FINISHED:
-               return do_next(conn);
-       case RESULT_AGAIN:
-               return conn->plan;
+       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:
+               /* IO should only return -1, 0 or 1 */
                abort();
        }
 }
 
-/* Useful next functions. */
+void io_ready(struct io_conn *conn, int pollflags)
+{
+       if (pollflags & POLLIN)
+               do_plan(conn, &conn->plan[IO_IN]);
+
+       if (pollflags & POLLOUT)
+               do_plan(conn, &conn->plan[IO_OUT]);
+}
+
+void io_do_always(struct io_conn *conn)
+{
+       if (conn->plan[IO_IN].status == IO_ALWAYS)
+               next_plan(conn, &conn->plan[IO_IN]);
+
+       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);
+
+       set_always(conn, dir, plan->next, plan->next_arg);
+}
+
 /* 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)
 {
-       struct io_plan plan;
+       /* Already closing?  Don't close twice. */
+       if (conn->plan[IO_IN].status == IO_CLOSING)
+               return &conn->plan[IO_IN];
 
-       plan.state = IO_FINISHED;
-       plan.pollflag = 0;
+       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 plan;
+       return io_set_plan(conn, IO_IN, NULL, NULL, NULL);
+}
+
+struct io_plan *io_close_cb(struct io_conn *conn, void *next_arg)
+{
+       return io_close(conn);
 }
 
 /* Exit the loop, returning this (non-NULL) arg. */
-struct io_plan io_break_(void *ret,
-                        struct io_plan (*fn)(struct io_conn *, void *),
-                        void *arg)
+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)
+{
+       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;
+       io_set_debug(conn, false);
+}
+
+struct io_plan *io_duplex_(struct io_plan *in_plan, struct io_plan *out_plan)
 {
-       struct io_plan plan;
+       struct io_conn *conn;
 
-       io_loop_return = ret;
+       /* in_plan must be conn->plan[IO_IN], out_plan must be [IO_OUT] */
+       assert(out_plan == in_plan + 1);
 
-       plan.state = IO_NEXT;
-       plan.pollflag = 0;
-       plan.next = fn;
-       plan.next_arg = arg;
+       /* Restore debug. */
+       conn = container_of(in_plan, struct io_conn, plan[IO_IN]);
+       io_set_debug(conn, 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 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;
+
+       /* Debugging means fds must block. */
+       set_blocking(io_conn_fd(conn), debug);
+}
+
+void io_debug_complete(struct io_conn *conn)
+{
+}