thread.c++ 4.4 KB
Newer Older
Kenton Varda's avatar
Kenton Varda committed
1 2
// Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors
// Licensed under the MIT License:
Kenton Varda's avatar
Kenton Varda committed
3
//
Kenton Varda's avatar
Kenton Varda committed
4 5 6 7 8 9
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
Kenton Varda's avatar
Kenton Varda committed
10
//
Kenton Varda's avatar
Kenton Varda committed
11 12
// The above copyright notice and this permission notice shall be included in
// all copies or substantial portions of the Software.
Kenton Varda's avatar
Kenton Varda committed
13
//
Kenton Varda's avatar
Kenton Varda committed
14 15 16 17 18 19 20
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
// THE SOFTWARE.
Kenton Varda's avatar
Kenton Varda committed
21 22 23

#include "thread.h"
#include "debug.h"
24 25 26

#if _WIN32
#include <windows.h>
27
#include "windows-sanity.h"
28
#else
Kenton Varda's avatar
Kenton Varda committed
29
#include <pthread.h>
30
#include <signal.h>
31
#endif
Kenton Varda's avatar
Kenton Varda committed
32 33 34

namespace kj {

35 36
#if _WIN32

37
Thread::Thread(Function<void()> func): state(new ThreadState(kj::mv(func))) {
38
  threadHandle = CreateThread(nullptr, 0, &runThread, state, 0, nullptr);
39 40 41 42
  if (threadHandle == nullptr) {
    state->unref();
    KJ_FAIL_ASSERT("CreateThread failed.");
  }
43 44 45 46
}

Thread::~Thread() noexcept(false) {
  if (!detached) {
47 48
    KJ_DEFER(state->unref());

49 50
    KJ_ASSERT(WaitForSingleObject(threadHandle, INFINITE) != WAIT_FAILED);

51
    KJ_IF_MAYBE(e, state->exception) {
52 53
      Exception ecopy = kj::mv(*e);
      state->exception = nullptr;  // don't complain of uncaught exception when deleting
Kenton Varda's avatar
Kenton Varda committed
54
      kj::throwRecoverableException(kj::mv(ecopy));
55 56 57 58 59 60 61 62 63 64 65
    }
  }
}

void Thread::detach() {
  KJ_ASSERT(CloseHandle(threadHandle));
  detached = true;
}

#else  // _WIN32

66
Thread::Thread(Function<void()> func): state(new ThreadState(kj::mv(func))) {
Kenton Varda's avatar
Kenton Varda committed
67 68 69
  static_assert(sizeof(threadId) >= sizeof(pthread_t),
                "pthread_t is larger than a long long on your platform.  Please port.");

70
  int pthreadResult = pthread_create(reinterpret_cast<pthread_t*>(&threadId),
71
                                     nullptr, &runThread, state);
Kenton Varda's avatar
Kenton Varda committed
72
  if (pthreadResult != 0) {
73
    state->unref();
Kenton Varda's avatar
Kenton Varda committed
74 75 76 77
    KJ_FAIL_SYSCALL("pthread_create", pthreadResult);
  }
}

78
Thread::~Thread() noexcept(false) {
Kenton Varda's avatar
Kenton Varda committed
79
  if (!detached) {
80 81
    KJ_DEFER(state->unref());

Kenton Varda's avatar
Kenton Varda committed
82 83 84 85
    int pthreadResult = pthread_join(*reinterpret_cast<pthread_t*>(&threadId), nullptr);
    if (pthreadResult != 0) {
      KJ_FAIL_SYSCALL("pthread_join", pthreadResult) { break; }
    }
86

87 88 89 90
    KJ_IF_MAYBE(e, state->exception) {
      Exception ecopy = kj::mv(*e);
      state->exception = nullptr;  // don't complain of uncaught exception when deleting
      kj::throwRecoverableException(kj::mv(ecopy));
Kenton Varda's avatar
Kenton Varda committed
91
    }
92
  }
93 94 95 96 97 98 99
}

void Thread::sendSignal(int signo) {
  int pthreadResult = pthread_kill(*reinterpret_cast<pthread_t*>(&threadId), signo);
  if (pthreadResult != 0) {
    KJ_FAIL_SYSCALL("pthread_kill", pthreadResult) { break; }
  }
Kenton Varda's avatar
Kenton Varda committed
100 101
}

Kenton Varda's avatar
Kenton Varda committed
102 103 104 105 106 107
void Thread::detach() {
  int pthreadResult = pthread_detach(*reinterpret_cast<pthread_t*>(&threadId));
  if (pthreadResult != 0) {
    KJ_FAIL_SYSCALL("pthread_detach", pthreadResult) { break; }
  }
  detached = true;
108
  state->unref();
Kenton Varda's avatar
Kenton Varda committed
109 110
}

111 112
#endif  // _WIN32, else

113 114
Thread::ThreadState::ThreadState(Function<void()> func)
    : func(kj::mv(func)),
115
      initializer(getExceptionCallback().getThreadInitializer()),
116 117 118
      exception(nullptr),
      refcount(2) {}

119 120
void Thread::ThreadState::unref() {
#if _MSC_VER
121
  if (_InterlockedDecrement(&refcount) == 0) {
122 123 124 125 126 127 128 129 130 131 132 133 134
#else
  if (__atomic_sub_fetch(&refcount, 1, __ATOMIC_RELEASE) == 0) {
    __atomic_thread_fence(__ATOMIC_ACQUIRE);
#endif

    KJ_IF_MAYBE(e, exception) {
      KJ_LOG(ERROR, "uncaught exception thrown by detached thread", *e);
    }

    delete this;
  }
}

135 136 137 138 139 140 141
#if _WIN32
DWORD Thread::runThread(void* ptr) {
#else
void* Thread::runThread(void* ptr) {
#endif
  ThreadState* state = reinterpret_cast<ThreadState*>(ptr);
  KJ_IF_MAYBE(exception, kj::runCatchingExceptions([&]() {
142
    state->initializer(kj::mv(state->func));
143 144 145 146 147 148 149
  })) {
    state->exception = kj::mv(*exception);
  }
  state->unref();
  return 0;
}

Kenton Varda's avatar
Kenton Varda committed
150
}  // namespace kj