X-Git-Url: http://git.ozlabs.org/?p=ccan;a=blobdiff_plain;f=ccan%2Fio%2Fio.c;h=f45589c0fac71888b1be312debcb3ec04597b0bb;hp=f7b46faaa5f8a5da64a07a9dc60caa67dd78d8fc;hb=8700faf27fe4cf9554fec2260bdabd67eabf69ae;hpb=42762758d98feb08b861361b7f695de2cad26b07 diff --git a/ccan/io/io.c b/ccan/io/io.c index f7b46faa..f45589c0 100644 --- a/ccan/io/io.c +++ b/ccan/io/io.c @@ -9,27 +9,137 @@ #include #include #include +#include +#include void *io_loop_return; +struct io_alloc io_alloc = { + malloc, realloc, free +}; + +#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.u1.s; + 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)); + struct io_listener *l = io_alloc.alloc(sizeof(*l)); if (!l) return NULL; 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); + io_alloc.free(l); return NULL; } return l; @@ -39,75 +149,74 @@ void io_close_listener(struct io_listener *l) { close(l->fd.fd); del_listener(l); - free(l); + io_alloc.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)); + struct io_conn *conn = io_alloc.alloc(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 = IO_NEXT; + conn->plan = plan; + conn->finish = NULL; + conn->finish_arg = NULL; conn->duplex = NULL; conn->timeout = NULL; if (!add_conn(conn)) { - free(conn); + io_alloc.free(conn); return NULL; } 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)); + conn = io_alloc.alloc(sizeof(*conn)); if (!conn) return NULL; 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 = IO_NEXT; + conn->plan = plan; conn->duplex = old; + conn->finish = NULL; + conn->finish_arg = NULL; conn->timeout = NULL; if (!add_duplex(conn)) { - free(conn); + io_alloc.free(conn); return NULL; } old->duplex = conn; 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)); + conn->timeout = io_alloc.alloc(sizeof(*conn->timeout)); if (!conn->timeout) return false; } else @@ -119,167 +228,260 @@ 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->u1.cp, plan->u2.s); 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->u1.cp += ret; + plan->u2.s -= ret; + return io_debug_io(plan->u2.s == 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_IO); + struct io_plan plan; + + assert(cb); + plan.u1.const_vp = data; + plan.u2.s = 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->u1.cp, plan->u2.s); 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->u1.cp += ret; + plan->u2.s -= ret; + return io_debug_io(plan->u2.s == 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_IO); + struct io_plan plan; + + assert(cb); + plan.u1.cp = data; + plan.u2.s = 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->u1.cp, *(size_t *)plan->u2.vp); if (ret <= 0) - return RESULT_CLOSE; - *conn->u.readpart.lenp = ret; - return RESULT_FINISHED; + return io_debug_io(-1); + + *(size_t *)plan->u2.vp = 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_IO); + struct io_plan plan; + + assert(cb); + plan.u1.cp = data; + plan.u2.vp = 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->u1.cp, *(size_t *)plan->u2.vp); if (ret < 0) - return RESULT_CLOSE; - *conn->u.writepart.lenp = ret; - return RESULT_FINISHED; + return io_debug_io(-1); + + *(size_t *)plan->u2.vp = 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_IO); + struct io_plan plan; + + assert(cb); + plan.u1.const_vp = data; + plan.u2.vp = 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(IO_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->u1.s); + 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 == IO_FINISHED) - return; - assert(conn->state == IO_IDLE); - conn->next = fn; - conn->next_arg = arg; - conn->state = IO_NEXT; - backend_wakeup(conn); + struct io_plan plan; + + assert(cb); + + plan.next = cb; + plan.next_arg = arg; + + /* Save old flags, set nonblock if not already. */ + plan.u1.s = fcntl(fd, F_GETFD); + fcntl(fd, F_SETFD, plan.u1.s | 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_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.u1.s = errno; + + return plan; +} + +struct io_plan io_close_cb(struct io_conn *conn, void *arg) { - return to_ioplan(IO_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(IO_NEXT); + return plan; +} + +int io_conn_fd(const struct io_conn *conn) +{ + return conn->fd.fd; +} + +void io_set_alloc(void *(*allocfn)(size_t size), + void *(*reallocfn)(void *ptr, size_t size), + void (*freefn)(void *ptr)) +{ + io_alloc.alloc = allocfn; + io_alloc.realloc = reallocfn; + io_alloc.free = freefn; }