Annotation of sys/kern/kern_timeout.c, Revision 1.1
1.1 ! nbrk 1: /* $OpenBSD: kern_timeout.c,v 1.25 2006/07/19 20:25:08 miod Exp $ */
! 2: /*
! 3: * Copyright (c) 2001 Thomas Nordin <nordin@openbsd.org>
! 4: * Copyright (c) 2000-2001 Artur Grabowski <art@openbsd.org>
! 5: * All rights reserved.
! 6: *
! 7: * Redistribution and use in source and binary forms, with or without
! 8: * modification, are permitted provided that the following conditions
! 9: * are met:
! 10: *
! 11: * 1. Redistributions of source code must retain the above copyright
! 12: * notice, this list of conditions and the following disclaimer.
! 13: * 2. The name of the author may not be used to endorse or promote products
! 14: * derived from this software without specific prior written permission.
! 15: *
! 16: * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
! 17: * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
! 18: * AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
! 19: * THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
! 20: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
! 21: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
! 22: * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
! 23: * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
! 24: * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
! 25: * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
! 26: */
! 27:
! 28: #include <sys/param.h>
! 29: #include <sys/systm.h>
! 30: #include <sys/lock.h>
! 31: #include <sys/timeout.h>
! 32: #include <sys/mutex.h>
! 33: #include <sys/queue.h>
! 34:
! 35: #ifdef DDB
! 36: #include <machine/db_machdep.h>
! 37: #include <ddb/db_interface.h>
! 38: #include <ddb/db_access.h>
! 39: #include <ddb/db_sym.h>
! 40: #include <ddb/db_output.h>
! 41: #endif
! 42:
! 43: /*
! 44: * Timeouts are kept in a hierarchical timing wheel. The to_time is the value
! 45: * of the global variable "ticks" when the timeout should be called. There are
! 46: * four levels with 256 buckets each. See 'Scheme 7' in
! 47: * "Hashed and Hierarchical Timing Wheels: Efficient Data Structures for
! 48: * Implementing a Timer Facility" by George Varghese and Tony Lauck.
! 49: */
! 50: #define BUCKETS 1024
! 51: #define WHEELSIZE 256
! 52: #define WHEELMASK 255
! 53: #define WHEELBITS 8
! 54:
! 55: struct circq timeout_wheel[BUCKETS]; /* Queues of timeouts */
! 56: struct circq timeout_todo; /* Worklist */
! 57:
! 58: #define MASKWHEEL(wheel, time) (((time) >> ((wheel)*WHEELBITS)) & WHEELMASK)
! 59:
! 60: #define BUCKET(rel, abs) \
! 61: (timeout_wheel[ \
! 62: ((rel) <= (1 << (2*WHEELBITS))) \
! 63: ? ((rel) <= (1 << WHEELBITS)) \
! 64: ? MASKWHEEL(0, (abs)) \
! 65: : MASKWHEEL(1, (abs)) + WHEELSIZE \
! 66: : ((rel) <= (1 << (3*WHEELBITS))) \
! 67: ? MASKWHEEL(2, (abs)) + 2*WHEELSIZE \
! 68: : MASKWHEEL(3, (abs)) + 3*WHEELSIZE])
! 69:
! 70: #define MOVEBUCKET(wheel, time) \
! 71: CIRCQ_APPEND(&timeout_todo, \
! 72: &timeout_wheel[MASKWHEEL((wheel), (time)) + (wheel)*WHEELSIZE])
! 73:
! 74: /*
! 75: * All wheels are locked with the same mutex.
! 76: *
! 77: * We need locking since the timeouts are manipulated from hardclock that's
! 78: * not behind the big lock.
! 79: */
! 80: struct mutex timeout_mutex = MUTEX_INITIALIZER(IPL_HIGH);
! 81:
! 82: /*
! 83: * Circular queue definitions.
! 84: */
! 85:
! 86: #define CIRCQ_INIT(elem) do { \
! 87: (elem)->next = (elem); \
! 88: (elem)->prev = (elem); \
! 89: } while (0)
! 90:
! 91: #define CIRCQ_INSERT(elem, list) do { \
! 92: (elem)->prev = (list)->prev; \
! 93: (elem)->next = (list); \
! 94: (list)->prev->next = (elem); \
! 95: (list)->prev = (elem); \
! 96: } while (0)
! 97:
! 98: #define CIRCQ_APPEND(fst, snd) do { \
! 99: if (!CIRCQ_EMPTY(snd)) { \
! 100: (fst)->prev->next = (snd)->next;\
! 101: (snd)->next->prev = (fst)->prev;\
! 102: (snd)->prev->next = (fst); \
! 103: (fst)->prev = (snd)->prev; \
! 104: CIRCQ_INIT(snd); \
! 105: } \
! 106: } while (0)
! 107:
! 108: #define CIRCQ_REMOVE(elem) do { \
! 109: (elem)->next->prev = (elem)->prev; \
! 110: (elem)->prev->next = (elem)->next; \
! 111: _Q_INVALIDATE((elem)->prev); \
! 112: _Q_INVALIDATE((elem)->next); \
! 113: } while (0)
! 114:
! 115: #define CIRCQ_FIRST(elem) ((elem)->next)
! 116:
! 117: #define CIRCQ_EMPTY(elem) (CIRCQ_FIRST(elem) == (elem))
! 118:
! 119: /*
! 120: * Some of the "math" in here is a bit tricky.
! 121: *
! 122: * We have to beware of wrapping ints.
! 123: * We use the fact that any element added to the queue must be added with a
! 124: * positive time. That means that any element `to' on the queue cannot be
! 125: * scheduled to timeout further in time than INT_MAX, but to->to_time can
! 126: * be positive or negative so comparing it with anything is dangerous.
! 127: * The only way we can use the to->to_time value in any predictable way
! 128: * is when we calculate how far in the future `to' will timeout -
! 129: * "to->to_time - ticks". The result will always be positive for future
! 130: * timeouts and 0 or negative for due timeouts.
! 131: */
! 132: extern int ticks; /* XXX - move to sys/X.h */
! 133:
! 134: void
! 135: timeout_startup(void)
! 136: {
! 137: int b;
! 138:
! 139: CIRCQ_INIT(&timeout_todo);
! 140: for (b = 0; b < BUCKETS; b++)
! 141: CIRCQ_INIT(&timeout_wheel[b]);
! 142: }
! 143:
! 144: void
! 145: timeout_set(struct timeout *new, void (*fn)(void *), void *arg)
! 146: {
! 147: new->to_func = fn;
! 148: new->to_arg = arg;
! 149: new->to_flags = TIMEOUT_INITIALIZED;
! 150: }
! 151:
! 152:
! 153: void
! 154: timeout_add(struct timeout *new, int to_ticks)
! 155: {
! 156: int old_time;
! 157:
! 158: #ifdef DIAGNOSTIC
! 159: if (!(new->to_flags & TIMEOUT_INITIALIZED))
! 160: panic("timeout_add: not initialized");
! 161: if (to_ticks < 0)
! 162: panic("timeout_add: to_ticks (%d) < 0", to_ticks);
! 163: #endif
! 164:
! 165: mtx_enter(&timeout_mutex);
! 166: /* Initialize the time here, it won't change. */
! 167: old_time = new->to_time;
! 168: new->to_time = to_ticks + ticks;
! 169: new->to_flags &= ~TIMEOUT_TRIGGERED;
! 170:
! 171: /*
! 172: * If this timeout already is scheduled and now is moved
! 173: * earlier, reschedule it now. Otherwise leave it in place
! 174: * and let it be rescheduled later.
! 175: */
! 176: if (new->to_flags & TIMEOUT_ONQUEUE) {
! 177: if (new->to_time - ticks < old_time - ticks) {
! 178: CIRCQ_REMOVE(&new->to_list);
! 179: CIRCQ_INSERT(&new->to_list, &timeout_todo);
! 180: }
! 181: } else {
! 182: new->to_flags |= TIMEOUT_ONQUEUE;
! 183: CIRCQ_INSERT(&new->to_list, &timeout_todo);
! 184: }
! 185: mtx_leave(&timeout_mutex);
! 186: }
! 187:
! 188: void
! 189: timeout_del(struct timeout *to)
! 190: {
! 191: mtx_enter(&timeout_mutex);
! 192: if (to->to_flags & TIMEOUT_ONQUEUE) {
! 193: CIRCQ_REMOVE(&to->to_list);
! 194: to->to_flags &= ~TIMEOUT_ONQUEUE;
! 195: }
! 196: to->to_flags &= ~TIMEOUT_TRIGGERED;
! 197: mtx_leave(&timeout_mutex);
! 198: }
! 199:
! 200: /*
! 201: * This is called from hardclock() once every tick.
! 202: * We return !0 if we need to schedule a softclock.
! 203: */
! 204: int
! 205: timeout_hardclock_update(void)
! 206: {
! 207: int ret;
! 208:
! 209: mtx_enter(&timeout_mutex);
! 210:
! 211: ticks++;
! 212:
! 213: MOVEBUCKET(0, ticks);
! 214: if (MASKWHEEL(0, ticks) == 0) {
! 215: MOVEBUCKET(1, ticks);
! 216: if (MASKWHEEL(1, ticks) == 0) {
! 217: MOVEBUCKET(2, ticks);
! 218: if (MASKWHEEL(2, ticks) == 0)
! 219: MOVEBUCKET(3, ticks);
! 220: }
! 221: }
! 222: ret = !CIRCQ_EMPTY(&timeout_todo);
! 223: mtx_leave(&timeout_mutex);
! 224:
! 225: return (ret);
! 226: }
! 227:
! 228: void
! 229: softclock(void)
! 230: {
! 231: struct timeout *to;
! 232: void (*fn)(void *);
! 233: void *arg;
! 234:
! 235: mtx_enter(&timeout_mutex);
! 236: while (!CIRCQ_EMPTY(&timeout_todo)) {
! 237:
! 238: to = (struct timeout *)CIRCQ_FIRST(&timeout_todo); /* XXX */
! 239: CIRCQ_REMOVE(&to->to_list);
! 240:
! 241: /* If due run it, otherwise insert it into the right bucket. */
! 242: if (to->to_time - ticks > 0) {
! 243: CIRCQ_INSERT(&to->to_list,
! 244: &BUCKET((to->to_time - ticks), to->to_time));
! 245: } else {
! 246: #ifdef DEBUG
! 247: if (to->to_time - ticks < 0)
! 248: printf("timeout delayed %d\n", to->to_time -
! 249: ticks);
! 250: #endif
! 251: to->to_flags &= ~TIMEOUT_ONQUEUE;
! 252: to->to_flags |= TIMEOUT_TRIGGERED;
! 253:
! 254: fn = to->to_func;
! 255: arg = to->to_arg;
! 256:
! 257: mtx_leave(&timeout_mutex);
! 258: fn(arg);
! 259: mtx_enter(&timeout_mutex);
! 260: }
! 261: }
! 262: mtx_leave(&timeout_mutex);
! 263: }
! 264:
! 265: #ifdef DDB
! 266: void db_show_callout_bucket(struct circq *);
! 267:
! 268: void
! 269: db_show_callout_bucket(struct circq *bucket)
! 270: {
! 271: struct timeout *to;
! 272: struct circq *p;
! 273: db_expr_t offset;
! 274: char *name;
! 275:
! 276: for (p = CIRCQ_FIRST(bucket); p != bucket; p = CIRCQ_FIRST(p)) {
! 277: to = (struct timeout *)p; /* XXX */
! 278: db_find_sym_and_offset((db_addr_t)to->to_func, &name, &offset);
! 279: name = name ? name : "?";
! 280: db_printf("%9d %2d/%-4d %8x %s\n", to->to_time - ticks,
! 281: (bucket - timeout_wheel) / WHEELSIZE,
! 282: bucket - timeout_wheel, to->to_arg, name);
! 283: }
! 284: }
! 285:
! 286: void
! 287: db_show_callout(db_expr_t addr, int haddr, db_expr_t count, char *modif)
! 288: {
! 289: int b;
! 290:
! 291: db_printf("ticks now: %d\n", ticks);
! 292: db_printf(" ticks wheel arg func\n");
! 293:
! 294: mtx_enter(&timeout_mutex);
! 295: db_show_callout_bucket(&timeout_todo);
! 296: for (b = 0; b < BUCKETS; b++)
! 297: db_show_callout_bucket(&timeout_wheel[b]);
! 298: mtx_leave(&timeout_mutex);
! 299: }
! 300: #endif
CVSweb