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

98.0% Lines (144 / 147) 17.9% Branches (439 / 2450) 97.8% Functions (538 / 550)

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

reactor_io_core.hpp

f(x) Functions (550)

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/detail/object_ref.hpp>
15			#include <boost/corosio/native/detail/reactor/reactor_op_base.hpp>
16
17			#include <atomic>
18			#include <cstring>
19			#include <mutex>
20			#include <system_error>
21			#include <utility>
22
23			#include <errno.h>
24
25			/* Shared reactor I/O protocol.
26
27			One implementation of the register/park/cancel/teardown protocol
28			for every reactor-backed object -- stream and datagram sockets,
29			acceptors, and posix descriptors -- over a backend's
30			descriptor_state. Asio keeps the same protocol in its reactor
31			(start_op, cancel_ops, deregister_descriptor); services and the
32			objects' own verbs stay per type.
33
34			Derived supplies its op slots through for_each_op,
35			for_each_desc_entry and op_to_desc_slot, and is an
36			io_object::implementation whose callers hold a reference on it.
37			*/
38
39			namespace boost::corosio::detail {
40
41			/** CRTP base holding the reactor parking and cancel protocol.
42
43			@tparam Derived The concrete object type (CRTP).
44			@tparam Service The backend service that owns Derived.
45			@tparam DescState The backend's descriptor_state type.
46			*/
47			template<class Derived, class Service, class DescState>
48			class reactor_io_core
49			{
50		353853x	Derived* self_ptr() noexcept
51			{
52		353853x	return static_cast<Derived*>(this);
53			}
54
55			protected:
56			// NOLINTNEXTLINE(bugprone-crtp-constructor-accessibility)
57		9690x	explicit reactor_io_core(Service& svc) noexcept : svc_(svc) {}
58
59			Service& svc_;
60
61			public:
62			/// Per-descriptor state for persistent reactor registration.
63			DescState desc_state_;
64
65			/** Cancel a single pending operation.
66
67			Claims the operation from its descriptor_state slot under
68			the mutex and posts it to the scheduler as cancelled.
69			*/
70			template<class Op>
71		2041x	void cancel_single_op(Op& op) noexcept
72			{
73		2041x	op.request_cancel();
74
75		2041x	reactor_op_base** desc_op_ptr = self_ptr()->op_to_desc_slot(op);
76	5/28 ✓ Branch 0 taken 1068 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 463 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 243 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 262 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.	2041x	if (!desc_op_ptr)
77		✗	return;
78
79		2041x	reactor_op_base* claimed = nullptr;
80			{
81	5/28 ✓ Branch 0 taken 1068 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 463 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 243 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 262 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.	2041x	std::lock_guard lock(desc_state_.mutex);
82	9/28 ✓ Branch 0 taken 27 times. ✓ Branch 1 taken 1041 times. ✓ Branch 2 taken 180 times. ✓ Branch 3 taken 283 times. ✓ Branch 4 taken 47 times. ✓ Branch 5 taken 196 times. ✓ Branch 6 taken 181 times. ✓ Branch 7 taken 81 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.	2041x	if (*desc_op_ptr == &op)
83			{
84		1606x	claimed = std::exchange(*desc_op_ptr, nullptr);
85		1606x	svc_.scheduler().cancel_posting_begin();
86		1606x	}
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		2041x	}
93	9/28 ✓ Branch 0 taken 1041 times. ✓ Branch 1 taken 27 times. ✓ Branch 2 taken 283 times. ✓ Branch 3 taken 180 times. ✓ Branch 4 taken 196 times. ✓ Branch 5 taken 47 times. ✓ Branch 6 taken 81 times. ✓ Branch 7 taken 181 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 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.	2041x	if (claimed)
94			{
95		1606x	op.object_ref_ = detail::object_ref(self_ptr());
96	5/28 ✓ Branch 0 taken 1041 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 283 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 196 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 81 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.	1606x	svc_.scheduler().post_counted(&op);
97		1606x	svc_.scheduler().cancel_posting_end();
98		1606x	}
99		2041x	}
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		20627x	std::error_code register_fd(int fd) noexcept
108			{
109			{
110			// A completion from an earlier registration may still read
111			// these under the mutex.
112	5/28 ✓ Branch 0 taken 15261 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 214 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 5004 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 142 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.	20627x	std::lock_guard lock(desc_state_.mutex);
113		20627x	desc_state_.fd = fd;
114		20627x	self_ptr()->for_each_desc_entry(
115		124581x	[](auto&, reactor_op_base*& slot) { slot = nullptr; });
116		20627x	}
117	12/56 ✓ Branch 0 taken 15261 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2 times. ✓ Branch 3 taken 15259 times. ✓ Branch 4 taken 214 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 2 times. ✓ Branch 7 taken 212 times. ✓ Branch 8 taken 5004 times. ✗ Branch 9 not taken. ✗ Branch 10 not taken. ✓ Branch 11 taken 5004 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 142 times. ✗ Branch 37 not taken. ✗ Branch 38 not taken. ✓ Branch 39 taken 142 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.	20627x	if (auto ec = svc_.scheduler().register_descriptor(fd, &desc_state_))
118			{
119	2/28 ✓ Branch 0 taken 2 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2 times. ✗ 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.	4x	std::lock_guard lock(desc_state_.mutex);
120		4x	desc_state_.fd = -1;
121		4x	desc_state_.registered_events = 0;
122			return ec;
123		4x	}
124		20623x	return {};
125		20627x	}
126
127			/** Register an op with the reactor.
128
129			Handles cached edge events. Called on the EAGAIN/EINPROGRESS
130			path when speculative I/O failed.
131			*/
132			template<class Op>
133		105793x	void register_op(
134			Op& op,
135			reactor_op_base*& desc_slot,
136			bool& ready_flag,
137			bool is_write_direction = false) noexcept
138			{
139		105793x	svc_.work_started();
140	17/84 ✓ Branch 0 taken 12 times. ✓ Branch 1 taken 55005 times. ✓ Branch 2 taken 1 time. ✓ Branch 3 taken 525 times. ✗ Branch 4 not taken. ✓ Branch 5 taken 12389 times. ✓ Branch 6 taken 2 times. ✓ Branch 7 taken 63 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 34929 times. ✗ Branch 10 not taken. ✓ Branch 11 taken 553 times. ✗ Branch 12 not taken. ✓ Branch 13 taken 2212 times. ✓ Branch 14 taken 1 time. ✓ Branch 15 taken 33 times. ✗ Branch 16 not taken. ✓ Branch 17 taken 20 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 30 times. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✓ Branch 57 taken 5 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.	105793x	if (park_op(op, desc_slot, ready_flag, is_write_direction))
141		105777x	return;
142			// Posted after the descriptor lock is released: the scheduler
143			// takes its own lock before descriptor locks.
144	4/84 ✓ Branch 0 taken 12 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 1 time. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✗ Branch 5 not taken. ✓ Branch 6 taken 2 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 taken 1 time. ✗ 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.	16x	svc_.scheduler().post_counted(&op);
145		105793x	}
146
147			/// Cancel every pending operation.
148		303x	void cancel_all() noexcept
149			{
150		2067x	self_ptr()->for_each_op([](auto& op) { op.request_cancel(); });
151
152			reactor_op_base* claimed[max_claimed];
153		303x	int count = 0;
154			{
155	5/28 ✓ Branch 0 taken 188 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 43 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 53 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 13 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.	303x	std::lock_guard lock(desc_state_.mutex);
156		606x	self_ptr()->for_each_desc_entry(
157		2067x	[&](auto& op, reactor_op_base*& desc_slot) {
158	33/108 ✓ Branch 0 taken 169 times. ✓ Branch 1 taken 19 times. ✓ Branch 2 taken 116 times. ✓ Branch 3 taken 72 times. ✓ Branch 4 taken 229 times. ✓ Branch 5 taken 3 times. ✓ Branch 6 taken 487 times. ✓ Branch 7 taken 27 times. ✓ Branch 8 taken 32 times. ✓ Branch 9 taken 7 times. ✓ Branch 10 taken 108 times. ✓ Branch 11 taken 9 times. ✓ Branch 12 taken 59 times. ✓ Branch 13 taken 1 time. ✓ Branch 14 taken 35 times. ✓ Branch 15 taken 25 times. ✓ Branch 16 taken 59 times. ✓ Branch 17 taken 1 time. ✓ Branch 18 taken 138 times. ✓ Branch 19 taken 16 times. ✓ Branch 20 taken 20 times. ✓ Branch 21 taken 6 times. ✓ Branch 22 taken 69 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.	1764x	if (desc_slot == &op)
159			{
160	15/108 ✓ Branch 0 taken 19 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 27 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 7 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 25 times. ✗ Branch 15 not taken. ✓ Branch 16 taken 1 time. ✗ Branch 17 not taken. ✓ Branch 18 taken 16 times. ✗ Branch 19 not taken. ✓ Branch 20 taken 6 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.	201x	BOOST_COROSIO_ASSERT(count < max_claimed);
161		201x	claimed[count++] = std::exchange(desc_slot, nullptr);
162		201x	}
163		1764x	});
164		303x	}
165		303x	post_claimed(claimed, count);
166		303x	}
167
168			/** Cancel every operation, drop the reactor registration, and
169			claim every parked op for teardown.
170
171			Deregistration hands a reference to the scheduler, which keeps
172			the object alive while a reactor pass may still deliver an
173			event for the descriptor. Afterwards the descriptor state reads
174			as closed, so the caller may close or release the fd.
175			*/
176		146094x	void abandon_all() noexcept
177			{
178		996077x	self_ptr()->for_each_op([](auto& op) { op.request_cancel(); });
179
180		146094x	int fd = -1;
181		146094x	bool registered = false;
182			{
183	7/28 ✓ Branch 0 taken 93766 times. ✓ Branch 1 taken 10 times. ✓ Branch 2 taken 11436 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 35627 times. ✓ Branch 5 taken 1 time. ✓ Branch 6 taken 4617 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 659 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.	146115x	std::lock_guard lock(desc_state_.mutex);
184		146105x	fd = desc_state_.fd;
185		146105x	registered = desc_state_.registered_events != 0;
186		146105x	}
187	18/56 ✓ Branch 0 taken 22494 times. ✓ Branch 1 taken 71272 times. ✓ Branch 2 taken 22488 times. ✓ Branch 3 taken 6 times. ✓ Branch 4 taken 2822 times. ✓ Branch 5 taken 8614 times. ✓ Branch 6 taken 2775 times. ✓ Branch 7 taken 47 times. ✓ Branch 8 taken 9358 times. ✓ Branch 9 taken 26269 times. ✓ Branch 10 taken 9358 times. ✗ Branch 11 not taken. ✓ Branch 12 taken 1110 times. ✓ Branch 13 taken 3507 times. ✓ Branch 14 taken 1070 times. ✓ Branch 15 taken 40 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 142 times. ✓ Branch 37 taken 517 times. ✓ Branch 38 taken 142 times. ✗ 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.	146105x	if (fd >= 0 && registered)
188			{
189	5/16 ✓ Branch 0 taken 22490 times. ✓ Branch 1 taken 2 times. ✓ Branch 2 taken 9421 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 1070 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 142 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.	35833x	svc_.scheduler().deregister_descriptor(fd);
190	12/56 ✓ Branch 0 taken 22487 times. ✓ Branch 1 taken 3 times. ✓ Branch 2 taken 22487 times. ✓ Branch 3 taken 3 times. ✓ Branch 4 taken 2775 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 2775 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 9358 times. ✗ Branch 9 not taken. ✓ Branch 10 taken 9358 times. ✗ Branch 11 not taken. ✓ Branch 12 taken 1070 times. ✗ Branch 13 not taken. ✓ Branch 14 taken 1070 times. ✗ 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 taken 142 times. ✗ Branch 37 not taken. ✓ Branch 38 taken 142 times. ✗ 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.	71670x	svc_.scheduler().retire_descriptor(
191		35835x	desc_state_, detail::object_ref(self_ptr()));
192		35832x	}
193
194			reactor_op_base* claimed[max_claimed];
195		146104x	int count = 0;
196			{
197	7/28 ✓ Branch 0 taken 93750 times. ✓ Branch 1 taken 15 times. ✓ Branch 2 taken 11436 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 35626 times. ✓ Branch 5 taken 1 time. ✓ Branch 6 taken 4617 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 659 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.	146104x	std::lock_guard lock(desc_state_.mutex);
198		292176x	self_ptr()->for_each_desc_entry(
199		996303x	[&](auto& /op/, reactor_op_base*& desc_slot) {
200	32/108 ✓ Branch 0 taken 93762 times. ✓ Branch 1 taken 12 times. ✓ Branch 2 taken 93603 times. ✓ Branch 3 taken 162 times. ✓ Branch 4 taken 94376 times. ✓ Branch 5 taken 7 times. ✓ Branch 6 taken 279567 times. ✓ Branch 7 taken 7 times. ✓ Branch 8 taken 11276 times. ✓ Branch 9 taken 202 times. ✓ Branch 10 taken 34428 times. ✓ Branch 11 taken 6 times. ✓ Branch 12 taken 36116 times. ✓ Branch 13 taken 9 times. ✓ Branch 14 taken 36048 times. ✓ Branch 15 taken 78 times. ✓ Branch 16 taken 36125 times. ✓ Branch 17 taken 1 time. ✓ Branch 18 taken 106062 times. ✓ Branch 19 taken 4 times. ✓ Branch 20 taken 5407 times. ✓ Branch 21 taken 366 times. ✓ Branch 22 taken 17315 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 659 times. ✗ Branch 67 not taken. ✓ Branch 68 taken 652 times. ✓ Branch 69 taken 7 times. ✓ Branch 70 taken 659 times. ✗ Branch 71 not taken. ✓ Branch 72 taken 659 times. ✗ Branch 73 not taken. ✓ Branch 74 taken 659 times. ✗ Branch 75 not taken. ✓ Branch 76 taken 1975 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.	850215x	if (auto* c = std::exchange(desc_slot, nullptr))
201			{
202	14/108 ✓ Branch 0 taken 12 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 162 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 7 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 7 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 202 times. ✗ Branch 9 not taken. ✓ Branch 10 taken 6 times. ✗ Branch 11 not taken. ✓ Branch 12 taken 9 times. ✗ Branch 13 not taken. ✓ Branch 14 taken 78 times. ✗ Branch 15 not taken. ✓ Branch 16 taken 1 time. ✗ Branch 17 not taken. ✓ Branch 18 taken 4 times. ✗ Branch 19 not taken. ✓ Branch 20 taken 366 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.	867x	BOOST_COROSIO_ASSERT(count < max_claimed);
203		867x	claimed[count++] = c;
204		867x	}
205		850215x	});
206		146088x	desc_state_.read_ready = false;
207		146088x	desc_state_.write_ready = false;
208			// Cleared before the fd is closed: a queued completion reads
209			// it under this mutex, and the number can be reused once
210			// closed.
211		146088x	desc_state_.fd = -1;
212		146088x	desc_state_.registered_events = 0;
213		146088x	desc_state_.unpollable = false;
214		146088x	}
215		146088x	post_claimed(claimed, count);
216		146088x	}
217
218			/** Reset the descriptor state a recycled object starts from.
219
220			Every field is reset rather than asserted so a debug build may
221			poison them on retirement. References and the queued flag are
222			asserted: nothing may hold one once the count reached zero.
223			*/
224		35483x	void reset_desc_state() noexcept
225			{
226		35483x	desc_state_.fd = -1;
227		35483x	desc_state_.registered_events = 0;
228		35483x	desc_state_.unpollable = false;
229		35483x	desc_state_.read_op = nullptr;
230		35483x	desc_state_.write_op = nullptr;
231		35483x	desc_state_.connect_op = nullptr;
232		35483x	desc_state_.wait_read_op = nullptr;
233		35483x	desc_state_.wait_write_op = nullptr;
234		35483x	desc_state_.wait_error_op = nullptr;
235		35483x	desc_state_.read_ready = false;
236		35483x	desc_state_.write_ready = false;
237	5/56 ✗ Branch 0 not taken. ✓ Branch 1 taken 24213 times. ✗ Branch 2 not taken. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✓ Branch 5 taken 1463 times. ✗ Branch 6 not taken. ✗ Branch 7 not taken. ✗ Branch 8 not taken. ✓ Branch 9 taken 9413 times. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✓ Branch 13 taken 361 times. ✗ 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 taken 33 times. ✗ 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.	35483x	BOOST_COROSIO_ASSERT(!desc_state_.object_ref_);
238	5/56 ✗ Branch 0 not taken. ✓ Branch 1 taken 24213 times. ✗ Branch 2 not taken. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✓ Branch 5 taken 1463 times. ✗ Branch 6 not taken. ✗ Branch 7 not taken. ✗ Branch 8 not taken. ✓ Branch 9 taken 9413 times. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✓ Branch 13 taken 361 times. ✗ 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 taken 33 times. ✗ 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.	35483x	BOOST_COROSIO_ASSERT(!desc_state_.retired_ref_);
239	5/56 ✗ Branch 0 not taken. ✓ Branch 1 taken 24213 times. ✗ Branch 2 not taken. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✓ Branch 5 taken 1463 times. ✗ Branch 6 not taken. ✗ Branch 7 not taken. ✗ Branch 8 not taken. ✓ Branch 9 taken 9413 times. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✓ Branch 13 taken 361 times. ✗ 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 taken 33 times. ✗ 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.	35483x	BOOST_COROSIO_ASSERT(!desc_state_.dropped_ref_);
240	5/56 ✗ Branch 0 not taken. ✓ Branch 1 taken 24213 times. ✗ Branch 2 not taken. ✗ Branch 3 not taken. ✗ Branch 4 not taken. ✓ Branch 5 taken 1463 times. ✗ Branch 6 not taken. ✗ Branch 7 not taken. ✗ Branch 8 not taken. ✓ Branch 9 taken 9413 times. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✓ Branch 13 taken 361 times. ✗ 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 taken 33 times. ✗ 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.	35483x	BOOST_COROSIO_ASSERT(
241			!desc_state_.is_enqueued_.load(std::memory_order_relaxed));
242		35483x	}
243
244			#if !defined(NDEBUG)
245			/** Poison the descriptor fields `reset_desc_state()` re-initializes.
246
247			Leaves the mutex, the atomics, `scheduler_`, the references and
248			the retirement links alone: the scheduler and `recycle()` may
249			still read them.
250			*/
251		45177x	void poison_desc_state() noexcept
252			{
253		542124x	auto smash = [](auto& field) {
254		496947x	std::memset(static_cast<void*>(&field), 0xDB, sizeof(field));
255		496947x	};
256	5/28 ✓ Branch 0 taken 29116 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45183x	smash(desc_state_.fd);
257	5/28 ✓ Branch 0 taken 29116 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45177x	smash(desc_state_.registered_events);
258	6/28 ✓ Branch 0 taken 29117 times. ✓ Branch 1 taken 1 time. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45177x	smash(desc_state_.unpollable);
259	5/28 ✓ Branch 0 taken 29117 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45178x	smash(desc_state_.read_op);
260	5/28 ✓ Branch 0 taken 29117 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45178x	smash(desc_state_.write_op);
261	6/28 ✓ Branch 0 taken 29116 times. ✓ Branch 1 taken 1 time. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45178x	smash(desc_state_.connect_op);
262	5/28 ✓ Branch 0 taken 29116 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45177x	smash(desc_state_.wait_read_op);
263	5/28 ✓ Branch 0 taken 29116 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45177x	smash(desc_state_.wait_write_op);
264	5/28 ✓ Branch 0 taken 29116 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45177x	smash(desc_state_.wait_error_op);
265	6/28 ✓ Branch 0 taken 29117 times. ✓ Branch 1 taken 1 time. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45177x	smash(desc_state_.read_ready);
266	6/28 ✓ Branch 0 taken 29114 times. ✓ Branch 1 taken 3 times. ✓ Branch 2 taken 2965 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 11717 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 1192 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 187 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.	45178x	smash(desc_state_.write_ready);
267		45175x	}
268			#endif
269
270			private:
271			// A claim empties its slot, so no more ops are claimed than
272			// descriptor_state has slots (read, write, connect, wait_read,
273			// wait_write, wait_error), however many ops share them.
274			static constexpr int max_claimed = 6;
275
276			/** Park @a op unless it can complete now.
277
278			@return True if parked; false if the caller must post it.
279			*/
280			template<class Op>
281		105792x	bool park_op(
282			Op& op,
283			reactor_op_base*& desc_slot,
284			bool& ready_flag,
285			bool is_write_direction) noexcept
286			{
287	13/84 ✓ Branch 0 taken 55017 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 526 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 12388 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 65 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 34929 times. ✗ Branch 9 not taken. ✓ Branch 10 taken 553 times. ✗ Branch 11 not taken. ✓ Branch 12 taken 2212 times. ✗ Branch 13 not taken. ✓ Branch 14 taken 34 times. ✗ Branch 15 not taken. ✓ Branch 16 taken 20 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 30 times. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✓ Branch 56 taken 5 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.	105792x	std::lock_guard lock(desc_state_.mutex);
288	20/84 ✓ Branch 0 taken 54704 times. ✓ Branch 1 taken 313 times. ✓ Branch 2 taken 526 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 12376 times. ✓ Branch 5 taken 12 times. ✓ Branch 6 taken 37 times. ✓ Branch 7 taken 28 times. ✓ Branch 8 taken 34925 times. ✓ Branch 9 taken 4 times. ✓ Branch 10 taken 541 times. ✓ Branch 11 taken 12 times. ✓ Branch 12 taken 2212 times. ✗ Branch 13 not taken. ✓ Branch 14 taken 6 times. ✓ Branch 15 taken 28 times. ✓ Branch 16 taken 11 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 30 times. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✓ Branch 56 taken 5 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.	105792x	if (ready_flag)
289			{
290		419x	ready_flag = false;
291		419x	op.perform_io();
292	15/168 ✓ Branch 0 taken 12 times. ✓ Branch 1 taken 301 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 12 times. ✗ Branch 4 not taken. ✗ Branch 5 not taken. ✗ Branch 6 not taken. ✗ Branch 7 not taken. ✗ Branch 8 not taken. ✓ Branch 9 taken 12 times. ✗ Branch 10 not taken. ✗ Branch 11 not taken. ✓ Branch 12 taken 1 time. ✓ Branch 13 taken 27 times. ✗ Branch 14 not taken. ✓ Branch 15 taken 1 time. ✗ Branch 16 not taken. ✓ Branch 17 taken 4 times. ✗ Branch 18 not taken. ✗ Branch 19 not taken. ✗ Branch 20 not taken. ✓ Branch 21 taken 12 times. ✗ 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 taken 1 time. ✓ Branch 29 taken 27 times. ✗ Branch 30 not taken. ✓ Branch 31 taken 1 time. ✗ Branch 32 not taken. ✓ Branch 33 taken 9 times. ✗ Branch 34 not taken. ✗ Branch 35 not taken. ✗ Branch 36 not taken. ✓ Branch 37 taken 4 times. ✗ 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 taken 9 times. ✗ 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.	419x	if (op.errn != EAGAIN && op.errn != EWOULDBLOCK)
293		14x	return false;
294		405x	op.errn = 0;
295		405x	}
296
297	14/84 ✗ Branch 0 not taken. ✓ Branch 1 taken 55005 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 526 times. ✗ Branch 4 not taken. ✓ Branch 5 taken 12388 times. ✓ Branch 6 taken 1 time. ✓ Branch 7 taken 63 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 34929 times. ✗ Branch 10 not taken. ✓ Branch 11 taken 553 times. ✗ Branch 12 not taken. ✓ Branch 13 taken 2212 times. ✗ Branch 14 not taken. ✓ Branch 15 taken 33 times. ✗ Branch 16 not taken. ✓ Branch 17 taken 20 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 30 times. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✗ Branch 56 not taken. ✓ Branch 57 taken 5 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.	105778x	if (op.cancelled.load(std::memory_order_acquire))
298		1x	return false;
299
300	18/84 ✗ Branch 0 not taken. ✓ Branch 1 taken 55005 times. ✗ Branch 2 not taken. ✓ Branch 3 taken 526 times. ✗ Branch 4 not taken. ✓ Branch 5 taken 12388 times. ✓ Branch 6 taken 31 times. ✓ Branch 7 taken 32 times. ✓ Branch 8 taken 34925 times. ✓ Branch 9 taken 4 times. ✓ Branch 10 taken 526 times. ✓ Branch 11 taken 27 times. ✓ Branch 12 taken 2212 times. ✗ Branch 13 not taken. ✓ Branch 14 taken 28 times. ✓ Branch 15 taken 5 times. ✓ Branch 16 taken 11 times. ✓ Branch 17 taken 9 times. ✓ 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 30 times. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✓ Branch 56 taken 5 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.	105777x	if (desc_state_.unpollable)
301			{
302			// Nothing will ever report readiness for this fd.
303		✗	op.complete(EOPNOTSUPP, 0);
304		✗	return false;
305			}
306
307	20/84 ✓ Branch 0 taken 55004 times. ✓ Branch 1 taken 1 time. ✓ Branch 2 taken 8 times. ✓ Branch 3 taken 518 times. ✓ Branch 4 taken 9 times. ✓ Branch 5 taken 12379 times. ✓ Branch 6 taken 63 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 34926 times. ✓ Branch 9 taken 3 times. ✓ Branch 10 taken 36 times. ✓ Branch 11 taken 517 times. ✓ Branch 12 taken 5 times. ✓ Branch 13 taken 2207 times. ✓ Branch 14 taken 28 times. ✓ Branch 15 taken 5 times. ✓ Branch 16 taken 20 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 30 times. ✗ Branch 53 not taken. ✗ Branch 54 not taken. ✗ Branch 55 not taken. ✓ Branch 56 taken 5 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.	105777x	if (is_write_direction)
308			{
309	16/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 517 times. ✓ Branch 6 taken 1 time. ✓ Branch 7 taken 517 times. ✗ Branch 8 not taken. ✓ Branch 9 taken 12379 times. ✗ Branch 10 not taken. ✓ Branch 11 taken 12379 times. ✗ Branch 12 not taken. ✗ Branch 13 not taken. ✗ Branch 14 not taken. ✗ Branch 15 not taken. ✗ 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 517 times. ✗ Branch 22 not taken. ✓ Branch 23 taken 517 times. ✗ Branch 24 not taken. ✓ Branch 25 taken 2207 times. ✗ Branch 26 not taken. ✓ Branch 27 taken 2207 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.	31260x	if (auto ec = svc_.scheduler().ensure_write_registered(
310		15630x	desc_state_.fd, &desc_state_))
311			{
312		1x	op.complete(ec.value(), 0);
313		1x	return false;
314			}
315		15629x	}
316
317		105776x	desc_slot = &op;
318			// Select rebuilds its fd_sets from parked ops only, so parking
319			// must wake it, under the lock: once released, the op can
320			// complete and its context be destroyed. Compiled away for
321			// epoll and kqueue.
322			if constexpr (Service::needs_park_notification)
323	8/42 ✓ Branch 0 taken 34954 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 521 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 2220 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 38 times. ✗ Branch 7 not taken. ✓ Branch 8 taken 4 times. ✗ Branch 9 not taken. ✓ Branch 10 taken 30 times. ✗ Branch 11 not taken. ✗ Branch 12 not taken. ✗ Branch 13 not taken. ✓ Branch 14 taken 5 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.	37781x	svc_.scheduler().notify_reactor();
324		105776x	return true;
325		105792x	}
326
327		146423x	void post_claimed(reactor_op_base** claimed, int count) noexcept
328			{
329	10/28 ✓ Branch 0 taken 289 times. ✓ Branch 1 taken 93965 times. ✓ Branch 2 taken 253 times. ✓ Branch 3 taken 11479 times. ✓ Branch 4 taken 132 times. ✓ Branch 5 taken 35684 times. ✓ Branch 6 taken 379 times. ✓ Branch 7 taken 4630 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 665 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.	147491x	for (int i = 0; i < count; ++i)
330			{
331		1068x	claimed[i]->object_ref_ = detail::object_ref(self_ptr());
332	5/28 ✓ Branch 0 taken 289 times. ✗ Branch 1 not taken. ✓ Branch 2 taken 253 times. ✗ Branch 3 not taken. ✓ Branch 4 taken 132 times. ✗ Branch 5 not taken. ✓ Branch 6 taken 379 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.	1068x	svc_.scheduler().post_counted(claimed[i]);
333		1068x	}
334		146423x	}
335			};
336
337			} // namespace boost::corosio::detail
338
339			#endif // BOOST_COROSIO_NATIVE_DETAIL_REACTOR_REACTOR_IO_CORE_HPP
340