5#include "../Foundation/Function.h"
6#include "../Foundation/OpaqueObject.h"
7#include "../Foundation/Span.h"
8#include "../Threading/Atomic.h"
9#include "../Time/Time.h"
12#include "../File/FileDescriptor.h"
13#include "../Process/ProcessDescriptor.h"
14#include "../Socket/SocketDescriptor.h"
15#include "../Threading/ThreadPool.h"
48struct AsyncKernelEvents;
50struct AsyncEventLoopMonitor;
54template <
typename T,
typename C>
56struct AsyncCompletionData;
59template <
typename AsyncType>
67struct AsyncWinOverlapped;
68struct AsyncWinOverlappedDefinition
70 static constexpr int Windows =
sizeof(
void*) * 7;
71 static constexpr size_t Alignment =
alignof(
void*);
73 using Object = AsyncWinOverlapped;
75using WinOverlappedOpaque = OpaqueObject<AsyncWinOverlappedDefinition>;
77struct AsyncWinWaitDefinition
79 using Handle = FileDescriptor::Handle;
80 static constexpr Handle Invalid = FileDescriptor::Invalid;
82 static Result releaseHandle(Handle& waitHandle);
84struct WinWaitHandle :
public UniqueHandle<AsyncWinWaitDefinition>
136 void setDebugName(
const char* newDebugName);
181 [[nodiscard]]
bool isFree()
const {
return state == State::Free; }
184 [[nodiscard]]
Result validateAsync();
196 [[nodiscard]]
static const char* TypeToString(
Type type);
207#if SC_CONFIGURATION_DEBUG
208 const char* debugName =
"None";
243 bool shouldBeReactivated =
false;
244 bool shouldCallCallback =
true;
252template <
typename T,
typename C>
255 T& getAsync() {
return static_cast<T&
>(AsyncResult::async); }
256 const T& getAsync()
const {
return static_cast<const T&
>(AsyncResult::async); }
277 void freeTask() { async =
nullptr; }
278 bool isFree()
const {
return async ==
nullptr; }
292template <
typename AsyncType>
295 typename AsyncType::CompletionData asyncCompletionData;
425 status = completionData.exitStatus;
440 ProcessDescriptor::Handle handle = ProcessDescriptor::Invalid;
441#if SC_PLATFORM_WINDOWS
443 detail::WinWaitHandle waitHandle;
444#elif SC_PLATFORM_LINUX
476 return client.assign(
move(completionData.acceptedClient));
491 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
493#if SC_PLATFORM_WINDOWS
497 uint8_t acceptBuffer[288] = {0};
498#elif SC_PLATFORM_LINUX
535 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
537#if SC_PLATFORM_WINDOWS
582 SocketDescriptor::Handle
handle = SocketDescriptor::Invalid;
587#if SC_PLATFORM_WINDOWS
590 size_t totalBytesSent = 0;
614 bool disconnected =
false;
627 SC_TRY(getAsync().
buffer.sliceStartLength(0, completionData.numBytes, outData));
651 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
654#if SC_PLATFORM_WINDOWS
689 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
720 bool endOfFile =
false;
730 SC_TRY(getAsync().
buffer.sliceStartLength(0, completionData.numBytes, data));
766 bool useOffset =
false;
768#if SC_PLATFORM_WINDOWS
806 [[nodiscard]]
SC::Result get(
size_t& writtenSizeInBytes)
808 writtenSizeInBytes = completionData.numBytes;
844 bool useOffset =
false;
845 uint64_t offset = 0xffffffffffffffff;
846#if SC_PLATFORM_WINDOWS
875 FileDescriptor::Handle fileDescriptor = FileDescriptor::Invalid;
895#if SC_PLATFORM_WINDOWS
896 [[nodiscard]]
auto& getOverlappedOpaque() {
return overlapped; }
904 FileDescriptor::Handle fileDescriptor = FileDescriptor::Invalid;
905#if SC_PLATFORM_WINDOWS
922 int numberOfEvents = 0;
1040 struct InternalDefinition
1042 static constexpr int Windows = 528;
1043 static constexpr int Apple = 472;
1044 static constexpr int Default = 688;
1046 static constexpr size_t Alignment = 8;
1048 using Object = Internal;
1055 InternalOpaque internalOpaque;
1104 bool wakeUpHasBeenCalled =
false;
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:218
Options given to AsyncEventLoop::create.
Definition: Async.h:936
ApiType apiType
Criteria to choose Async IO API.
Definition: Async.h:943
ApiType
Definition: Async.h:938
@ 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:933
Result associateExternallyCreatedFileDescriptor(FileDescriptor &outDescriptor)
Associates a File descriptor created externally with the eventLoop.
Time::HighResolutionCounter getLoopTime() const
Get Loop time.
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...
Result blockingPoll(AsyncKernelEvents &kernelEvents)
Blocks until at least one event happens, ensuring forward progress, without executing completions.
Result submitRequests(AsyncKernelEvents &kernelEvents)
Submits all queued async requests.
Result dispatchCompletions(AsyncKernelEvents &kernelEvents)
Invokes completions for the AsyncKernelEvents collected by a call to AsyncEventLoop::blockingPoll.
Result wakeUpFromExternalThread(AsyncLoopWakeUp &wakeUp)
Wake up the event loop from a thread different than the one where run() is called (and potentially bl...
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.
Result run()
Blocks until there are no more active queued requests, dispatching all completions.
Monitors Async I/O events from a background thread using a blocking kernel function (no CPU usage on ...
Definition: Async.h:1067
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:1068
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:857
int code
Return code of close socket operation.
Definition: Async.h:869
Function< void(Result &)> callback
Callback called after fully closing the file descriptor.
Definition: Async.h:871
Starts an handle polling operation.
Definition: Async.h:883
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:718
Callback result for AsyncFileRead.
Definition: Async.h:725
Starts a file read operation, reading bytes from a file (or pipe).
Definition: Async.h:713
Span< char > buffer
Callback called when some data has been read from the file into the buffer.
Definition: Async.h:749
FileDescriptor::Handle fileDescriptor
The writeable span of memory where to data will be written.
Definition: Async.h:750
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:758
uint64_t getOffset() const
The file/pipe descriptor handle to read data from.
Definition: Async.h:754
Completion data for AsyncFileWrite.
Definition: Async.h:797
Callback result for AsyncFileWrite.
Definition: Async.h:803
Starts a file write operation, writing bytes to a file (or pipe).
Definition: Async.h:792
uint64_t getOffset() const
The file/pipe descriptor to write data to.
Definition: Async.h:832
FileDescriptor::Handle fileDescriptor
The read-only span of memory where to read the data from.
Definition: Async.h:828
void setOffset(uint64_t fileOffset)
Sets the offset in bytes at which start writing.
Definition: Async.h:836
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:827
Allows user to supply a block of memory that will store kernel I/O events retrieved from AsyncEventLo...
Definition: Async.h:918
Span< uint8_t > eventsMemory
User supplied block of memory used to store kernel I/O events.
Definition: Async.h:919
Starts a Timeout that is invoked only once after expiration (relative) time has passed.
Definition: Async.h:309
SC::Result start(AsyncEventLoop &eventLoop, Time::Milliseconds relativeTimeout)
Starts a Timeout that is invoked (only once) after the specific relative expiration time has passed.
Function< void(Result &)> callback
Called after given expiration time since AsyncLoopTimeout::start has passed.
Definition: Async.h:325
Time::Milliseconds relativeTimeout
Timer expiration (relative) time in milliseconds.
Definition: Async.h:326
Starts a wake-up operation, allowing threads to execute callbacks on loop thread.
Definition: Async.h:346
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:364
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:379
Function< void(Result &)> callback
Called to execute the work in a background threadpool thread.
Definition: Async.h:398
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:414
Callback result for AsyncProcessExit.
Definition: Async.h:420
Starts monitoring a process, notifying about its termination.
Definition: Async.h:409
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:436
Base class for all async requests, holding state and type.
Definition: Async.h:132
AsyncRequest(Type type)
Constructs a free async request of given type.
Definition: Async.h:173
AsyncEventLoop * getEventLoop() const
Get the event loop associated with this AsyncRequest.
Definition: Async.h:139
void resetThreadPoolAndTask()
Resets anything previously set with setThreadPoolAndTask.
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:143
Result stop()
Stops the async operation.
Type
Type of async request.
Definition: Async.h:155
@ 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:224
void reactivateRequest(bool value)
Ask the event loop to re-activate this request after it was already completed.
Definition: Async.h:233
const SC::Result & isValid() const
Check if the returnCode of this result is valid.
Definition: Async.h:236
AsyncResult(AsyncRequest &request)
Constructs an async result from a request.
Definition: Async.h:229
AsyncResult(AsyncRequest &request, SC::Result &&res)
Constructs an async result from a request and a result.
Definition: Async.h:226
Helper holding CompletionData for a specific AsyncRequest-derived class.
Definition: Async.h:254
Completion data for AsyncSocketAccept.
Definition: Async.h:464
Callback result for AsyncSocketAccept.
Definition: Async.h:470
Starts a socket accept operation, obtaining a new socket from a listening socket.
Definition: Async.h:459
Function< void(Result &)> callback
Called when a new socket has been accepted.
Definition: Async.h:487
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:665
SC::Result start(AsyncEventLoop &eventLoop, const SocketDescriptor &socketDescriptor)
Starts a socket close operation.
int code
Return code of close socket operation.
Definition: Async.h:682
Function< void(Result &)> callback
Callback called after fully closing the socket.
Definition: Async.h:684
Starts a socket connect operation, connecting to a remote endpoint.
Definition: Async.h:513
Function< void(Result &)> callback
Called after socket is finally connected to endpoint.
Definition: Async.h:531
SC::Result start(AsyncEventLoop &eventLoop, const SocketDescriptor &socketDescriptor, SocketIPAddress ipAddress)
Starts a socket connect operation.
Completion data for AsyncSocketReceive.
Definition: Async.h:612
Callback result for AsyncSocketReceive.
Definition: Async.h:619
SC::Result get(Span< char > &outData)
Get a Span of the actually read data.
Definition: Async.h:625
Starts a socket receive operation, receiving bytes from a remote endpoint.
Definition: Async.h:607
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:650
Function< void(Result &)> callback
Called after data has been received.
Definition: Async.h:648
Completion data for AsyncSocketSend.
Definition: Async.h:556
Starts a socket send operation, sending bytes to a remote endpoint.
Definition: Async.h:551
Function< void(Result &)> callback
Called when socket is ready to send more data.
Definition: Async.h:579
SC::Result start(AsyncEventLoop &eventLoop)
Starts a socket send operation.
Span< const char > buffer
Span of bytes to send.
Definition: Async.h:581
SocketDescriptor::Handle handle
The socket to send data to.
Definition: Async.h:582
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:270
Create an async Callback result for a given AsyncRequest-derived class.
Definition: Async.h:294
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
Wraps an OS File descriptor to read and write to and from it.
Definition: FileDescriptor.h:57
Wraps function pointers, member functions and lambdas without ever allocating.
Definition: Function.h:50
Hides implementation details from public headers (static PIMPL).
Definition: OpaqueObject.h:76
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:154
AddressFamily
Sets the address family of an IP Address (IPv4 or IPV6)
Definition: SocketDescriptor.h:84
@ AddressFamilyIPV4
IP Address is IPV4.
Definition: SocketDescriptor.h:85
Native representation of an IP Address.
Definition: SocketDescriptor.h:120
View over a contiguous sequence of items (pointer + size in elements).
Definition: Span.h:21
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
An high resolution time counter.
Definition: Time.h:135
Type-safe wrapper of uint64 used to represent milliseconds.
Definition: Time.h:29