wasm-micro-runtime/core/shared/platform/linux-sgx/sgx_pthread.c

/*
 * Copyright (C) 2019 Intel Corporation.  All rights reserved.
 * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 */

#include "platform_api_vmcore.h"
#include "sgx_pthread.h"
#include "sgx_error.h"

#ifndef SGX_DISABLE_WASI

#define TRACE_FUNC() os_printf("undefined %s\n", __FUNCTION__)
#define TRACE_OCALL_FAIL() os_printf("ocall %s failed!\n", __FUNCTION__)

int ocall_pthread_rwlock_init(int *p_ret, void **rwlock, void *attr);

int ocall_pthread_rwlock_destroy(int *p_ret, void **rwlock);

int ocall_pthread_rwlock_rdlock(int *p_ret, void **rwlock);

int ocall_pthread_rwlock_wrlock(int *p_ret, void **rwlock);

int ocall_pthread_rwlock_unlock(int *p_ret, void **rwlock);

int pthread_rwlock_init(pthread_rwlock_t *rwlock, void *attr)
{
    int ret = -1;

    if (ocall_pthread_rwlock_init(&ret, (void **)rwlock, NULL)
        != SGX_SUCCESS) {
        TRACE_OCALL_FAIL();
        return -1;
    }
    (void)attr;
    return ret;
}

int pthread_rwlock_destroy(pthread_rwlock_t *rwlock)
{
    int ret = -1;

    if (ocall_pthread_rwlock_destroy(&ret, (void *)*rwlock) != SGX_SUCCESS) {
        TRACE_OCALL_FAIL();
    }
    return ret;
}

int pthread_rwlock_rdlock(pthread_rwlock_t *rwlock)
{
    int ret = -1;

    if (ocall_pthread_rwlock_rdlock(&ret, (void*)*rwlock) != SGX_SUCCESS) {
        TRACE_OCALL_FAIL();
    }
    return ret;
}

int pthread_rwlock_wrlock(pthread_rwlock_t *rwlock)
{
    int ret = -1;

    if (ocall_pthread_rwlock_wrlock(&ret, (void*)*rwlock) != SGX_SUCCESS) {
        TRACE_OCALL_FAIL();
    }
    return ret;
}

int pthread_rwlock_unlock(pthread_rwlock_t *rwlock)
{
    int ret = -1;

    if (ocall_pthread_rwlock_unlock(&ret, (void*)*rwlock) != SGX_SUCCESS) {
        TRACE_OCALL_FAIL();
    }
    return ret;
}

#endif