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);
173 [[nodiscard]]
bool isFree()
const {
return state == State::Free; }
176 [[nodiscard]]
Result validateAsync();
188 [[nodiscard]]
static const char* TypeToString(
Type type);
199#if SC_CONFIGURATION_DEBUG
200 const char* debugName =
"None";
235 bool shouldBeReactivated =
false;
236 bool shouldCallCallback =
true;
244template <
typename T,
typename C>
247 T& getAsync() {
return static_cast<T&
>(AsyncResult::async); }
248 const T& getAsync()
const {
return static_cast<const T&
>(AsyncResult::async); }
269 void freeTask() { async =
nullptr; }
270 bool isFree()
const {
return async ==
nullptr; }
284template <
typename AsyncType>
287 typename AsyncType::CompletionData asyncCompletionData;
413 status = completionData.exitStatus;
428 ProcessDescriptor::Handle handle = ProcessDescriptor::Invalid;
429#if SC_PLATFORM_WINDOWS
431 detail::WinWaitHandle waitHandle;
432#elif SC_PLATFORM_LINUX
464 return client.assign(
move(completionData.acceptedClient));
479 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
481#if SC_PLATFORM_WINDOWS
485 uint8_t acceptBuffer[288] = {0};
486#elif SC_PLATFORM_LINUX
523 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
525#if SC_PLATFORM_WINDOWS
570 SocketDescriptor::Handle
handle = SocketDescriptor::Invalid;
575#if SC_PLATFORM_WINDOWS
578 size_t totalBytesSent = 0;
602 bool disconnected =
false;
615 SC_TRY(getAsync().
buffer.sliceStartLength(0, completionData.numBytes, outData));
639 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
642#if SC_PLATFORM_WINDOWS
677 SocketDescriptor::Handle handle = SocketDescriptor::Invalid;
708 bool endOfFile =
false;
718 SC_TRY(getAsync().
buffer.sliceStartLength(0, completionData.numBytes, data));
760 bool useOffset =
false;
762#if SC_PLATFORM_WINDOWS
800 [[nodiscard]]
SC::Result get(
size_t& writtenSizeInBytes)
802 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:47
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:210
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:706
Callback result for AsyncFileRead.
Definition: Async.h:713
Starts a file read operation, reading bytes from a file (or pipe).
Definition: Async.h:701
Span< char > buffer
Callback called when some data has been read from the file into the buffer.
Definition: Async.h:742
FileDescriptor::Handle fileDescriptor
The writeable span of memory where to data will be written.
Definition: Async.h:743
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:752
uint64_t getOffset() const
The file/pipe descriptor handle to read data from.
Definition: Async.h:748
SC::Result start(AsyncEventLoop &eventLoop, ThreadPool &threadPool, Task &task)
Starts a file receive operation on thread pool, that completes when data has been read from file / pi...
Completion data for AsyncFileWrite.
Definition: Async.h:791
Callback result for AsyncFileWrite.
Definition: Async.h:797
Starts a file write operation, writing bytes to a file (or pipe).
Definition: Async.h:786
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:827
void setOffset(uint64_t fileOffset)
Sets the offset in bytes at which start writing.
Definition: Async.h:836
SC::Result start(AsyncEventLoop &eventLoop, ThreadPool &threadPool, Task &task)
Starts a file write operation on thread pool that completes when it's ready to receive more bytes.
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:826
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:301
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:317
Time::Milliseconds relativeTimeout
Timer expiration (relative) time in milliseconds.
Definition: Async.h:318
Starts a wake-up operation, allowing threads to execute callbacks on loop thread.
Definition: Async.h:338
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:356
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:371
SC::Result start(AsyncEventLoop &eventLoop, ThreadPool &threadPool)
Schedule work to be executed on a background thread, notifying the event loop when it's finished.
Function< void(Result &)> callback
Called to execute the work in a background threadpool thread.
Definition: Async.h:386
Completion data for AsyncProcessExit.
Definition: Async.h:402
Callback result for AsyncProcessExit.
Definition: Async.h:408
Starts monitoring a process, notifying about its termination.
Definition: Async.h:397
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:424
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:165
AsyncEventLoop * getEventLoop() const
Get the event loop associated with this AsyncRequest.
Definition: Async.h:139
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:147
@ 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:216
void reactivateRequest(bool value)
Ask the event loop to re-activate this request after it was already completed.
Definition: Async.h:225
const SC::Result & isValid() const
Check if the returnCode of this result is valid.
Definition: Async.h:228
AsyncResult(AsyncRequest &request)
Constructs an async result from a request.
Definition: Async.h:221
AsyncResult(AsyncRequest &request, SC::Result &&res)
Constructs an async result from a request and a result.
Definition: Async.h:218
Helper holding CompletionData for a specific AsyncRequest-derived class.
Definition: Async.h:246
Completion data for AsyncSocketAccept.
Definition: Async.h:452
Callback result for AsyncSocketAccept.
Definition: Async.h:458
Starts a socket accept operation, obtaining a new socket from a listening socket.
Definition: Async.h:447
Function< void(Result &)> callback
Called when a new socket has been accepted.
Definition: Async.h:475
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:653
SC::Result start(AsyncEventLoop &eventLoop, const SocketDescriptor &socketDescriptor)
Starts a socket close operation.
int code
Return code of close socket operation.
Definition: Async.h:670
Function< void(Result &)> callback
Callback called after fully closing the socket.
Definition: Async.h:672
Starts a socket connect operation, connecting to a remote endpoint.
Definition: Async.h:501
Function< void(Result &)> callback
Called after socket is finally connected to endpoint.
Definition: Async.h:519
SC::Result start(AsyncEventLoop &eventLoop, const SocketDescriptor &socketDescriptor, SocketIPAddress ipAddress)
Starts a socket connect operation.
Completion data for AsyncSocketReceive.
Definition: Async.h:600
Callback result for AsyncSocketReceive.
Definition: Async.h:607
SC::Result get(Span< char > &outData)
Get a Span of the actually read data.
Definition: Async.h:613
Starts a socket receive operation, receiving bytes from a remote endpoint.
Definition: Async.h:595
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:638
Function< void(Result &)> callback
Called after data has been received.
Definition: Async.h:636
Completion data for AsyncSocketSend.
Definition: Async.h:544
Starts a socket send operation, sending bytes to a remote endpoint.
Definition: Async.h:539
Function< void(Result &)> callback
Called when socket is ready to send more data.
Definition: Async.h:567
SC::Result start(AsyncEventLoop &eventLoop)
Starts a socket send operation.
Span< const char > buffer
Span of bytes to send.
Definition: Async.h:569
SocketDescriptor::Handle handle
The socket to send data to.
Definition: Async.h:570
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:262
Create an async Callback result for a given AsyncRequest-derived class.
Definition: Async.h:286
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:11
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:20
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