X-Git-Url: http://git.ozlabs.org/?p=ccan;a=blobdiff_plain;f=ccan%2Fio%2Fio.c;h=76f1f441740476fc52dbf5dc1fc378bc16e16be1;hp=84be1758330e61481638ce31d72826799089f81b;hb=b85c47bb81a9078afc5ddc51448560187348bbbf;hpb=bfb80c566ab695b70a404a419f4b1450a2fcf27a diff --git a/ccan/io/io.c b/ccan/io/io.c index 84be1758..76f1f441 100644 --- a/ccan/io/io.c +++ b/ccan/io/io.c @@ -9,13 +9,120 @@ #include #include #include +#include +#include void *io_loop_return; +#ifdef DEBUG +/* Set to skip the next plan. */ +bool io_plan_nodebug; +/* The current connection to apply plan to. */ +struct io_conn *current; +/* User-defined function to select which connection(s) to debug. */ +bool (*io_debug_conn)(struct io_conn *conn); +/* Set when we wake up an connection we are debugging. */ +bool io_debug_wakeup; + +struct io_plan io_debug(struct io_plan plan) +{ + struct io_conn *ready = NULL; + + if (io_plan_nodebug) { + io_plan_nodebug = false; + return plan; + } + + if (!current || !doing_debug_on(current)) { + if (!io_debug_wakeup) + return plan; + } + + io_debug_wakeup = false; + current->plan = plan; + backend_plan_changed(current); + + /* Call back into the loop immediately. */ + io_loop_return = do_io_loop(&ready); + + if (ready) { + set_current(ready); + if (!ready->plan.next) { + /* Call finish function immediately. */ + if (ready->finish) { + errno = ready->plan.u.close.saved_errno; + ready->finish(ready, ready->finish_arg); + ready->finish = NULL; + } + backend_del_conn(ready); + } else { + /* Calls back in itself, via io_debug_io(). */ + if (ready->plan.io(ready->fd.fd, &ready->plan) != 2) + abort(); + } + set_current(NULL); + } + + /* Return a do-nothing plan, so backend_plan_changed in + * io_ready doesn't do anything (it's already been called). */ + return io_idle_(); +} + +int io_debug_io(int ret) +{ + /* Cache it for debugging; current changes. */ + struct io_conn *conn = current; + int saved_errno = errno; + + if (!doing_debug_on(conn)) + return ret; + + /* These will all go linearly through the io_debug() path above. */ + switch (ret) { + case -1: + /* This will call io_debug above. */ + errno = saved_errno; + io_close(); + break; + case 0: /* Keep going with plan. */ + io_debug(conn->plan); + break; + case 1: /* Done: get next plan. */ + if (timeout_active(conn)) + backend_del_timeout(conn); + conn->plan.next(conn, conn->plan.next_arg); + break; + default: + abort(); + } + + /* Normally-invalid value, used for sanity check. */ + return 2; +} + +static void debug_io_wake(struct io_conn *conn) +{ + /* We want linear if we wake a debugged connection, too. */ + if (io_debug_conn && io_debug_conn(conn)) + io_debug_wakeup = true; +} + +/* Counterpart to io_plan_no_debug(), called in macros in io.h */ +static void io_plan_debug_again(void) +{ + io_plan_nodebug = false; +} +#else +static void debug_io_wake(struct io_conn *conn) +{ +} +static void io_plan_debug_again(void) +{ +} +#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)); @@ -25,9 +132,8 @@ struct io_listener *io_new_listener_(int fd, l->fd.listener = true; l->fd.fd = fd; - l->next = start; - l->finish = finish; - l->conn_arg = arg; + l->init = init; + l->arg = arg; if (!add_listener(l)) { free(l); return NULL; @@ -42,23 +148,20 @@ void io_close_listener(struct io_listener *l) free(l); } -struct io_conn *io_new_conn_(int fd, - struct io_plan *(*start)(struct io_conn *, void *), - void (*finish)(struct io_conn *, void *), - void *arg) +struct io_conn *io_new_conn_(int fd, struct io_plan plan) { struct io_conn *conn = malloc(sizeof(*conn)); + io_plan_debug_again(); + if (!conn) return NULL; conn->fd.listener = false; conn->fd.fd = fd; - conn->next = start; - conn->finish = finish; - conn->finish_arg = conn->next_arg = arg; - conn->pollflag = 0; - conn->state = NEXT; + conn->plan = plan; + conn->finish = NULL; + conn->finish_arg = NULL; conn->duplex = NULL; conn->timeout = NULL; if (!add_conn(conn)) { @@ -68,13 +171,20 @@ struct io_conn *io_new_conn_(int fd, 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) +{ + conn->finish = finish; + conn->finish_arg = arg; +} + +struct io_conn *io_duplex_(struct io_conn *old, struct io_plan plan) { struct io_conn *conn; + io_plan_debug_again(); + assert(!old->duplex); conn = malloc(sizeof(*conn)); @@ -83,12 +193,10 @@ struct io_conn *io_duplex_(struct io_conn *old, conn->fd.listener = false; conn->fd.fd = old->fd.fd; - conn->next = start; - conn->finish = finish; - conn->finish_arg = conn->next_arg = arg; - conn->pollflag = 0; - conn->state = NEXT; + conn->plan = plan; conn->duplex = old; + conn->finish = NULL; + conn->finish_arg = NULL; conn->timeout = NULL; if (!add_duplex(conn)) { free(conn); @@ -98,14 +206,11 @@ struct io_conn *io_duplex_(struct io_conn *old, return conn; } -static inline struct io_plan *to_ioplan(enum io_state state) -{ - return (struct io_plan *)(long)state; -} - bool io_timeout_(struct io_conn *conn, struct timespec ts, - struct io_plan *(*cb)(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) @@ -119,166 +224,246 @@ bool io_timeout_(struct io_conn *conn, struct timespec ts, return true; } -static enum io_result do_write(struct io_conn *conn) +/* Returns true if we're finished. */ +static int do_write(int fd, struct io_plan *plan) { - ssize_t ret = write(conn->fd.fd, conn->u.write.buf, conn->u.write.len); + ssize_t ret = write(fd, plan->u.write.buf, plan->u.write.len); if (ret < 0) - return RESULT_CLOSE; - - conn->u.write.buf += ret; - conn->u.write.len -= ret; - if (conn->u.write.len == 0) - return RESULT_FINISHED; - else - return RESULT_AGAIN; + return io_debug_io(-1); + + plan->u.write.buf += ret; + plan->u.write.len -= ret; + return io_debug_io(plan->u.write.len == 0); } /* Queue some data to be written. */ -struct io_plan *io_write_(struct io_conn *conn, const void *data, size_t len, - struct io_plan *(*cb)(struct io_conn *, void *), - void *arg) +struct io_plan io_write_(const void *data, size_t len, + struct io_plan (*cb)(struct io_conn *, void *), + void *arg) { - conn->u.write.buf = data; - conn->u.write.len = len; - conn->io = do_write; - conn->next = cb; - conn->next_arg = arg; - conn->pollflag = POLLOUT; - return to_ioplan(IO); + 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; + + return plan; } -static enum io_result do_read(struct io_conn *conn) +static int do_read(int fd, struct io_plan *plan) { - ssize_t ret = read(conn->fd.fd, conn->u.read.buf, conn->u.read.len); + ssize_t ret = read(fd, plan->u.read.buf, plan->u.read.len); if (ret <= 0) - return RESULT_CLOSE; - conn->u.read.buf += ret; - conn->u.read.len -= ret; - if (conn->u.read.len == 0) - return RESULT_FINISHED; - else - return RESULT_AGAIN; + return io_debug_io(-1); + + plan->u.read.buf += ret; + plan->u.read.len -= ret; + return io_debug_io(plan->u.read.len == 0); } /* Queue a request to read into a buffer. */ -struct io_plan *io_read_(struct io_conn *conn, void *data, size_t len, - struct io_plan *(*cb)(struct io_conn *, void *), - void *arg) +struct io_plan io_read_(void *data, size_t len, + struct io_plan (*cb)(struct io_conn *, void *), + void *arg) { - conn->u.read.buf = data; - conn->u.read.len = len; - conn->io = do_read; - conn->next = cb; - conn->next_arg = arg; - conn->pollflag = POLLIN; - return to_ioplan(IO); + 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; + + return plan; } -static enum io_result do_read_partial(struct io_conn *conn) +static int do_read_partial(int fd, struct io_plan *plan) { - ssize_t ret = read(conn->fd.fd, conn->u.readpart.buf, - *conn->u.readpart.lenp); + ssize_t ret = read(fd, plan->u.readpart.buf, *plan->u.readpart.lenp); if (ret <= 0) - return RESULT_CLOSE; - *conn->u.readpart.lenp = ret; - return RESULT_FINISHED; + return io_debug_io(-1); + + *plan->u.readpart.lenp = ret; + return io_debug_io(1); } /* Queue a partial request to read into a buffer. */ -struct io_plan *io_read_partial_(struct io_conn *conn, void *data, size_t *len, - struct io_plan *(*cb)(struct io_conn *, void *), - void *arg) +struct io_plan io_read_partial_(void *data, size_t *len, + struct io_plan (*cb)(struct io_conn *, void *), + void *arg) { - conn->u.readpart.buf = data; - conn->u.readpart.lenp = len; - conn->io = do_read_partial; - conn->next = cb; - conn->next_arg = arg; - conn->pollflag = POLLIN; - return to_ioplan(IO); + 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; + + return plan; } -static enum io_result do_write_partial(struct io_conn *conn) +static int do_write_partial(int fd, struct io_plan *plan) { - ssize_t ret = write(conn->fd.fd, conn->u.writepart.buf, - *conn->u.writepart.lenp); + ssize_t ret = write(fd, plan->u.writepart.buf, *plan->u.writepart.lenp); if (ret < 0) - return RESULT_CLOSE; - *conn->u.writepart.lenp = ret; - return RESULT_FINISHED; + return io_debug_io(-1); + + *plan->u.writepart.lenp = ret; + return io_debug_io(1); } /* Queue a partial write request. */ -struct io_plan *io_write_partial_(struct io_conn *conn, - const void *data, size_t *len, - struct io_plan *(*cb)(struct io_conn*, void *), - void *arg) +struct io_plan io_write_partial_(const void *data, size_t *len, + struct io_plan (*cb)(struct io_conn*, void *), + void *arg) { - conn->u.writepart.buf = data; - conn->u.writepart.lenp = len; - conn->io = do_write_partial; - conn->next = cb; - conn->next_arg = arg; - conn->pollflag = POLLOUT; - return to_ioplan(IO); + 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; + + return plan; } -struct io_plan *io_idle(struct io_conn *conn) +static int already_connected(int fd, struct io_plan *plan) { - conn->pollflag = 0; - return to_ioplan(IDLE); + return io_debug_io(1); } -void io_wake_(struct io_conn *conn, - struct io_plan *(*fn)(struct io_conn *, void *), void *arg) +static int do_connect(int fd, struct io_plan *plan) +{ + 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_SETFD, plan->u.len_len.len1); + return 1; + } + return 0; +} +struct io_plan io_connect_(int fd, const struct addrinfo *addr, + struct io_plan (*cb)(struct io_conn*, void *), + void *arg) { - /* It might have finished, but we haven't called its finish() yet. */ - if (conn->state == FINISHED) - return; - assert(conn->state == IDLE); - conn->next = fn; - conn->next_arg = arg; - backend_set_state(conn, to_ioplan(NEXT)); + struct io_plan plan; + + assert(cb); + + plan.next = cb; + plan.next_arg = arg; + + /* Save old flags, set nonblock if not already. */ + plan.u.len_len.len1 = fcntl(fd, F_GETFD); + fcntl(fd, F_SETFD, plan.u.len_len.len1 | O_NONBLOCK); + + /* Immediate connect can happen. */ + if (connect(fd, addr->ai_addr, addr->ai_addrlen) == 0) { + /* Dummy will be called immediately. */ + plan.pollflag = POLLOUT; + plan.io = already_connected; + } else { + if (errno != EINPROGRESS) + return io_close_(); + + plan.pollflag = POLLIN; + plan.io = do_connect; + } + return plan; } -static struct io_plan *do_next(struct io_conn *conn) +struct io_plan io_idle_(void) { - if (timeout_active(conn)) - backend_del_timeout(conn); - return conn->next(conn, conn->next_arg); + struct io_plan plan; + + plan.pollflag = 0; + plan.io = NULL; + /* Never called (overridden by io_wake), but NULL means closing */ + plan.next = (void *)io_idle_; + + return plan; } -struct io_plan *do_ready(struct io_conn *conn) +void io_wake_(struct io_conn *conn, struct io_plan plan) + { - assert(conn->state == IO); - switch (conn->io(conn)) { - case RESULT_CLOSE: - return io_close(conn, NULL); - case RESULT_FINISHED: - return do_next(conn); - case RESULT_AGAIN: - return to_ioplan(conn->state); - default: - abort(); + io_plan_debug_again(); + + /* It might be closing, but we haven't called its finish() yet. */ + if (!conn->plan.next) + return; + /* It was idle, right? */ + assert(!conn->plan.io); + conn->plan = plan; + backend_plan_changed(conn); + + debug_io_wake(conn); +} + +void io_ready(struct io_conn *conn) +{ + set_current(conn); + switch (conn->plan.io(conn->fd.fd, &conn->plan)) { + case -1: /* Failure means a new plan: close up. */ + conn->plan = io_close(); + backend_plan_changed(conn); + break; + case 0: /* Keep going with plan. */ + break; + case 1: /* Done: get next plan. */ + 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); } -/* 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_(void) +{ + struct io_plan plan; + + plan.pollflag = 0; + /* This means we're closing. */ + plan.next = NULL; + plan.u.close.saved_errno = errno; + + return plan; +} + +struct io_plan io_close_cb(struct io_conn *conn, void *arg) { - return to_ioplan(FINISHED); + return io_close(); } /* Exit the loop, returning this (non-NULL) arg. */ -struct io_plan *io_break_(struct io_conn *conn, void *ret, - struct io_plan *(*fn)(struct io_conn *, void *), - void *arg) +struct io_plan io_break_(void *ret, struct io_plan plan) { + io_plan_debug_again(); + + assert(ret); io_loop_return = ret; - conn->next = fn; - conn->next_arg = arg; - return to_ioplan(NEXT); + return plan; }