2
0
mirror of https://github.com/boostorg/atomic.git synced 2026-02-02 20:32:09 +00:00
Files
atomic/test/wait_ref_api.cpp
Andrey Semashev 76e25f36a3 Added generic implementation of C++20 waiting/notifying operations.
The generic implementation is based on the lock pool. A list of condition
variables (or waiting futexes) is added per lock. Basically, the lock
pool serves as a global hash table, where each lock represents
a bucket and each wait state is an element. Every wait operation
allocates a wait state keyed on the pointer to the atomic object. Notify
operations look up the wait state by the atomic pointer and notify
the condition variable/futex. The corresponding lock needs to be acquired
to protect the wait state list during all wait/notify operations.

Backends not involving the lock pool are going to be added later.

The implementation of wait operation extends the C++20 definition in that
it returns the newly loaded value instead of void. This allows the caller
to avoid loading the value himself.

The waiting/notifying operations are not address-free. Address-free variants
will be added later.

Added tests for the new operations and refactored existing tests for atomic
operations. Added docs for the new operations.
2020-06-03 01:39:20 +03:00

39 lines
1.2 KiB
C++

// Copyright (c) 2020 Andrey Semashev
//
// Distributed under the Boost Software License, Version 1.0.
// See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
#include <boost/atomic.hpp>
#include <boost/config.hpp>
#include <boost/cstdint.hpp>
#include "wait_test_helpers.hpp"
int main(int, char *[])
{
test_wait_notify_api< atomic_ref_wrapper, boost::uint8_t >(1, 2, 3);
test_wait_notify_api< atomic_ref_wrapper, boost::uint16_t >(1, 2, 3);
test_wait_notify_api< atomic_ref_wrapper, boost::uint32_t >(1, 2, 3);
test_wait_notify_api< atomic_ref_wrapper, boost::uint64_t >(1, 2, 3);
#if defined(BOOST_HAS_INT128) && !defined(BOOST_ATOMIC_TESTS_NO_INT128)
test_wait_notify_api< atomic_ref_wrapper, boost::uint128_type >(1, 2, 3);
#endif
{
struct_3_bytes s1 = {{ 1 }};
struct_3_bytes s2 = {{ 2 }};
struct_3_bytes s3 = {{ 3 }};
test_wait_notify_api< atomic_ref_wrapper, struct_3_bytes >(s1, s2, s3);
}
{
large_struct s1 = {{ 1 }};
large_struct s2 = {{ 2 }};
large_struct s3 = {{ 3 }};
test_wait_notify_api< atomic_ref_wrapper, large_struct >(s1, s2, s3);
}
return boost::report_errors();
}