diff options
author | Joseph Huber <huberjn@outlook.com> | 2024-07-01 06:30:15 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-07-01 06:30:15 -0500 |
commit | 3c64a98180148340ed72aa2c19054ddfbcfa72e1 (patch) | |
tree | be0765f69c6801679790fb2592faa982261bb289 /libc | |
parent | ec0e6ef09bdbae42872af1145f9c58c641d0ab8a (diff) | |
download | llvm-3c64a98180148340ed72aa2c19054ddfbcfa72e1.zip llvm-3c64a98180148340ed72aa2c19054ddfbcfa72e1.tar.gz llvm-3c64a98180148340ed72aa2c19054ddfbcfa72e1.tar.bz2 |
[libc] Partially implement 'errno' on the GPU (#97107)
Summary:
The `errno` variable is expected to be `thread_local` by the standard.
However, the GPU targets do not support `thread_local` and implementing
that would be a large endeavor. Because of that, we previously didn't
provide the `errno` symbol at all. However, to build some programs we at
least need to be able to link against `errno`. Many things that would
normally set `errno` completely ignore it currently (i.e. stdio) but
some programs still need to be able to link against correct C programs.
For this purpose this patch exports the `errno` symbol as a simple
global. Internally, this will be updated atomically so it's at least not
racy. Externally, this will be on the user. I've updated the
documentation to state as such. This is required to get `libc++` to
build.
Diffstat (limited to 'libc')
-rw-r--r-- | libc/docs/gpu/motivation.rst | 2 | ||||
-rw-r--r-- | libc/include/errno.h.def | 7 | ||||
-rw-r--r-- | libc/src/errno/libc_errno.cpp | 13 |
3 files changed, 14 insertions, 8 deletions
diff --git a/libc/docs/gpu/motivation.rst b/libc/docs/gpu/motivation.rst index 7e5336d..e637d67 100644 --- a/libc/docs/gpu/motivation.rst +++ b/libc/docs/gpu/motivation.rst @@ -44,7 +44,7 @@ Limitations We only implement a subset of the standard C library. The GPU does not currently support thread local variables in all cases, so variables like -``errno`` are not provided. Furthermore, the GPU under the OpenCL execution +``errno`` are atomic and global. Furthermore, the GPU under the OpenCL execution model cannot safely provide a mutex interface. This means that features like file buffering are not implemented on the GPU. We can also not easily provide threading features on the GPU due to the execution model so these will be diff --git a/libc/include/errno.h.def b/libc/include/errno.h.def index 3ffcd3f..1f7120e 100644 --- a/libc/include/errno.h.def +++ b/libc/include/errno.h.def @@ -25,8 +25,9 @@ #include "llvm-libc-macros/generic-error-number-macros.h" #endif -#if !defined(__AMDGPU__) && !defined(__NVPTX__) - +#if defined(__AMDGPU__) || defined(__NVPTX__) +extern int __llvmlibc_errno; // Not thread_local! +#else #ifdef __cplusplus extern "C" { extern thread_local int __llvmlibc_errno; @@ -34,8 +35,8 @@ extern thread_local int __llvmlibc_errno; #else extern _Thread_local int __llvmlibc_errno; #endif // __cplusplus +#endif #define errno __llvmlibc_errno -#endif #endif // LLVM_LIBC_ERRNO_H diff --git a/libc/src/errno/libc_errno.cpp b/libc/src/errno/libc_errno.cpp index 64f9f52..bd1438c 100644 --- a/libc/src/errno/libc_errno.cpp +++ b/libc/src/errno/libc_errno.cpp @@ -7,16 +7,21 @@ //===----------------------------------------------------------------------===// #include "libc_errno.h" +#include "src/__support/CPP/atomic.h" #ifdef LIBC_TARGET_ARCH_IS_GPU -// LIBC_THREAD_LOCAL on GPU currently does nothing. So essentially this is just +// LIBC_THREAD_LOCAL on GPU currently does nothing. So essentially this is just // a global errno for gpu to use for now. extern "C" { -LIBC_THREAD_LOCAL int __llvmlibc_gpu_errno; +LIBC_THREAD_LOCAL LIBC_NAMESPACE::cpp::Atomic<int> __llvmlibc_errno; } -void LIBC_NAMESPACE::Errno::operator=(int a) { __llvmlibc_gpu_errno = a; } -LIBC_NAMESPACE::Errno::operator int() { return __llvmlibc_gpu_errno; } +void LIBC_NAMESPACE::Errno::operator=(int a) { + __llvmlibc_errno.store(a, cpp::MemoryOrder::RELAXED); +} +LIBC_NAMESPACE::Errno::operator int() { + return __llvmlibc_errno.load(cpp::MemoryOrder::RELAXED); +} #elif !defined(LIBC_COPT_PUBLIC_PACKAGING) // This mode is for unit testing. We just use our internal errno. |