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

93.2% Lines (109/117) 98.6% List of functions (432/438) 17.1% Branches (357/2092)

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

reactor_io_core.hpp

f(x) Functions (438)

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_IO_CORE_HPP
11			#define BOOST_COROSIO_NATIVE_DETAIL_REACTOR_REACTOR_IO_CORE_HPP
12
13			#include <boost/corosio/detail/config.hpp>
14			#include <boost/corosio/native/detail/reactor/reactor_op_base.hpp>
15
16			#include <atomic>
17			#include <memory>
18			#include <mutex>
19			#include <system_error>
20			#include <utility>
21
22			#include <errno.h>
23
24			/* Shared reactor I/O protocol.
25
26			One implementation of the register/park/cancel/teardown protocol
27			for every reactor-backed object -- stream and datagram sockets,
28			acceptors, and posix descriptors -- over a backend's
29			descriptor_state. Asio keeps the same protocol in its reactor
30			(start_op, cancel_ops, deregister_descriptor); services and the
31			objects' own verbs stay per type.
32
33			Derived supplies its op slots through for_each_op,
34			for_each_desc_entry and op_to_desc_slot, and must derive from
35			std::enable_shared_from_this<Derived>.
36			*/
37
38			namespace boost::corosio::detail {
39
40			/** CRTP base holding the reactor parking and cancel protocol.
41
42			@tparam Derived The concrete object type (CRTP).
43			@tparam Service The backend service that owns Derived.
44			@tparam DescState The backend's descriptor_state type.
45			*/
46			template<class Derived, class Service, class DescState>
47			class reactor_io_core
48			{
49		275093x	Derived* self_ptr() noexcept
50			{
51		275093x	return static_cast<Derived*>(this);
52			}
53
54			protected:
55			// NOLINTNEXTLINE(bugprone-crtp-constructor-accessibility)
56		28469x	explicit reactor_io_core(Service& svc) noexcept : svc_(svc) {}
57
58			Service& svc_;
59
60			public:
61			/// Per-descriptor state for persistent reactor registration.
62			DescState desc_state_;
63
64			/** Cancel a single pending operation.
65
66			Claims the operation from its descriptor_state slot under
67			the mutex and posts it to the scheduler as cancelled.
68			*/
69			template<class Op>
70		1271x	void cancel_single_op(Op& op) noexcept
71			{
72		1271x	auto self = self_ptr()->weak_from_this().lock();
73	5/28 ✓ Branch 0 taken 1167 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 43 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 39 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 17 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 5 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	1271x	if (!self)
74		✗	return;
75
76		1271x	op.request_cancel();
77
78		1271x	reactor_op_base** desc_op_ptr = self_ptr()->op_to_desc_slot(op);
79	5/28 ✓ Branch 0 taken 1167 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 43 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 39 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 17 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 5 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	1271x	if (!desc_op_ptr)
80		✗	return;
81
82		1271x	reactor_op_base* claimed = nullptr;
83			{
84	5/28 ✓ Branch 0 taken 1167 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 43 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 39 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 17 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 5 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	1271x	std::lock_guard lock(desc_state_.mutex);
85	8/28 ✓ Branch 0 taken 8 times. ✓ Branch 1 taken 1159 times. ✓ Branch 2 taken 1 time. ✓ Branch 3 taken 42 times. ✓ Branch 4 taken 5 times. ✓ Branch 5 taken 34 times. ✗ Branch 6 not taken. ✓ Branch 7 taken 17 times. ✗ Branch 8 not taken. ✗ Branch 9 not taken. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✓ Branch 19 taken 5 times. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	1271x	if (*desc_op_ptr == &op)
86		1257x	claimed = std::exchange(*desc_op_ptr, nullptr);
87			// Not in the slot: request_cancel() above already set
88			// op.cancelled, which register_op consults before parking
89			// and the completion decode consults on delivery. Latching
90			// a descriptor flag here instead would outlive this op and
91			// cancel the next wait in the same direction.
92		1271x	}
93	8/28 ✓ Branch 0 taken 1159 times. ✓ Branch 1 taken 8 times. ✓ Branch 2 taken 42 times. ✓ Branch 3 taken 1 time. ✓ Branch 4 taken 34 times. ✓ Branch 5 taken 5 times. ✓ Branch 6 taken 17 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 5 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	1271x	if (claimed)
94			{
95		1257x	op.impl_ptr = self;
96	5/28 ✓ Branch 0 taken 1159 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 42 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 34 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 17 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 5 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	1257x	svc_.post(&op);
97		1257x	svc_.work_finished();
98		1257x	}
99		1271x	}
100
101			protected:
102			/** Clear every slot and register @a fd with the reactor.
103
104			@return The reactor's refusal, in which case the state is left
105			unregistered.
106			*/
107		9040x	std::error_code register_fd(int fd) noexcept
108			{
109		9040x	desc_state_.fd = fd;
110			{
111	5/28 ✓ Branch 0 taken 6816 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 169 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 1911 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 6 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 138 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	9040x	std::lock_guard lock(desc_state_.mutex);
112		9040x	self_ptr()->for_each_desc_entry(
113		55116x	[](auto&, reactor_op_base*& slot) { slot = nullptr; });
114		9040x	}
115	12/56 ✓ Branch 0 taken 6816 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2 times. ✓ Branch 3 taken 6814 times. ✓ Branch 4 taken 169 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 2 times. ✓ Branch 7 taken 167 times. ✓ Branch 8 taken 1911 times. ✗ Branch 9 not taken. ✗ Branch 10 not taken. ✓ Branch 11 taken 1911 times. ✓ Branch 12 taken 6 times. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✓ Branch 15 taken 6 times. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✓ Branch 36 taken 138 times. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✓ Branch 39 taken 138 times. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken.	9040x	if (auto ec = svc_.scheduler().register_descriptor(fd, &desc_state_))
116			{
117		4x	desc_state_.fd = -1;
118		4x	desc_state_.registered_events = 0;
119		4x	return ec;
120			}
121		9036x	return {};
122		9040x	}
123
124			/** Register an op with the reactor.
125
126			Handles cached edge events. Called on the EAGAIN/EINPROGRESS
127			path when speculative I/O failed.
128			*/
129			template<class Op>
130		108788x	void register_op(
131			Op& op,
132			reactor_op_base*& desc_slot,
133			bool& ready_flag,
134			bool is_write_direction = false) noexcept
135			{
136		108788x	svc_.work_started();
137
138	13/84 ✓ Branch 0 taken 54705 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 524 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 6512 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 46 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 44719 times. ✗ Branch 9 not taken. ✓ Branch 10 taken 540 times. ✗ Branch 11 not taken. ✓ Branch 12 taken 1646 times. ✗ Branch 13 not taken. ✓ Branch 14 taken 34 times. ✗ Branch 15 not taken. ✓ Branch 16 taken 18 times. ✗ Branch 17 not taken. ✓ Branch 18 taken 4 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✓ Branch 52 taken 25 times. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✓ Branch 56 taken 6 times. ✗ Branch 57 not taken. ✓ Branch 58 taken 9 times. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken.	108788x	std::lock_guard lock(desc_state_.mutex);
139		108788x	bool io_done = false;
140	20/84 ✓ Branch 0 taken 54432 times. ✓ Branch 1 taken 273 times. ✓ Branch 2 taken 524 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 6500 times. ✓ Branch 5 taken 12 times. ✓ Branch 6 taken 18 times. ✓ Branch 7 taken 28 times. ✓ Branch 8 taken 44715 times. ✓ Branch 9 taken 4 times. ✓ Branch 10 taken 528 times. ✓ Branch 11 taken 12 times. ✓ Branch 12 taken 1646 times. ✗ Branch 13 not taken. ✓ Branch 14 taken 8 times. ✓ Branch 15 taken 26 times. ✓ Branch 16 taken 9 times. ✓ Branch 17 taken 9 times. ✗ Branch 18 not taken. ✓ Branch 19 taken 4 times. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✓ Branch 52 taken 25 times. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✓ Branch 56 taken 6 times. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✓ Branch 59 taken 9 times. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken.	108788x	if (ready_flag)
141			{
142		377x	ready_flag = false;
143		377x	op.perform_io();
144	10/84 ✓ Branch 0 taken 268 times. ✓ Branch 1 taken 5 times. ✗ Branch 2 not taken. ✗ Branch 3 not taken. ✓ Branch 4 taken 12 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 28 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 4 times. ✗ Branch 9 not taken. ✓ Branch 10 taken 12 times. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 13 not taken. ✓ Branch 14 taken 26 times. ✗ Branch 15 not taken. ✓ Branch 16 taken 9 times. ✗ Branch 17 not taken. ✓ Branch 18 taken 4 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✓ Branch 58 taken 9 times. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken.	377x	io_done = (op.errn != EAGAIN && op.errn != EWOULDBLOCK);
145	10/84 ✓ Branch 0 taken 5 times. ✓ Branch 1 taken 268 times. ✗ Branch 2 not taken. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✓ Branch 5 taken 12 times. ✗ Branch 6 not taken. ✓ Branch 7 taken 28 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 4 times. ✗ Branch 10 not taken. ✓ Branch 11 taken 12 times. ✗ Branch 12 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✓ Branch 15 taken 26 times. ✗ Branch 16 not taken. ✓ Branch 17 taken 9 times. ✗ Branch 18 not taken. ✓ Branch 19 taken 4 times. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✓ Branch 59 taken 9 times. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken.	377x	if (!io_done)
146		372x	op.errn = 0;
147		377x	}
148
149	27/168 ✓ Branch 0 taken 54700 times. ✓ Branch 1 taken 5 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 54700 times. ✓ Branch 4 taken 524 times. ✗ Branch 5 not taken. ✗ Branch 6 not taken. ✓ Branch 7 taken 524 times. ✓ Branch 8 taken 6512 times. ✗ Branch 9 not taken. ✗ Branch 10 not taken. ✓ Branch 11 taken 6512 times. ✓ Branch 12 taken 46 times. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✓ Branch 15 taken 46 times. ✓ Branch 16 taken 44719 times. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✓ Branch 19 taken 44719 times. ✓ Branch 20 taken 540 times. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✓ Branch 23 taken 540 times. ✓ Branch 24 taken 1646 times. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✓ Branch 27 taken 1646 times. ✓ Branch 28 taken 34 times. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✓ Branch 31 taken 34 times. ✓ Branch 32 taken 18 times. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✓ Branch 35 taken 18 times. ✓ Branch 36 taken 4 times. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✓ Branch 39 taken 4 times. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken. ✗ Branch 84 not taken. ✗ Branch 85 not taken. ✗ Branch 86 not taken. ✗ Branch 87 not taken. ✗ Branch 88 not taken. ✗ Branch 89 not taken. ✗ Branch 90 not taken. ✗ Branch 91 not taken. ✗ Branch 92 not taken. ✗ Branch 93 not taken. ✗ Branch 94 not taken. ✗ Branch 95 not taken. ✗ Branch 96 not taken. ✗ Branch 97 not taken. ✗ Branch 98 not taken. ✗ Branch 99 not taken. ✗ Branch 100 not taken. ✗ Branch 101 not taken. ✗ Branch 102 not taken. ✗ Branch 103 not taken. ✓ Branch 104 taken 25 times. ✗ Branch 105 not taken. ✗ Branch 106 not taken. ✓ Branch 107 taken 25 times. ✗ Branch 108 not taken. ✗ Branch 109 not taken. ✗ Branch 110 not taken. ✗ Branch 111 not taken. ✓ Branch 112 taken 6 times. ✗ Branch 113 not taken. ✗ Branch 114 not taken. ✓ Branch 115 taken 6 times. ✓ Branch 116 taken 9 times. ✗ Branch 117 not taken. ✗ Branch 118 not taken. ✓ Branch 119 taken 9 times. ✗ Branch 120 not taken. ✗ Branch 121 not taken. ✗ Branch 122 not taken. ✗ Branch 123 not taken. ✗ Branch 124 not taken. ✗ Branch 125 not taken. ✗ Branch 126 not taken. ✗ Branch 127 not taken. ✗ Branch 128 not taken. ✗ Branch 129 not taken. ✗ Branch 130 not taken. ✗ Branch 131 not taken. ✗ Branch 132 not taken. ✗ Branch 133 not taken. ✗ Branch 134 not taken. ✗ Branch 135 not taken. ✗ Branch 136 not taken. ✗ Branch 137 not taken. ✗ Branch 138 not taken. ✗ Branch 139 not taken. ✗ Branch 140 not taken. ✗ Branch 141 not taken. ✗ Branch 142 not taken. ✗ Branch 143 not taken. ✗ Branch 144 not taken. ✗ Branch 145 not taken. ✗ Branch 146 not taken. ✗ Branch 147 not taken. ✗ Branch 148 not taken. ✗ Branch 149 not taken. ✗ Branch 150 not taken. ✗ Branch 151 not taken. ✗ Branch 152 not taken. ✗ Branch 153 not taken. ✗ Branch 154 not taken. ✗ Branch 155 not taken. ✗ Branch 156 not taken. ✗ Branch 157 not taken. ✗ Branch 158 not taken. ✗ Branch 159 not taken. ✗ Branch 160 not taken. ✗ Branch 161 not taken. ✗ Branch 162 not taken. ✗ Branch 163 not taken. ✗ Branch 164 not taken. ✗ Branch 165 not taken. ✗ Branch 166 not taken. ✗ Branch 167 not taken.	108788x	if (io_done \|\| op.cancelled.load(std::memory_order_acquire))
150			{
151	1/84 ✓ Branch 0 taken 5 times. ✗ Branch 1 not taken. ✗ Branch 2 not taken. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✗ Branch 5 not taken. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken.	5x	svc_.post(&op);
152		5x	svc_.work_finished();
153		5x	return;
154			}
155
156	13/84 ✗ Branch 0 not taken. ✓ Branch 1 taken 54700 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 524 times. ✗ Branch 4 not taken. ✓ Branch 5 taken 6512 times. ✗ Branch 6 not taken. ✓ Branch 7 taken 46 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 44719 times. ✗ Branch 10 not taken. ✓ Branch 11 taken 540 times. ✗ Branch 12 not taken. ✓ Branch 13 taken 1646 times. ✗ Branch 14 not taken. ✓ Branch 15 taken 34 times. ✗ Branch 16 not taken. ✓ Branch 17 taken 18 times. ✗ Branch 18 not taken. ✓ Branch 19 taken 4 times. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✓ Branch 53 taken 25 times. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✓ Branch 57 taken 6 times. ✗ Branch 58 not taken. ✓ Branch 59 taken 9 times. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken.	108783x	if (desc_state_.unpollable)
157			{
158			// Nothing will ever report readiness for this fd.
159		✗	op.complete(EOPNOTSUPP, 0);
160		✗	svc_.post(&op);
161		✗	svc_.work_finished();
162		✗	return;
163			}
164
165	21/84 ✓ Branch 0 taken 54699 times. ✓ Branch 1 taken 1 time. ✓ Branch 2 taken 8 times. ✓ Branch 3 taken 516 times. ✓ Branch 4 taken 9 times. ✓ Branch 5 taken 6503 times. ✓ Branch 6 taken 43 times. ✓ Branch 7 taken 3 times. ✓ Branch 8 taken 44716 times. ✓ Branch 9 taken 3 times. ✓ Branch 10 taken 37 times. ✓ Branch 11 taken 503 times. ✓ Branch 12 taken 5 times. ✓ Branch 13 taken 1641 times. ✓ Branch 14 taken 29 times. ✓ Branch 15 taken 5 times. ✓ Branch 16 taken 18 times. ✗ Branch 17 not taken. ✓ Branch 18 taken 4 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✓ Branch 52 taken 25 times. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✓ Branch 56 taken 6 times. ✗ Branch 57 not taken. ✓ Branch 58 taken 9 times. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken.	108783x	if (is_write_direction)
166			{
167	18/168 ✗ Branch 0 not taken. ✓ Branch 1 taken 1 time. ✗ Branch 2 not taken. ✓ Branch 3 taken 1 time. ✓ Branch 4 taken 1 time. ✓ Branch 5 taken 515 times. ✓ Branch 6 taken 1 time. ✓ Branch 7 taken 515 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 6503 times. ✗ Branch 10 not taken. ✓ Branch 11 taken 6503 times. ✗ Branch 12 not taken. ✓ Branch 13 taken 3 times. ✗ Branch 14 not taken. ✓ Branch 15 taken 3 times. ✗ Branch 16 not taken. ✓ Branch 17 taken 3 times. ✗ Branch 18 not taken. ✓ Branch 19 taken 3 times. ✗ Branch 20 not taken. ✓ Branch 21 taken 503 times. ✗ Branch 22 not taken. ✓ Branch 23 taken 503 times. ✗ Branch 24 not taken. ✓ Branch 25 taken 1641 times. ✗ Branch 26 not taken. ✓ Branch 27 taken 1641 times. ✗ Branch 28 not taken. ✓ Branch 29 taken 5 times. ✗ Branch 30 not taken. ✓ Branch 31 taken 5 times. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken. ✗ Branch 84 not taken. ✗ Branch 85 not taken. ✗ Branch 86 not taken. ✗ Branch 87 not taken. ✗ Branch 88 not taken. ✗ Branch 89 not taken. ✗ Branch 90 not taken. ✗ Branch 91 not taken. ✗ Branch 92 not taken. ✗ Branch 93 not taken. ✗ Branch 94 not taken. ✗ Branch 95 not taken. ✗ Branch 96 not taken. ✗ Branch 97 not taken. ✗ Branch 98 not taken. ✗ Branch 99 not taken. ✗ Branch 100 not taken. ✗ Branch 101 not taken. ✗ Branch 102 not taken. ✗ Branch 103 not taken. ✗ Branch 104 not taken. ✗ Branch 105 not taken. ✗ Branch 106 not taken. ✗ Branch 107 not taken. ✗ Branch 108 not taken. ✗ Branch 109 not taken. ✗ Branch 110 not taken. ✗ Branch 111 not taken. ✗ Branch 112 not taken. ✗ Branch 113 not taken. ✗ Branch 114 not taken. ✗ Branch 115 not taken. ✗ Branch 116 not taken. ✗ Branch 117 not taken. ✗ Branch 118 not taken. ✗ Branch 119 not taken. ✗ Branch 120 not taken. ✗ Branch 121 not taken. ✗ Branch 122 not taken. ✗ Branch 123 not taken. ✗ Branch 124 not taken. ✗ Branch 125 not taken. ✗ Branch 126 not taken. ✗ Branch 127 not taken. ✗ Branch 128 not taken. ✗ Branch 129 not taken. ✗ Branch 130 not taken. ✗ Branch 131 not taken. ✗ Branch 132 not taken. ✗ Branch 133 not taken. ✗ Branch 134 not taken. ✗ Branch 135 not taken. ✗ Branch 136 not taken. ✗ Branch 137 not taken. ✗ Branch 138 not taken. ✗ Branch 139 not taken. ✗ Branch 140 not taken. ✗ Branch 141 not taken. ✗ Branch 142 not taken. ✗ Branch 143 not taken. ✗ Branch 144 not taken. ✗ Branch 145 not taken. ✗ Branch 146 not taken. ✗ Branch 147 not taken. ✗ Branch 148 not taken. ✗ Branch 149 not taken. ✗ Branch 150 not taken. ✗ Branch 151 not taken. ✗ Branch 152 not taken. ✗ Branch 153 not taken. ✗ Branch 154 not taken. ✗ Branch 155 not taken. ✗ Branch 156 not taken. ✗ Branch 157 not taken. ✗ Branch 158 not taken. ✗ Branch 159 not taken. ✗ Branch 160 not taken. ✗ Branch 161 not taken. ✗ Branch 162 not taken. ✗ Branch 163 not taken. ✗ Branch 164 not taken. ✗ Branch 165 not taken. ✗ Branch 166 not taken. ✗ Branch 167 not taken.	18350x	if (auto ec = svc_.scheduler().ensure_write_registered(
168		9175x	desc_state_.fd, &desc_state_))
169			{
170		1x	op.complete(ec.value(), 0);
171	1/84 ✗ Branch 0 not taken. ✗ Branch 1 not taken. ✓ Branch 2 taken 1 time. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✗ Branch 5 not taken. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✗ Branch 68 not taken. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✗ Branch 76 not taken. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken.	1x	svc_.post(&op);
172		1x	svc_.work_finished();
173		1x	return;
174			}
175		9174x	}
176
177		108782x	desc_slot = &op;
178
179			// Select rebuilds its fd_sets from parked ops only, so parking
180			// must wake it. Compiled away for epoll and kqueue.
181			if constexpr (Service::needs_park_notification)
182	8/42 ✓ Branch 0 taken 44725 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 507 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 1654 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 35 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 4 times. ✗ Branch 9 not taken. ✓ Branch 10 taken 25 times. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 13 not taken. ✓ Branch 14 taken 6 times. ✗ Branch 15 not taken. ✓ Branch 16 taken 9 times. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken.	46965x	svc_.scheduler().notify_reactor();
183		108788x	}
184
185			/// Cancel every pending operation.
186		258x	void cancel_all() noexcept
187			{
188		258x	auto self = self_ptr()->weak_from_this().lock();
189	5/28 ✓ Branch 0 taken 170 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 21 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 51 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 10 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 6 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	258x	if (!self)
190		✗	return;
191
192		1794x	self_ptr()->for_each_op([](auto& op) { op.request_cancel(); });
193
194			reactor_op_base* claimed[max_claimed];
195		258x	int count = 0;
196			{
197	5/28 ✓ Branch 0 taken 170 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 21 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 51 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 10 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 6 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	258x	std::lock_guard lock(desc_state_.mutex);
198		516x	self_ptr()->for_each_desc_entry(
199		1794x	[&](auto& op, reactor_op_base*& desc_slot) {
200	33/108 ✓ Branch 0 taken 167 times. ✓ Branch 1 taken 3 times. ✓ Branch 2 taken 98 times. ✓ Branch 3 taken 72 times. ✓ Branch 4 taken 177 times. ✓ Branch 5 taken 3 times. ✓ Branch 6 taken 482 times. ✓ Branch 7 taken 12 times. ✓ Branch 8 taken 15 times. ✓ Branch 9 taken 4 times. ✓ Branch 10 taken 48 times. ✓ Branch 11 taken 9 times. ✓ Branch 12 taken 55 times. ✓ Branch 13 taken 1 time. ✓ Branch 14 taken 32 times. ✓ Branch 15 taken 24 times. ✓ Branch 16 taken 55 times. ✓ Branch 17 taken 1 time. ✓ Branch 18 taken 132 times. ✓ Branch 19 taken 14 times. ✓ Branch 20 taken 18 times. ✓ Branch 21 taken 3 times. ✓ Branch 22 taken 54 times. ✓ Branch 23 taken 9 times. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✓ Branch 66 taken 6 times. ✗ Branch 67 not taken. ✓ Branch 68 taken 4 times. ✓ Branch 69 taken 2 times. ✓ Branch 70 taken 6 times. ✗ Branch 71 not taken. ✓ Branch 72 taken 5 times. ✓ Branch 73 taken 1 time. ✓ Branch 74 taken 6 times. ✗ Branch 75 not taken. ✓ Branch 76 taken 15 times. ✓ Branch 77 taken 3 times. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken. ✗ Branch 84 not taken. ✗ Branch 85 not taken. ✗ Branch 86 not taken. ✗ Branch 87 not taken. ✗ Branch 88 not taken. ✗ Branch 89 not taken. ✗ Branch 90 not taken. ✗ Branch 91 not taken. ✗ Branch 92 not taken. ✗ Branch 93 not taken. ✗ Branch 94 not taken. ✗ Branch 95 not taken. ✗ Branch 96 not taken. ✗ Branch 97 not taken. ✗ Branch 98 not taken. ✗ Branch 99 not taken. ✗ Branch 100 not taken. ✗ Branch 101 not taken. ✗ Branch 102 not taken. ✗ Branch 103 not taken. ✗ Branch 104 not taken. ✗ Branch 105 not taken. ✗ Branch 106 not taken. ✗ Branch 107 not taken.	1536x	if (desc_slot == &op)
201			{
202	15/108 ✓ Branch 0 taken 3 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 72 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 3 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 12 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 4 times. ✗ Branch 9 not taken. ✓ Branch 10 taken 9 times. ✗ Branch 11 not taken. ✓ Branch 12 taken 1 time. ✗ Branch 13 not taken. ✓ Branch 14 taken 24 times. ✗ Branch 15 not taken. ✓ Branch 16 taken 1 time. ✗ Branch 17 not taken. ✓ Branch 18 taken 14 times. ✗ Branch 19 not taken. ✓ Branch 20 taken 3 times. ✗ Branch 21 not taken. ✓ Branch 22 taken 9 times. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✓ Branch 68 taken 2 times. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✓ Branch 72 taken 1 time. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✓ Branch 76 taken 3 times. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken. ✗ Branch 84 not taken. ✗ Branch 85 not taken. ✗ Branch 86 not taken. ✗ Branch 87 not taken. ✗ Branch 88 not taken. ✗ Branch 89 not taken. ✗ Branch 90 not taken. ✗ Branch 91 not taken. ✗ Branch 92 not taken. ✗ Branch 93 not taken. ✗ Branch 94 not taken. ✗ Branch 95 not taken. ✗ Branch 96 not taken. ✗ Branch 97 not taken. ✗ Branch 98 not taken. ✗ Branch 99 not taken. ✗ Branch 100 not taken. ✗ Branch 101 not taken. ✗ Branch 102 not taken. ✗ Branch 103 not taken. ✗ Branch 104 not taken. ✗ Branch 105 not taken. ✗ Branch 106 not taken. ✗ Branch 107 not taken.	161x	BOOST_COROSIO_ASSERT(count < max_claimed);
203		161x	claimed[count++] = std::exchange(desc_slot, nullptr);
204		161x	}
205		1536x	});
206		258x	}
207		258x	post_claimed(claimed, count, self);
208		258x	}
209
210			/** Cancel every operation and claim every parked one for teardown.
211
212			Also clears the cached edge flags and, if the state is queued
213			in the scheduler, pins the object alive until it is drained.
214			*/
215		87579x	void abandon_all() noexcept
216			{
217		87579x	auto self = self_ptr()->weak_from_this().lock();
218	5/28 ✓ Branch 0 taken 60484 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 9251 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 16051 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1218 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 575 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	87579x	if (!self)
219		✗	return;
220
221		596987x	self_ptr()->for_each_op([](auto& op) { op.request_cancel(); });
222
223			reactor_op_base* claimed[max_claimed];
224		87579x	int count = 0;
225			{
226	5/28 ✓ Branch 0 taken 60484 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 9251 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 16051 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1218 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 575 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	87579x	std::lock_guard lock(desc_state_.mutex);
227		175158x	self_ptr()->for_each_desc_entry(
228		596987x	[&](auto& /op/, reactor_op_base*& desc_slot) {
229	32/108 ✓ Branch 0 taken 60480 times. ✓ Branch 1 taken 4 times. ✓ Branch 2 taken 60377 times. ✓ Branch 3 taken 107 times. ✓ Branch 4 taken 60803 times. ✓ Branch 5 taken 5 times. ✓ Branch 6 taken 180201 times. ✓ Branch 7 taken 7 times. ✓ Branch 8 taken 9281 times. ✓ Branch 9 taken 13 times. ✓ Branch 10 taken 27876 times. ✓ Branch 11 taken 6 times. ✓ Branch 12 taken 16465 times. ✓ Branch 13 taken 1 time. ✓ Branch 14 taken 16446 times. ✓ Branch 15 taken 20 times. ✓ Branch 16 taken 16464 times. ✓ Branch 17 taken 2 times. ✓ Branch 18 taken 47414 times. ✓ Branch 19 taken 4 times. ✓ Branch 20 taken 2199 times. ✓ Branch 21 taken 9 times. ✓ Branch 22 taken 6620 times. ✓ Branch 23 taken 4 times. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✓ Branch 66 taken 575 times. ✗ Branch 67 not taken. ✓ Branch 68 taken 568 times. ✓ Branch 69 taken 7 times. ✓ Branch 70 taken 575 times. ✗ Branch 71 not taken. ✓ Branch 72 taken 575 times. ✗ Branch 73 not taken. ✓ Branch 74 taken 575 times. ✗ Branch 75 not taken. ✓ Branch 76 taken 1723 times. ✓ Branch 77 taken 2 times. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken. ✗ Branch 84 not taken. ✗ Branch 85 not taken. ✗ Branch 86 not taken. ✗ Branch 87 not taken. ✗ Branch 88 not taken. ✗ Branch 89 not taken. ✗ Branch 90 not taken. ✗ Branch 91 not taken. ✗ Branch 92 not taken. ✗ Branch 93 not taken. ✗ Branch 94 not taken. ✗ Branch 95 not taken. ✗ Branch 96 not taken. ✗ Branch 97 not taken. ✗ Branch 98 not taken. ✗ Branch 99 not taken. ✗ Branch 100 not taken. ✗ Branch 101 not taken. ✗ Branch 102 not taken. ✗ Branch 103 not taken. ✗ Branch 104 not taken. ✗ Branch 105 not taken. ✗ Branch 106 not taken. ✗ Branch 107 not taken.	509408x	if (auto* c = std::exchange(desc_slot, nullptr))
230			{
231	14/108 ✓ Branch 0 taken 4 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 107 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 5 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 7 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 13 times. ✗ Branch 9 not taken. ✓ Branch 10 taken 6 times. ✗ Branch 11 not taken. ✓ Branch 12 taken 1 time. ✗ Branch 13 not taken. ✓ Branch 14 taken 20 times. ✗ Branch 15 not taken. ✓ Branch 16 taken 2 times. ✗ Branch 17 not taken. ✓ Branch 18 taken 4 times. ✗ Branch 19 not taken. ✓ Branch 20 taken 9 times. ✗ Branch 21 not taken. ✓ Branch 22 taken 4 times. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✗ Branch 39 not taken. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✗ Branch 57 not taken. ✗ Branch 58 not taken. ✗ Branch 59 not taken. ✗ Branch 60 not taken. ✗ Branch 61 not taken. ✗ Branch 62 not taken. ✗ Branch 63 not taken. ✗ Branch 64 not taken. ✗ Branch 65 not taken. ✗ Branch 66 not taken. ✗ Branch 67 not taken. ✓ Branch 68 taken 7 times. ✗ Branch 69 not taken. ✗ Branch 70 not taken. ✗ Branch 71 not taken. ✗ Branch 72 not taken. ✗ Branch 73 not taken. ✗ Branch 74 not taken. ✗ Branch 75 not taken. ✓ Branch 76 taken 2 times. ✗ Branch 77 not taken. ✗ Branch 78 not taken. ✗ Branch 79 not taken. ✗ Branch 80 not taken. ✗ Branch 81 not taken. ✗ Branch 82 not taken. ✗ Branch 83 not taken. ✗ Branch 84 not taken. ✗ Branch 85 not taken. ✗ Branch 86 not taken. ✗ Branch 87 not taken. ✗ Branch 88 not taken. ✗ Branch 89 not taken. ✗ Branch 90 not taken. ✗ Branch 91 not taken. ✗ Branch 92 not taken. ✗ Branch 93 not taken. ✗ Branch 94 not taken. ✗ Branch 95 not taken. ✗ Branch 96 not taken. ✗ Branch 97 not taken. ✗ Branch 98 not taken. ✗ Branch 99 not taken. ✗ Branch 100 not taken. ✗ Branch 101 not taken. ✗ Branch 102 not taken. ✗ Branch 103 not taken. ✗ Branch 104 not taken. ✗ Branch 105 not taken. ✗ Branch 106 not taken. ✗ Branch 107 not taken.	191x	BOOST_COROSIO_ASSERT(count < max_claimed);
232		191x	claimed[count++] = c;
233		191x	}
234		509408x	});
235		87579x	desc_state_.read_ready = false;
236		87579x	desc_state_.write_ready = false;
237
238			// Must be set under the same lock that invoke_deferred_io
239			// clears is_enqueued_ under, or the object could be destroyed
240			// while the scheduler still holds the queued descriptor_state.
241	10/28 ✓ Branch 0 taken 58443 times. ✓ Branch 1 taken 2041 times. ✓ Branch 2 taken 9240 times. ✓ Branch 3 taken 11 times. ✓ Branch 4 taken 16030 times. ✓ Branch 5 taken 21 times. ✓ Branch 6 taken 1217 times. ✓ Branch 7 taken 1 time. ✗ Branch 8 not taken. ✗ Branch 9 not taken. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 572 times. ✓ Branch 19 taken 3 times. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	87579x	if (desc_state_.is_enqueued_.load(std::memory_order_acquire))
242		2077x	desc_state_.impl_ref_ = self;
243		87579x	}
244		87579x	post_claimed(claimed, count, self);
245		87579x	}
246
247			/// Drop the reactor registration of @a fd and reset the state.
248		87579x	void unregister_fd(int fd) noexcept
249			{
250	18/56 ✓ Branch 0 taken 13301 times. ✓ Branch 1 taken 47183 times. ✓ Branch 2 taken 5 times. ✓ Branch 3 taken 13296 times. ✓ Branch 4 taken 2318 times. ✓ Branch 5 taken 6933 times. ✓ Branch 6 taken 42 times. ✓ Branch 7 taken 2276 times. ✓ Branch 8 taken 3546 times. ✓ Branch 9 taken 12505 times. ✗ Branch 10 not taken. ✓ Branch 11 taken 3546 times. ✓ Branch 12 taken 291 times. ✓ Branch 13 taken 927 times. ✓ Branch 14 taken 35 times. ✓ Branch 15 taken 256 times. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✗ Branch 18 not taken. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken. ✗ Branch 28 not taken. ✗ Branch 29 not taken. ✗ Branch 30 not taken. ✗ Branch 31 not taken. ✗ Branch 32 not taken. ✗ Branch 33 not taken. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✓ Branch 36 taken 138 times. ✓ Branch 37 taken 437 times. ✗ Branch 38 not taken. ✓ Branch 39 taken 138 times. ✗ Branch 40 not taken. ✗ Branch 41 not taken. ✗ Branch 42 not taken. ✗ Branch 43 not taken. ✗ Branch 44 not taken. ✗ Branch 45 not taken. ✗ Branch 46 not taken. ✗ Branch 47 not taken. ✗ Branch 48 not taken. ✗ Branch 49 not taken. ✗ Branch 50 not taken. ✗ Branch 51 not taken. ✗ Branch 52 not taken. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken.	87579x	if (fd >= 0 && desc_state_.registered_events != 0)
251	5/22 ✓ Branch 0 taken 13296 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 160 times. ✓ Branch 2 taken 3408 times. ✗ Branch 2 not taken. ✗ Branch 3 not taken. ✗ Branch 3 not taken. ✗ Branch 3 not taken. ✓ Branch 4 taken 256 times. ✗ Branch 4 not taken. ✗ Branch 5 not taken. ✗ Branch 5 not taken. ✓ Branch 6 taken 138 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken.	19512x	svc_.scheduler().deregister_descriptor(fd);
252		87579x	desc_state_.fd = -1;
253		87579x	desc_state_.registered_events = 0;
254		87579x	desc_state_.unpollable = false;
255		87579x	}
256
257			private:
258			// A claim empties its slot, so no more ops are claimed than
259			// descriptor_state has slots (read, write, connect, wait_read,
260			// wait_write, wait_error), however many ops share them.
261			static constexpr int max_claimed = 6;
262
263		87837x	void post_claimed(
264			reactor_op_base** claimed,
265			int count,
266			std::shared_ptr<Derived> const& self) noexcept
267			{
268	10/28 ✓ Branch 0 taken 209 times. ✓ Branch 1 taken 60654 times. ✓ Branch 2 taken 43 times. ✓ Branch 3 taken 9272 times. ✓ Branch 4 taken 66 times. ✓ Branch 5 taken 16102 times. ✓ Branch 6 taken 19 times. ✓ Branch 7 taken 1228 times. ✗ Branch 8 not taken. ✗ Branch 9 not taken. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 15 times. ✓ Branch 19 taken 581 times. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	88189x	for (int i = 0; i < count; ++i)
269			{
270		352x	claimed[i]->impl_ptr = self;
271	5/28 ✓ Branch 0 taken 209 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 43 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 66 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 19 times. ✗ 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 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ Branch 16 not taken. ✗ Branch 17 not taken. ✓ Branch 18 taken 15 times. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✗ Branch 21 not taken. ✗ Branch 22 not taken. ✗ Branch 23 not taken. ✗ Branch 24 not taken. ✗ Branch 25 not taken. ✗ Branch 26 not taken. ✗ Branch 27 not taken.	352x	svc_.post(claimed[i]);
272		352x	svc_.work_finished();
273		352x	}
274		87837x	}
275			};
276
277			} // namespace boost::corosio::detail
278
279			#endif // BOOST_COROSIO_NATIVE_DETAIL_REACTOR_REACTOR_IO_CORE_HPP
280