TLA Line data 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_POSIX_POSIX_RANDOM_ACCESS_FILE_SERVICE_HPP
11 : #define BOOST_COROSIO_NATIVE_DETAIL_POSIX_POSIX_RANDOM_ACCESS_FILE_SERVICE_HPP
12 :
13 : #include <boost/corosio/detail/platform.hpp>
14 :
15 : #if BOOST_COROSIO_POSIX
16 :
17 : #include <boost/corosio/native/detail/posix/posix_random_access_file.hpp>
18 : #include <boost/corosio/native/detail/reactor/reactor_scheduler.hpp>
19 : #include <boost/corosio/detail/random_access_file_service.hpp>
20 : #include <boost/corosio/detail/thread_pool.hpp>
21 :
22 : #include <limits>
23 : #include <mutex>
24 : #include <unordered_map>
25 :
26 : namespace boost::corosio::detail {
27 :
28 : /** Random-access file service for POSIX backends. */
29 : class BOOST_COROSIO_DECL posix_random_access_file_service final
30 : : public random_access_file_service
31 : {
32 : public:
33 HIT 1790 : posix_random_access_file_service(
34 : capy::execution_context& ctx, scheduler& sched)
35 3580 : : sched_(&sched)
36 1790 : , pool_(ctx)
37 : {
38 1790 : }
39 :
40 3580 : ~posix_random_access_file_service() override = default;
41 :
42 : posix_random_access_file_service(
43 : posix_random_access_file_service const&) = delete;
44 : posix_random_access_file_service& operator=(
45 : posix_random_access_file_service const&) = delete;
46 :
47 105 : io_object::implementation* construct() override
48 : {
49 105 : auto ptr = std::make_shared<posix_random_access_file>(*this);
50 105 : auto* impl = ptr.get();
51 :
52 : {
53 105 : std::lock_guard<std::mutex> lock(mutex_);
54 105 : file_list_.push_back(impl);
55 105 : file_ptrs_[impl] = std::move(ptr);
56 105 : }
57 :
58 105 : return impl;
59 105 : }
60 :
61 103 : void destroy(io_object::implementation* p) override
62 : {
63 103 : auto& impl = static_cast<posix_random_access_file&>(*p);
64 103 : impl.cancel();
65 103 : impl.close_file();
66 103 : destroy_impl(impl);
67 103 : }
68 :
69 187 : void close(io_object::handle& h) override
70 : {
71 187 : if (h.get())
72 : {
73 187 : auto& impl = static_cast<posix_random_access_file&>(*h.get());
74 187 : impl.cancel();
75 187 : impl.close_file();
76 : }
77 187 : }
78 :
79 91 : std::error_code open_file(
80 : random_access_file::implementation& impl,
81 : std::filesystem::path const& path,
82 : file_base::flags mode) override
83 : {
84 : // Unavailable in the unsafe tier: the file thread pool completes
85 : // cross-thread, which the lockless scheduler cannot accept.
86 91 : if (sched_->scheduler_locking_disabled())
87 MIS 0 : return std::make_error_code(std::errc::operation_not_supported);
88 HIT 91 : return static_cast<posix_random_access_file&>(impl).open_file(
89 91 : path, mode);
90 : }
91 :
92 1790 : void shutdown() override
93 : {
94 1790 : std::lock_guard<std::mutex> lock(mutex_);
95 1792 : for (auto* impl = file_list_.pop_front(); impl != nullptr;
96 2 : impl = file_list_.pop_front())
97 : {
98 2 : impl->cancel();
99 2 : impl->close_file();
100 : }
101 1790 : file_ptrs_.clear();
102 1790 : }
103 :
104 103 : void destroy_impl(posix_random_access_file& impl)
105 : {
106 103 : std::lock_guard<std::mutex> lock(mutex_);
107 103 : file_list_.remove(&impl);
108 103 : file_ptrs_.erase(&impl);
109 103 : }
110 :
111 324 : void post(scheduler_op* op)
112 : {
113 324 : sched_->post(op);
114 324 : }
115 :
116 : void work_started() noexcept
117 : {
118 : sched_->work_started();
119 : }
120 :
121 : void work_finished() noexcept
122 : {
123 : sched_->work_finished();
124 : }
125 :
126 : /** Return the thread pool that runs this service's file work.
127 :
128 : The pool's service is created on first use, so this can fail
129 : where a plain accessor could not. Its workers start later, on
130 : the first post, and a thread the system refuses there is
131 : reported by that post rather than thrown here.
132 :
133 : @throws std::bad_alloc If the service cannot be allocated.
134 :
135 : @return The context's shared blocking-I/O pool.
136 :
137 : @see thread_pool_ref::get
138 : */
139 324 : thread_pool& pool()
140 : {
141 324 : return pool_.get();
142 : }
143 :
144 : private:
145 : scheduler* sched_;
146 : thread_pool_ref pool_;
147 : std::mutex mutex_;
148 : intrusive_list<posix_random_access_file> file_list_;
149 : std::unordered_map<
150 : posix_random_access_file*,
151 : std::shared_ptr<posix_random_access_file>>
152 : file_ptrs_;
153 : };
154 :
155 : /** Get or create the random-access file service for the given context. */
156 : inline posix_random_access_file_service&
157 1790 : get_random_access_file_service(capy::execution_context& ctx, scheduler& sched)
158 : {
159 1790 : return ctx.make_service<posix_random_access_file_service>(sched);
160 : }
161 :
162 : // ---------------------------------------------------------------------------
163 : // posix_random_access_file inline implementations (require complete service)
164 : // ---------------------------------------------------------------------------
165 :
166 : inline std::coroutine_handle<>
167 293 : posix_random_access_file::read_some_at(
168 : std::uint64_t offset,
169 : std::coroutine_handle<> h,
170 : capy::executor_ref ex,
171 : buffer_param param,
172 : std::stop_token token,
173 : std::error_code* ec,
174 : std::size_t* bytes_out)
175 : {
176 : // Closed-object contract outranks the zero-length no-op.
177 293 : if (fd_ < 0)
178 : {
179 4 : *ec = make_error_code(std::errc::bad_file_descriptor);
180 4 : *bytes_out = 0;
181 4 : return h;
182 : }
183 :
184 289 : capy::mutable_buffer bufs[max_buffers];
185 289 : auto count = param.copy_to(bufs, max_buffers);
186 :
187 289 : if (count == 0)
188 : {
189 2 : *ec = {};
190 2 : *bytes_out = 0;
191 2 : return h;
192 : }
193 :
194 287 : auto* op = new raf_op();
195 287 : op->is_read = true;
196 287 : op->offset = offset;
197 :
198 287 : op->iovec_count = static_cast<int>(count);
199 574 : for (int i = 0; i < op->iovec_count; ++i)
200 : {
201 287 : op->iovecs[i].iov_base = bufs[i].data();
202 287 : op->iovecs[i].iov_len = bufs[i].size();
203 : }
204 :
205 287 : op->h = h;
206 287 : op->ex = ex;
207 287 : op->ec_out = ec;
208 287 : op->bytes_out = bytes_out;
209 287 : op->file_ = this;
210 287 : op->impl_ptr = this->shared_from_this();
211 287 : op->start(token);
212 :
213 287 : op->ex.on_work_started();
214 :
215 : {
216 287 : std::lock_guard<std::mutex> lock(ops_mutex_);
217 287 : outstanding_ops_.push_back(op);
218 287 : }
219 :
220 287 : static_cast<pool_work_item*>(op)->func_ = &raf_op::do_work;
221 287 : if (auto pec = svc_.pool().post(static_cast<pool_work_item*>(op)))
222 : {
223 : // The pool is shutting down, or the system refused it a thread.
224 : // Nothing of this read went cross-thread, so it answers here
225 : // like the closed-descriptor and zero-length exits above rather
226 : // than through a completion the scheduler has to carry back.
227 : // destroy() is the discard the op never reaching the queue
228 : // needs: it unlinks, unwinds the work count and frees.
229 MIS 0 : op->destroy();
230 0 : *ec = pec;
231 0 : *bytes_out = 0;
232 0 : return h;
233 : }
234 HIT 287 : return std::noop_coroutine();
235 : }
236 :
237 : inline std::coroutine_handle<>
238 41 : posix_random_access_file::write_some_at(
239 : std::uint64_t offset,
240 : std::coroutine_handle<> h,
241 : capy::executor_ref ex,
242 : buffer_param param,
243 : std::stop_token token,
244 : std::error_code* ec,
245 : std::size_t* bytes_out)
246 : {
247 : // Closed-object contract outranks the zero-length no-op.
248 41 : if (fd_ < 0)
249 : {
250 2 : *ec = make_error_code(std::errc::bad_file_descriptor);
251 2 : *bytes_out = 0;
252 2 : return h;
253 : }
254 :
255 39 : capy::mutable_buffer bufs[max_buffers];
256 39 : auto count = param.copy_to(bufs, max_buffers);
257 :
258 39 : if (count == 0)
259 : {
260 2 : *ec = {};
261 2 : *bytes_out = 0;
262 2 : return h;
263 : }
264 :
265 37 : auto* op = new raf_op();
266 37 : op->is_read = false;
267 37 : op->offset = offset;
268 :
269 37 : op->iovec_count = static_cast<int>(count);
270 74 : for (int i = 0; i < op->iovec_count; ++i)
271 : {
272 37 : op->iovecs[i].iov_base = bufs[i].data();
273 37 : op->iovecs[i].iov_len = bufs[i].size();
274 : }
275 :
276 37 : op->h = h;
277 37 : op->ex = ex;
278 37 : op->ec_out = ec;
279 37 : op->bytes_out = bytes_out;
280 37 : op->file_ = this;
281 37 : op->impl_ptr = this->shared_from_this();
282 37 : op->start(token);
283 :
284 37 : op->ex.on_work_started();
285 :
286 : {
287 37 : std::lock_guard<std::mutex> lock(ops_mutex_);
288 37 : outstanding_ops_.push_back(op);
289 37 : }
290 :
291 37 : static_cast<pool_work_item*>(op)->func_ = &raf_op::do_work;
292 37 : if (auto pec = svc_.pool().post(static_cast<pool_work_item*>(op)))
293 : {
294 : // The pool is shutting down, or the system refused it a thread.
295 : // Nothing of this write went cross-thread, so it answers here
296 : // like the closed-descriptor and zero-length exits above rather
297 : // than through a completion the scheduler has to carry back.
298 : // destroy() is the discard the op never reaching the queue
299 : // needs: it unlinks, unwinds the work count and frees.
300 MIS 0 : op->destroy();
301 0 : *ec = pec;
302 0 : *bytes_out = 0;
303 0 : return h;
304 : }
305 HIT 37 : return std::noop_coroutine();
306 : }
307 :
308 : // -- raf_op thread-pool work function --
309 :
310 : inline void
311 324 : posix_random_access_file::raf_op::do_work(pool_work_item* w) noexcept
312 : {
313 324 : auto* op = static_cast<raf_op*>(w);
314 324 : auto* self = op->file_;
315 :
316 324 : if (op->cancelled.load(std::memory_order_acquire))
317 : {
318 4 : op->errn = ECANCELED;
319 4 : op->bytes_transferred = 0;
320 : }
321 640 : else if (op->offset >
322 320 : static_cast<std::uint64_t>(std::numeric_limits<off_t>::max()))
323 : {
324 2 : op->errn = EOVERFLOW;
325 2 : op->bytes_transferred = 0;
326 : }
327 : else
328 : {
329 : ssize_t n;
330 318 : if (op->is_read)
331 : {
332 : do
333 : {
334 562 : n = ::preadv(self->fd_, op->iovecs, op->iovec_count,
335 281 : static_cast<off_t>(op->offset));
336 : }
337 281 : while (n < 0 && errno == EINTR);
338 : }
339 : else
340 : {
341 : do
342 : {
343 74 : n = ::pwritev(self->fd_, op->iovecs, op->iovec_count,
344 37 : static_cast<off_t>(op->offset));
345 : }
346 37 : while (n < 0 && errno == EINTR);
347 : }
348 :
349 318 : if (n >= 0)
350 : {
351 304 : op->errn = 0;
352 304 : op->bytes_transferred = static_cast<std::size_t>(n);
353 : }
354 : else
355 : {
356 14 : op->errn = errno;
357 14 : op->bytes_transferred = 0;
358 : }
359 : }
360 :
361 324 : self->svc_.post(static_cast<scheduler_op*>(op));
362 324 : }
363 :
364 : } // namespace boost::corosio::detail
365 :
366 : #endif // BOOST_COROSIO_POSIX
367 :
368 : #endif // BOOST_COROSIO_NATIVE_DETAIL_POSIX_POSIX_RANDOM_ACCESS_FILE_SERVICE_HPP
|
