lib/ovs-thread.c

   1 /*
   2  * Copyright (c) 2013 Nicira, Inc.
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at:
   7  *
   8  *     http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16
  17 #include <config.h>
  18 #include "ovs-thread.h"
  19 #include <errno.h>
  20 #include <poll.h>
  21 #include <stdlib.h>
  22 #include <unistd.h>
  23 #include "compiler.h"
  24 #include "poll-loop.h"
  25 #include "socket-util.h"
  26 #include "util.h"
  27
  28 #ifdef __CHECKER__
  29 /* Omit the definitions in this file because they are somewhat difficult to
  30  * write without prompting "sparse" complaints, without ugliness or
  31  * cut-and-paste.  Since "sparse" is just a checker, not a compiler, it
  32  * doesn't matter that we don't define them. */
  33 #else
  34 #include "vlog.h"
  35
  36 VLOG_DEFINE_THIS_MODULE(ovs_thread);
  37
  38 /* If there is a reason that we cannot fork anymore (unless the fork will be
  39  * immediately followed by an exec), then this points to a string that
  40  * explains why. */
  41 static const char *must_not_fork;
  42
  43 /* True if we created any threads beyond the main initial thread. */
  44 static bool multithreaded;
  45
  46 #define LOCK_FUNCTION(TYPE, FUN) \
  47     void \
  48     ovs_##TYPE##_##FUN##_at(const struct ovs_##TYPE *l_, \
  49                             const char *where) \
  50     { \
  51         struct ovs_##TYPE *l = CONST_CAST(struct ovs_##TYPE *, l_); \
  52         int error = pthread_##TYPE##_##FUN(&l->lock); \
  53         if (OVS_UNLIKELY(error)) { \
  54             ovs_abort(error, "pthread_%s_%s failed", #TYPE, #FUN); \
  55         } \
  56         l->where = where; \
  57     }
  58 LOCK_FUNCTION(mutex, lock);
  59 LOCK_FUNCTION(rwlock, rdlock);
  60 LOCK_FUNCTION(rwlock, wrlock);
  61
  62 #define TRY_LOCK_FUNCTION(TYPE, FUN) \
  63     int \
  64     ovs_##TYPE##_##FUN##_at(const struct ovs_##TYPE *l_, \
  65                             const char *where) \
  66     { \
  67         struct ovs_##TYPE *l = CONST_CAST(struct ovs_##TYPE *, l_); \
  68         int error = pthread_##TYPE##_##FUN(&l->lock); \
  69         if (OVS_UNLIKELY(error) && error != EBUSY) { \
  70             ovs_abort(error, "pthread_%s_%s failed", #TYPE, #FUN); \
  71         } \
  72         if (!error) { \
  73             l->where = where; \
  74         } \
  75         return error; \
  76     }
  77 TRY_LOCK_FUNCTION(mutex, trylock);
  78 TRY_LOCK_FUNCTION(rwlock, tryrdlock);
  79 TRY_LOCK_FUNCTION(rwlock, trywrlock);
  80
  81 #define UNLOCK_FUNCTION(TYPE, FUN) \
  82     void \
  83     ovs_##TYPE##_##FUN(const struct ovs_##TYPE *l_) \
  84     { \
  85         struct ovs_##TYPE *l = CONST_CAST(struct ovs_##TYPE *, l_); \
  86         int error; \
  87         l->where = NULL; \
  88         error = pthread_##TYPE##_##FUN(&l->lock); \
  89         if (OVS_UNLIKELY(error)) { \
  90             ovs_abort(error, "pthread_%s_%sfailed", #TYPE, #FUN); \
  91         } \
  92     }
  93 UNLOCK_FUNCTION(mutex, unlock);
  94 UNLOCK_FUNCTION(mutex, destroy);
  95 UNLOCK_FUNCTION(rwlock, unlock);
  96 UNLOCK_FUNCTION(rwlock, destroy);
  97
  98 #define XPTHREAD_FUNC1(FUNCTION, PARAM1)                \
  99     void                                                \
 100     x##FUNCTION(PARAM1 arg1)                            \
 101     {                                                   \
 102         int error = FUNCTION(arg1);                     \
 103         if (OVS_UNLIKELY(error)) {                      \
 104             ovs_abort(error, "%s failed", #FUNCTION);   \
 105         }                                               \
 106     }
 107 #define XPTHREAD_FUNC2(FUNCTION, PARAM1, PARAM2)        \
 108     void                                                \
 109     x##FUNCTION(PARAM1 arg1, PARAM2 arg2)               \
 110     {                                                   \
 111         int error = FUNCTION(arg1, arg2);               \
 112         if (OVS_UNLIKELY(error)) {                      \
 113             ovs_abort(error, "%s failed", #FUNCTION);   \
 114         }                                               \
 115     }
 116
 117 XPTHREAD_FUNC1(pthread_mutexattr_init, pthread_mutexattr_t *);
 118 XPTHREAD_FUNC1(pthread_mutexattr_destroy, pthread_mutexattr_t *);
 119 XPTHREAD_FUNC2(pthread_mutexattr_settype, pthread_mutexattr_t *, int);
 120 XPTHREAD_FUNC2(pthread_mutexattr_gettype, pthread_mutexattr_t *, int *);
 121
 122 XPTHREAD_FUNC2(pthread_cond_init, pthread_cond_t *, pthread_condattr_t *);
 123 XPTHREAD_FUNC1(pthread_cond_destroy, pthread_cond_t *);
 124 XPTHREAD_FUNC1(pthread_cond_signal, pthread_cond_t *);
 125 XPTHREAD_FUNC1(pthread_cond_broadcast, pthread_cond_t *);
 126
 127 typedef void destructor_func(void *);
 128 XPTHREAD_FUNC2(pthread_key_create, pthread_key_t *, destructor_func *);
 129
 130 void
 131 ovs_mutex_init(const struct ovs_mutex *l_, int type)
 132 {
 133     struct ovs_mutex *l = CONST_CAST(struct ovs_mutex *, l_);
 134     pthread_mutexattr_t attr;
 135     int error;
 136
 137     l->where = NULL;
 138     xpthread_mutexattr_init(&attr);
 139     xpthread_mutexattr_settype(&attr, type);
 140     error = pthread_mutex_init(&l->lock, &attr);
 141     if (OVS_UNLIKELY(error)) {
 142         ovs_abort(error, "pthread_mutex_init failed");
 143     }
 144     xpthread_mutexattr_destroy(&attr);
 145 }
 146
 147 void
 148 ovs_rwlock_init(const struct ovs_rwlock *l_)
 149 {
 150     struct ovs_rwlock *l = CONST_CAST(struct ovs_rwlock *, l_);
 151     int error;
 152
 153     l->where = NULL;
 154     error = pthread_rwlock_init(&l->lock, NULL);
 155     if (OVS_UNLIKELY(error)) {
 156         ovs_abort(error, "pthread_rwlock_init failed");
 157     }
 158 }
 159
 160 void
 161 ovs_mutex_cond_wait(pthread_cond_t *cond, const struct ovs_mutex *mutex_)
 162 {
 163     struct ovs_mutex *mutex = CONST_CAST(struct ovs_mutex *, mutex_);
 164     int error = pthread_cond_wait(cond, &mutex->lock);
 165     if (OVS_UNLIKELY(error)) {
 166         ovs_abort(error, "pthread_cond_wait failed");
 167     }
 168 }
 169
 170 void
 171 xpthread_create(pthread_t *threadp, pthread_attr_t *attr,
 172                 void *(*start)(void *), void *arg)
 173 {
 174     pthread_t thread;
 175     int error;
 176
 177     forbid_forking("multiple threads exist");
 178     multithreaded = true;
 179
 180     error = pthread_create(threadp ? threadp : &thread, attr, start, arg);
 181     if (error) {
 182         ovs_abort(error, "pthread_create failed");
 183     }
 184 }
 185 \f
 186 bool
 187 ovsthread_once_start__(struct ovsthread_once *once)
 188 {
 189     ovs_mutex_lock(&once->mutex);
 190     if (!ovsthread_once_is_done__(once)) {
 191         return false;
 192     }
 193     ovs_mutex_unlock(&once->mutex);
 194     return true;
 195 }
 196
 197 void
 198 ovsthread_once_done(struct ovsthread_once *once)
 199 {
 200     atomic_store(&once->done, true);
 201     ovs_mutex_unlock(&once->mutex);
 202 }
 203 \f
 204 /* Asserts that the process has not yet created any threads (beyond the initial
 205  * thread).
 206  *
 207  * ('where' is used in logging.  Commonly one would use
 208  * assert_single_threaded() to automatically provide the caller's source file
 209  * and line number for 'where'.) */
 210 void
 211 assert_single_threaded_at(const char *where)
 212 {
 213     if (multithreaded) {
 214         VLOG_FATAL("%s: attempted operation not allowed when multithreaded",
 215                    where);
 216     }
 217 }
 218
 219 /* Forks the current process (checking that this is allowed).  Aborts with
 220  * VLOG_FATAL if fork() returns an error, and otherwise returns the value
 221  * returned by fork().
 222  *
 223  * ('where' is used in logging.  Commonly one would use xfork() to
 224  * automatically provide the caller's source file and line number for
 225  * 'where'.) */
 226 pid_t
 227 xfork_at(const char *where)
 228 {
 229     pid_t pid;
 230
 231     if (must_not_fork) {
 232         VLOG_FATAL("%s: attempted to fork but forking not allowed (%s)",
 233                    where, must_not_fork);
 234     }
 235
 236     pid = fork();
 237     if (pid < 0) {
 238         VLOG_FATAL("%s: fork failed (%s)", where, ovs_strerror(errno));
 239     }
 240     return pid;
 241 }
 242
 243 /* Notes that the process must not call fork() from now on, for the specified
 244  * 'reason'.  (The process may still fork() if it execs itself immediately
 245  * afterward.) */
 246 void
 247 forbid_forking(const char *reason)
 248 {
 249     ovs_assert(reason != NULL);
 250     must_not_fork = reason;
 251 }
 252
 253 /* Returns true if the process is allowed to fork, false otherwise. */
 254 bool
 255 may_fork(void)
 256 {
 257     return !must_not_fork;
 258 }
 259 #endif