123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581 |
- #include <AK/Assertions.h>
- #include <AK/Atomic.h>
- #include <AK/InlineLinkedList.h>
- #include <AK/StdLibExtras.h>
- #include <Kernel/Syscall.h>
- #include <limits.h>
- #include <pthread.h>
- #include <signal.h>
- #include <stdio.h>
- #include <sys/mman.h>
- #include <time.h>
- #include <unistd.h>
- #define PTHREAD_DEBUG
- namespace {
- using PthreadAttrImpl = Syscall::SC_create_thread_params;
- } // end anonymous namespace
- constexpr size_t required_stack_alignment = 4 * MB;
- constexpr size_t highest_reasonable_guard_size = 32 * PAGE_SIZE;
- constexpr size_t highest_reasonable_stack_size = 8 * MB; // That's the default in Ubuntu?
- extern "C" {
- static int create_thread(void* (*entry)(void*), void* argument, void* thread_params)
- {
- return syscall(SC_create_thread, entry, argument, thread_params);
- }
- static void exit_thread(void* code)
- {
- syscall(SC_exit_thread, code);
- ASSERT_NOT_REACHED();
- }
- int pthread_self()
- {
- return gettid();
- }
- int pthread_create(pthread_t* thread, pthread_attr_t* attributes, void* (*start_routine)(void*), void* argument_to_start_routine)
- {
- if (!thread)
- return -EINVAL;
- PthreadAttrImpl default_attributes {};
- PthreadAttrImpl** arg_attributes = reinterpret_cast<PthreadAttrImpl**>(attributes);
- PthreadAttrImpl* used_attributes = arg_attributes ? *arg_attributes : &default_attributes;
- if (!used_attributes->m_stack_location) {
- // adjust stack size, user might have called setstacksize, which has no restrictions on size/alignment
- if (0 != (used_attributes->m_stack_size % required_stack_alignment))
- used_attributes->m_stack_size += required_stack_alignment - (used_attributes->m_stack_size % required_stack_alignment);
- used_attributes->m_stack_location = mmap_with_name(nullptr, used_attributes->m_stack_size, PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_ANONYMOUS | MAP_STACK, 0, 0, "Thread stack");
- if (!used_attributes->m_stack_location)
- return -1;
- }
- #ifdef PTHREAD_DEBUG
- printf("pthread_create: Creating thread with attributes at %p, detach state %s, priority %d, guard page size %d, stack size %d, stack location %p\n",
- used_attributes,
- (PTHREAD_CREATE_JOINABLE == used_attributes->m_detach_state) ? "joinable" : "detached",
- used_attributes->m_schedule_priority,
- used_attributes->m_guard_page_size,
- used_attributes->m_stack_size,
- used_attributes->m_stack_location);
- #endif
- int rc = create_thread(start_routine, argument_to_start_routine, used_attributes);
- if (rc < 0)
- return rc;
- *thread = rc;
- return 0;
- }
- void pthread_exit(void* value_ptr)
- {
- exit_thread(value_ptr);
- }
- int pthread_join(pthread_t thread, void** exit_value_ptr)
- {
- return syscall(SC_join_thread, thread, exit_value_ptr);
- }
- int pthread_detach(pthread_t thread)
- {
- return syscall(SC_detach_thread, thread);
- }
- int pthread_sigmask(int how, const sigset_t* set, sigset_t* old_set)
- {
- if (sigprocmask(how, set, old_set))
- return errno;
- return 0;
- }
- int pthread_mutex_init(pthread_mutex_t* mutex, const pthread_mutexattr_t* attributes)
- {
- mutex->lock = 0;
- mutex->owner = 0;
- mutex->level = 0;
- mutex->type = attributes ? attributes->type : PTHREAD_MUTEX_NORMAL;
- return 0;
- }
- int pthread_mutex_destroy(pthread_mutex_t*)
- {
- return 0;
- }
- int pthread_mutex_lock(pthread_mutex_t* mutex)
- {
- auto& atomic = reinterpret_cast<Atomic<u32>&>(mutex->lock);
- pthread_t this_thread = pthread_self();
- for (;;) {
- u32 expected = false;
- if (!atomic.compare_exchange_strong(expected, true, AK::memory_order_acq_rel)) {
- if (mutex->type == PTHREAD_MUTEX_RECURSIVE && mutex->owner == this_thread) {
- mutex->level++;
- return 0;
- }
- sched_yield();
- continue;
- }
- mutex->owner = this_thread;
- mutex->level = 0;
- return 0;
- }
- }
- int pthread_mutex_trylock(pthread_mutex_t* mutex)
- {
- auto& atomic = reinterpret_cast<Atomic<u32>&>(mutex->lock);
- u32 expected = false;
- if (!atomic.compare_exchange_strong(expected, true, AK::memory_order_acq_rel)) {
- if (mutex->type == PTHREAD_MUTEX_RECURSIVE && mutex->owner == pthread_self()) {
- mutex->level++;
- return 0;
- }
- return EBUSY;
- }
- mutex->owner = pthread_self();
- mutex->level = 0;
- return 0;
- }
- int pthread_mutex_unlock(pthread_mutex_t* mutex)
- {
- if (mutex->type == PTHREAD_MUTEX_RECURSIVE && mutex->level > 0) {
- mutex->level--;
- return 0;
- }
- mutex->owner = 0;
- mutex->lock = 0;
- return 0;
- }
- int pthread_mutexattr_init(pthread_mutexattr_t* attr)
- {
- attr->type = PTHREAD_MUTEX_NORMAL;
- return 0;
- }
- int pthread_mutexattr_destroy(pthread_mutexattr_t*)
- {
- return 0;
- }
- int pthread_mutexattr_settype(pthread_mutexattr_t* attr, int type)
- {
- if (!attr)
- return EINVAL;
- if (type != PTHREAD_MUTEX_NORMAL && type != PTHREAD_MUTEX_RECURSIVE)
- return EINVAL;
- attr->type = type;
- return 0;
- }
- int pthread_attr_init(pthread_attr_t* attributes)
- {
- auto* impl = new PthreadAttrImpl {};
- *attributes = impl;
- #ifdef PTHREAD_DEBUG
- printf("pthread_attr_init: New thread attributes at %p, detach state %s, priority %d, guard page size %d, stack size %d, stack location %p\n",
- impl,
- (PTHREAD_CREATE_JOINABLE == impl->m_detach_state) ? "joinable" : "detached",
- impl->m_schedule_priority,
- impl->m_guard_page_size,
- impl->m_stack_size,
- impl->m_stack_location);
- #endif
- return 0;
- }
- int pthread_attr_destroy(pthread_attr_t* attributes)
- {
- auto* attributes_impl = *(reinterpret_cast<PthreadAttrImpl**>(attributes));
- delete attributes_impl;
- return 0;
- }
- int pthread_attr_getdetachstate(const pthread_attr_t* attributes, int* p_detach_state)
- {
- auto* attributes_impl = *(reinterpret_cast<const PthreadAttrImpl* const*>(attributes));
- if (!attributes_impl || !p_detach_state)
- return EINVAL;
- *p_detach_state = attributes_impl->m_detach_state;
- return 0;
- }
- int pthread_attr_setdetachstate(pthread_attr_t* attributes, int detach_state)
- {
- auto* attributes_impl = *(reinterpret_cast<PthreadAttrImpl**>(attributes));
- if (!attributes_impl)
- return EINVAL;
- if ((PTHREAD_CREATE_JOINABLE != detach_state) || PTHREAD_CREATE_DETACHED != detach_state)
- return EINVAL;
- attributes_impl->m_detach_state = detach_state;
- #ifdef PTHREAD_DEBUG
- printf("pthread_attr_setdetachstate: Thread attributes at %p, detach state %s, priority %d, guard page size %d, stack size %d, stack location %p\n",
- attributes_impl,
- (PTHREAD_CREATE_JOINABLE == attributes_impl->m_detach_state) ? "joinable" : "detached",
- attributes_impl->m_schedule_priority,
- attributes_impl->m_guard_page_size,
- attributes_impl->m_stack_size,
- attributes_impl->m_stack_location);
- #endif
- return 0;
- }
- int pthread_attr_getguardsize(const pthread_attr_t* attributes, size_t* p_guard_size)
- {
- auto* attributes_impl = *(reinterpret_cast<const PthreadAttrImpl* const*>(attributes));
- if (!attributes_impl || !p_guard_size)
- return EINVAL;
- *p_guard_size = attributes_impl->m_reported_guard_page_size;
- return 0;
- }
- int pthread_attr_setguardsize(pthread_attr_t* attributes, size_t guard_size)
- {
- auto* attributes_impl = *(reinterpret_cast<PthreadAttrImpl**>(attributes));
- if (!attributes_impl)
- return EINVAL;
- size_t actual_guard_size = guard_size;
- // round up
- if (0 != (guard_size % PAGE_SIZE))
- actual_guard_size += PAGE_SIZE - (guard_size % PAGE_SIZE);
- // what is the user even doing?
- if (actual_guard_size > highest_reasonable_guard_size) {
- return EINVAL;
- }
- attributes_impl->m_guard_page_size = actual_guard_size;
- attributes_impl->m_reported_guard_page_size = guard_size; // POSIX, why?
- #ifdef PTHREAD_DEBUG
- printf("pthread_attr_setguardsize: Thread attributes at %p, detach state %s, priority %d, guard page size %d, stack size %d, stack location %p\n",
- attributes_impl,
- (PTHREAD_CREATE_JOINABLE == attributes_impl->m_detach_state) ? "joinable" : "detached",
- attributes_impl->m_schedule_priority,
- attributes_impl->m_guard_page_size,
- attributes_impl->m_stack_size,
- attributes_impl->m_stack_location);
- #endif
- return 0;
- }
- int pthread_attr_getschedparam(const pthread_attr_t* attributes, struct sched_param* p_sched_param)
- {
- auto* attributes_impl = *(reinterpret_cast<const PthreadAttrImpl* const*>(attributes));
- if (!attributes_impl || !p_sched_param)
- return EINVAL;
- p_sched_param->sched_priority = attributes_impl->m_schedule_priority;
- return 0;
- }
- int pthread_attr_setschedparam(pthread_attr_t* attributes, const struct sched_param* p_sched_param)
- {
- auto* attributes_impl = *(reinterpret_cast<PthreadAttrImpl**>(attributes));
- if (!attributes_impl || !p_sched_param)
- return EINVAL;
- // NOTE: This must track sched_get_priority_[min,max] and ThreadPriority enum in Thread.h
- if (p_sched_param->sched_priority < 0 || p_sched_param->sched_priority > 3)
- return ENOTSUP;
- attributes_impl->m_schedule_priority = p_sched_param->sched_priority;
- #ifdef PTHREAD_DEBUG
- printf("pthread_attr_setschedparam: Thread attributes at %p, detach state %s, priority %d, guard page size %d, stack size %d, stack location %p\n",
- attributes_impl,
- (PTHREAD_CREATE_JOINABLE == attributes_impl->m_detach_state) ? "joinable" : "detached",
- attributes_impl->m_schedule_priority,
- attributes_impl->m_guard_page_size,
- attributes_impl->m_stack_size,
- attributes_impl->m_stack_location);
- #endif
- return 0;
- }
- int pthread_attr_getstack(const pthread_attr_t* attributes, void** p_stack_ptr, size_t* p_stack_size)
- {
- auto* attributes_impl = *(reinterpret_cast<const PthreadAttrImpl* const*>(attributes));
- if (!attributes_impl || !p_stack_ptr || !p_stack_size)
- return EINVAL;
- *p_stack_ptr = attributes_impl->m_stack_location;
- *p_stack_size = attributes_impl->m_stack_size;
- return 0;
- }
- int pthread_attr_setstack(pthread_attr_t* attributes, void* p_stack, size_t stack_size)
- {
- auto* attributes_impl = *(reinterpret_cast<PthreadAttrImpl**>(attributes));
- if (!attributes_impl || !p_stack)
- return EINVAL;
- // Check for required alignment on size
- if (0 != (stack_size % required_stack_alignment))
- return EINVAL;
- // FIXME: Check for required alignment on pointer?
- // FIXME: "[EACCES] The stack page(s) described by stackaddr and stacksize are not both readable and writable by the thread."
- // Have to check that the whole range is mapped to this process/thread? Can we defer this to create_thread?
- attributes_impl->m_stack_size = stack_size;
- attributes_impl->m_stack_location = p_stack;
- #ifdef PTHREAD_DEBUG
- printf("pthread_attr_setstack: Thread attributes at %p, detach state %s, priority %d, guard page size %d, stack size %d, stack location %p\n",
- attributes_impl,
- (PTHREAD_CREATE_JOINABLE == attributes_impl->m_detach_state) ? "joinable" : "detached",
- attributes_impl->m_schedule_priority,
- attributes_impl->m_guard_page_size,
- attributes_impl->m_stack_size,
- attributes_impl->m_stack_location);
- #endif
- return 0;
- }
- int pthread_attr_getstacksize(const pthread_attr_t* attributes, size_t* p_stack_size)
- {
- auto* attributes_impl = *(reinterpret_cast<const PthreadAttrImpl* const*>(attributes));
- if (!attributes_impl || !p_stack_size)
- return EINVAL;
- *p_stack_size = attributes_impl->m_stack_size;
- return 0;
- }
- int pthread_attr_setstacksize(pthread_attr_t* attributes, size_t stack_size)
- {
- auto* attributes_impl = *(reinterpret_cast<PthreadAttrImpl**>(attributes));
- if (!attributes_impl)
- return EINVAL;
- if ((stack_size < PTHREAD_STACK_MIN) || stack_size > highest_reasonable_stack_size)
- return EINVAL;
- attributes_impl->m_stack_size = stack_size;
- #ifdef PTHREAD_DEBUG
- printf("pthread_attr_setstacksize: Thread attributes at %p, detach state %s, priority %d, guard page size %d, stack size %d, stack location %p\n",
- attributes_impl,
- (PTHREAD_CREATE_JOINABLE == attributes_impl->m_detach_state) ? "joinable" : "detached",
- attributes_impl->m_schedule_priority,
- attributes_impl->m_guard_page_size,
- attributes_impl->m_stack_size,
- attributes_impl->m_stack_location);
- #endif
- return 0;
- }
- int pthread_getschedparam(pthread_t thread, int* policy, struct sched_param* param)
- {
- (void)thread;
- (void)policy;
- (void)param;
- return 0;
- }
- int pthread_setschedparam(pthread_t thread, int policy, const struct sched_param* param)
- {
- (void)thread;
- (void)policy;
- (void)param;
- return 0;
- }
- struct WaitNode : public InlineLinkedListNode<WaitNode> {
- volatile bool waiting { true };
- WaitNode* m_next { nullptr };
- WaitNode* m_prev { nullptr };
- };
- struct ConditionVariable {
- InlineLinkedList<WaitNode> waiters;
- clockid_t clock { CLOCK_MONOTONIC };
- };
- int pthread_cond_init(pthread_cond_t* cond, const pthread_condattr_t* attr)
- {
- auto& condvar = *new ConditionVariable;
- cond->storage = &condvar;
- if (attr)
- condvar.clock = attr->clockid;
- return 0;
- }
- int pthread_cond_destroy(pthread_cond_t* cond)
- {
- delete static_cast<ConditionVariable*>(cond->storage);
- return 0;
- }
- int pthread_cond_wait(pthread_cond_t* cond, pthread_mutex_t* mutex)
- {
- WaitNode node;
- auto& condvar = *(ConditionVariable*)cond->storage;
- condvar.waiters.append(&node);
- while (node.waiting) {
- pthread_mutex_unlock(mutex);
- sched_yield();
- pthread_mutex_lock(mutex);
- }
- return 0;
- }
- int pthread_condattr_init(pthread_condattr_t* attr)
- {
- attr->clockid = CLOCK_MONOTONIC;
- return 0;
- }
- int pthread_condattr_destroy(pthread_condattr_t*)
- {
- return 0;
- }
- int pthread_condattr_setclock(pthread_condattr_t* attr, clockid_t clock)
- {
- attr->clockid = clock;
- return 0;
- }
- int pthread_cond_timedwait(pthread_cond_t* cond, pthread_mutex_t* mutex, const struct timespec* abstime)
- {
- WaitNode node;
- auto& condvar = *(ConditionVariable*)cond->storage;
- condvar.waiters.append(&node);
- while (node.waiting) {
- struct timespec now;
- if (clock_gettime(condvar.clock, &now) < 0) {
- dbgprintf("pthread_cond_timedwait: clock_gettime() failed\n");
- return errno;
- }
- if ((abstime->tv_sec < now.tv_sec) || (abstime->tv_sec == now.tv_sec && abstime->tv_nsec <= now.tv_nsec)) {
- return ETIMEDOUT;
- }
- pthread_mutex_unlock(mutex);
- sched_yield();
- pthread_mutex_lock(mutex);
- }
- return 0;
- }
- int pthread_cond_signal(pthread_cond_t* cond)
- {
- auto& condvar = *(ConditionVariable*)cond->storage;
- if (condvar.waiters.is_empty())
- return 0;
- auto* node = condvar.waiters.remove_head();
- node->waiting = false;
- return 0;
- }
- int pthread_cond_broadcast(pthread_cond_t* cond)
- {
- auto& condvar = *(ConditionVariable*)cond->storage;
- while (!condvar.waiters.is_empty()) {
- auto* node = condvar.waiters.remove_head();
- node->waiting = false;
- }
- return 0;
- }
- static const int max_keys = 64;
- typedef void (*KeyDestructor)(void*);
- struct KeyTable {
- // FIXME: Invoke key destructors on thread exit!
- KeyDestructor destructors[64] { nullptr };
- int next { 0 };
- pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
- };
- struct SpecificTable {
- void* values[64] { nullptr };
- };
- static KeyTable s_keys;
- __thread SpecificTable t_specifics;
- int pthread_key_create(pthread_key_t* key, KeyDestructor destructor)
- {
- int ret = 0;
- pthread_mutex_lock(&s_keys.mutex);
- if (s_keys.next >= max_keys) {
- ret = ENOMEM;
- } else {
- *key = s_keys.next++;
- s_keys.destructors[*key] = destructor;
- ret = 0;
- }
- pthread_mutex_unlock(&s_keys.mutex);
- return ret;
- }
- void* pthread_getspecific(pthread_key_t key)
- {
- if (key < 0)
- return nullptr;
- if (key >= max_keys)
- return nullptr;
- return t_specifics.values[key];
- }
- int pthread_setspecific(pthread_key_t key, const void* value)
- {
- if (key < 0)
- return EINVAL;
- if (key >= max_keys)
- return EINVAL;
- t_specifics.values[key] = const_cast<void*>(value);
- return 0;
- }
- int pthread_setname_np(pthread_t thread, const char* buffer, int buffer_size)
- {
- return syscall(SC_set_thread_name, thread, buffer, buffer_size);
- }
- int pthread_getname_np(pthread_t thread, char* buffer, int buffer_size)
- {
- return syscall(SC_get_thread_name, thread, buffer, buffer_size);
- }
- } // extern "C"
|