Sane C++ Libraries
C++ Platform Abstraction Libraries
Async.h
1// Copyright (c) Stefano Cristiano
2// SPDX-License-Identifier: MIT
3#pragma once
4
5#include "../Foundation/Function.h"
6#include "../Foundation/OpaqueObject.h"
7#include "../Foundation/Span.h"
8#include "../Threading/Atomic.h"
9#include "../Threading/ThreadPool.h"
10#include "../Time/Time.h"
11
12// Descriptors
13#include "../File/FileDescriptor.h"
14#include "../Process/ProcessDescriptor.h"
15#include "../Socket/SocketDescriptor.h"
16
41namespace SC
42{
43// Forward Declarations
44struct ThreadPool;
45struct ThreadPoolTask;
46
47struct EventObject;
48struct AsyncKernelEvents;
49struct AsyncEventLoopListeners;
50struct AsyncEventLoop;
51struct AsyncEventLoopMonitor;
52
53struct AsyncRequest;
54struct AsyncResult;
55template <typename T, typename C>
56struct AsyncResultOf;
57struct AsyncCompletionData;
58
59struct AsyncTask;
60template <typename AsyncType>
61struct AsyncTaskOf;
62} // namespace SC
63
64namespace SC
65{
66namespace detail
67{
68struct AsyncWinOverlapped;
69struct AsyncWinOverlappedDefinition
70{
71 static constexpr int Windows = sizeof(void*) * 4 + sizeof(uint64_t);
72 static constexpr size_t Alignment = alignof(void*);
73
74 using Object = AsyncWinOverlapped;
75};
76using WinOverlappedOpaque = OpaqueObject<AsyncWinOverlappedDefinition>;
77
78struct AsyncWinWaitDefinition
79{
80 using Handle = FileDescriptor::Handle; // fd
81 static constexpr Handle Invalid = FileDescriptor::Invalid; // invalid fd
82
83 static Result releaseHandle(Handle& waitHandle);
84};
85struct WinWaitHandle : public UniqueHandle<AsyncWinWaitDefinition>
86{
87};
88} // namespace detail
89} // namespace SC
90
93
133{
134 AsyncRequest* next = nullptr;
135 AsyncRequest* prev = nullptr;
136
137 void setDebugName(const char* newDebugName);
138
140 [[nodiscard]] AsyncEventLoop* getEventLoop() const { return eventLoop; }
141
144 void cacheInternalEventLoop(AsyncEventLoop& loop) { eventLoop = &loop; }
145
150
153
155 enum class Type : uint8_t
156 {
158 LoopWakeUp,
159 LoopWork,
163 SocketSend,
166 FileRead,
167 FileWrite,
168 FileClose,
169 FilePoll,
170 };
171
174 AsyncRequest(Type type) : state(State::Free), type(type), flags(0), eventIndex(-1) {}
175
181 [[nodiscard]] Result stop(Function<void(AsyncResult&)>* afterStopped = nullptr);
182
184 [[nodiscard]] bool isFree() const;
185
187 [[nodiscard]] bool isCancelling() const;
188
190 [[nodiscard]] bool isActive() const;
191
193 [[nodiscard]] Type getType() const { return type; }
194
195 protected:
196 [[nodiscard]] Result validateAsync();
197
198 void queueSubmission(AsyncEventLoop& eventLoop);
199
200 AsyncEventLoop* eventLoop = nullptr;
201 AsyncTask* asyncTask = nullptr;
202
203 private:
204 Function<void(AsyncResult&)>* closeCallback = nullptr;
205
206 friend struct AsyncEventLoop;
207 friend struct AsyncResult;
208
209 void markAsFree();
210
211 [[nodiscard]] static const char* TypeToString(Type type);
212 enum class State : uint8_t
213 {
214 Free, // not in any queue, this can be started with an async.start(...)
215 Setup, // when in submission queue waiting to be setup (after an async.start(...))
216 Submitting, // when in submission queue waiting to be activated or re-activated
217 Active, // when monitored by OS syscall or in activeLoopWakeUps / activeTimeouts queues
218 Reactivate, // when flagged for reactivation inside the callback (after a result.reactivateRequest(true))
219 Cancelling, // when in cancellation queue waiting for a cancelAsync (on active async)
220 };
221
222#if SC_CONFIGURATION_DEBUG
223 const char* debugName = "None";
224#endif
225 State state; // 1 byte
226 Type type; // 1 byte
227 int16_t flags; // 2 bytes
228 int32_t eventIndex; // 4 bytes
229};
230
233{
234};
235
239{
241 AsyncResult(AsyncRequest& request, SC::Result&& res) : async(request), returnCode(move(res)) {}
242
244 AsyncResult(AsyncRequest& request) : async(request) {}
245
248 void reactivateRequest(bool value);
249
251 [[nodiscard]] const SC::Result& isValid() const { return returnCode; }
252
253 AsyncRequest& async;
254
255 protected:
256 friend struct AsyncEventLoop;
257
258 bool shouldBeReactivated = false;
259 bool shouldCallCallback = true;
260
261 SC::Result returnCode = SC::Result(true);
262};
263
267template <typename T, typename C>
269{
270 T& getAsync() { return static_cast<T&>(AsyncResult::async); }
271 const T& getAsync() const { return static_cast<const T&>(AsyncResult::async); }
272
274
275 C completionData;
276};
277
285{
286 AsyncTask(AsyncCompletionData& asyncCompletionData) : completionData(asyncCompletionData) {}
287
288 protected:
289 ThreadPoolTask task;
290 ThreadPool* threadPool = nullptr;
291
292 void freeTask() { async = nullptr; }
293 bool isFree() const { return async == nullptr; }
294
295 friend struct AsyncEventLoop;
296 friend struct AsyncRequest;
297
298 AsyncCompletionData& completionData;
299
300 SC::Result returnCode = SC::Result(true);
301 AsyncRequest* async = nullptr;
302};
303
307template <typename AsyncType>
309{
310 typename AsyncType::CompletionData asyncCompletionData;
311 AsyncTaskOf() : AsyncTask(asyncCompletionData) {}
312};
313
314namespace SC
315{
318
324{
326
329
332
339
344 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop);
345
347
349
351 Time::Absolute getExpirationTime() const { return expirationTime; }
352
353 private:
354 friend struct AsyncEventLoop;
355 Time::Absolute expirationTime;
356};
357
371{
373
376
379
384 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop, EventObject* eventObject = nullptr);
385
387 [[nodiscard]] SC::Result wakeUp();
388
390
391 private:
392 friend struct AsyncEventLoop;
393
394 EventObject* eventObject = nullptr;
395 Atomic<bool> pending = false;
396};
397
404{
406
409
412
415 [[nodiscard]] SC::Result setThreadPool(ThreadPool& threadPool);
416
420 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop);
421
422 Function<SC::Result()> work;
424
425 private:
427};
428
434{
436
439 {
441 };
442
444 struct Result : public AsyncResultOf<AsyncProcessExit, CompletionData>
445 {
447
448 [[nodiscard]] SC::Result get(ProcessDescriptor::ExitStatus& status)
449 {
450 status = completionData.exitStatus;
451 return returnCode;
452 }
453 };
454
459 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop, ProcessDescriptor::Handle process);
460
462
463 private:
464 friend struct AsyncEventLoop;
465 ProcessDescriptor::Handle handle = ProcessDescriptor::Invalid;
466#if SC_PLATFORM_WINDOWS
468 detail::WinWaitHandle waitHandle;
469#elif SC_PLATFORM_LINUX
470 FileDescriptor pidFd;
471#endif
472};
473
484{
486
489 {
490 SocketDescriptor acceptedClient;
491 };
492
494 struct Result : public AsyncResultOf<AsyncSocketAccept, CompletionData>
495 {
497
498 [[nodiscard]] SC::Result moveTo(SocketDescriptor& client)
499 {
500 SC_TRY(returnCode);
501 return client.assign(move(completionData.acceptedClient));
502 }
503 };
504
510 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop, const SocketDescriptor& socketDescriptor);
511
513
514 private:
515 friend struct AsyncEventLoop;
516 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
518#if SC_PLATFORM_WINDOWS
519 void (*pAcceptEx)() = nullptr;
521 SocketDescriptor clientSocket;
522 uint8_t acceptBuffer[288] = {0};
523#elif SC_PLATFORM_LINUX
524 AlignedStorage<28> sockAddrHandle;
525 uint32_t sockAddrLen;
526#endif
527};
528
538{
540
543
546
553 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop, const SocketDescriptor& socketDescriptor,
554 SocketIPAddress ipAddress);
555
557
558 private:
559 friend struct AsyncEventLoop;
560 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
561 SocketIPAddress ipAddress;
562#if SC_PLATFORM_WINDOWS
563 void (*pConnectEx)() = nullptr;
565#endif
566};
567
577{
579
582 {
583 size_t numBytes = 0;
584 };
585
588
595 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop, const SocketDescriptor& socketDescriptor,
596 Span<const char> data);
597
603 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop);
604
606
608 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
609
610 private:
611 friend struct AsyncEventLoop;
612
613#if SC_PLATFORM_WINDOWS
615#else
616 size_t totalBytesSent = 0;
617#endif
618};
619
632{
634
637 {
638 size_t numBytes = 0;
639 bool disconnected = false;
640 };
641
643 struct Result : public AsyncResultOf<AsyncSocketReceive, CompletionData>
644 {
646
650 [[nodiscard]] SC::Result get(Span<char>& outData)
651 {
652 SC_TRY(getAsync().buffer.sliceStartLength(0, completionData.numBytes, outData));
653 return returnCode;
654 }
655 };
656
663 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop, const SocketDescriptor& socketDescriptor,
664 Span<char> data);
665
671 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop);
672
674
676 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
677
678 private:
679#if SC_PLATFORM_WINDOWS
680 friend struct AsyncEventLoop;
682#endif
683};
684
690{
692
695
698
704 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop, const SocketDescriptor& socketDescriptor);
705
706 // TODO: Move code to CompletionData
707 int code = 0;
708
710
711 private:
712 friend struct AsyncEventLoop;
713
714 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
715};
716
738{
739 AsyncFileRead() : AsyncRequest(Type::FileRead) { fileDescriptor = FileDescriptor::Invalid; }
740
743 {
744 size_t numBytes = 0;
745 bool endOfFile = false;
746 };
747
749 struct Result : public AsyncResultOf<AsyncFileRead, CompletionData>
750 {
752
753 [[nodiscard]] SC::Result get(Span<char>& data)
754 {
755 SC_TRY(getAsync().buffer.sliceStartLength(0, completionData.numBytes, data));
756 return returnCode;
757 }
758 };
759
761
770 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop);
771
772 Function<void(Result&)> callback;
773
775 FileDescriptor::Handle fileDescriptor;
777
779 uint64_t getOffset() const { return offset; }
780
783 void setOffset(uint64_t fileOffset)
784 {
785 useOffset = true;
786 offset = fileOffset;
787 }
788
789 private:
790 friend struct AsyncEventLoop;
791 bool useOffset = false;
792 uint64_t offset = 0;
793#if SC_PLATFORM_WINDOWS
794 uint64_t readCursor = 0;
796#endif
797};
798
817{
818 AsyncFileWrite() : AsyncRequest(Type::FileWrite) { fileDescriptor = FileDescriptor::Invalid; }
819
822 {
823 size_t numBytes = 0;
824 };
825
827 struct Result : public AsyncResultOf<AsyncFileWrite, CompletionData>
828 {
830
831 [[nodiscard]] SC::Result get(size_t& writtenSizeInBytes)
832 {
833 writtenSizeInBytes = completionData.numBytes;
834 return returnCode;
835 }
836 };
837
839
848 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop);
849
850 Function<void(Result&)> callback;
851
853 FileDescriptor::Handle fileDescriptor;
855
857 uint64_t getOffset() const { return offset; }
858
861 void setOffset(uint64_t fileOffset)
862 {
863 useOffset = true;
864 offset = fileOffset;
865 }
866
867 private:
868 friend struct AsyncEventLoop;
869 bool useOffset = false;
870 uint64_t offset = 0xffffffffffffffff;
871#if SC_PLATFORM_WINDOWS
873#endif
874};
875
882{
884
887
890
891 [[nodiscard]] SC::Result start(AsyncEventLoop& eventLoop, FileDescriptor::Handle fileDescriptor);
892
893 // TODO: Move code to CompletionData
894 int code = 0;
895
897
898 private:
899 friend struct AsyncEventLoop;
900 FileDescriptor::Handle fileDescriptor = FileDescriptor::Invalid;
901};
902
908{
910
913
916
918 [[nodiscard]] SC::Result start(AsyncEventLoop& loop, FileDescriptor::Handle fileDescriptor);
919
920#if SC_PLATFORM_WINDOWS
921 [[nodiscard]] auto& getOverlappedOpaque() { return overlapped; }
922#endif
923
924 Function<void(Result&)> callback;
925
926 private:
927 friend struct AsyncEventLoop;
928
929 FileDescriptor::Handle fileDescriptor = FileDescriptor::Invalid;
930#if SC_PLATFORM_WINDOWS
932#endif
933};
934
936
937} // namespace SC
938
943{
945
946 private:
947 int numberOfEvents = 0;
948 friend struct AsyncEventLoop;
949};
950
953{
954 Function<void(AsyncEventLoop&)> beforeBlockingPoll;
955 Function<void(AsyncEventLoop&)> afterBlockingPoll;
956};
957
965{
967 struct Options
968 {
969 enum class ApiType : uint8_t
970 {
971 Automatic = 0,
974 };
976
978 };
979
981
983 [[nodiscard]] Result create(Options options = Options());
984
986 [[nodiscard]] Result close();
987
989 void interrupt();
990
992 [[nodiscard]] bool isInitialized() const;
993
999 [[nodiscard]] Result run();
1000
1010 [[nodiscard]] Result runOnce();
1011
1017 [[nodiscard]] Result runNoWait();
1018
1023 [[nodiscard]] Result submitRequests(AsyncKernelEvents& kernelEvents);
1024
1043 [[nodiscard]] Result blockingPoll(AsyncKernelEvents& kernelEvents);
1044
1050 [[nodiscard]] Result dispatchCompletions(AsyncKernelEvents& kernelEvents);
1051
1055
1058
1062
1065
1068
1071
1073 [[nodiscard]] Time::Monotonic getLoopTime() const;
1074
1076 [[nodiscard]] int getNumberOfActiveRequests() const;
1077
1079 [[nodiscard]] int getNumberOfSubmittedRequests() const;
1080
1084
1087
1090
1092 void enumerateRequests(Function<void(AsyncRequest&)> enumerationCallback);
1093
1097
1099 [[nodiscard]] static bool isExcludedFromActiveCount(const AsyncRequest& async);
1100
1103 [[nodiscard]] static bool tryLoadingLiburing();
1104
1105 struct Internal;
1106
1107 private:
1108 struct InternalDefinition
1109 {
1110 static constexpr int Windows = 488;
1111 static constexpr int Apple = 480;
1112 static constexpr int Linux = 688;
1113 static constexpr int Default = Linux;
1114
1115 static constexpr size_t Alignment = 8;
1116
1117 using Object = Internal;
1118 };
1119
1120 public:
1121 using InternalOpaque = OpaqueObject<InternalDefinition>;
1122
1123 private:
1124 InternalOpaque internalOpaque;
1125 Internal& internal;
1126
1127 friend struct AsyncRequest;
1128 friend struct AsyncFileWrite;
1129 friend struct AsyncFileRead;
1130};
1131
1136{
1138
1142
1145
1153
1159
1160 private:
1161#if SC_COMPILER_MSVC
1162#pragma warning(push)
1163#pragma warning(disable : 4324) // useless warning on 32 bit... (structure was padded due to __declspec(align()))
1164#endif
1165 alignas(uint64_t) uint8_t eventsMemory[8 * 1024]; // 8 Kb of kernel events
1166#if SC_COMPILER_MSVC
1167#pragma warning(pop)
1168#endif
1169
1170 AsyncKernelEvents asyncKernelEvents;
1171 AsyncEventLoop* eventLoop = nullptr;
1172 AsyncLoopWakeUp eventLoopWakeUp;
1173
1174 Thread eventLoopThread;
1175 EventObject eventObjectEnterBlockingMode;
1176 EventObject eventObjectExitBlockingMode;
1177
1178 Atomic<bool> finished = false;
1179 Atomic<bool> needsWakeUp = true;
1180
1181 bool wakeUpHasBeenCalled = false;
1182
1183 Result monitoringLoopThread(Thread& thread);
1184};
1185
int int32_t
Platform independent (4) bytes signed int.
Definition: PrimitiveTypes.h:46
constexpr T && move(T &value)
Converts an lvalue to an rvalue reference.
Definition: Compiler.h:269
unsigned char uint8_t
Platform independent (1) byte unsigned int.
Definition: PrimitiveTypes.h:36
unsigned long long uint64_t
Platform independent (8) bytes unsigned int.
Definition: PrimitiveTypes.h:42
unsigned int uint32_t
Platform independent (4) bytes unsigned int.
Definition: PrimitiveTypes.h:38
#define SC_TRY(expression)
Checks the value of the given expression and if failed, returns this value to caller.
Definition: Result.h:48
short int16_t
Platform independent (2) bytes signed int.
Definition: PrimitiveTypes.h:45
A buffer of bytes with given alignment.
Definition: AlignedStorage.h:25
Empty base struct for all AsyncRequest-derived CompletionData (internal) structs.
Definition: Async.h:233
Options given to AsyncEventLoop::create.
Definition: Async.h:968
ApiType apiType
Criteria to choose Async IO API.
Definition: Async.h:975
ApiType
Definition: Async.h:970
@ Automatic
Platform specific backend chooses the best API.
@ ForceUseEpoll
(Linux only) Tries to use epoll
@ ForceUseIOURing
(Linux only) Tries to use io_uring (failing if it's not found on the system)
Asynchronous I/O (files, sockets, timers, processes, fs events, threads wake-up) (see Async) AsyncEve...
Definition: Async.h:965
Time::Monotonic getLoopTime() const
Get Loop time.
Result associateExternallyCreatedFileDescriptor(FileDescriptor &outDescriptor)
Associates a File descriptor created externally with the eventLoop.
Result wakeUpFromExternalThread()
Wake up the event loop from a thread different than the one where run() is called (and potentially bl...
Result runNoWait()
Process active requests if any, dispatching their completions, or returns immediately without blockin...
void updateTime()
Updates loop time to "now".
static bool isExcludedFromActiveCount(const AsyncRequest &async)
Checks if excludeFromActiveCount() has been called on the given request.
Result blockingPoll(AsyncKernelEvents &kernelEvents)
Blocks until at least one event happens, ensuring forward progress, without executing completions.
int getNumberOfSubmittedRequests() const
Obtain the total number of submitted requests.
Result submitRequests(AsyncKernelEvents &kernelEvents)
Submits all queued async requests.
void enumerateRequests(Function< void(AsyncRequest &)> enumerationCallback)
Enumerates all requests objects associated with this loop.
AsyncLoopTimeout * findEarliestLoopTimeout() const
Returns the next AsyncLoopTimeout that will be executed (shortest relativeTimeout)
void setListeners(AsyncEventLoopListeners *listeners)
Sets reference to listeners that will signal different events in loop lifetime.
Result dispatchCompletions(AsyncKernelEvents &kernelEvents)
Invokes completions for the AsyncKernelEvents collected by a call to AsyncEventLoop::blockingPoll.
void interrupt()
Interrupts the event loop even if it has active request on it.
Result wakeUpFromExternalThread(AsyncLoopWakeUp &wakeUp)
Wake up the event loop from a thread different than the one where run() is called (and potentially bl...
bool isInitialized() const
Returns true if create has been already called (successfully)
Result create(Options options=Options())
Creates the event loop kernel object.
static bool tryLoadingLiburing()
Check if liburing is loadable (only on Linux)
Result createAsyncTCPSocket(SocketFlags::AddressFamily family, SocketDescriptor &outDescriptor)
Helper to creates a TCP socket with AsyncRequest flags of the given family (IPV4 / IPV6).
Result associateExternallyCreatedTCPSocket(SocketDescriptor &outDescriptor)
Associates a TCP Socket created externally (without using createAsyncTCPSocket) with the eventLoop.
Result close()
Closes the event loop kernel object.
Result runOnce()
Blocks until at least one request proceeds, ensuring forward progress, dispatching all completions.
void excludeFromActiveCount(AsyncRequest &async)
Excludes the request from active handles count (to avoid it keeping event loop alive)
Result run()
Blocks until there are no more active queued requests, dispatching all completions.
void includeInActiveCount(AsyncRequest &async)
Reverses the effect of excludeFromActiveCount for the request.
int getNumberOfActiveRequests() const
Obtain the total number of active requests.
Allow library user to provide callbacks signaling different phases of async event loop cycle.
Definition: Async.h:953
Monitors Async I/O events from a background thread using a blocking kernel function (no CPU usage on ...
Definition: Async.h:1136
Result create(AsyncEventLoop &loop)
Create the monitoring thread for an AsyncEventLoop.
Function< void(void)> onNewEventsAvailable
Informs to call dispatchCompletions on GUI Event Loop.
Definition: Async.h:1137
Result startMonitoring()
Queue all async requests submissions and start monitoring loop events on a background thread.
Result close()
Stop monitoring the AsyncEventLoop, disposing all resources.
Result stopMonitoringAndDispatchCompletions()
Stops monitoring events on the background thread and dispatches callbacks for completed requests.
Starts a file close operation, closing the OS file descriptor.
Definition: Async.h:882
int code
Return code of close socket operation.
Definition: Async.h:894
Function< void(Result &)> callback
Callback called after fully closing the file descriptor.
Definition: Async.h:896
Starts an handle polling operation.
Definition: Async.h:908
SC::Result start(AsyncEventLoop &loop, FileDescriptor::Handle fileDescriptor)
Starts a file descriptor poll operation, monitoring its readiness with appropriate OS API.
Completion data for AsyncFileRead.
Definition: Async.h:743
Callback result for AsyncFileRead.
Definition: Async.h:750
Starts a file read operation, reading bytes from a file (or pipe).
Definition: Async.h:738
Span< char > buffer
Callback called when some data has been read from the file into the buffer.
Definition: Async.h:774
FileDescriptor::Handle fileDescriptor
The writeable span of memory where to data will be written.
Definition: Async.h:775
SC::Result start(AsyncEventLoop &eventLoop)
Starts a file receive operation, that completes when data has been read from file / pipe.
void setOffset(uint64_t fileOffset)
Sets the offset in bytes at which start reading.
Definition: Async.h:783
uint64_t getOffset() const
The file/pipe descriptor handle to read data from.
Definition: Async.h:779
Completion data for AsyncFileWrite.
Definition: Async.h:822
Callback result for AsyncFileWrite.
Definition: Async.h:828
Starts a file write operation, writing bytes to a file (or pipe).
Definition: Async.h:817
uint64_t getOffset() const
The file/pipe descriptor to write data to.
Definition: Async.h:857
FileDescriptor::Handle fileDescriptor
The read-only span of memory where to read the data from.
Definition: Async.h:853
void setOffset(uint64_t fileOffset)
Sets the offset in bytes at which start writing.
Definition: Async.h:861
SC::Result start(AsyncEventLoop &eventLoop)
Starts a file write operation that completes when it's ready to receive more bytes.
Span< const char > buffer
Callback called when descriptor is ready to be written with more data.
Definition: Async.h:852
Allows user to supply a block of memory that will store kernel I/O events retrieved from AsyncEventLo...
Definition: Async.h:943
Span< uint8_t > eventsMemory
User supplied block of memory used to store kernel I/O events.
Definition: Async.h:944
Starts a Timeout that is invoked only once after expiration (relative) time has passed.
Definition: Async.h:324
SC::Result start(AsyncEventLoop &eventLoop, Time::Milliseconds relativeTimeout)
Starts a Timeout that is invoked (only once) after the specific relative expiration time has passed.
Time::Absolute getExpirationTime() const
Gets computed absolute expiration time that determines when this timeout get executed.
Definition: Async.h:351
Function< void(Result &)> callback
Called after given expiration time since AsyncLoopTimeout::start has passed.
Definition: Async.h:346
Time::Milliseconds relativeTimeout
First timer expiration (relative) time in milliseconds.
Definition: Async.h:348
SC::Result start(AsyncEventLoop &eventLoop)
Starts a Timeout that is invoked (only once) after the specific relative expiration time has passed.
Starts a wake-up operation, allowing threads to execute callbacks on loop thread.
Definition: Async.h:371
SC::Result start(AsyncEventLoop &eventLoop, EventObject *eventObject=nullptr)
Starts a wake up request, that will be fulfilled when an external thread calls AsyncLoopWakeUp::wakeU...
Function< void(Result &)> callback
Callback called by SC::AsyncEventLoop::run after SC::AsyncLoopWakeUp::wakeUp.
Definition: Async.h:389
SC::Result wakeUp()
Wakes up event loop, scheduling AsyncLoopWakeUp::callback on next AsyncEventLoop::run (or its variati...
Executes work in a thread pool and then invokes a callback on the event loop thread.
Definition: Async.h:404
Function< void(Result &)> callback
Called to execute the work in a background threadpool thread.
Definition: Async.h:423
SC::Result setThreadPool(ThreadPool &threadPool)
Sets the ThreadPool that will supply the thread to run the async work on.
SC::Result start(AsyncEventLoop &eventLoop)
Schedule work to be executed on a background thread, notifying the event loop when it's finished.
Completion data for AsyncProcessExit.
Definition: Async.h:439
Callback result for AsyncProcessExit.
Definition: Async.h:445
Starts monitoring a process, notifying about its termination.
Definition: Async.h:434
SC::Result start(AsyncEventLoop &eventLoop, ProcessDescriptor::Handle process)
Starts monitoring a process, notifying about its termination.
Function< void(Result &)> callback
Called when process has exited.
Definition: Async.h:461
Base class for all async requests, holding state and type.
Definition: Async.h:133
bool isCancelling() const
Returns true if this request is being cancelled.
AsyncRequest(Type type)
Constructs a free async request of given type.
Definition: Async.h:174
AsyncEventLoop * getEventLoop() const
Get the event loop associated with this AsyncRequest.
Definition: Async.h:140
void resetThreadPoolAndTask()
Resets anything previously set with setThreadPoolAndTask.
Result stop(Function< void(AsyncResult &)> *afterStopped=nullptr)
Ask to stop current async operation.
bool isActive() const
Returns true if this request is active or being reactivated.
Result setThreadPoolAndTask(ThreadPool &pool, AsyncTask &task)
Sets the thread pool and task to use for this request.
void cacheInternalEventLoop(AsyncEventLoop &loop)
Caches the event loop associated with this AsyncRequest.
Definition: Async.h:144
bool isFree() const
Returns true if this request is free.
Type getType() const
Returns request type.
Definition: Async.h:193
Type
Type of async request.
Definition: Async.h:156
@ FileClose
Request is an AsyncFileClose object.
@ SocketSend
Request is an AsyncSocketSend object.
@ SocketReceive
Request is an AsyncSocketReceive object.
@ SocketAccept
Request is an AsyncSocketAccept object.
@ FileWrite
Request is an AsyncFileWrite object.
@ LoopTimeout
Request is an AsyncLoopTimeout object.
@ ProcessExit
Request is an AsyncProcessExit object.
@ FileRead
Request is an AsyncFileRead object.
@ FilePoll
Request is an AsyncFilePoll object.
@ LoopWakeUp
Request is an AsyncLoopWakeUp object.
@ SocketClose
Request is an AsyncSocketClose object.
@ SocketConnect
Request is an AsyncSocketConnect object.
@ LoopWork
Request is an AsyncLoopWork object.
Base class for all async results (argument of completion callbacks).
Definition: Async.h:239
void reactivateRequest(bool value)
Ask the event loop to re-activate this request after it was already completed.
const SC::Result & isValid() const
Check if the returnCode of this result is valid.
Definition: Async.h:251
AsyncResult(AsyncRequest &request)
Constructs an async result from a request.
Definition: Async.h:244
AsyncResult(AsyncRequest &request, SC::Result &&res)
Constructs an async result from a request and a result.
Definition: Async.h:241
Helper holding CompletionData for a specific AsyncRequest-derived class.
Definition: Async.h:269
Completion data for AsyncSocketAccept.
Definition: Async.h:489
Callback result for AsyncSocketAccept.
Definition: Async.h:495
Starts a socket accept operation, obtaining a new socket from a listening socket.
Definition: Async.h:484
Function< void(Result &)> callback
Called when a new socket has been accepted.
Definition: Async.h:512
SC::Result start(AsyncEventLoop &eventLoop, const SocketDescriptor &socketDescriptor)
Starts a socket accept operation, that returns a new socket connected to the given listening endpoint...
Starts a socket close operation.
Definition: Async.h:690
SC::Result start(AsyncEventLoop &eventLoop, const SocketDescriptor &socketDescriptor)
Starts a socket close operation.
int code
Return code of close socket operation.
Definition: Async.h:707
Function< void(Result &)> callback
Callback called after fully closing the socket.
Definition: Async.h:709
Starts a socket connect operation, connecting to a remote endpoint.
Definition: Async.h:538
Function< void(Result &)> callback
Called after socket is finally connected to endpoint.
Definition: Async.h:556
SC::Result start(AsyncEventLoop &eventLoop, const SocketDescriptor &socketDescriptor, SocketIPAddress ipAddress)
Starts a socket connect operation.
Completion data for AsyncSocketReceive.
Definition: Async.h:637
Callback result for AsyncSocketReceive.
Definition: Async.h:644
SC::Result get(Span< char > &outData)
Get a Span of the actually read data.
Definition: Async.h:650
Starts a socket receive operation, receiving bytes from a remote endpoint.
Definition: Async.h:632
SC::Result start(AsyncEventLoop &eventLoop)
Starts a socket receive operation.
SC::Result start(AsyncEventLoop &eventLoop, const SocketDescriptor &socketDescriptor, Span< char > data)
Starts a socket receive operation.
Span< char > buffer
The writeable span of memory where to data will be written.
Definition: Async.h:675
Function< void(Result &)> callback
Called after data has been received.
Definition: Async.h:673
Completion data for AsyncSocketSend.
Definition: Async.h:582
Starts a socket send operation, sending bytes to a remote endpoint.
Definition: Async.h:577
Function< void(Result &)> callback
Called when socket is ready to send more data.
Definition: Async.h:605
SC::Result start(AsyncEventLoop &eventLoop)
Starts a socket send operation.
Span< const char > buffer
Span of bytes to send.
Definition: Async.h:607
SocketDescriptor::Handle handle
The socket to send data to.
Definition: Async.h:608
SC::Result start(AsyncEventLoop &eventLoop, const SocketDescriptor &socketDescriptor, Span< const char > data)
Starts a socket send operation.
Holds (reference to) a SC::ThreadPool and SC::ThreadPool::Task to execute an SC::AsyncRequest in a ba...
Definition: Async.h:285
Create an async Callback result for a given AsyncRequest-derived class.
Definition: Async.h:309
Atomic variables (only for int and bool for now).
Definition: Atomic.h:97
An automatically reset event object to synchronize two threads.
Definition: Threading.h:174
File Descriptor (use SC::File to open and use it with strings and buffers).
Definition: FileDescriptor.h:52
Wraps function pointers, member functions and lambdas without ever allocating.
Definition: Function.h:19
Hides implementation details from public headers (static PIMPL).
Definition: OpaqueObject.h:77
Definition: ProcessDescriptor.h:44
An ascii string used as boolean result. SC_TRY macro forwards errors to caller.
Definition: Result.h:12
Low-level OS socket handle.
Definition: SocketDescriptor.h:147
AddressFamily
Sets the address family of an IP Address (IPv4 or IPV6)
Definition: SocketDescriptor.h:73
@ AddressFamilyIPV4
IP Address is IPV4.
Definition: SocketDescriptor.h:74
Native representation of an IP Address.
Definition: SocketDescriptor.h:110
View over a contiguous sequence of items (pointer + size in elements).
Definition: Span.h:24
A native OS thread.
Definition: Threading.h:118
Simple thread pool that executes tasks in a fixed number of worker threads.
Definition: ThreadPool.h:41
A small task containing a function to execute that can be queued in the thread pool.
Definition: ThreadPool.h:19
Absolute time as realtime or monotonically increasing clock.
Definition: Time.h:114
Type-safe wrapper of uint64 used to represent milliseconds.
Definition: Time.h:44
Represent monotonically increasing time (use Monotonic::now for current time)
Definition: Time.h:180