]> git.llucax.com Git - software/libev.git/blobdiff - ev.c
rework signal and child handling
[software/libev.git] / ev.c
diff --git a/ev.c b/ev.c
index 67d0368668d0de8e7030801085df660262678564..7bed969f17e5c8331f8f8309e87ee227562fd998 100644 (file)
--- a/ev.c
+++ b/ev.c
+/*
+ * libev event processing core, watcher management
+ *
+ * Copyright (c) 2007 Marc Alexander Lehmann <libev@schmorp.de>
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions are
+ * met:
+ *
+ *     * Redistributions of source code must retain the above copyright
+ *       notice, this list of conditions and the following disclaimer.
+ *
+ *     * Redistributions in binary form must reproduce the above
+ *       copyright notice, this list of conditions and the following
+ *       disclaimer in the documentation and/or other materials provided
+ *       with the distribution.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+ * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+ * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+ * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+ * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ */
+#if EV_USE_CONFIG_H
+# include "config.h"
+#endif
+
 #include <math.h>
 #include <stdlib.h>
+#include <unistd.h>
+#include <fcntl.h>
+#include <signal.h>
+#include <stddef.h>
 
 #include <stdio.h>
 
 #include <assert.h>
 #include <errno.h>
+#include <sys/types.h>
+#ifndef WIN32
+# include <sys/wait.h>
+#endif
 #include <sys/time.h>
 #include <time.h>
 
-#ifdef CLOCK_MONOTONIC
-# define HAVE_MONOTONIC 1
+/**/
+
+#ifndef EV_USE_MONOTONIC
+# define EV_USE_MONOTONIC 1
+#endif
+
+#ifndef EV_USE_SELECT
+# define EV_USE_SELECT 1
+#endif
+
+#ifndef EV_USE_POLL
+# define EV_USE_POLL 0 /* poll is usually slower than select, and not as well tested */
+#endif
+
+#ifndef EV_USE_EPOLL
+# define EV_USE_EPOLL 0
+#endif
+
+#ifndef EV_USE_KQUEUE
+# define EV_USE_KQUEUE 0
+#endif
+
+#ifndef EV_USE_REALTIME
+# define EV_USE_REALTIME 1
 #endif
 
-#define HAVE_EPOLL 1
-#define HAVE_REALTIME 1
-#define HAVE_SELECT 0
+/**/
+
+#ifndef CLOCK_MONOTONIC
+# undef EV_USE_MONOTONIC
+# define EV_USE_MONOTONIC 0
+#endif
+
+#ifndef CLOCK_REALTIME
+# undef EV_USE_REALTIME
+# define EV_USE_REALTIME 0
+#endif
+
+/**/
 
 #define MIN_TIMEJUMP  1. /* minimum timejump that gets detected (if monotonic clock available) */
-#define MAX_BLOCKTIME 60.
+#define MAX_BLOCKTIME 59.731 /* never wait longer than this time (to detect time jumps) */
+#define PID_HASHSIZE  16 /* size of pid hash table, must be power of two */
+/*#define CLEANUP_INTERVAL 300. /* how often to try to free memory and re-check fds */
 
 #include "ev.h"
 
-struct ev_watcher {
-  EV_WATCHER (ev_watcher);
-};
+#if __GNUC__ >= 3
+# define expect(expr,value)         __builtin_expect ((expr),(value))
+# define inline                     inline
+#else
+# define expect(expr,value)         (expr)
+# define inline                     static
+#endif
 
-struct ev_watcher_list {
-  EV_WATCHER_LIST (ev_watcher_list);
-};
+#define expect_false(expr) expect ((expr) != 0, 0)
+#define expect_true(expr)  expect ((expr) != 0, 1)
 
-static ev_tstamp now, diff; /* monotonic clock */
+#define NUMPRI    (EV_MAXPRI - EV_MINPRI + 1)
+#define ABSPRI(w) ((w)->priority - EV_MINPRI)
+
+typedef struct ev_watcher *W;
+typedef struct ev_watcher_list *WL;
+typedef struct ev_watcher_time *WT;
+
+static ev_tstamp now_floor, now, diff; /* monotonic clock */
 ev_tstamp ev_now;
 int ev_method;
 
 static int have_monotonic; /* runtime */
 
 static ev_tstamp method_fudge; /* stupid epoll-returns-early bug */
-static void (*method_reify)(void);
+static void (*method_modify)(int fd, int oev, int nev);
 static void (*method_poll)(ev_tstamp timeout);
 
+/*****************************************************************************/
+
 ev_tstamp
 ev_time (void)
 {
-#if HAVE_REALTIME
+#if EV_USE_REALTIME
   struct timespec ts;
   clock_gettime (CLOCK_REALTIME, &ts);
   return ts.tv_sec + ts.tv_nsec * 1e-9;
@@ -56,8 +144,8 @@ ev_time (void)
 static ev_tstamp
 get_clock (void)
 {
-#if HAVE_MONOTONIC
-  if (have_monotonic)
+#if EV_USE_MONOTONIC
+  if (expect_true (have_monotonic))
     {
       struct timespec ts;
       clock_gettime (CLOCK_MONOTONIC, &ts);
@@ -68,55 +156,79 @@ get_clock (void)
   return ev_time ();
 }
 
+#define array_roundsize(base,n) ((n) | 4 & ~3)
+
 #define array_needsize(base,cur,cnt,init)              \
-  if ((cnt) > cur)                                     \
+  if (expect_false ((cnt) > cur))                      \
     {                                                  \
-      int newcnt = cur ? cur << 1 : 16;                        \
-      fprintf (stderr, "resize(" # base ") from %d to %d\n", cur, newcnt);\
+      int newcnt = cur;                                        \
+      do                                               \
+        {                                              \
+          newcnt = array_roundsize (base, newcnt << 1);        \
+        }                                              \
+      while ((cnt) > newcnt);                          \
+                                                       \
       base = realloc (base, sizeof (*base) * (newcnt));        \
       init (base + cur, newcnt - cur);                 \
       cur = newcnt;                                    \
     }
 
+/*****************************************************************************/
+
 typedef struct
 {
   struct ev_io *head;
-  unsigned char wev, rev; /* want, received event set */
+  unsigned char events;
+  unsigned char reify;
 } ANFD;
 
 static ANFD *anfds;
 static int anfdmax;
 
-static int *fdchanges;
-static int fdchangemax, fdchangecnt;
-
 static void
 anfds_init (ANFD *base, int count)
 {
   while (count--)
     {
-      base->head = 0;
-      base->wev = base->rev = EV_NONE;
+      base->head   = 0;
+      base->events = EV_NONE;
+      base->reify  = 0;
+
       ++base;
     }
 }
 
 typedef struct
 {
-  struct ev_watcher *w;
+  w;
   int events;
 } ANPENDING;
 
-static ANPENDING *pendings;
-static int pendingmax, pendingcnt;
+static ANPENDING *pendings [NUMPRI];
+static int pendingmax [NUMPRI], pendingcnt [NUMPRI];
+
+static void
+event (W w, int events)
+{
+  if (w->pending)
+    {
+      pendings [ABSPRI (w)][w->pending - 1].events |= events;
+      return;
+    }
+
+  w->pending = ++pendingcnt [ABSPRI (w)];
+  array_needsize (pendings [ABSPRI (w)], pendingmax [ABSPRI (w)], pendingcnt [ABSPRI (w)], );
+  pendings [ABSPRI (w)][w->pending - 1].w      = w;
+  pendings [ABSPRI (w)][w->pending - 1].events = events;
+}
 
 static void
-event (struct ev_watcher *w, int events)
+queue_events (W *events, int eventcnt, int type)
 {
-  w->pending = ++pendingcnt;
-  array_needsize (pendings, pendingmax, pendingcnt, );
-  pendings [pendingcnt - 1].w      = w;
-  pendings [pendingcnt - 1].events = events;
+  int i;
+
+  for (i = 0; i < eventcnt; ++i)
+    event (events [i], type);
 }
 
 static void
@@ -130,20 +242,108 @@ fd_event (int fd, int events)
       int ev = w->events & events;
 
       if (ev)
-        event ((struct ev_watcher *)w, ev);
+        event ((W)w, ev);
+    }
+}
+
+/*****************************************************************************/
+
+static int *fdchanges;
+static int fdchangemax, fdchangecnt;
+
+static void
+fd_reify (void)
+{
+  int i;
+
+  for (i = 0; i < fdchangecnt; ++i)
+    {
+      int fd = fdchanges [i];
+      ANFD *anfd = anfds + fd;
+      struct ev_io *w;
+
+      int events = 0;
+
+      for (w = anfd->head; w; w = w->next)
+        events |= w->events;
+
+      anfd->reify = 0;
+
+      if (anfd->events != events)
+        {
+          method_modify (fd, anfd->events, events);
+          anfd->events = events;
+        }
+    }
+
+  fdchangecnt = 0;
+}
+
+static void
+fd_change (int fd)
+{
+  if (anfds [fd].reify || fdchangecnt < 0)
+    return;
+
+  anfds [fd].reify = 1;
+
+  ++fdchangecnt;
+  array_needsize (fdchanges, fdchangemax, fdchangecnt, );
+  fdchanges [fdchangecnt - 1] = fd;
+}
+
+static void
+fd_kill (int fd)
+{
+  struct ev_io *w;
+
+  printf ("killing fd %d\n", fd);//D
+  while ((w = anfds [fd].head))
+    {
+      ev_io_stop (w);
+      event ((W)w, EV_ERROR | EV_READ | EV_WRITE);
     }
 }
 
-static struct ev_timer **atimers;
-static int atimermax, atimercnt;
+/* called on EBADF to verify fds */
+static void
+fd_ebadf (void)
+{
+  int fd;
+
+  for (fd = 0; fd < anfdmax; ++fd)
+    if (anfds [fd].events)
+      if (fcntl (fd, F_GETFD) == -1 && errno == EBADF)
+        fd_kill (fd);
+}
+
+/* called on ENOMEM in select/poll to kill some fds and retry */
+static void
+fd_enomem (void)
+{
+  int fd = anfdmax;
+
+  while (fd--)
+    if (anfds [fd].events)
+      {
+        close (fd);
+        fd_kill (fd);
+        return;
+      }
+}
+
+/*****************************************************************************/
+
+static struct ev_timer **timers;
+static int timermax, timercnt;
 
-static struct ev_timer **rtimers;
-static int rtimermax, rtimercnt;
+static struct ev_periodic **periodics;
+static int periodicmax, periodiccnt;
 
 static void
-upheap (struct ev_timer **timers, int k)
+upheap (WT *timers, int k)
 {
-  struct ev_timer *w = timers [k];
+  WT w = timers [k];
 
   while (k && timers [k >> 1]->at > w->at)
     {
@@ -158,9 +358,9 @@ upheap (struct ev_timer **timers, int k)
 }
 
 static void
-downheap (struct ev_timer **timers, int N, int k)
+downheap (WT *timers, int N, int k)
 {
-  struct ev_timer *w = timers [k];
+  WT w = timers [k];
 
   while (k < (N >> 1))
     {
@@ -181,148 +381,403 @@ downheap (struct ev_timer **timers, int N, int k)
   timers [k]->active = k + 1;
 }
 
-static struct ev_signal **signals;
+/*****************************************************************************/
+
+typedef struct
+{
+  struct ev_signal *head;
+  sig_atomic_t volatile gotsig;
+} ANSIG;
+
+static ANSIG *signals;
 static int signalmax;
 
+static int sigpipe [2];
+static sig_atomic_t volatile gotsig;
+static struct ev_io sigev;
+
 static void
-signals_init (struct ev_signal **base, int count)
+signals_init (ANSIG *base, int count)
 {
   while (count--)
-    *base++ = 0;
+    {
+      base->head   = 0;
+      base->gotsig = 0;
+
+      ++base;
+    }
+}
+
+static void
+sighandler (int signum)
+{
+  signals [signum - 1].gotsig = 1;
+
+  if (!gotsig)
+    {
+      gotsig = 1;
+      write (sigpipe [1], &signum, 1);
+    }
+}
+
+static void
+sigcb (struct ev_io *iow, int revents)
+{
+  struct ev_signal *w;
+  int signum;
+
+  read (sigpipe [0], &revents, 1);
+  gotsig = 0;
+
+  for (signum = signalmax; signum--; )
+    if (signals [signum].gotsig)
+      {
+        signals [signum].gotsig = 0;
+
+        for (w = signals [signum].head; w; w = w->next)
+          event ((W)w, EV_SIGNAL);
+      }
+}
+
+static void
+siginit (void)
+{
+#ifndef WIN32
+  fcntl (sigpipe [0], F_SETFD, FD_CLOEXEC);
+  fcntl (sigpipe [1], F_SETFD, FD_CLOEXEC);
+
+  /* rather than sort out wether we really need nb, set it */
+  fcntl (sigpipe [0], F_SETFL, O_NONBLOCK);
+  fcntl (sigpipe [1], F_SETFL, O_NONBLOCK);
+#endif
+
+  ev_io_set (&sigev, sigpipe [0], EV_READ);
+  ev_io_start (&sigev);
+}
+
+/*****************************************************************************/
+
+static struct ev_idle **idles;
+static int idlemax, idlecnt;
+
+static struct ev_prepare **prepares;
+static int preparemax, preparecnt;
+
+static struct ev_check **checks;
+static int checkmax, checkcnt;
+
+/*****************************************************************************/
+
+static struct ev_child *childs [PID_HASHSIZE];
+static struct ev_signal childev;
+
+#ifndef WIN32
+
+#ifndef WCONTINUED
+# define WCONTINUED 0
+#endif
+
+static void
+child_reap (struct ev_signal *sw, int chain, int pid, int status)
+{
+  struct ev_child *w;
+
+  for (w = childs [chain & (PID_HASHSIZE - 1)]; w; w = w->next)
+    if (w->pid == pid || !w->pid)
+      {
+        w->priority = sw->priority; /* need to do it *now* */
+        w->rpid     = pid;
+        w->rstatus  = status;
+        printf ("rpid %p %d %d\n", w, pid, w->pid);//D
+        event ((W)w, EV_CHILD);
+      }
+}
+
+static void
+childcb (struct ev_signal *sw, int revents)
+{
+  int pid, status;
+
+            printf ("chld %x\n", revents);//D
+  if (0 < (pid = waitpid (-1, &status, WNOHANG | WUNTRACED | WCONTINUED)))
+    {
+      /* make sure we are called again until all childs have been reaped */
+      event ((W)sw, EV_SIGNAL);
+
+      child_reap (sw, pid, pid, status);
+      child_reap (sw,   0, pid, status); /* this might trigger a watcher twice, but event catches that */
+    }
 }
 
-#if HAVE_EPOLL
+#endif
+
+/*****************************************************************************/
+
+#if EV_USE_KQUEUE
+# include "ev_kqueue.c"
+#endif
+#if EV_USE_EPOLL
 # include "ev_epoll.c"
 #endif
-#if HAVE_SELECT
+#if EV_USE_POLL
+# include "ev_poll.c"
+#endif
+#if EV_USE_SELECT
 # include "ev_select.c"
 #endif
 
-int ev_init (int flags)
+int
+ev_version_major (void)
+{
+  return EV_VERSION_MAJOR;
+}
+
+int
+ev_version_minor (void)
 {
-#if HAVE_MONOTONIC
-  {
-    struct timespec ts;
-    if (!clock_gettime (CLOCK_MONOTONIC, &ts))
-      have_monotonic = 1;
-  }
+  return EV_VERSION_MINOR;
+}
+
+/* return true if we are running with elevated privileges and ignore env variables */
+static int
+enable_secure ()
+{
+  return getuid () != geteuid ()
+      || getgid () != getegid ();
+}
+
+int ev_init (int methods)
+{
+  if (!ev_method)
+    {
+#if EV_USE_MONOTONIC
+      {
+        struct timespec ts;
+        if (!clock_gettime (CLOCK_MONOTONIC, &ts))
+          have_monotonic = 1;
+      }
 #endif
 
-  ev_now = ev_time ();
-  now    = get_clock ();
-  diff   = ev_now - now;
+      ev_now    = ev_time ();
+      now       = get_clock ();
+      now_floor = now;
+      diff      = ev_now - now;
 
-#if HAVE_EPOLL
-  if (epoll_init (flags))
-    return ev_method;
+      if (pipe (sigpipe))
+        return 0;
+
+      if (methods == EVMETHOD_AUTO)
+          if (!enable_secure () && getenv ("LIBEV_METHODS"))
+            methods = atoi (getenv ("LIBEV_METHODS"));
+          else
+            methods = EVMETHOD_ANY;
+
+      ev_method = 0;
+#if EV_USE_KQUEUE
+      if (!ev_method && (methods & EVMETHOD_KQUEUE)) kqueue_init (methods);
+#endif
+#if EV_USE_EPOLL
+      if (!ev_method && (methods & EVMETHOD_EPOLL )) epoll_init  (methods);
+#endif
+#if EV_USE_POLL
+      if (!ev_method && (methods & EVMETHOD_POLL  )) poll_init   (methods);
+#endif
+#if EV_USE_SELECT
+      if (!ev_method && (methods & EVMETHOD_SELECT)) select_init (methods);
 #endif
-#if HAVE_SELECT
-  if (select_init (flags))
-    return ev_method;
+
+      if (ev_method)
+        {
+          ev_watcher_init (&sigev, sigcb);
+          ev_set_priority (&sigev, EV_MAXPRI);
+          siginit ();
+
+#ifndef WIN32
+          ev_signal_init (&childev, childcb, SIGCHLD);
+          ev_set_priority (&childev, EV_MAXPRI);
+          ev_signal_start (&childev);
 #endif
+        }
+    }
 
-  ev_method = EVMETHOD_NONE;
   return ev_method;
 }
 
-void ev_prefork (void)
+/*****************************************************************************/
+
+void
+ev_fork_prepare (void)
 {
+  /* nop */
 }
 
-void ev_postfork_parent (void)
+void
+ev_fork_parent (void)
 {
+  /* nop */
 }
 
-void ev_postfork_child (void)
+void
+ev_fork_child (void)
 {
-#if HAVE_EPOLL
-  epoll_postfork_child ();
+#if EV_USE_EPOLL
+  if (ev_method == EVMETHOD_EPOLL)
+    epoll_postfork_child ();
 #endif
+
+  ev_io_stop (&sigev);
+  close (sigpipe [0]);
+  close (sigpipe [1]);
+  pipe (sigpipe);
+  siginit ();
 }
 
+/*****************************************************************************/
+
 static void
-call_pending ()
+call_pending (void)
 {
-  int i;
+  int pri;
+
+  for (pri = NUMPRI; pri--; )
+    while (pendingcnt [pri])
+      {
+        ANPENDING *p = pendings [pri] + --pendingcnt [pri];
+
+        if (p->w)
+          {
+            p->w->pending = 0;
+            p->w->cb (p->w, p->events);
+          }
+      }
+}
 
-  for (i = 0; i < pendingcnt; ++i)
+static void
+timers_reify (void)
+{
+  while (timercnt && timers [0]->at <= now)
     {
-      ANPENDING *p = pendings + i;
+      struct ev_timer *w = timers [0];
 
-      if (p->w)
+      /* first reschedule or stop timer */
+      if (w->repeat)
         {
-          p->w->pending = 0;
-          p->w->cb (p->w, p->events);
+          assert (("negative ev_timer repeat value found while processing timers", w->repeat > 0.));
+          w->at = now + w->repeat;
+          downheap ((WT *)timers, timercnt, 0);
         }
-    }
+      else
+        ev_timer_stop (w); /* nonrepeating: stop timer */
 
-  pendingcnt = 0;
+      event ((W)w, EV_TIMEOUT);
+    }
 }
 
 static void
-timers_reify (struct ev_timer **timers, int timercnt, ev_tstamp now)
+periodics_reify (void)
 {
-  while (timercnt && timers [0]->at <= now)
+  while (periodiccnt && periodics [0]->at <= ev_now)
     {
-      struct ev_timer *w = timers [0];
+      struct ev_periodic *w = periodics [0];
 
       /* first reschedule or stop timer */
-      if (w->repeat)
+      if (w->interval)
         {
-          if (w->is_abs)
-            w->at += floor ((now - w->at) / w->repeat + 1.) * w->repeat;
-          else
-            w->at = now + w->repeat;
-
-          assert (w->at > now);
-
-          downheap (timers, timercnt, 0);
+          w->at += floor ((ev_now - w->at) / w->interval + 1.) * w->interval;
+          assert (("ev_periodic timeout in the past detected while processing timers, negative interval?", w->at > ev_now));
+          downheap ((WT *)periodics, periodiccnt, 0);
         }
       else
-        {
-          evtimer_stop (w); /* nonrepeating: stop timer */
-          --timercnt; /* maybe pass by reference instead? */
-        }
+        ev_periodic_stop (w); /* nonrepeating: stop timer */
 
-      event ((struct ev_watcher *)w, EV_TIMEOUT);
+      event ((W)w, EV_PERIODIC);
     }
 }
 
 static void
-time_update ()
+periodics_reschedule (ev_tstamp diff)
 {
   int i;
-  ev_now = ev_time ();
 
-  if (have_monotonic)
+  /* adjust periodics after time jump */
+  for (i = 0; i < periodiccnt; ++i)
     {
-      ev_tstamp odiff = diff;
+      struct ev_periodic *w = periodics [i];
 
-      /* detecting time jumps is much more difficult */
-      for (i = 2; --i; ) /* loop a few times, before making important decisions */
+      if (w->interval)
         {
-          now = get_clock ();
-          diff = ev_now - now;
+          ev_tstamp diff = ceil ((ev_now - w->at) / w->interval) * w->interval;
 
-          if (fabs (odiff - diff) < MIN_TIMEJUMP)
-            return; /* all is well */
+          if (fabs (diff) >= 1e-4)
+            {
+              ev_periodic_stop (w);
+              ev_periodic_start (w);
 
-          ev_now = ev_time ();
+              i = 0; /* restart loop, inefficient, but time jumps should be rare */
+            }
         }
+    }
+}
+
+static int
+time_update_monotonic (void)
+{
+  now = get_clock ();
 
-      /* time jump detected, reschedule atimers */
-      for (i = 0; i < atimercnt; ++i)
+  if (expect_true (now - now_floor < MIN_TIMEJUMP * .5))
+    {
+      ev_now = now + diff;
+      return 0;
+    }
+  else
+    {
+      now_floor = now;
+      ev_now = ev_time ();
+      return 1;
+    }
+}
+
+static void
+time_update (void)
+{
+  int i;
+
+#if EV_USE_MONOTONIC
+  if (expect_true (have_monotonic))
+    {
+      if (time_update_monotonic ())
         {
-          struct ev_timer *w = atimers [i];
-          w->at += ceil ((ev_now - w->at) / w->repeat + 1.) * w->repeat;
+          ev_tstamp odiff = diff;
+
+          for (i = 4; --i; ) /* loop a few times, before making important decisions */
+            {
+              diff = ev_now - now;
+
+              if (fabs (odiff - diff) < MIN_TIMEJUMP)
+                return; /* all is well */
+
+              ev_now    = ev_time ();
+              now       = get_clock ();
+              now_floor = now;
+            }
+
+          periodics_reschedule (diff - odiff);
+          /* no timer adjustment, as the monotonic clock doesn't jump */
         }
     }
   else
+#endif
     {
-      if (now > ev_now || now < ev_now - MAX_BLOCKTIME - MIN_TIMEJUMP)
-        /* time jump detected, adjust rtimers */
-        for (i = 0; i < rtimercnt; ++i)
-          rtimers [i]->at += ev_now - now;
+      ev_now = ev_time ();
+
+      if (expect_false (now > ev_now || now < ev_now - MAX_BLOCKTIME - MIN_TIMEJUMP))
+        {
+          periodics_reschedule (ev_now - now);
+
+          /* adjust timers. this is easy, as the offset is the same for all */
+          for (i = 0; i < timercnt; ++i)
+            timers [i]->at += diff;
+        }
 
       now = ev_now;
     }
@@ -333,29 +788,49 @@ int ev_loop_done;
 void ev_loop (int flags)
 {
   double block;
-  ev_loop_done = flags & EVLOOP_ONESHOT;
+  ev_loop_done = flags & (EVLOOP_ONESHOT | EVLOOP_NONBLOCK) ? 1 : 0;
 
   do
     {
+      /* queue check watchers (and execute them) */
+      if (expect_false (preparecnt))
+        {
+          queue_events ((W *)prepares, preparecnt, EV_PREPARE);
+          call_pending ();
+        }
+
       /* update fd-related kernel structures */
-      method_reify (); fdchangecnt = 0;
+      fd_reify ();
 
       /* calculate blocking time */
-      if (flags & EVLOOP_NONBLOCK)
+
+      /* we only need this for !monotonic clockor timers, but as we basically
+         always have timers, we just calculate it always */
+#if EV_USE_MONOTONIC
+      if (expect_true (have_monotonic))
+        time_update_monotonic ();
+      else
+#endif
+        {
+          ev_now = ev_time ();
+          now    = ev_now;
+        }
+
+      if (flags & EVLOOP_NONBLOCK || idlecnt)
         block = 0.;
       else
         {
           block = MAX_BLOCKTIME;
 
-          if (rtimercnt)
+          if (timercnt)
             {
-              ev_tstamp to = rtimers [0]->at - get_clock () + method_fudge;
+              ev_tstamp to = timers [0]->at - now + method_fudge;
               if (block > to) block = to;
             }
 
-          if (atimercnt)
+          if (periodiccnt)
             {
-              ev_tstamp to = atimers [0]->at - ev_time   () + method_fudge;
+              ev_tstamp to = periodics [0]->at - ev_now + method_fudge;
               if (block > to) block = to;
             }
 
@@ -367,26 +842,37 @@ void ev_loop (int flags)
       /* update ev_now, do magic */
       time_update ();
 
-      /* put pending timers into pendign queue and reschedule them */
-      /* absolute timers first */
-      timers_reify (atimers, atimercnt, ev_now);
-      /* relative timers second */
-      timers_reify (rtimers, rtimercnt, now);
+      /* queue pending timers and reschedule them */
+      timers_reify (); /* relative timers called last */
+      periodics_reify (); /* absolute timers called first */
+
+      /* queue idle watchers unless io or timers are pending */
+      if (!pendingcnt)
+        queue_events ((W *)idles, idlecnt, EV_IDLE);
+
+      /* queue check watchers, to be executed first */
+      if (checkcnt)
+        queue_events ((W *)checks, checkcnt, EV_CHECK);
 
       call_pending ();
     }
   while (!ev_loop_done);
+
+  if (ev_loop_done != 2)
+    ev_loop_done = 0;
 }
 
+/*****************************************************************************/
+
 static void
-wlist_add (struct ev_watcher_list **head, struct ev_watcher_list *elem)
+wlist_add (WL *head, WL elem)
 {
   elem->next = *head;
   *head = elem;
 }
 
 static void
-wlist_del (struct ev_watcher_list **head, struct ev_watcher_list *elem)
+wlist_del (WL *head, WL elem)
 {
   while (*head)
     {
@@ -401,131 +887,342 @@ wlist_del (struct ev_watcher_list **head, struct ev_watcher_list *elem)
 }
 
 static void
-ev_start (struct ev_watcher *w, int active)
+ev_clear_pending (W w)
 {
-  w->pending = 0;
-  w->active = active;
+  if (w->pending)
+    {
+      pendings [ABSPRI (w)][w->pending - 1].w = 0;
+      w->pending = 0;
+    }
 }
 
 static void
-ev_stop (struct ev_watcher *w)
+ev_start (W w, int active)
 {
-  if (w->pending)
-    pendings [w->pending - 1].w = 0;
+  if (w->priority < EV_MINPRI) w->priority = EV_MINPRI;
+  if (w->priority > EV_MAXPRI) w->priority = EV_MAXPRI;
 
+  w->active = active;
+}
+
+static void
+ev_stop (W w)
+{
   w->active = 0;
-  /* nop */
 }
 
+/*****************************************************************************/
+
 void
-evio_start (struct ev_io *w)
+ev_io_start (struct ev_io *w)
 {
+  int fd = w->fd;
+
   if (ev_is_active (w))
     return;
 
-  int fd = w->fd;
+  assert (("ev_io_start called with negative fd", fd >= 0));
 
-  ev_start ((struct ev_watcher *)w, 1);
+  ev_start ((W)w, 1);
   array_needsize (anfds, anfdmax, fd + 1, anfds_init);
-  wlist_add ((struct ev_watcher_list **)&anfds[fd].head, (struct ev_watcher_list *)w);
+  wlist_add ((WL *)&anfds[fd].head, (WL)w);
 
-  ++fdchangecnt;
-  array_needsize (fdchanges, fdchangemax, fdchangecnt, );
-  fdchanges [fdchangecnt - 1] = fd;
+  fd_change (fd);
 }
 
 void
-evio_stop (struct ev_io *w)
+ev_io_stop (struct ev_io *w)
 {
+  ev_clear_pending ((W)w);
   if (!ev_is_active (w))
     return;
 
-  wlist_del ((struct ev_watcher_list **)&anfds[w->fd].head, (struct ev_watcher_list *)w);
-  ev_stop ((struct ev_watcher *)w);
+  wlist_del ((WL *)&anfds[w->fd].head, (WL)w);
+  ev_stop ((W)w);
 
-  ++fdchangecnt;
-  array_needsize (fdchanges, fdchangemax, fdchangecnt, );
-  fdchanges [fdchangecnt - 1] = w->fd;
+  fd_change (w->fd);
 }
 
 void
-evtimer_start (struct ev_timer *w)
+ev_timer_start (struct ev_timer *w)
 {
   if (ev_is_active (w))
     return;
 
-  if (w->is_abs)
-    {
-      /* this formula differs from the one in timer_reify becuse we do not round up */
-      if (w->repeat)
-        w->at += ceil ((ev_now - w->at) / w->repeat) * w->repeat;
-
-      ev_start ((struct ev_watcher *)w, ++atimercnt);
-      array_needsize (atimers, atimermax, atimercnt, );
-      atimers [atimercnt - 1] = w;
-      upheap (atimers, atimercnt - 1);
-    }
-  else
-    {
-      w->at += now;
+  w->at += now;
 
-      ev_start ((struct ev_watcher *)w, ++rtimercnt);
-      array_needsize (rtimers, rtimermax, rtimercnt, );
-      rtimers [rtimercnt - 1] = w;
-      upheap (rtimers, rtimercnt - 1);
-    }
+  assert (("ev_timer_start called with negative timer repeat value", w->repeat >= 0.));
 
+  ev_start ((W)w, ++timercnt);
+  array_needsize (timers, timermax, timercnt, );
+  timers [timercnt - 1] = w;
+  upheap ((WT *)timers, timercnt - 1);
 }
 
 void
-evtimer_stop (struct ev_timer *w)
+ev_timer_stop (struct ev_timer *w)
 {
+  ev_clear_pending ((W)w);
   if (!ev_is_active (w))
     return;
 
-  if (w->is_abs)
+  if (w->active < timercnt--)
     {
-      if (w->active < atimercnt--)
-        {
-          atimers [w->active - 1] = atimers [atimercnt];
-          downheap (atimers, atimercnt, w->active - 1);
-        }
+      timers [w->active - 1] = timers [timercnt];
+      downheap ((WT *)timers, timercnt, w->active - 1);
     }
-  else
+
+  w->at = w->repeat;
+
+  ev_stop ((W)w);
+}
+
+void
+ev_timer_again (struct ev_timer *w)
+{
+  if (ev_is_active (w))
     {
-      if (w->active < rtimercnt--)
+      if (w->repeat)
         {
-          rtimers [w->active - 1] = rtimers [rtimercnt];
-          downheap (rtimers, rtimercnt, w->active - 1);
+          w->at = now + w->repeat;
+          downheap ((WT *)timers, timercnt, w->active - 1);
         }
+      else
+        ev_timer_stop (w);
+    }
+  else if (w->repeat)
+    ev_timer_start (w);
+}
+
+void
+ev_periodic_start (struct ev_periodic *w)
+{
+  if (ev_is_active (w))
+    return;
+
+  assert (("ev_periodic_start called with negative interval value", w->interval >= 0.));
+
+  /* this formula differs from the one in periodic_reify because we do not always round up */
+  if (w->interval)
+    w->at += ceil ((ev_now - w->at) / w->interval) * w->interval;
+
+  ev_start ((W)w, ++periodiccnt);
+  array_needsize (periodics, periodicmax, periodiccnt, );
+  periodics [periodiccnt - 1] = w;
+  upheap ((WT *)periodics, periodiccnt - 1);
+}
+
+void
+ev_periodic_stop (struct ev_periodic *w)
+{
+  ev_clear_pending ((W)w);
+  if (!ev_is_active (w))
+    return;
+
+  if (w->active < periodiccnt--)
+    {
+      periodics [w->active - 1] = periodics [periodiccnt];
+      downheap ((WT *)periodics, periodiccnt, w->active - 1);
     }
 
-  ev_stop ((struct ev_watcher *)w);
+  ev_stop ((W)w);
 }
 
+#ifndef SA_RESTART
+# define SA_RESTART 0
+#endif
+
 void
-evsignal_start (struct ev_signal *w)
+ev_signal_start (struct ev_signal *w)
 {
   if (ev_is_active (w))
     return;
 
-  ev_start ((struct ev_watcher *)w, 1);
+  assert (("ev_signal_start called with illegal signal number", w->signum > 0));
+
+  ev_start ((W)w, 1);
   array_needsize (signals, signalmax, w->signum, signals_init);
-  wlist_add ((struct ev_watcher_list **)&signals [w->signum - 1], (struct ev_watcher_list *)w);
+  wlist_add ((WL *)&signals [w->signum - 1].head, (WL)w);
+
+  if (!w->next)
+    {
+      struct sigaction sa;
+      sa.sa_handler = sighandler;
+      sigfillset (&sa.sa_mask);
+      sa.sa_flags = SA_RESTART; /* if restarting works we save one iteration */
+      sigaction (w->signum, &sa, 0);
+    }
 }
 
 void
-evsignal_stop (struct ev_signal *w)
+ev_signal_stop (struct ev_signal *w)
 {
+  ev_clear_pending ((W)w);
   if (!ev_is_active (w))
     return;
 
-  wlist_del ((struct ev_watcher_list **)&signals [w->signum - 1], (struct ev_watcher_list *)w);
-  ev_stop ((struct ev_watcher *)w);
+  wlist_del ((WL *)&signals [w->signum - 1].head, (WL)w);
+  ev_stop ((W)w);
+
+  if (!signals [w->signum - 1].head)
+    signal (w->signum, SIG_DFL);
+}
+
+void
+ev_idle_start (struct ev_idle *w)
+{
+  if (ev_is_active (w))
+    return;
+
+  ev_start ((W)w, ++idlecnt);
+  array_needsize (idles, idlemax, idlecnt, );
+  idles [idlecnt - 1] = w;
+}
+
+void
+ev_idle_stop (struct ev_idle *w)
+{
+  ev_clear_pending ((W)w);
+  if (ev_is_active (w))
+    return;
+
+  idles [w->active - 1] = idles [--idlecnt];
+  ev_stop ((W)w);
+}
+
+void
+ev_prepare_start (struct ev_prepare *w)
+{
+  if (ev_is_active (w))
+    return;
+
+  ev_start ((W)w, ++preparecnt);
+  array_needsize (prepares, preparemax, preparecnt, );
+  prepares [preparecnt - 1] = w;
+}
+
+void
+ev_prepare_stop (struct ev_prepare *w)
+{
+  ev_clear_pending ((W)w);
+  if (ev_is_active (w))
+    return;
+
+  prepares [w->active - 1] = prepares [--preparecnt];
+  ev_stop ((W)w);
+}
+
+void
+ev_check_start (struct ev_check *w)
+{
+  if (ev_is_active (w))
+    return;
+
+  ev_start ((W)w, ++checkcnt);
+  array_needsize (checks, checkmax, checkcnt, );
+  checks [checkcnt - 1] = w;
+}
+
+void
+ev_check_stop (struct ev_check *w)
+{
+  ev_clear_pending ((W)w);
+  if (ev_is_active (w))
+    return;
+
+  checks [w->active - 1] = checks [--checkcnt];
+  ev_stop ((W)w);
+}
+
+void
+ev_child_start (struct ev_child *w)
+{
+  if (ev_is_active (w))
+    return;
+
+  ev_start ((W)w, 1);
+  wlist_add ((WL *)&childs [w->pid & (PID_HASHSIZE - 1)], (WL)w);
+}
+
+void
+ev_child_stop (struct ev_child *w)
+{
+  ev_clear_pending ((W)w);
+  if (ev_is_active (w))
+    return;
+
+  wlist_del ((WL *)&childs [w->pid & (PID_HASHSIZE - 1)], (WL)w);
+  ev_stop ((W)w);
+}
+
+/*****************************************************************************/
+
+struct ev_once
+{
+  struct ev_io io;
+  struct ev_timer to;
+  void (*cb)(int revents, void *arg);
+  void *arg;
+};
+
+static void
+once_cb (struct ev_once *once, int revents)
+{
+  void (*cb)(int revents, void *arg) = once->cb;
+  void *arg = once->arg;
+
+  ev_io_stop (&once->io);
+  ev_timer_stop (&once->to);
+  free (once);
+
+  cb (revents, arg);
+}
+
+static void
+once_cb_io (struct ev_io *w, int revents)
+{
+  once_cb ((struct ev_once *)(((char *)w) - offsetof (struct ev_once, io)), revents);
+}
+
+static void
+once_cb_to (struct ev_timer *w, int revents)
+{
+  once_cb ((struct ev_once *)(((char *)w) - offsetof (struct ev_once, to)), revents);
+}
+
+void
+ev_once (int fd, int events, ev_tstamp timeout, void (*cb)(int revents, void *arg), void *arg)
+{
+  struct ev_once *once = malloc (sizeof (struct ev_once));
+
+  if (!once)
+    cb (EV_ERROR | EV_READ | EV_WRITE | EV_TIMEOUT, arg);
+  else
+    {
+      once->cb  = cb;
+      once->arg = arg;
+
+      ev_watcher_init (&once->io, once_cb_io);
+      if (fd >= 0)
+        {
+          ev_io_set (&once->io, fd, events);
+          ev_io_start (&once->io);
+        }
+
+      ev_watcher_init (&once->to, once_cb_to);
+      if (timeout >= 0.)
+        {
+          ev_timer_set (&once->to, timeout, 0.);
+          ev_timer_start (&once->to);
+        }
+    }
 }
 
 /*****************************************************************************/
-#if 1
+
+#if 0
+
+struct ev_io wio;
 
 static void
 sin_cb (struct ev_io *w, int revents)
@@ -537,39 +1234,62 @@ static void
 ocb (struct ev_timer *w, int revents)
 {
   //fprintf (stderr, "timer %f,%f (%x) (%f) d%p\n", w->at, w->repeat, revents, w->at - ev_time (), w->data);
-  evtimer_stop (w);
-  evtimer_start (w);
+  ev_timer_stop (w);
+  ev_timer_start (w);
 }
 
-int main (void)
+static void
+scb (struct ev_signal *w, int revents)
 {
-  struct ev_io sin;
+  fprintf (stderr, "signal %x,%d\n", revents, w->signum);
+  ev_io_stop (&wio);
+  ev_io_start (&wio);
+}
 
+static void
+gcb (struct ev_signal *w, int revents)
+{
+  fprintf (stderr, "generic %x\n", revents);
+
+}
+
+int main (void)
+{
   ev_init (0);
 
-  evw_init (&sin, sin_cb, 55);
-  evio_set (&sin, 0, EV_READ);
-  evio_start (&sin);
+  ev_io_init (&wio, sin_cb, 0, EV_READ);
+  ev_io_start (&wio);
 
   struct ev_timer t[10000];
 
-#if 1
+#if 0
   int i;
   for (i = 0; i < 10000; ++i)
     {
       struct ev_timer *w = t + i;
-      evw_init (w, ocb, i);
-      evtimer_set_abs (w, drand48 (), 0.99775533);
-      evtimer_start (w);
+      ev_watcher_init (w, ocb, i);
+      ev_timer_init_abs (w, ocb, drand48 (), 0.99775533);
+      ev_timer_start (w);
       if (drand48 () < 0.5)
-        evtimer_stop (w);
+        ev_timer_stop (w);
     }
 #endif
 
   struct ev_timer t1;
-  evw_init (&t1, ocb, 0);
-  evtimer_set_abs (&t1, 5, 10);
-  evtimer_start (&t1);
+  ev_timer_init (&t1, ocb, 5, 10);
+  ev_timer_start (&t1);
+
+  struct ev_signal sig;
+  ev_signal_init (&sig, scb, SIGQUIT);
+  ev_signal_start (&sig);
+
+  struct ev_check cw;
+  ev_check_init (&cw, gcb);
+  ev_check_start (&cw);
+
+  struct ev_idle iw;
+  ev_idle_init (&iw, gcb);
+  ev_idle_start (&iw);
 
   ev_loop (0);