X-Git-Url: http://git.ozlabs.org/?p=ccan;a=blobdiff_plain;f=ccan%2Fio%2Fio.c;h=a4489ee8855c5a67fce5d746672342b345c72dc5;hp=6efc68ee732c15ab99d00104e2f6adb6ef0b5f71;hb=9e02685a6216720d37848a332187e3745b7f981e;hpb=a2dffefa5ef8d0cf71d99755c4640a8004679b1d diff --git a/ccan/io/io.c b/ccan/io/io.c index 6efc68ee..a4489ee8 100644 --- a/ccan/io/io.c +++ b/ccan/io/io.c @@ -1,4 +1,4 @@ -/* 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 @@ -8,13 +8,65 @@ #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) +{ + if (io_plan_nodebug) { + io_plan_nodebug = false; + return plan; + } + + if (!io_debug_conn || !current) + return plan; + + if (!io_debug_conn(current) && !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 = io_loop(); + return plan; +} + +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_op *(*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)); @@ -24,9 +76,8 @@ struct io_listener *io_new_listener_(int fd, 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; @@ -41,23 +92,22 @@ void io_close_listener(struct io_listener *l) free(l); } -struct io_conn *io_new_conn_(int fd, - struct io_op *(*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->fd.next = start; - conn->fd.finish = finish; - conn->fd.finish_arg = conn->fd.next_arg = arg; - conn->state = NEXT; + conn->plan = plan; + conn->finish = NULL; + conn->finish_arg = NULL; conn->duplex = NULL; + conn->timeout = NULL; if (!add_conn(conn)) { free(conn); return NULL; @@ -65,13 +115,20 @@ struct io_conn *io_new_conn_(int fd, return conn; } -struct io_conn *io_duplex_(struct io_conn *old, - struct io_op *(*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)); @@ -80,11 +137,11 @@ struct io_conn *io_duplex_(struct io_conn *old, 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 = NULL; + conn->finish_arg = NULL; + conn->timeout = NULL; if (!add_duplex(conn)) { free(conn); return NULL; @@ -93,150 +150,213 @@ struct io_conn *io_duplex_(struct io_conn *old, return conn; } -/* Convenient token which only we can produce. */ -static inline struct io_next *to_ionext(struct io_conn *conn) +bool io_timeout_(struct io_conn *conn, struct timespec ts, + struct io_plan (*cb)(struct io_conn *, void *), void *arg) { - return (struct io_next *)conn; -} + assert(cb); -static inline struct io_op *to_ioop(enum io_state state) -{ - return (struct io_op *)(long)state; + if (!conn->timeout) { + conn->timeout = malloc(sizeof(*conn->timeout)); + if (!conn->timeout) + return false; + } else + assert(!timeout_active(conn)); + + conn->timeout->next = cb; + conn->timeout->next_arg = arg; + backend_add_timeout(conn, ts); + return true; } -static inline struct io_conn *from_ionext(struct io_next *next) +/* Returns true if we're finished. */ +static int do_write(int fd, struct io_plan *plan) { - return (struct io_conn *)next; + ssize_t ret = write(fd, plan->u.write.buf, plan->u.write.len); + if (ret < 0) + return -1; + + plan->u.write.buf += ret; + plan->u.write.len -= ret; + return (plan->u.write.len == 0); } -struct io_next *io_next_(struct io_conn *conn, - struct io_op *(*next)(struct io_conn *, void *), +/* 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) { - conn->fd.next = next; - conn->fd.next_arg = arg; + 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 to_ionext(conn); + return plan; } -/* Queue some data to be written. */ -struct io_op *io_write(const void *data, size_t len, struct io_next *next) +static int do_read(int fd, struct io_plan *plan) { - struct io_conn *conn = from_ionext(next); - conn->u.write.buf = data; - conn->u.write.len = len; - return to_ioop(WRITE); + ssize_t ret = read(fd, plan->u.read.buf, plan->u.read.len); + if (ret <= 0) + return -1; + + 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_op *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_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 int do_read_partial(int fd, struct io_plan *plan) { - struct io_conn *conn = from_ionext(next); - conn->u.read.buf = data; - conn->u.read.len = len; - return to_ioop(READ); + ssize_t ret = read(fd, plan->u.readpart.buf, *plan->u.readpart.lenp); + if (ret <= 0) + return -1; + + *plan->u.readpart.lenp = 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_(void *data, size_t *len, + struct io_plan (*cb)(struct io_conn *, void *), + void *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 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 int do_write_partial(int fd, struct io_plan *plan) +{ + ssize_t ret = write(fd, plan->u.writepart.buf, *plan->u.writepart.lenp); + if (ret < 0) + return -1; + + *plan->u.writepart.lenp = 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_(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_ioop(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; + + return plan; } -struct io_op *io_idle(struct io_conn *conn) +struct io_plan io_idle_(void) { - return to_ioop(IDLE); + 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; } -void io_wake_(struct io_conn *conn, - struct io_op *(*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) + io_plan_debug_again(); + + /* 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_ioop(NEXT)); -} + /* It was idle, right? */ + assert(!conn->plan.io); + conn->plan = plan; + backend_plan_changed(conn); -static struct io_op *do_next(struct io_conn *conn) -{ - return conn->fd.next(conn, conn->fd.next_arg); + debug_io_wake(conn); } -struct io_op *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); + switch (conn->plan.io(conn->fd.fd, &conn->plan)) { + case -1: /* Failure means a new plan: close up. */ + set_current(conn); + conn->plan = io_close(); + backend_plan_changed(conn); + set_current(NULL); 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; + case 0: /* Keep going with plan. */ break; - default: - /* Shouldn't happen. */ - abort(); + case 1: /* Done: get next 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_ioop(conn->state); } -/* 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_(void) { - return to_ioop(FINISHED); + 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 io_close(); } /* Exit the loop, returning this (non-NULL) arg. */ -struct io_op *io_break(void *arg, struct io_next *next) +struct io_plan io_break_(void *ret, struct io_plan plan) { - io_loop_return = arg; + io_plan_debug_again(); + + assert(ret); + io_loop_return = ret; - return to_ioop(NEXT); + return plan; }