llvm-project

History

[libc++] refactor cxx_atomic_wait to make it reusable for atomic_ref (#81427 )

The goal of this patch is to make `atomic`'s wait functions to be
reusable by `atomic_ref`.
https://github.com/llvm/llvm-project/pull/76647

First, this patch is built on top of
https://github.com/llvm/llvm-project/pull/80596 , to reduce the future
merge conflicts.

This patch made the following functions as "API"s to be used by
`atomic`, `atomic_flag`, `semaphore`, `latch`, `atomic_ref`

```
__atomic_wait
__atomic_wait_unless
__atomic_notify_one
__atomic_notify_all
```

These functions are made generic to support `atomic` type and
`atomic_ref`. There are two customisation points.

```
// How to load the value from the given type (with a memory order)
__atomic_load
```


```
// what is the contention address that the platform `wait` function is going to monitor
__atomic_contention_address
```


For `atomic_ref` (not implemented in this patch), the `load` and
`address` function will be different, because
- it does not use the "atomic abstraction layer" so the `load` operation
will be some gcc builtin
- the contention address will be the user's actual type that the
`atomic_ref` is pointing to

2024-03-02 14:50:52 +00:00

__algorithm

[libc++] Refactor more __enable_ifs to the canonical style (#81457 )

2024-02-20 01:47:38 +01:00

__atomic

[libc++] refactor cxx_atomic_wait to make it reusable for atomic_ref (#81427 )

2024-03-02 14:50:52 +00:00

__bit

[libc++][hardening] Categorize assertions that produce incorrect results (#77183 )

2024-01-20 23:38:02 -08:00

__charconv

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__chrono

[libc++][chrono] Loads tzdata.zi in tzdb. (#74928 )

2024-02-17 14:28:01 +01:00

__compare

[libc++] Avoid including <cmath> in <compare> (#80418 )

2024-02-08 19:23:10 +01:00

__concepts

[libc++][concepts] Implements concept helper __libcpp_integer (#78086 )

2024-01-15 00:00:57 +02:00

__condition_variable

[libc++] Split the monolithic __threading_support header (#79654 )

2024-01-30 08:35:15 -05:00

__coroutine

[libc++][hardening] Classify assertions related to leaks and syscalls. (#77164 )

2024-01-22 18:12:58 -08:00

__debug_utils

[libc++][hardening] Categorize assertions related to strict weak ordering (#77405 )

2024-01-22 23:31:58 -08:00

__exception

[libc++abi] Implement __cxa_init_primary_exception and use it to optimize std::make_exception_ptr (#65534 )

2024-01-22 10:12:41 -05:00

__expected

[libc++] Ensure that std::expected has no tail padding (#69673 )

2024-01-22 09:05:39 -05:00

__filesystem

[libc++] Fix missing and incorrect push/pop macros (#79204 )

2024-01-25 15:48:46 -05:00

__format

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__functional

[libc++] Refactor more __enable_ifs to the canonical style (#81457 )

2024-02-20 01:47:38 +01:00

__fwd

[libc++][complex] P2819R2: Add tuple protocol to complex (#79744 )

2024-02-19 09:56:06 +02:00

__ios

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

__iterator

[libc++] Refactor more __enable_ifs to the canonical style (#81457 )

2024-02-20 01:47:38 +01:00

__locale_dir

[NFC] Correct C++ standard names (#81421 )

2024-02-11 19:43:34 +01:00

__math

…

__mdspan

[libc++] LWG-4021 "mdspan::is_always_meow() should be noexcept", use LIBCPP_STATIC_ASSERT for noexcept strengthening (#74254 )

2023-12-10 11:52:14 +01:00

__memory

[libc++] Refactor more __enable_ifs to the canonical style (#81457 )

2024-02-20 01:47:38 +01:00

__memory_resource

[libc++][hardening] Classify assertions related to leaks and syscalls. (#77164 )

2024-01-22 18:12:58 -08:00

__mutex

[libc++] Split the monolithic __threading_support header (#79654 )

2024-01-30 08:35:15 -05:00

__numeric

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__random

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__ranges

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__stop_token

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__string

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__support

[libc++] Add missing include of <wchar.h> in POSIX locale fallbacks

2024-02-05 12:04:07 -05:00

__system_error

[libc++] Annotate generic_category/system_category as const (#78052 )

2024-01-26 22:08:36 +01:00

__thread

[libc++] Remove unnecessary includes from <atomic> (#82880 )

2024-02-28 21:14:35 +01:00

__tuple

[libc++][complex] P2819R2: Add tuple protocol to complex (#79744 )

2024-02-19 09:56:06 +02:00

__type_traits

[libc++] Remove __member_pointer_traits_imp (#82081 )

2024-02-26 12:04:41 +01:00

__utility

[libc++] Use __integer_pack to implement integer_sequence on GCC (#82983 )

2024-02-28 20:33:20 +01:00

__variant

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

experimental

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ext

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__assert

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__availability

[libc++][NFC] Reorder availability macros in introduction order (#82531 )

2024-02-26 14:34:43 -05:00

__bit_reference

[libc++] Rename __bit_reference template parameter to avoid conflict (#80661 )

2024-02-05 17:41:12 +01:00

__config

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

__config_site.in

[ASan][libc++] std::basic_string annotations (#72677 )

2023-12-13 06:05:34 +01:00

__hash_table

[libc++] Refactor more __enable_ifs to the canonical style (#81457 )

2024-02-20 01:47:38 +01:00

__locale

[libc++] Move the locale support headers to __locale_dir/locale_base_api/ (#74522 )

2024-02-03 20:50:06 +01:00

__mbstate_t.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

__node_handle

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

__split_buffer

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

__std_clang_module

[libc++] Remove experimental pmr headers now shipped in mainline (#73172 )

2023-11-27 10:54:35 -05:00

__std_mbstate_t.h

…

__tree

[libc++] Refactor more __enable_ifs to the canonical style (#81457 )

2024-02-20 01:47:38 +01:00

__undef_macros

…

__verbose_abort

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

algorithm

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

any

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

array

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

atomic

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

barrier

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

bit

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

bitset

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cassert

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ccomplex

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cctype

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cerrno

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cfenv

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cfloat

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

charconv

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

chrono

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cinttypes

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ciso646

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

climits

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

clocale

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

CMakeLists.txt

[libc++][complex] P2819R2: Add tuple protocol to complex (#79744 )

2024-02-19 09:56:06 +02:00

cmath

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

codecvt

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

compare

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

complex

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

complex.h

…

concepts

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

condition_variable

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

coroutine

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

csetjmp

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

csignal

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cstdarg

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cstdbool

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cstddef

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cstdint

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cstdio

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cstdlib

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cstring

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ctgmath

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ctime

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ctype.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

cuchar

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cwchar

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

cwctype

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

deque

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

errno.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

exception

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

execution

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

expected

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

fenv.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

filesystem

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

float.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

format

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

forward_list

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

fstream

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

functional

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

future

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

initializer_list

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

inttypes.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

iomanip

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ios

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

iosfwd

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

iostream

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

istream

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

iterator

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

latch

[libc++] refactor cxx_atomic_wait to make it reusable for atomic_ref (#81427 )

2024-03-02 14:50:52 +00:00

libcxx.imp

[libc++] Map forward declaration headers for iostreams to <iosfwd> (#83327 )

2024-02-29 10:48:23 -05:00

limits

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

list

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

locale

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

locale.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

map

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

math.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

mdspan

[libc++] LWG-4021 "mdspan::is_always_meow() should be noexcept", use LIBCPP_STATIC_ASSERT for noexcept strengthening (#74254 )

2023-12-10 11:52:14 +01:00

memory

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

memory_resource

…

module.modulemap.in

[libc++][complex] P2819R2: Add tuple protocol to complex (#79744 )

2024-02-19 09:56:06 +02:00

mutex

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

new

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

numbers

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

numeric

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

optional

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ostream

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

queue

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

random

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ranges

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

ratio

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

regex

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

scoped_allocator

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

semaphore

[libc++] refactor cxx_atomic_wait to make it reusable for atomic_ref (#81427 )

2024-03-02 14:50:52 +00:00

set

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

shared_mutex

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

source_location

[libc++] Update <source_location> and msvc_stdlib_force_include.h (#74266 )

2023-12-06 09:04:06 -05:00

span

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

sstream

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

stack

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

stdatomic.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

stdbool.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

stddef.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

stdexcept

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

stdint.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

stdio.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

stdlib.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

stop_token

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

streambuf

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

string

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

string_view

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

string.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

strstream

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

syncstream

…

system_error

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

tgmath.h

…

thread

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

tuple

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

type_traits

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

typeindex

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

typeinfo

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

uchar.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

unordered_map

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

unordered_set

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

utility

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

valarray

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

variant

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

vector

[libc++] Clean up includes of <__assert> (#80091 )

2024-02-29 10:12:22 -05:00

version

[libc++] Set feature test macros __cpp_lib_ranges_contains and__cpp_lib_ranges_starts_ends_with (#81816 )

2024-02-29 16:06:32 -08:00

wchar.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00

wctype.h

[libc++] Format the code base (#74334 )

2023-12-18 14:01:33 -05:00