thread.c++ 4.42 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 38
Thread::Thread(Function<void()> func): state(new ThreadState { kj::mv(func), nullptr, 2 }) {
  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
    }
  }
}

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

DWORD Thread::runThread(void* ptr) {
65
  ThreadState* state = reinterpret_cast<ThreadState*>(ptr);
66
  KJ_IF_MAYBE(exception, kj::runCatchingExceptions([&]() {
67
    state->func();
68
  })) {
69
    state->exception = kj::mv(*exception);
70
  }
71
  state->unref();
72 73 74 75 76
  return 0;
}

#else  // _WIN32

77
Thread::Thread(Function<void()> func): state(new ThreadState { kj::mv(func), nullptr, 2 }) {
Kenton Varda's avatar
Kenton Varda committed
78 79 80
  static_assert(sizeof(threadId) >= sizeof(pthread_t),
                "pthread_t is larger than a long long on your platform.  Please port.");

81
  int pthreadResult = pthread_create(reinterpret_cast<pthread_t*>(&threadId),
82
                                     nullptr, &runThread, state);
Kenton Varda's avatar
Kenton Varda committed
83
  if (pthreadResult != 0) {
84
    state->unref();
Kenton Varda's avatar
Kenton Varda committed
85 86 87 88
    KJ_FAIL_SYSCALL("pthread_create", pthreadResult);
  }
}

89
Thread::~Thread() noexcept(false) {
Kenton Varda's avatar
Kenton Varda committed
90
  if (!detached) {
91 92
    KJ_DEFER(state->unref());

Kenton Varda's avatar
Kenton Varda committed
93 94 95 96
    int pthreadResult = pthread_join(*reinterpret_cast<pthread_t*>(&threadId), nullptr);
    if (pthreadResult != 0) {
      KJ_FAIL_SYSCALL("pthread_join", pthreadResult) { break; }
    }
97

98 99 100 101
    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
102
    }
103
  }
104 105 106 107 108 109 110
}

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
111 112
}

Kenton Varda's avatar
Kenton Varda committed
113 114 115 116 117 118
void Thread::detach() {
  int pthreadResult = pthread_detach(*reinterpret_cast<pthread_t*>(&threadId));
  if (pthreadResult != 0) {
    KJ_FAIL_SYSCALL("pthread_detach", pthreadResult) { break; }
  }
  detached = true;
119
  state->unref();
Kenton Varda's avatar
Kenton Varda committed
120 121
}

122
void* Thread::runThread(void* ptr) {
123
  ThreadState* state = reinterpret_cast<ThreadState*>(ptr);
124
  KJ_IF_MAYBE(exception, kj::runCatchingExceptions([&]() {
125
    state->func();
126
  })) {
127
    state->exception = kj::mv(*exception);
128
  }
129
  state->unref();
130 131 132
  return nullptr;
}

133 134
#endif  // _WIN32, else

135 136
void Thread::ThreadState::unref() {
#if _MSC_VER
137
  if (_InterlockedDecrement(&refcount) == 0) {
138 139 140 141 142 143 144 145 146 147 148 149 150
#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;
  }
}

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