include/boost/corosio/native/detail/reactor/reactor_backend.hpp

32.9% Lines (25/76) 100.0% List of functions (4/4) 14.1% Branches (18/128)

[ ] prev/next file n p prev/next uncovered line

reactor_backend.hpp

f(x) Functions (4)

Function Calls Lines Branches Blocks

Line	Branch	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		7247x	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		7247x	auto& op = this->acc_;
45		7247x	op.reset();
46		7247x	op.h = h;
47		7247x	op.ex = ex;
48		7247x	op.ec_out = ec;
49		7247x	op.impl_out = impl_out;
50		7247x	op.fd = this->fd_;
51		7247x	op.start(token, static_cast<Derived*>(this));
52
53		7247x	sockaddr_storage peer_storage{};
54		7247x	socklen_t peer_addrlen = 0;
55
56		7247x	int accepted = Traits::accept_policy::do_accept(
57		7247x	this->fd_, peer_storage, peer_addrlen);
58
59	3/8 ✓ Branch 0 taken 1828 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 5417 times. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✗ Branch 5 not taken. ✓ Branch 6 taken 2 times. ✗ Branch 7 not taken.	7247x	if (accepted >= 0)
60			{
61			{
62		✗	std::lock_guard lock(this->desc_state_.mutex);
63		✗	this->desc_state_.read_ready = false;
64		✗	}
65
66		✗	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		✗	op.accepted_fd = accepted;
106		✗	op.peer_storage = peer_storage;
107		✗	op.peer_addrlen = peer_addrlen;
108		✗	op.complete(0, 0);
109		✗	op.impl_ptr = this->shared_from_this();
110		✗	this->svc_.post(&op);
111		✗	return std::noop_coroutine();
112			}
113
114	3/16 ✗ Branch 0 not taken. ✓ Branch 1 taken 1828 times. ✗ Branch 2 not taken. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✓ Branch 5 taken 5417 times. ✗ Branch 6 not taken. ✗ Branch 7 not taken. ✗ Branch 8 not taken. ✗ Branch 9 not taken. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✓ Branch 13 taken 2 times. ✗ Branch 14 not taken. ✗ Branch 15 not taken.	7247x	if (errno == EAGAIN \|\| errno == EWOULDBLOCK)
115			{
116	3/8 ✓ Branch 0 taken 1828 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 5417 times. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✗ Branch 5 not taken. ✓ Branch 6 taken 2 times. ✗ Branch 7 not taken.	7247x	op.impl_ptr = this->shared_from_this();
117		7247x	this->svc_.work_started();
118
119		7247x	std::lock_guard lock(this->desc_state_.mutex);
120		7247x	bool io_done = false;
121	3/8 ✓ Branch 0 taken 1828 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 5417 times. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✗ Branch 5 not taken. ✓ Branch 6 taken 2 times. ✗ Branch 7 not taken.	7247x	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	6/16 ✓ Branch 0 taken 1828 times. ✗ Branch 1 not taken. ✗ Branch 2 not taken. ✓ Branch 3 taken 1828 times. ✓ Branch 4 taken 5417 times. ✗ Branch 5 not taken. ✗ Branch 6 not taken. ✓ Branch 7 taken 5417 times. ✗ Branch 8 not taken. ✗ Branch 9 not taken. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✓ Branch 12 taken 2 times. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✓ Branch 15 taken 2 times.	7247x	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		7247x	this->desc_state_.read_op = &op;
138			}
139		7247x	return std::noop_coroutine();
140		7247x	}
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		7247x	}
147
148			} // namespace boost::corosio::detail
149
150			#endif // BOOST_COROSIO_NATIVE_DETAIL_REACTOR_REACTOR_BACKEND_HPP
151