include/boost/corosio/native/detail/reactor/reactor_backend.hpp
50.7% Lines (34/67)
-% List of functions (0/1)
Functions (1)
Function
Calls
Lines
Blocks
<unknown function 37>
:37
–
–
–
| Line | TLA | Hits | Source Code |
|---|---|---|---|
| 1 | // | ||
| 2 | // Copyright (c) 2026 Michael Vandeberg | ||
| 3 | // | ||
| 4 | // Distributed under the Boost Software License, Version 1.0. (See accompanying | ||
| 5 | // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | ||
| 6 | // | ||
| 7 | // Official repository: https://github.com/cppalliance/corosio | ||
| 8 | // | ||
| 9 | |||
| 10 | #ifndef BOOST_COROSIO_NATIVE_DETAIL_REACTOR_REACTOR_BACKEND_HPP | ||
| 11 | #define BOOST_COROSIO_NATIVE_DETAIL_REACTOR_REACTOR_BACKEND_HPP | ||
| 12 | |||
| 13 | /* Reactor backend: acceptor accept() implementation. | ||
| 14 | |||
| 15 | Contains the accept() method body for reactor_acceptor_impl, | ||
| 16 | which needs all socket/service types to be complete. Included | ||
| 17 | by per-backend type files (epoll_types.hpp, etc.) after all | ||
| 18 | named types are defined. | ||
| 19 | */ | ||
| 20 | |||
| 21 | #include <boost/corosio/native/detail/reactor/reactor_service_finals.hpp> | ||
| 22 | #include <boost/corosio/native/detail/reactor/reactor_op_complete.hpp> | ||
| 23 | #include <boost/corosio/native/detail/endpoint_convert.hpp> | ||
| 24 | #include <boost/corosio/detail/dispatch_coro.hpp> | ||
| 25 | |||
| 26 | #include <mutex> | ||
| 27 | |||
| 28 | namespace boost::corosio::detail { | ||
| 29 | |||
| 30 | // ============================================================ | ||
| 31 | // Acceptor accept() implementation | ||
| 32 | // ============================================================ | ||
| 33 | |||
| 34 | template<class Derived, class Traits, class Service, | ||
| 35 | class SocketFinal, class AccImplBase, class Endpoint> | ||
| 36 | std::coroutine_handle<> | ||
| 37 | 5209x | reactor_acceptor_impl<Derived, Traits, Service, SocketFinal, AccImplBase, Endpoint>::accept( | |
| 38 | std::coroutine_handle<> h, | ||
| 39 | capy::executor_ref ex, | ||
| 40 | std::stop_token token, | ||
| 41 | std::error_code* ec, | ||
| 42 | io_object::implementation** impl_out) | ||
| 43 | { | ||
| 44 | 5209x | auto& op = this->acc_; | |
| 45 | 5209x | op.reset(); | |
| 46 | 5209x | op.h = h; | |
| 47 | 5209x | op.ex = ex; | |
| 48 | 5209x | op.ec_out = ec; | |
| 49 | 5209x | op.impl_out = impl_out; | |
| 50 | 5209x | op.fd = this->fd_; | |
| 51 | 5209x | op.start(token, static_cast<Derived*>(this)); | |
| 52 | |||
| 53 | 5209x | sockaddr_storage peer_storage{}; | |
| 54 | 5209x | socklen_t peer_addrlen = 0; | |
| 55 | |||
| 56 | 5209x | int accepted = Traits::accept_policy::do_accept( | |
| 57 | this->fd_, peer_storage, peer_addrlen); | ||
| 58 | |||
| 59 | 5209x | if (accepted >= 0) | |
| 60 | { | ||
| 61 | { | ||
| 62 | 6x | std::lock_guard lock(this->desc_state_.mutex); | |
| 63 | 6x | this->desc_state_.read_ready = false; | |
| 64 | 6x | } | |
| 65 | |||
| 66 | 6x | if (this->svc_.scheduler().try_consume_inline_budget()) | |
| 67 | { | ||
| 68 | ✗ | auto* socket_svc = this->svc_.stream_service(); | |
| 69 | ✗ | if (socket_svc) | |
| 70 | { | ||
| 71 | auto& impl = | ||
| 72 | ✗ | static_cast<SocketFinal&>(*socket_svc->construct()); | |
| 73 | ✗ | impl.set_socket(accepted); | |
| 74 | |||
| 75 | ✗ | impl.desc_state_.fd = accepted; | |
| 76 | { | ||
| 77 | ✗ | std::lock_guard lock(impl.desc_state_.mutex); | |
| 78 | ✗ | impl.desc_state_.read_op = nullptr; | |
| 79 | ✗ | impl.desc_state_.write_op = nullptr; | |
| 80 | ✗ | impl.desc_state_.connect_op = nullptr; | |
| 81 | ✗ | } | |
| 82 | ✗ | socket_svc->scheduler().register_descriptor( | |
| 83 | accepted, &impl.desc_state_); | ||
| 84 | |||
| 85 | ✗ | impl.set_endpoints( | |
| 86 | this->local_endpoint_, | ||
| 87 | ✗ | from_sockaddr_as( | |
| 88 | peer_storage, peer_addrlen, Endpoint{})); | ||
| 89 | |||
| 90 | ✗ | *ec = {}; | |
| 91 | ✗ | if (impl_out) | |
| 92 | ✗ | *impl_out = &impl; | |
| 93 | } | ||
| 94 | else | ||
| 95 | { | ||
| 96 | ✗ | ::close(accepted); | |
| 97 | ✗ | *ec = make_err(ENOENT); | |
| 98 | ✗ | if (impl_out) | |
| 99 | ✗ | *impl_out = nullptr; | |
| 100 | } | ||
| 101 | ✗ | op.cont_op.cont.h = h; | |
| 102 | ✗ | return dispatch_coro(ex, op.cont_op.cont); | |
| 103 | } | ||
| 104 | |||
| 105 | 6x | op.accepted_fd = accepted; | |
| 106 | 6x | op.peer_storage = peer_storage; | |
| 107 | 6x | op.peer_addrlen = peer_addrlen; | |
| 108 | 6x | op.complete(0, 0); | |
| 109 | 6x | op.impl_ptr = this->shared_from_this(); | |
| 110 | 6x | this->svc_.post(&op); | |
| 111 | 6x | return std::noop_coroutine(); | |
| 112 | } | ||
| 113 | |||
| 114 | 5203x | if (errno == EAGAIN || errno == EWOULDBLOCK) | |
| 115 | { | ||
| 116 | 5203x | op.impl_ptr = this->shared_from_this(); | |
| 117 | 5203x | this->svc_.work_started(); | |
| 118 | |||
| 119 | 5203x | std::lock_guard lock(this->desc_state_.mutex); | |
| 120 | 5203x | bool io_done = false; | |
| 121 | 5203x | if (this->desc_state_.read_ready) | |
| 122 | { | ||
| 123 | ✗ | this->desc_state_.read_ready = false; | |
| 124 | ✗ | op.perform_io(); | |
| 125 | ✗ | io_done = (op.errn != EAGAIN && op.errn != EWOULDBLOCK); | |
| 126 | ✗ | if (!io_done) | |
| 127 | ✗ | op.errn = 0; | |
| 128 | } | ||
| 129 | |||
| 130 | 5203x | if (io_done || op.cancelled.load(std::memory_order_acquire)) | |
| 131 | { | ||
| 132 | ✗ | this->svc_.post(&op); | |
| 133 | ✗ | this->svc_.work_finished(); | |
| 134 | } | ||
| 135 | else | ||
| 136 | { | ||
| 137 | 5203x | this->desc_state_.read_op = &op; | |
| 138 | } | ||
| 139 | 5203x | return std::noop_coroutine(); | |
| 140 | 5203x | } | |
| 141 | |||
| 142 | ✗ | op.complete(errno, 0); | |
| 143 | ✗ | op.impl_ptr = this->shared_from_this(); | |
| 144 | ✗ | this->svc_.post(&op); | |
| 145 | ✗ | return std::noop_coroutine(); | |
| 146 | } | ||
| 147 | |||
| 148 | } // namespace boost::corosio::detail | ||
| 149 | |||
| 150 | #endif // BOOST_COROSIO_NATIVE_DETAIL_REACTOR_REACTOR_BACKEND_HPP | ||
| 151 |