2018-05-16 08:22:34 +00:00
|
|
|
#
|
2019-02-06 14:49:11 +00:00
|
|
|
# Chronos
|
2018-05-16 08:22:34 +00:00
|
|
|
#
|
2019-02-06 14:49:11 +00:00
|
|
|
# (c) Copyright 2015 Dominik Picheta
|
|
|
|
# (c) Copyright 2018-Present Status Research & Development GmbH
|
2018-05-16 08:22:34 +00:00
|
|
|
#
|
|
|
|
# Licensed under either of
|
|
|
|
# Apache License, version 2.0, (LICENSE-APACHEv2)
|
|
|
|
# MIT license (LICENSE-MIT)
|
|
|
|
|
2022-08-06 10:56:06 +00:00
|
|
|
when (NimMajor, NimMinor) < (1, 4):
|
|
|
|
{.push raises: [Defect].}
|
|
|
|
else:
|
|
|
|
{.push raises: [].}
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
from nativesockets import Port
|
2023-05-23 10:39:35 +00:00
|
|
|
import std/[tables, strutils, heapqueue, deques]
|
2023-02-21 10:48:36 +00:00
|
|
|
import stew/results
|
2023-05-15 16:45:26 +00:00
|
|
|
import "."/[config, osdefs, oserrno, osutils, timer]
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
export Port
|
|
|
|
export timer, results
|
2018-05-16 08:22:34 +00:00
|
|
|
|
|
|
|
#{.injectStmt: newGcInvariant().}
|
|
|
|
|
2023-02-16 20:27:31 +00:00
|
|
|
## Chronos
|
2018-05-16 08:22:34 +00:00
|
|
|
## *************
|
|
|
|
##
|
|
|
|
## This module implements asynchronous IO. This includes a dispatcher,
|
|
|
|
## a ``Future`` type implementation, and an ``async`` macro which allows
|
|
|
|
## asynchronous code to be written in a synchronous style with the ``await``
|
|
|
|
## keyword.
|
|
|
|
##
|
|
|
|
## The dispatcher acts as a kind of event loop. You must call ``poll`` on it
|
|
|
|
## (or a function which does so for you such as ``waitFor`` or ``runForever``)
|
|
|
|
## in order to poll for any outstanding events. The underlying implementation
|
|
|
|
## is based on epoll on Linux, IO Completion Ports on Windows and select on
|
|
|
|
## other operating systems.
|
|
|
|
##
|
|
|
|
## The ``poll`` function will not, on its own, return any events. Instead
|
|
|
|
## an appropriate ``Future`` object will be completed. A ``Future`` is a
|
|
|
|
## type which holds a value which is not yet available, but which *may* be
|
|
|
|
## available in the future. You can check whether a future is finished
|
|
|
|
## by using the ``finished`` function. When a future is finished it means that
|
|
|
|
## either the value that it holds is now available or it holds an error instead.
|
|
|
|
## The latter situation occurs when the operation to complete a future fails
|
|
|
|
## with an exception. You can distinguish between the two situations with the
|
|
|
|
## ``failed`` function.
|
|
|
|
##
|
|
|
|
## Future objects can also store a callback procedure which will be called
|
|
|
|
## automatically once the future completes.
|
|
|
|
##
|
|
|
|
## Futures therefore can be thought of as an implementation of the proactor
|
|
|
|
## pattern. In this
|
|
|
|
## pattern you make a request for an action, and once that action is fulfilled
|
|
|
|
## a future is completed with the result of that action. Requests can be
|
|
|
|
## made by calling the appropriate functions. For example: calling the ``recv``
|
|
|
|
## function will create a request for some data to be read from a socket. The
|
|
|
|
## future which the ``recv`` function returns will then complete once the
|
|
|
|
## requested amount of data is read **or** an exception occurs.
|
|
|
|
##
|
|
|
|
## Code to read some data from a socket may look something like this:
|
|
|
|
##
|
|
|
|
## .. code-block::nim
|
|
|
|
## var future = socket.recv(100)
|
|
|
|
## future.addCallback(
|
|
|
|
## proc () =
|
|
|
|
## echo(future.read)
|
|
|
|
## )
|
|
|
|
##
|
|
|
|
## All asynchronous functions returning a ``Future`` will not block. They
|
|
|
|
## will not however return immediately. An asynchronous function will have
|
|
|
|
## code which will be executed before an asynchronous request is made, in most
|
|
|
|
## cases this code sets up the request.
|
|
|
|
##
|
|
|
|
## In the above example, the ``recv`` function will return a brand new
|
|
|
|
## ``Future`` instance once the request for data to be read from the socket
|
|
|
|
## is made. This ``Future`` instance will complete once the requested amount
|
|
|
|
## of data is read, in this case it is 100 bytes. The second line sets a
|
|
|
|
## callback on this future which will be called once the future completes.
|
|
|
|
## All the callback does is write the data stored in the future to ``stdout``.
|
|
|
|
## The ``read`` function is used for this and it checks whether the future
|
|
|
|
## completes with an error for you (if it did it will simply raise the
|
|
|
|
## error), if there is no error however it returns the value of the future.
|
|
|
|
##
|
|
|
|
## Asynchronous procedures
|
|
|
|
## -----------------------
|
|
|
|
##
|
|
|
|
## Asynchronous procedures remove the pain of working with callbacks. They do
|
|
|
|
## this by allowing you to write asynchronous code the same way as you would
|
|
|
|
## write synchronous code.
|
|
|
|
##
|
|
|
|
## An asynchronous procedure is marked using the ``{.async.}`` pragma.
|
|
|
|
## When marking a procedure with the ``{.async.}`` pragma it must have a
|
|
|
|
## ``Future[T]`` return type or no return type at all. If you do not specify
|
|
|
|
## a return type then ``Future[void]`` is assumed.
|
|
|
|
##
|
|
|
|
## Inside asynchronous procedures ``await`` can be used to call any
|
|
|
|
## procedures which return a
|
|
|
|
## ``Future``; this includes asynchronous procedures. When a procedure is
|
|
|
|
## "awaited", the asynchronous procedure it is awaited in will
|
|
|
|
## suspend its execution
|
|
|
|
## until the awaited procedure's Future completes. At which point the
|
|
|
|
## asynchronous procedure will resume its execution. During the period
|
|
|
|
## when an asynchronous procedure is suspended other asynchronous procedures
|
|
|
|
## will be run by the dispatcher.
|
|
|
|
##
|
|
|
|
## The ``await`` call may be used in many contexts. It can be used on the right
|
|
|
|
## hand side of a variable declaration: ``var data = await socket.recv(100)``,
|
|
|
|
## in which case the variable will be set to the value of the future
|
|
|
|
## automatically. It can be used to await a ``Future`` object, and it can
|
|
|
|
## be used to await a procedure returning a ``Future[void]``:
|
|
|
|
## ``await socket.send("foobar")``.
|
|
|
|
##
|
|
|
|
## If an awaited future completes with an error, then ``await`` will re-raise
|
2023-02-16 20:27:31 +00:00
|
|
|
## this error.
|
2018-05-16 08:22:34 +00:00
|
|
|
##
|
|
|
|
## Handling Exceptions
|
2023-02-16 20:27:31 +00:00
|
|
|
## -------------------
|
2018-05-16 08:22:34 +00:00
|
|
|
##
|
2023-02-16 20:27:31 +00:00
|
|
|
## The ``async`` procedures also offer support for the try statement.
|
2018-05-16 08:22:34 +00:00
|
|
|
##
|
|
|
|
## .. code-block:: Nim
|
|
|
|
## try:
|
|
|
|
## let data = await sock.recv(100)
|
|
|
|
## echo("Received ", data)
|
2023-02-16 20:27:31 +00:00
|
|
|
## except CancelledError as exc:
|
|
|
|
## # Handle exc
|
2018-05-16 08:22:34 +00:00
|
|
|
##
|
|
|
|
## Discarding futures
|
|
|
|
## ------------------
|
|
|
|
##
|
|
|
|
## Futures should **never** be discarded. This is because they may contain
|
|
|
|
## errors. If you do not care for the result of a Future then you should
|
2023-02-16 20:27:31 +00:00
|
|
|
## use the ``asyncSpawn`` procedure instead of the ``discard`` keyword.
|
|
|
|
## ``asyncSpawn`` will transform any exception thrown by the called procedure
|
|
|
|
## to a Defect
|
2018-05-16 08:22:34 +00:00
|
|
|
##
|
|
|
|
## Limitations/Bugs
|
|
|
|
## ----------------
|
|
|
|
##
|
|
|
|
## * The effect system (``raises: []``) does not work with async procedures.
|
|
|
|
|
|
|
|
# TODO: Check if yielded future is nil and throw a more meaningful exception
|
|
|
|
|
2022-09-16 20:34:18 +00:00
|
|
|
const
|
|
|
|
MaxEventsCount* = 64
|
2019-09-10 17:19:49 +00:00
|
|
|
|
2019-03-24 16:57:36 +00:00
|
|
|
when defined(windows):
|
2023-02-21 10:48:36 +00:00
|
|
|
import std/[sets, hashes]
|
|
|
|
elif defined(macosx) or defined(freebsd) or defined(netbsd) or
|
|
|
|
defined(openbsd) or defined(dragonfly) or defined(macos) or
|
|
|
|
defined(linux) or defined(android) or defined(solaris):
|
|
|
|
import "."/selectors2
|
2022-06-28 21:53:09 +00:00
|
|
|
export SIGHUP, SIGINT, SIGQUIT, SIGILL, SIGTRAP, SIGABRT,
|
|
|
|
SIGBUS, SIGFPE, SIGKILL, SIGUSR1, SIGSEGV, SIGUSR2,
|
|
|
|
SIGPIPE, SIGALRM, SIGTERM, SIGPIPE
|
2023-04-30 06:20:08 +00:00
|
|
|
export oserrno
|
2019-03-24 16:57:36 +00:00
|
|
|
|
2018-05-16 08:22:34 +00:00
|
|
|
type
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
CallbackFunc* = proc (arg: pointer) {.gcsafe, raises: [Defect].}
|
2019-09-10 17:19:49 +00:00
|
|
|
|
2020-01-08 17:06:56 +00:00
|
|
|
AsyncCallback* = object
|
2019-09-10 17:19:49 +00:00
|
|
|
function*: CallbackFunc
|
|
|
|
udata*: pointer
|
|
|
|
|
2019-03-26 10:29:45 +00:00
|
|
|
AsyncError* = object of CatchableError
|
2018-07-20 08:58:01 +00:00
|
|
|
## Generic async exception
|
|
|
|
AsyncTimeoutError* = object of AsyncError
|
|
|
|
## Timeout exception
|
|
|
|
|
2020-01-07 05:26:18 +00:00
|
|
|
TimerCallback* = ref object
|
2019-03-24 16:57:36 +00:00
|
|
|
finishAt*: Moment
|
2018-05-16 08:22:34 +00:00
|
|
|
function*: AsyncCallback
|
|
|
|
|
2019-04-04 09:34:23 +00:00
|
|
|
TrackerBase* = ref object of RootRef
|
|
|
|
id*: string
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
dump*: proc(): string {.gcsafe, raises: [Defect].}
|
|
|
|
isLeaked*: proc(): bool {.gcsafe, raises: [Defect].}
|
2019-04-04 09:34:23 +00:00
|
|
|
|
2018-05-16 08:22:34 +00:00
|
|
|
PDispatcherBase = ref object of RootRef
|
|
|
|
timers*: HeapQueue[TimerCallback]
|
|
|
|
callbacks*: Deque[AsyncCallback]
|
2021-01-19 12:48:39 +00:00
|
|
|
idlers*: Deque[AsyncCallback]
|
2019-04-04 09:34:23 +00:00
|
|
|
trackers*: Table[string, TrackerBase]
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc sentinelCallbackImpl(arg: pointer) {.gcsafe.} =
|
2022-09-16 20:34:18 +00:00
|
|
|
raiseAssert "Sentinel callback MUST not be scheduled"
|
|
|
|
|
|
|
|
const
|
|
|
|
SentinelCallback = AsyncCallback(function: sentinelCallbackImpl,
|
|
|
|
udata: nil)
|
|
|
|
|
2023-01-18 14:54:39 +00:00
|
|
|
proc isSentinel(acb: AsyncCallback): bool =
|
2022-09-16 20:34:18 +00:00
|
|
|
acb == SentinelCallback
|
|
|
|
|
2018-05-16 08:22:34 +00:00
|
|
|
proc `<`(a, b: TimerCallback): bool =
|
|
|
|
result = a.finishAt < b.finishAt
|
|
|
|
|
2019-03-24 16:57:36 +00:00
|
|
|
func getAsyncTimestamp*(a: Duration): auto {.inline.} =
|
|
|
|
## Return rounded up value of duration with milliseconds resolution.
|
|
|
|
##
|
|
|
|
## This function also take care on int32 overflow, because Linux and Windows
|
|
|
|
## accepts signed 32bit integer as timeout.
|
|
|
|
let milsec = Millisecond.nanoseconds()
|
|
|
|
let nansec = a.nanoseconds()
|
|
|
|
var res = nansec div milsec
|
|
|
|
let mid = nansec mod milsec
|
|
|
|
when defined(windows):
|
2022-11-02 07:09:15 +00:00
|
|
|
res = min(int64(high(int32) - 1), res)
|
2019-03-24 16:57:36 +00:00
|
|
|
result = cast[DWORD](res)
|
|
|
|
result += DWORD(min(1'i32, cast[int32](mid)))
|
|
|
|
else:
|
2022-11-02 07:09:15 +00:00
|
|
|
res = min(int64(high(int32) - 1), res)
|
2019-03-24 16:57:36 +00:00
|
|
|
result = cast[int32](res)
|
|
|
|
result += min(1, cast[int32](mid))
|
|
|
|
|
2018-06-02 23:03:48 +00:00
|
|
|
template processTimersGetTimeout(loop, timeout: untyped) =
|
2020-01-08 16:03:34 +00:00
|
|
|
var lastFinish = curTime
|
|
|
|
while loop.timers.len > 0:
|
2020-09-15 07:55:43 +00:00
|
|
|
if loop.timers[0].function.function.isNil:
|
2020-01-08 16:03:34 +00:00
|
|
|
discard loop.timers.pop()
|
|
|
|
continue
|
2020-01-07 05:26:18 +00:00
|
|
|
|
2020-01-08 16:03:34 +00:00
|
|
|
lastFinish = loop.timers[0].finishAt
|
|
|
|
if curTime < lastFinish:
|
|
|
|
break
|
2020-01-07 05:26:18 +00:00
|
|
|
|
2020-01-08 16:03:34 +00:00
|
|
|
loop.callbacks.addLast(loop.timers.pop().function)
|
2021-01-19 12:48:39 +00:00
|
|
|
|
2020-01-08 16:03:34 +00:00
|
|
|
if loop.timers.len > 0:
|
|
|
|
timeout = (lastFinish - curTime).getAsyncTimestamp()
|
2018-06-02 23:03:48 +00:00
|
|
|
|
|
|
|
if timeout == 0:
|
2021-01-19 12:48:39 +00:00
|
|
|
if (len(loop.callbacks) == 0) and (len(loop.idlers) == 0):
|
2018-06-02 23:03:48 +00:00
|
|
|
when defined(windows):
|
|
|
|
timeout = INFINITE
|
|
|
|
else:
|
|
|
|
timeout = -1
|
|
|
|
else:
|
2021-01-19 12:48:39 +00:00
|
|
|
if (len(loop.callbacks) != 0) or (len(loop.idlers) != 0):
|
2018-06-02 23:03:48 +00:00
|
|
|
timeout = 0
|
|
|
|
|
|
|
|
template processTimers(loop: untyped) =
|
2019-03-24 16:57:36 +00:00
|
|
|
var curTime = Moment.now()
|
2020-01-08 16:03:34 +00:00
|
|
|
while loop.timers.len > 0:
|
2020-09-15 07:55:43 +00:00
|
|
|
if loop.timers[0].function.function.isNil:
|
2020-01-08 16:03:34 +00:00
|
|
|
discard loop.timers.pop()
|
|
|
|
continue
|
2020-01-07 05:26:18 +00:00
|
|
|
|
2020-01-08 16:03:34 +00:00
|
|
|
if curTime < loop.timers[0].finishAt:
|
|
|
|
break
|
|
|
|
loop.callbacks.addLast(loop.timers.pop().function)
|
2018-06-02 23:03:48 +00:00
|
|
|
|
2021-01-19 12:48:39 +00:00
|
|
|
template processIdlers(loop: untyped) =
|
|
|
|
if len(loop.idlers) > 0:
|
|
|
|
loop.callbacks.addLast(loop.idlers.popFirst())
|
|
|
|
|
2018-06-02 23:03:48 +00:00
|
|
|
template processCallbacks(loop: untyped) =
|
2022-09-16 20:34:18 +00:00
|
|
|
while true:
|
|
|
|
let callable = loop.callbacks.popFirst() # len must be > 0 due to sentinel
|
|
|
|
if isSentinel(callable):
|
|
|
|
break
|
|
|
|
if not(isNil(callable.function)):
|
2018-12-12 11:07:41 +00:00
|
|
|
callable.function(callable.udata)
|
2018-06-02 23:03:48 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc raiseAsDefect*(exc: ref Exception, msg: string) {.noreturn, noinline.} =
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
# Reraise an exception as a Defect, where it's unexpected and can't be handled
|
|
|
|
# We include the stack trace in the message because otherwise, it's easily
|
|
|
|
# lost - Nim doesn't print it for `parent` exceptions for example (!)
|
|
|
|
raise (ref Defect)(
|
|
|
|
msg: msg & "\n" & exc.msg & "\n" & exc.getStackTrace(), parent: exc)
|
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc raiseOsDefect*(error: OSErrorCode, msg = "") {.noreturn, noinline.} =
|
|
|
|
# Reraise OS error code as a Defect, where it's unexpected and can't be
|
|
|
|
# handled. We include the stack trace in the message because otherwise,
|
|
|
|
# it's easily lost.
|
|
|
|
raise (ref Defect)(msg: msg & "\n[" & $int(error) & "] " & osErrorMsg(error) &
|
|
|
|
"\n" & getStackTrace())
|
|
|
|
|
2023-04-30 06:20:08 +00:00
|
|
|
func toPointer(error: OSErrorCode): pointer =
|
|
|
|
when sizeof(int) == 8:
|
|
|
|
cast[pointer](uint64(uint32(error)))
|
|
|
|
else:
|
|
|
|
cast[pointer](uint32(error))
|
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
func toException*(v: OSErrorCode): ref OSError = newOSError(v)
|
|
|
|
# This helper will allow to use `tryGet()` and raise OSError for
|
|
|
|
# Result[T, OSErrorCode] values.
|
|
|
|
|
2022-01-04 17:00:17 +00:00
|
|
|
when defined(windows):
|
2018-05-16 08:22:34 +00:00
|
|
|
type
|
|
|
|
CompletionKey = ULONG_PTR
|
|
|
|
|
|
|
|
CompletionData* = object
|
|
|
|
cb*: CallbackFunc
|
|
|
|
errCode*: OSErrorCode
|
2023-02-21 10:48:36 +00:00
|
|
|
bytesCount*: uint32
|
2018-05-16 08:22:34 +00:00
|
|
|
udata*: pointer
|
|
|
|
|
2018-05-25 01:05:13 +00:00
|
|
|
CustomOverlapped* = object of OVERLAPPED
|
|
|
|
data*: CompletionData
|
|
|
|
|
2022-09-16 20:34:18 +00:00
|
|
|
OVERLAPPED_ENTRY* = object
|
|
|
|
lpCompletionKey*: ULONG_PTR
|
|
|
|
lpOverlapped*: ptr CustomOverlapped
|
|
|
|
internal: ULONG_PTR
|
|
|
|
dwNumberOfBytesTransferred: DWORD
|
|
|
|
|
2018-05-16 08:22:34 +00:00
|
|
|
PDispatcher* = ref object of PDispatcherBase
|
2023-02-21 10:48:36 +00:00
|
|
|
ioPort: HANDLE
|
2018-05-16 08:22:34 +00:00
|
|
|
handles: HashSet[AsyncFD]
|
|
|
|
connectEx*: WSAPROC_CONNECTEX
|
|
|
|
acceptEx*: WSAPROC_ACCEPTEX
|
|
|
|
getAcceptExSockAddrs*: WSAPROC_GETACCEPTEXSOCKADDRS
|
|
|
|
transmitFile*: WSAPROC_TRANSMITFILE
|
2022-09-16 20:34:18 +00:00
|
|
|
getQueuedCompletionStatusEx*: LPFN_GETQUEUEDCOMPLETIONSTATUSEX
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2018-05-21 21:52:57 +00:00
|
|
|
PtrCustomOverlapped* = ptr CustomOverlapped
|
2018-05-16 08:22:34 +00:00
|
|
|
|
|
|
|
RefCustomOverlapped* = ref CustomOverlapped
|
|
|
|
|
2023-05-23 10:39:35 +00:00
|
|
|
PostCallbackData = object
|
|
|
|
ioPort: HANDLE
|
|
|
|
handleFd: AsyncFD
|
|
|
|
waitFd: HANDLE
|
|
|
|
udata: pointer
|
|
|
|
ovlref: RefCustomOverlapped
|
|
|
|
ovl: pointer
|
|
|
|
|
|
|
|
WaitableHandle* = ref PostCallbackData
|
|
|
|
ProcessHandle* = distinct WaitableHandle
|
|
|
|
|
|
|
|
WaitableResult* {.pure.} = enum
|
|
|
|
Ok, Timeout
|
|
|
|
|
2018-05-16 08:22:34 +00:00
|
|
|
AsyncFD* = distinct int
|
|
|
|
|
|
|
|
proc hash(x: AsyncFD): Hash {.borrow.}
|
2021-11-20 00:30:23 +00:00
|
|
|
proc `==`*(x: AsyncFD, y: AsyncFD): bool {.borrow, gcsafe.}
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc getFunc(s: SocketHandle, fun: var pointer, guid: GUID): bool =
|
2019-09-10 17:19:49 +00:00
|
|
|
var bytesRet: DWORD
|
|
|
|
fun = nil
|
2023-05-23 10:39:35 +00:00
|
|
|
wsaIoctl(s, SIO_GET_EXTENSION_FUNCTION_POINTER, unsafeAddr(guid),
|
|
|
|
DWORD(sizeof(GUID)), addr fun, DWORD(sizeof(pointer)),
|
|
|
|
addr(bytesRet), nil, nil) == 0
|
2019-09-10 17:19:49 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc globalInit() =
|
|
|
|
var wsa = WSAData()
|
|
|
|
let res = wsaStartup(0x0202'u16, addr wsa)
|
|
|
|
if res != 0:
|
|
|
|
raiseOsDefect(osLastError(),
|
|
|
|
"globalInit(): Unable to initialize Windows Sockets API")
|
2019-09-23 17:24:26 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc initAPI(loop: PDispatcher) =
|
|
|
|
var funcPointer: pointer = nil
|
2019-09-10 17:19:49 +00:00
|
|
|
|
2022-09-16 20:34:18 +00:00
|
|
|
let kernel32 = getModuleHandle(newWideCString("kernel32.dll"))
|
|
|
|
loop.getQueuedCompletionStatusEx = cast[LPFN_GETQUEUEDCOMPLETIONSTATUSEX](
|
|
|
|
getProcAddress(kernel32, "GetQueuedCompletionStatusEx"))
|
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
let sock = osdefs.socket(osdefs.AF_INET, 1, 6)
|
|
|
|
if sock == osdefs.INVALID_SOCKET:
|
|
|
|
raiseOsDefect(osLastError(), "initAPI(): Unable to create control socket")
|
|
|
|
|
|
|
|
block:
|
|
|
|
let res = getFunc(sock, funcPointer, WSAID_CONNECTEX)
|
|
|
|
if not(res):
|
|
|
|
raiseOsDefect(osLastError(), "initAPI(): Unable to initialize " &
|
|
|
|
"dispatcher's ConnectEx()")
|
|
|
|
loop.connectEx = cast[WSAPROC_CONNECTEX](funcPointer)
|
|
|
|
|
|
|
|
block:
|
|
|
|
let res = getFunc(sock, funcPointer, WSAID_ACCEPTEX)
|
|
|
|
if not(res):
|
|
|
|
raiseOsDefect(osLastError(), "initAPI(): Unable to initialize " &
|
|
|
|
"dispatcher's AcceptEx()")
|
|
|
|
loop.acceptEx = cast[WSAPROC_ACCEPTEX](funcPointer)
|
|
|
|
|
|
|
|
block:
|
|
|
|
let res = getFunc(sock, funcPointer, WSAID_GETACCEPTEXSOCKADDRS)
|
|
|
|
if not(res):
|
|
|
|
raiseOsDefect(osLastError(), "initAPI(): Unable to initialize " &
|
|
|
|
"dispatcher's GetAcceptExSockAddrs()")
|
|
|
|
loop.getAcceptExSockAddrs =
|
|
|
|
cast[WSAPROC_GETACCEPTEXSOCKADDRS](funcPointer)
|
|
|
|
|
|
|
|
block:
|
|
|
|
let res = getFunc(sock, funcPointer, WSAID_TRANSMITFILE)
|
|
|
|
if not(res):
|
|
|
|
raiseOsDefect(osLastError(), "initAPI(): Unable to initialize " &
|
|
|
|
"dispatcher's TransmitFile()")
|
|
|
|
loop.transmitFile = cast[WSAPROC_TRANSMITFILE](funcPointer)
|
|
|
|
|
|
|
|
if closeFd(sock) != 0:
|
|
|
|
raiseOsDefect(osLastError(), "initAPI(): Unable to close control socket")
|
|
|
|
|
|
|
|
proc newDispatcher*(): PDispatcher =
|
2018-05-16 08:22:34 +00:00
|
|
|
## Creates a new Dispatcher instance.
|
2023-02-21 10:48:36 +00:00
|
|
|
let port = createIoCompletionPort(osdefs.INVALID_HANDLE_VALUE,
|
|
|
|
HANDLE(0), 0, 1)
|
|
|
|
if port == osdefs.INVALID_HANDLE_VALUE:
|
|
|
|
raiseOsDefect(osLastError(), "newDispatcher(): Unable to create " &
|
|
|
|
"IOCP port")
|
|
|
|
var res = PDispatcher(
|
|
|
|
ioPort: port,
|
|
|
|
handles: initHashSet[AsyncFD](),
|
|
|
|
timers: initHeapQueue[TimerCallback](),
|
|
|
|
callbacks: initDeque[AsyncCallback](64),
|
|
|
|
idlers: initDeque[AsyncCallback](),
|
|
|
|
trackers: initTable[string, TrackerBase]()
|
|
|
|
)
|
2022-09-16 20:34:18 +00:00
|
|
|
res.callbacks.addLast(SentinelCallback)
|
2021-01-19 12:48:39 +00:00
|
|
|
initAPI(res)
|
|
|
|
res
|
2018-05-16 08:22:34 +00:00
|
|
|
|
|
|
|
var gDisp{.threadvar.}: PDispatcher ## Global dispatcher
|
|
|
|
|
2021-01-11 17:15:23 +00:00
|
|
|
proc setThreadDispatcher*(disp: PDispatcher) {.gcsafe, raises: [Defect].}
|
|
|
|
proc getThreadDispatcher*(): PDispatcher {.gcsafe, raises: [Defect].}
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc getIoHandler*(disp: PDispatcher): HANDLE =
|
2018-05-16 08:22:34 +00:00
|
|
|
## Returns the underlying IO Completion Port handle (Windows) or selector
|
|
|
|
## (Unix) for the specified dispatcher.
|
2023-02-21 10:48:36 +00:00
|
|
|
disp.ioPort
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc register2*(fd: AsyncFD): Result[void, OSErrorCode] =
|
2018-08-24 12:20:08 +00:00
|
|
|
## Register file descriptor ``fd`` in thread's dispatcher.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2023-02-21 10:48:36 +00:00
|
|
|
if createIoCompletionPort(HANDLE(fd), loop.ioPort, cast[CompletionKey](fd),
|
|
|
|
1) == osdefs.INVALID_HANDLE_VALUE:
|
|
|
|
return err(osLastError())
|
2018-08-24 12:20:08 +00:00
|
|
|
loop.handles.incl(fd)
|
2023-02-21 10:48:36 +00:00
|
|
|
ok()
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc register*(fd: AsyncFD) {.raises: [Defect, OSError].} =
|
|
|
|
## Register file descriptor ``fd`` in thread's dispatcher.
|
|
|
|
register2(fd).tryGet()
|
|
|
|
|
|
|
|
proc unregister*(fd: AsyncFD) =
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
## Unregisters ``fd``.
|
|
|
|
getThreadDispatcher().handles.excl(fd)
|
|
|
|
|
2023-05-23 10:39:35 +00:00
|
|
|
{.push stackTrace: off.}
|
|
|
|
proc waitableCallback(param: pointer, timerOrWaitFired: WINBOOL) {.
|
|
|
|
stdcall, gcsafe.} =
|
|
|
|
# This procedure will be executed in `wait thread`, so it must not use
|
|
|
|
# GC related objects.
|
|
|
|
# We going to ignore callbacks which was spawned when `isNil(param) == true`
|
|
|
|
# because we unable to indicate this error.
|
|
|
|
if isNil(param): return
|
|
|
|
var wh = cast[ptr PostCallbackData](param)
|
|
|
|
# We ignore result of postQueueCompletionStatus() call because we unable to
|
|
|
|
# indicate error.
|
|
|
|
discard postQueuedCompletionStatus(wh[].ioPort, DWORD(timerOrWaitFired),
|
|
|
|
ULONG_PTR(wh[].handleFd),
|
|
|
|
wh[].ovl)
|
|
|
|
{.pop.}
|
|
|
|
|
|
|
|
proc registerWaitable(
|
|
|
|
handle: HANDLE,
|
|
|
|
flags: ULONG,
|
|
|
|
timeout: Duration,
|
|
|
|
cb: CallbackFunc,
|
|
|
|
udata: pointer
|
|
|
|
): Result[WaitableHandle, OSErrorCode] =
|
|
|
|
## Register handle of (Change notification, Console input, Event,
|
|
|
|
## Memory resource notification, Mutex, Process, Semaphore, Thread,
|
|
|
|
## Waitable timer) for waiting, using specific Windows' ``flags`` and
|
|
|
|
## ``timeout`` value.
|
|
|
|
##
|
|
|
|
## Callback ``cb`` will be scheduled with ``udata`` parameter when
|
|
|
|
## ``handle`` become signaled.
|
|
|
|
##
|
|
|
|
## Result of this procedure call ``WaitableHandle`` should be closed using
|
|
|
|
## closeWaitable() call.
|
|
|
|
##
|
|
|
|
## NOTE: This is private procedure, not supposed to be publicly available,
|
|
|
|
## please use ``waitForSingleObject()``.
|
|
|
|
let loop = getThreadDispatcher()
|
|
|
|
var ovl = RefCustomOverlapped(data: CompletionData(cb: cb))
|
|
|
|
|
|
|
|
var whandle = (ref PostCallbackData)(
|
|
|
|
ioPort: loop.getIoHandler(),
|
|
|
|
handleFd: AsyncFD(handle),
|
|
|
|
udata: udata,
|
|
|
|
ovlref: ovl,
|
|
|
|
ovl: cast[pointer](ovl)
|
|
|
|
)
|
|
|
|
|
|
|
|
ovl.data.udata = cast[pointer](whandle)
|
|
|
|
|
|
|
|
let dwordTimeout =
|
|
|
|
if timeout == InfiniteDuration:
|
|
|
|
DWORD(INFINITE)
|
|
|
|
else:
|
|
|
|
DWORD(timeout.milliseconds)
|
|
|
|
|
|
|
|
if registerWaitForSingleObject(addr(whandle[].waitFd), handle,
|
|
|
|
cast[WAITORTIMERCALLBACK](waitableCallback),
|
|
|
|
cast[pointer](whandle),
|
|
|
|
dwordTimeout,
|
|
|
|
flags) == WINBOOL(0):
|
|
|
|
ovl.data.udata = nil
|
|
|
|
whandle.ovlref = nil
|
|
|
|
whandle.ovl = nil
|
|
|
|
return err(osLastError())
|
|
|
|
|
|
|
|
ok(WaitableHandle(whandle))
|
|
|
|
|
|
|
|
proc closeWaitable(wh: WaitableHandle): Result[void, OSErrorCode] =
|
|
|
|
## Close waitable handle ``wh`` and clear all the resources. It is safe
|
|
|
|
## to close this handle, even if wait operation is pending.
|
|
|
|
##
|
|
|
|
## NOTE: This is private procedure, not supposed to be publicly available,
|
|
|
|
## please use ``waitForSingleObject()``.
|
|
|
|
doAssert(not(isNil(wh)))
|
|
|
|
|
|
|
|
let pdata = (ref PostCallbackData)(wh)
|
|
|
|
# We are not going to clear `ref` fields in PostCallbackData object because
|
|
|
|
# it possible that callback is already scheduled.
|
|
|
|
if unregisterWait(pdata.waitFd) == 0:
|
|
|
|
let res = osLastError()
|
|
|
|
if res != ERROR_IO_PENDING:
|
|
|
|
return err(res)
|
|
|
|
ok()
|
|
|
|
|
|
|
|
proc addProcess2*(pid: int, cb: CallbackFunc,
|
|
|
|
udata: pointer = nil): Result[ProcessHandle, OSErrorCode] =
|
|
|
|
## Registers callback ``cb`` to be called when process with process
|
|
|
|
## identifier ``pid`` exited. Returns process identifier, which can be
|
|
|
|
## used to clear process callback via ``removeProcess``.
|
|
|
|
doAssert(pid > 0, "Process identifier must be positive integer")
|
|
|
|
let
|
|
|
|
hProcess = openProcess(SYNCHRONIZE, WINBOOL(0), DWORD(pid))
|
|
|
|
flags = WT_EXECUTEINWAITTHREAD or WT_EXECUTEONLYONCE
|
|
|
|
|
|
|
|
var wh: WaitableHandle = nil
|
|
|
|
|
|
|
|
if hProcess == HANDLE(0):
|
|
|
|
return err(osLastError())
|
|
|
|
|
|
|
|
proc continuation(udata: pointer) {.gcsafe.} =
|
|
|
|
doAssert(not(isNil(udata)))
|
|
|
|
doAssert(not(isNil(wh)))
|
|
|
|
discard closeFd(hProcess)
|
|
|
|
cb(wh[].udata)
|
|
|
|
|
|
|
|
wh =
|
|
|
|
block:
|
|
|
|
let res = registerWaitable(hProcess, flags, InfiniteDuration,
|
|
|
|
continuation, udata)
|
|
|
|
if res.isErr():
|
|
|
|
discard closeFd(hProcess)
|
|
|
|
return err(res.error())
|
|
|
|
res.get()
|
|
|
|
ok(ProcessHandle(wh))
|
|
|
|
|
|
|
|
proc removeProcess2*(procHandle: ProcessHandle): Result[void, OSErrorCode] =
|
|
|
|
## Remove process' watching using process' descriptor ``procHandle``.
|
|
|
|
let waitableHandle = WaitableHandle(procHandle)
|
|
|
|
doAssert(not(isNil(waitableHandle)))
|
|
|
|
? closeWaitable(waitableHandle)
|
|
|
|
ok()
|
|
|
|
|
|
|
|
proc addProcess*(pid: int, cb: CallbackFunc,
|
|
|
|
udata: pointer = nil): ProcessHandle {.
|
|
|
|
raises: [Defect, OSError].} =
|
|
|
|
## Registers callback ``cb`` to be called when process with process
|
|
|
|
## identifier ``pid`` exited. Returns process identifier, which can be
|
|
|
|
## used to clear process callback via ``removeProcess``.
|
|
|
|
addProcess2(pid, cb, udata).tryGet()
|
|
|
|
|
|
|
|
proc removeProcess*(procHandle: ProcessHandle) {.
|
|
|
|
raises: [Defect, OSError].} =
|
|
|
|
## Remove process' watching using process' descriptor ``procHandle``.
|
|
|
|
removeProcess2(procHandle).tryGet()
|
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc poll*() =
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
## Perform single asynchronous step, processing timers and completing
|
2022-09-16 20:34:18 +00:00
|
|
|
## tasks. Blocks until at least one event has completed.
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
##
|
|
|
|
## Exceptions raised here indicate that waiting for tasks to be unblocked
|
|
|
|
## failed - exceptions from within tasks are instead propagated through
|
|
|
|
## their respective futures and not allowed to interrrupt the poll call.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2022-09-16 20:34:18 +00:00
|
|
|
var
|
|
|
|
curTime = Moment.now()
|
|
|
|
curTimeout = DWORD(0)
|
2023-02-21 10:48:36 +00:00
|
|
|
events: array[MaxEventsCount, osdefs.OVERLAPPED_ENTRY]
|
2022-09-16 20:34:18 +00:00
|
|
|
|
|
|
|
# On reentrant `poll` calls from `processCallbacks`, e.g., `waitFor`,
|
|
|
|
# complete pending work of the outer `processCallbacks` call.
|
|
|
|
# On non-reentrant `poll` calls, this only removes sentinel element.
|
|
|
|
processCallbacks(loop)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
|
|
|
# Moving expired timers to `loop.callbacks` and calculate timeout
|
2018-06-02 23:03:48 +00:00
|
|
|
loop.processTimersGetTimeout(curTimeout)
|
|
|
|
|
2022-09-16 20:34:18 +00:00
|
|
|
let networkEventsCount =
|
|
|
|
if isNil(loop.getQueuedCompletionStatusEx):
|
|
|
|
let res = getQueuedCompletionStatus(
|
|
|
|
loop.ioPort,
|
|
|
|
addr events[0].dwNumberOfBytesTransferred,
|
|
|
|
addr events[0].lpCompletionKey,
|
|
|
|
cast[ptr POVERLAPPED](addr events[0].lpOverlapped),
|
|
|
|
curTimeout
|
|
|
|
)
|
2023-02-21 10:48:36 +00:00
|
|
|
if res == FALSE:
|
2022-09-16 20:34:18 +00:00
|
|
|
let errCode = osLastError()
|
|
|
|
if not(isNil(events[0].lpOverlapped)):
|
|
|
|
1
|
|
|
|
else:
|
2023-02-21 10:48:36 +00:00
|
|
|
if uint32(errCode) != WAIT_TIMEOUT:
|
|
|
|
raiseOsDefect(errCode, "poll(): Unable to get OS events")
|
2022-09-16 20:34:18 +00:00
|
|
|
0
|
|
|
|
else:
|
|
|
|
1
|
|
|
|
else:
|
|
|
|
var eventsReceived = ULONG(0)
|
|
|
|
let res = loop.getQueuedCompletionStatusEx(
|
|
|
|
loop.ioPort,
|
|
|
|
addr events[0],
|
|
|
|
ULONG(len(events)),
|
|
|
|
eventsReceived,
|
|
|
|
curTimeout,
|
|
|
|
WINBOOL(0)
|
|
|
|
)
|
2023-02-21 10:48:36 +00:00
|
|
|
if res == FALSE:
|
2022-09-16 20:34:18 +00:00
|
|
|
let errCode = osLastError()
|
2023-02-21 10:48:36 +00:00
|
|
|
if uint32(errCode) != WAIT_TIMEOUT:
|
|
|
|
raiseOsDefect(errCode, "poll(): Unable to get OS events")
|
2022-09-16 20:34:18 +00:00
|
|
|
0
|
|
|
|
else:
|
2023-02-21 10:48:36 +00:00
|
|
|
int(eventsReceived)
|
2022-09-16 20:34:18 +00:00
|
|
|
|
|
|
|
for i in 0 ..< networkEventsCount:
|
2023-02-21 10:48:36 +00:00
|
|
|
var customOverlapped = PtrCustomOverlapped(events[i].lpOverlapped)
|
2022-09-16 20:34:18 +00:00
|
|
|
customOverlapped.data.errCode =
|
|
|
|
block:
|
|
|
|
let res = cast[uint64](customOverlapped.internal)
|
|
|
|
if res == 0'u64:
|
|
|
|
OSErrorCode(-1)
|
|
|
|
else:
|
|
|
|
OSErrorCode(rtlNtStatusToDosError(res))
|
|
|
|
customOverlapped.data.bytesCount = events[i].dwNumberOfBytesTransferred
|
2018-05-16 08:22:34 +00:00
|
|
|
let acb = AsyncCallback(function: customOverlapped.data.cb,
|
|
|
|
udata: cast[pointer](customOverlapped))
|
|
|
|
loop.callbacks.addLast(acb)
|
|
|
|
|
|
|
|
# Moving expired timers to `loop.callbacks`.
|
2018-06-02 23:03:48 +00:00
|
|
|
loop.processTimers()
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2021-01-19 12:48:39 +00:00
|
|
|
# We move idle callbacks to `loop.callbacks` only if there no pending
|
|
|
|
# network events.
|
2022-09-16 20:34:18 +00:00
|
|
|
if networkEventsCount == 0:
|
2021-01-19 12:48:39 +00:00
|
|
|
loop.processIdlers()
|
|
|
|
|
2022-09-16 20:34:18 +00:00
|
|
|
# All callbacks which will be added during `processCallbacks` will be
|
|
|
|
# scheduled after the sentinel and are processed on next `poll()` call.
|
|
|
|
loop.callbacks.addLast(SentinelCallback)
|
|
|
|
processCallbacks(loop)
|
|
|
|
|
|
|
|
# All callbacks done, skip `processCallbacks` at start.
|
|
|
|
loop.callbacks.addFirst(SentinelCallback)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2018-10-02 10:50:14 +00:00
|
|
|
proc closeSocket*(fd: AsyncFD, aftercb: CallbackFunc = nil) =
|
2018-05-16 08:22:34 +00:00
|
|
|
## Closes a socket and ensures that it is unregistered.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2018-10-02 10:50:14 +00:00
|
|
|
loop.handles.excl(fd)
|
2023-04-30 06:20:08 +00:00
|
|
|
let
|
|
|
|
param = toPointer(
|
|
|
|
if closeFd(SocketHandle(fd)) == 0:
|
|
|
|
OSErrorCode(0)
|
|
|
|
else:
|
|
|
|
osLastError()
|
|
|
|
)
|
|
|
|
if not(isNil(aftercb)):
|
|
|
|
loop.callbacks.addLast(AsyncCallback(function: aftercb, udata: param))
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2018-10-25 10:19:19 +00:00
|
|
|
proc closeHandle*(fd: AsyncFD, aftercb: CallbackFunc = nil) =
|
|
|
|
## Closes a (pipe/file) handle and ensures that it is unregistered.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2018-10-25 10:19:19 +00:00
|
|
|
loop.handles.excl(fd)
|
2023-04-30 06:20:08 +00:00
|
|
|
let
|
|
|
|
param = toPointer(
|
|
|
|
if closeFd(HANDLE(fd)) == 0:
|
|
|
|
OSErrorCode(0)
|
|
|
|
else:
|
|
|
|
osLastError()
|
|
|
|
)
|
|
|
|
|
|
|
|
if not(isNil(aftercb)):
|
|
|
|
loop.callbacks.addLast(AsyncCallback(function: aftercb, udata: param))
|
2018-10-25 10:19:19 +00:00
|
|
|
|
2018-05-16 08:22:34 +00:00
|
|
|
proc contains*(disp: PDispatcher, fd: AsyncFD): bool =
|
2018-08-24 12:20:08 +00:00
|
|
|
## Returns ``true`` if ``fd`` is registered in thread's dispatcher.
|
2023-02-21 10:48:36 +00:00
|
|
|
fd in disp.handles
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
elif defined(macosx) or defined(freebsd) or defined(netbsd) or
|
|
|
|
defined(openbsd) or defined(dragonfly) or defined(macos) or
|
|
|
|
defined(linux) or defined(android) or defined(solaris):
|
2019-09-10 17:19:49 +00:00
|
|
|
const
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
SIG_IGN = cast[proc(x: cint) {.raises: [], noconv, gcsafe.}](1)
|
2019-09-10 17:19:49 +00:00
|
|
|
|
2018-05-16 08:22:34 +00:00
|
|
|
type
|
|
|
|
AsyncFD* = distinct cint
|
|
|
|
|
|
|
|
SelectorData* = object
|
|
|
|
reader*: AsyncCallback
|
|
|
|
writer*: AsyncCallback
|
|
|
|
|
|
|
|
PDispatcher* = ref object of PDispatcherBase
|
|
|
|
selector: Selector[SelectorData]
|
|
|
|
keys: seq[ReadyKey]
|
|
|
|
|
2021-11-20 00:30:23 +00:00
|
|
|
proc `==`*(x, y: AsyncFD): bool {.borrow, gcsafe.}
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2019-09-23 17:24:26 +00:00
|
|
|
proc globalInit() =
|
2019-09-10 17:19:49 +00:00
|
|
|
# We are ignoring SIGPIPE signal, because we are working with EPIPE.
|
2023-05-15 16:45:26 +00:00
|
|
|
signal(cint(SIGPIPE), SIG_IGN)
|
2019-09-10 17:19:49 +00:00
|
|
|
|
2023-03-24 15:52:55 +00:00
|
|
|
proc initAPI(disp: PDispatcher) =
|
2019-09-23 17:24:26 +00:00
|
|
|
discard
|
|
|
|
|
2023-03-24 15:52:55 +00:00
|
|
|
proc newDispatcher*(): PDispatcher =
|
2018-08-24 12:20:08 +00:00
|
|
|
## Create new dispatcher.
|
2023-02-21 10:48:36 +00:00
|
|
|
let selector =
|
2023-03-24 15:52:55 +00:00
|
|
|
block:
|
|
|
|
let res = Selector.new(SelectorData)
|
|
|
|
if res.isErr(): raiseOsDefect(res.error(),
|
|
|
|
"Could not initialize selector")
|
|
|
|
res.get()
|
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
var res = PDispatcher(
|
|
|
|
selector: selector,
|
|
|
|
timers: initHeapQueue[TimerCallback](),
|
2023-03-24 15:52:55 +00:00
|
|
|
callbacks: initDeque[AsyncCallback](asyncEventsCount),
|
2023-02-21 10:48:36 +00:00
|
|
|
idlers: initDeque[AsyncCallback](),
|
2023-03-24 15:52:55 +00:00
|
|
|
keys: newSeq[ReadyKey](asyncEventsCount),
|
2023-02-21 10:48:36 +00:00
|
|
|
trackers: initTable[string, TrackerBase]()
|
|
|
|
)
|
2022-09-16 20:34:18 +00:00
|
|
|
res.callbacks.addLast(SentinelCallback)
|
2021-01-19 12:48:39 +00:00
|
|
|
initAPI(res)
|
|
|
|
res
|
2018-05-16 08:22:34 +00:00
|
|
|
|
|
|
|
var gDisp{.threadvar.}: PDispatcher ## Global dispatcher
|
|
|
|
|
2021-01-11 17:15:23 +00:00
|
|
|
proc setThreadDispatcher*(disp: PDispatcher) {.gcsafe, raises: [Defect].}
|
|
|
|
proc getThreadDispatcher*(): PDispatcher {.gcsafe, raises: [Defect].}
|
2018-05-16 08:22:34 +00:00
|
|
|
|
|
|
|
proc getIoHandler*(disp: PDispatcher): Selector[SelectorData] =
|
2018-08-24 12:20:08 +00:00
|
|
|
## Returns system specific OS queue.
|
2023-02-21 10:48:36 +00:00
|
|
|
disp.selector
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-03-24 15:52:55 +00:00
|
|
|
proc contains*(disp: PDispatcher, fd: AsyncFD): bool {.inline.} =
|
|
|
|
## Returns ``true`` if ``fd`` is registered in thread's dispatcher.
|
|
|
|
cint(fd) in disp.selector
|
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc register2*(fd: AsyncFD): Result[void, OSErrorCode] =
|
2018-08-24 12:20:08 +00:00
|
|
|
## Register file descriptor ``fd`` in thread's dispatcher.
|
2023-03-24 15:52:55 +00:00
|
|
|
var data: SelectorData
|
|
|
|
getThreadDispatcher().selector.registerHandle2(cint(fd), {}, data)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc unregister2*(fd: AsyncFD): Result[void, OSErrorCode] =
|
2018-08-24 12:20:08 +00:00
|
|
|
## Unregister file descriptor ``fd`` from thread's dispatcher.
|
2023-03-24 15:52:55 +00:00
|
|
|
getThreadDispatcher().selector.unregister2(cint(fd))
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc addReader2*(fd: AsyncFD, cb: CallbackFunc,
|
|
|
|
udata: pointer = nil): Result[void, OSErrorCode] =
|
2018-05-27 05:49:47 +00:00
|
|
|
## Start watching the file descriptor ``fd`` for read availability and then
|
|
|
|
## call the callback ``cb`` with specified argument ``udata``.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2018-05-16 08:22:34 +00:00
|
|
|
var newEvents = {Event.Read}
|
2023-03-24 15:52:55 +00:00
|
|
|
withData(loop.selector, cint(fd), adata) do:
|
2022-04-11 09:56:30 +00:00
|
|
|
let acb = AsyncCallback(function: cb, udata: udata)
|
2018-05-16 08:22:34 +00:00
|
|
|
adata.reader = acb
|
2020-01-08 17:06:56 +00:00
|
|
|
if not(isNil(adata.writer.function)):
|
2020-01-08 01:06:27 +00:00
|
|
|
newEvents.incl(Event.Write)
|
2018-05-16 08:22:34 +00:00
|
|
|
do:
|
2023-05-15 16:45:26 +00:00
|
|
|
return err(osdefs.EBADF)
|
2023-03-24 15:52:55 +00:00
|
|
|
loop.selector.updateHandle2(cint(fd), newEvents)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc removeReader2*(fd: AsyncFD): Result[void, OSErrorCode] =
|
2018-05-27 05:49:47 +00:00
|
|
|
## Stop watching the file descriptor ``fd`` for read availability.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2018-05-16 08:22:34 +00:00
|
|
|
var newEvents: set[Event]
|
2023-03-24 15:52:55 +00:00
|
|
|
withData(loop.selector, cint(fd), adata) do:
|
2018-06-08 05:42:48 +00:00
|
|
|
# We need to clear `reader` data, because `selectors` don't do it
|
2020-09-15 07:55:43 +00:00
|
|
|
adata.reader = default(AsyncCallback)
|
2020-01-08 17:06:56 +00:00
|
|
|
if not(isNil(adata.writer.function)):
|
2020-01-08 01:06:27 +00:00
|
|
|
newEvents.incl(Event.Write)
|
2018-05-16 08:22:34 +00:00
|
|
|
do:
|
2023-05-15 16:45:26 +00:00
|
|
|
return err(osdefs.EBADF)
|
2023-03-24 15:52:55 +00:00
|
|
|
loop.selector.updateHandle2(cint(fd), newEvents)
|
2023-02-21 10:48:36 +00:00
|
|
|
|
|
|
|
proc addWriter2*(fd: AsyncFD, cb: CallbackFunc,
|
|
|
|
udata: pointer = nil): Result[void, OSErrorCode] =
|
2018-05-27 05:49:47 +00:00
|
|
|
## Start watching the file descriptor ``fd`` for write availability and then
|
|
|
|
## call the callback ``cb`` with specified argument ``udata``.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2018-05-16 08:22:34 +00:00
|
|
|
var newEvents = {Event.Write}
|
2023-03-24 15:52:55 +00:00
|
|
|
withData(loop.selector, cint(fd), adata) do:
|
2022-04-11 09:56:30 +00:00
|
|
|
let acb = AsyncCallback(function: cb, udata: udata)
|
2018-05-16 08:22:34 +00:00
|
|
|
adata.writer = acb
|
2020-01-08 17:06:56 +00:00
|
|
|
if not(isNil(adata.reader.function)):
|
2020-01-08 01:06:27 +00:00
|
|
|
newEvents.incl(Event.Read)
|
2018-05-16 08:22:34 +00:00
|
|
|
do:
|
2023-05-15 16:45:26 +00:00
|
|
|
return err(osdefs.EBADF)
|
2023-03-24 15:52:55 +00:00
|
|
|
loop.selector.updateHandle2(cint(fd), newEvents)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc removeWriter2*(fd: AsyncFD): Result[void, OSErrorCode] =
|
2018-05-27 05:49:47 +00:00
|
|
|
## Stop watching the file descriptor ``fd`` for write availability.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2018-05-16 08:22:34 +00:00
|
|
|
var newEvents: set[Event]
|
2023-03-24 15:52:55 +00:00
|
|
|
withData(loop.selector, cint(fd), adata) do:
|
2018-06-08 05:42:48 +00:00
|
|
|
# We need to clear `writer` data, because `selectors` don't do it
|
2020-09-15 07:55:43 +00:00
|
|
|
adata.writer = default(AsyncCallback)
|
2020-01-08 17:06:56 +00:00
|
|
|
if not(isNil(adata.reader.function)):
|
2020-01-08 01:06:27 +00:00
|
|
|
newEvents.incl(Event.Read)
|
2018-05-16 08:22:34 +00:00
|
|
|
do:
|
2023-05-15 16:45:26 +00:00
|
|
|
return err(osdefs.EBADF)
|
2023-03-24 15:52:55 +00:00
|
|
|
loop.selector.updateHandle2(cint(fd), newEvents)
|
2023-02-21 10:48:36 +00:00
|
|
|
|
|
|
|
proc register*(fd: AsyncFD) {.raises: [Defect, OSError].} =
|
|
|
|
## Register file descriptor ``fd`` in thread's dispatcher.
|
|
|
|
register2(fd).tryGet()
|
|
|
|
|
|
|
|
proc unregister*(fd: AsyncFD) {.raises: [Defect, OSError].} =
|
|
|
|
## Unregister file descriptor ``fd`` from thread's dispatcher.
|
|
|
|
unregister2(fd).tryGet()
|
|
|
|
|
|
|
|
proc addReader*(fd: AsyncFD, cb: CallbackFunc, udata: pointer = nil) {.
|
|
|
|
raises: [Defect, OSError].} =
|
|
|
|
## Start watching the file descriptor ``fd`` for read availability and then
|
|
|
|
## call the callback ``cb`` with specified argument ``udata``.
|
|
|
|
addReader2(fd, cb, udata).tryGet()
|
|
|
|
|
|
|
|
proc removeReader*(fd: AsyncFD) {.raises: [Defect, OSError].} =
|
|
|
|
## Stop watching the file descriptor ``fd`` for read availability.
|
|
|
|
removeReader2(fd).tryGet()
|
|
|
|
|
|
|
|
proc addWriter*(fd: AsyncFD, cb: CallbackFunc, udata: pointer = nil) {.
|
|
|
|
raises: [Defect, OSError].} =
|
|
|
|
## Start watching the file descriptor ``fd`` for write availability and then
|
|
|
|
## call the callback ``cb`` with specified argument ``udata``.
|
|
|
|
addWriter2(fd, cb, udata).tryGet()
|
|
|
|
|
|
|
|
proc removeWriter*(fd: AsyncFD) {.raises: [Defect, OSError].} =
|
|
|
|
## Stop watching the file descriptor ``fd`` for write availability.
|
|
|
|
removeWriter2(fd).tryGet()
|
|
|
|
|
|
|
|
proc unregisterAndCloseFd*(fd: AsyncFD): Result[void, OSErrorCode] =
|
|
|
|
## Unregister from system queue and close asynchronous socket.
|
|
|
|
##
|
|
|
|
## NOTE: Use this function to close temporary sockets/pipes only (which
|
|
|
|
## are not exposed to the public and not supposed to be used/reused).
|
|
|
|
## Please use closeSocket(AsyncFD) and closeHandle(AsyncFD) instead.
|
|
|
|
doAssert(fd != AsyncFD(osdefs.INVALID_SOCKET))
|
|
|
|
? unregister2(fd)
|
|
|
|
if closeFd(cint(fd)) != 0:
|
|
|
|
err(osLastError())
|
|
|
|
else:
|
|
|
|
ok()
|
2018-08-24 12:20:08 +00:00
|
|
|
|
|
|
|
proc closeSocket*(fd: AsyncFD, aftercb: CallbackFunc = nil) =
|
|
|
|
## Close asynchronous socket.
|
|
|
|
##
|
|
|
|
## Please note, that socket is not closed immediately. To avoid bugs with
|
|
|
|
## closing socket, while operation pending, socket will be closed as
|
|
|
|
## soon as all pending operations will be notified.
|
|
|
|
## You can execute ``aftercb`` before actual socket close operation.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2018-08-24 12:20:08 +00:00
|
|
|
|
|
|
|
proc continuation(udata: pointer) =
|
2023-04-30 06:20:08 +00:00
|
|
|
let
|
|
|
|
param = toPointer(
|
|
|
|
if SocketHandle(fd) in loop.selector:
|
|
|
|
let ures = unregister2(fd)
|
|
|
|
if ures.isErr():
|
|
|
|
discard closeFd(cint(fd))
|
|
|
|
ures.error()
|
2023-02-21 10:48:36 +00:00
|
|
|
else:
|
2023-04-30 06:20:08 +00:00
|
|
|
if closeFd(cint(fd)) != 0:
|
|
|
|
osLastError()
|
|
|
|
else:
|
|
|
|
OSErrorCode(0)
|
|
|
|
else:
|
2023-05-15 16:45:26 +00:00
|
|
|
osdefs.EBADF
|
2023-04-30 06:20:08 +00:00
|
|
|
)
|
|
|
|
if not(isNil(aftercb)): aftercb(param)
|
2018-08-24 12:20:08 +00:00
|
|
|
|
2023-03-24 15:52:55 +00:00
|
|
|
withData(loop.selector, cint(fd), adata) do:
|
2018-10-02 10:50:14 +00:00
|
|
|
# We are scheduling reader and writer callbacks to be called
|
|
|
|
# explicitly, so they can get an error and continue work.
|
2020-09-15 07:55:43 +00:00
|
|
|
# Callbacks marked as deleted so we don't need to get REAL notifications
|
|
|
|
# from system queue for this reader and writer.
|
|
|
|
|
2020-01-08 17:06:56 +00:00
|
|
|
if not(isNil(adata.reader.function)):
|
2020-09-15 07:55:43 +00:00
|
|
|
loop.callbacks.addLast(adata.reader)
|
|
|
|
adata.reader = default(AsyncCallback)
|
|
|
|
|
2020-01-08 17:06:56 +00:00
|
|
|
if not(isNil(adata.writer.function)):
|
2020-09-15 07:55:43 +00:00
|
|
|
loop.callbacks.addLast(adata.writer)
|
|
|
|
adata.writer = default(AsyncCallback)
|
2018-08-24 12:20:08 +00:00
|
|
|
|
2018-10-02 10:50:14 +00:00
|
|
|
# We can't unregister file descriptor from system queue here, because
|
|
|
|
# in such case processing queue will stuck on poll() call, because there
|
|
|
|
# can be no file descriptors registered in system queue.
|
|
|
|
var acb = AsyncCallback(function: continuation)
|
|
|
|
loop.callbacks.addLast(acb)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
proc closeHandle*(fd: AsyncFD, aftercb: CallbackFunc = nil) =
|
2019-07-15 09:59:42 +00:00
|
|
|
## Close asynchronous file/pipe handle.
|
|
|
|
##
|
|
|
|
## Please note, that socket is not closed immediately. To avoid bugs with
|
|
|
|
## closing socket, while operation pending, socket will be closed as
|
|
|
|
## soon as all pending operations will be notified.
|
|
|
|
## You can execute ``aftercb`` before actual socket close operation.
|
|
|
|
closeSocket(fd, aftercb)
|
|
|
|
|
2023-03-24 15:52:55 +00:00
|
|
|
when asyncEventEngine in ["epoll", "kqueue"]:
|
2023-05-23 10:39:35 +00:00
|
|
|
type
|
|
|
|
ProcessHandle* = distinct int
|
|
|
|
SignalHandle* = distinct int
|
|
|
|
|
|
|
|
proc addSignal2*(
|
|
|
|
signal: int,
|
|
|
|
cb: CallbackFunc,
|
|
|
|
udata: pointer = nil
|
|
|
|
): Result[SignalHandle, OSErrorCode] =
|
2018-05-25 01:05:13 +00:00
|
|
|
## Start watching signal ``signal``, and when signal appears, call the
|
2018-05-27 05:49:47 +00:00
|
|
|
## callback ``cb`` with specified argument ``udata``. Returns signal
|
|
|
|
## identifier code, which can be used to remove signal callback
|
|
|
|
## via ``removeSignal``.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2018-05-25 01:05:13 +00:00
|
|
|
var data: SelectorData
|
2023-03-24 15:52:55 +00:00
|
|
|
let sigfd = ? loop.selector.registerSignal(signal, data)
|
|
|
|
withData(loop.selector, sigfd, adata) do:
|
|
|
|
adata.reader = AsyncCallback(function: cb, udata: udata)
|
|
|
|
do:
|
2023-05-15 16:45:26 +00:00
|
|
|
return err(osdefs.EBADF)
|
2023-05-23 10:39:35 +00:00
|
|
|
ok(SignalHandle(sigfd))
|
2023-03-24 15:52:55 +00:00
|
|
|
|
2023-05-23 10:39:35 +00:00
|
|
|
proc addProcess2*(
|
|
|
|
pid: int,
|
|
|
|
cb: CallbackFunc,
|
|
|
|
udata: pointer = nil
|
|
|
|
): Result[ProcessHandle, OSErrorCode] =
|
2023-03-24 15:52:55 +00:00
|
|
|
## Registers callback ``cb`` to be called when process with process
|
|
|
|
## identifier ``pid`` exited. Returns process' descriptor, which can be
|
|
|
|
## used to clear process callback via ``removeProcess``.
|
|
|
|
let loop = getThreadDispatcher()
|
|
|
|
var data: SelectorData
|
|
|
|
let procfd = ? loop.selector.registerProcess(pid, data)
|
|
|
|
withData(loop.selector, procfd, adata) do:
|
2022-04-11 09:56:30 +00:00
|
|
|
adata.reader = AsyncCallback(function: cb, udata: udata)
|
2018-05-25 01:05:13 +00:00
|
|
|
do:
|
2023-05-15 16:45:26 +00:00
|
|
|
return err(osdefs.EBADF)
|
2023-05-23 10:39:35 +00:00
|
|
|
ok(ProcessHandle(procfd))
|
2018-05-25 01:05:13 +00:00
|
|
|
|
2023-05-23 10:39:35 +00:00
|
|
|
proc removeSignal2*(signalHandle: SignalHandle): Result[void, OSErrorCode] =
|
2018-05-25 01:05:13 +00:00
|
|
|
## Remove watching signal ``signal``.
|
2023-05-23 10:39:35 +00:00
|
|
|
getThreadDispatcher().selector.unregister2(cint(signalHandle))
|
2023-03-24 15:52:55 +00:00
|
|
|
|
2023-05-23 10:39:35 +00:00
|
|
|
proc removeProcess2*(procHandle: ProcessHandle): Result[void, OSErrorCode] =
|
2023-03-24 15:52:55 +00:00
|
|
|
## Remove process' watching using process' descriptor ``procfd``.
|
2023-05-23 10:39:35 +00:00
|
|
|
getThreadDispatcher().selector.unregister2(cint(procHandle))
|
2023-03-24 15:52:55 +00:00
|
|
|
|
|
|
|
proc addSignal*(signal: int, cb: CallbackFunc,
|
2023-05-23 10:39:35 +00:00
|
|
|
udata: pointer = nil): SignalHandle {.
|
|
|
|
raises: [Defect, OSError].} =
|
2023-03-24 15:52:55 +00:00
|
|
|
## Start watching signal ``signal``, and when signal appears, call the
|
|
|
|
## callback ``cb`` with specified argument ``udata``. Returns signal
|
|
|
|
## identifier code, which can be used to remove signal callback
|
|
|
|
## via ``removeSignal``.
|
|
|
|
addSignal2(signal, cb, udata).tryGet()
|
|
|
|
|
2023-05-23 10:39:35 +00:00
|
|
|
proc removeSignal*(signalHandle: SignalHandle) {.
|
|
|
|
raises: [Defect, OSError].} =
|
2023-03-24 15:52:55 +00:00
|
|
|
## Remove watching signal ``signal``.
|
2023-05-23 10:39:35 +00:00
|
|
|
removeSignal2(signalHandle).tryGet()
|
2023-03-24 15:52:55 +00:00
|
|
|
|
2023-05-23 10:39:35 +00:00
|
|
|
proc addProcess*(pid: int, cb: CallbackFunc,
|
|
|
|
udata: pointer = nil): ProcessHandle {.
|
|
|
|
raises: [Defect, OSError].} =
|
|
|
|
## Registers callback ``cb`` to be called when process with process
|
|
|
|
## identifier ``pid`` exited. Returns process identifier, which can be
|
|
|
|
## used to clear process callback via ``removeProcess``.
|
|
|
|
addProcess2(pid, cb, udata).tryGet()
|
|
|
|
|
|
|
|
proc removeProcess*(procHandle: ProcessHandle) {.
|
|
|
|
raises: [Defect, OSError].} =
|
|
|
|
## Remove process' watching using process' descriptor ``procHandle``.
|
|
|
|
removeProcess2(procHandle).tryGet()
|
2018-05-25 01:05:13 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
proc poll*() {.gcsafe.} =
|
2018-05-27 05:49:47 +00:00
|
|
|
## Perform single asynchronous step.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2019-03-24 16:57:36 +00:00
|
|
|
var curTime = Moment.now()
|
2018-05-16 08:22:34 +00:00
|
|
|
var curTimeout = 0
|
|
|
|
|
2022-09-16 20:34:18 +00:00
|
|
|
# On reentrant `poll` calls from `processCallbacks`, e.g., `waitFor`,
|
|
|
|
# complete pending work of the outer `processCallbacks` call.
|
|
|
|
# On non-reentrant `poll` calls, this only removes sentinel element.
|
|
|
|
processCallbacks(loop)
|
|
|
|
|
2018-05-25 20:00:32 +00:00
|
|
|
# Moving expired timers to `loop.callbacks` and calculate timeout.
|
2018-06-02 23:03:48 +00:00
|
|
|
loop.processTimersGetTimeout(curTimeout)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2018-05-25 20:00:32 +00:00
|
|
|
# Processing IO descriptors and all hardware events.
|
2023-02-21 10:48:36 +00:00
|
|
|
let count =
|
2023-03-24 15:52:55 +00:00
|
|
|
block:
|
|
|
|
let res = loop.selector.selectInto2(curTimeout, loop.keys)
|
|
|
|
if res.isErr():
|
|
|
|
raiseOsDefect(res.error(), "poll(): Unable to get OS events")
|
|
|
|
res.get()
|
|
|
|
|
|
|
|
for i in 0 ..< count:
|
2018-05-16 08:22:34 +00:00
|
|
|
let fd = loop.keys[i].fd
|
|
|
|
let events = loop.keys[i].events
|
|
|
|
|
2023-03-24 15:52:55 +00:00
|
|
|
withData(loop.selector, cint(fd), adata) do:
|
2023-02-21 10:48:36 +00:00
|
|
|
if (Event.Read in events) or (events == {Event.Error}):
|
2020-09-15 07:55:43 +00:00
|
|
|
if not isNil(adata.reader.function):
|
2018-10-02 10:50:14 +00:00
|
|
|
loop.callbacks.addLast(adata.reader)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-02-21 10:48:36 +00:00
|
|
|
if (Event.Write in events) or (events == {Event.Error}):
|
2020-09-15 07:55:43 +00:00
|
|
|
if not isNil(adata.writer.function):
|
2018-10-02 10:50:14 +00:00
|
|
|
loop.callbacks.addLast(adata.writer)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2018-08-24 12:20:08 +00:00
|
|
|
if Event.User in events:
|
2020-09-15 07:55:43 +00:00
|
|
|
if not isNil(adata.reader.function):
|
2018-10-02 10:50:14 +00:00
|
|
|
loop.callbacks.addLast(adata.reader)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2023-03-24 15:52:55 +00:00
|
|
|
when asyncEventEngine in ["epoll", "kqueue"]:
|
|
|
|
let customSet = {Event.Timer, Event.Signal, Event.Process,
|
|
|
|
Event.Vnode}
|
2018-08-24 12:20:08 +00:00
|
|
|
if customSet * events != {}:
|
2020-09-15 07:55:43 +00:00
|
|
|
if not isNil(adata.reader.function):
|
2018-10-02 10:50:14 +00:00
|
|
|
loop.callbacks.addLast(adata.reader)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
|
|
|
# Moving expired timers to `loop.callbacks`.
|
2018-06-02 23:03:48 +00:00
|
|
|
loop.processTimers()
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2021-01-19 12:48:39 +00:00
|
|
|
# We move idle callbacks to `loop.callbacks` only if there no pending
|
|
|
|
# network events.
|
|
|
|
if count == 0:
|
|
|
|
loop.processIdlers()
|
|
|
|
|
2022-09-16 20:34:18 +00:00
|
|
|
# All callbacks which will be added during `processCallbacks` will be
|
|
|
|
# scheduled after the sentinel and are processed on next `poll()` call.
|
|
|
|
loop.callbacks.addLast(SentinelCallback)
|
|
|
|
processCallbacks(loop)
|
|
|
|
|
|
|
|
# All callbacks done, skip `processCallbacks` at start.
|
|
|
|
loop.callbacks.addFirst(SentinelCallback)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2019-09-10 17:19:49 +00:00
|
|
|
else:
|
|
|
|
proc initAPI() = discard
|
2019-09-23 17:24:26 +00:00
|
|
|
proc globalInit() = discard
|
2018-05-22 10:43:42 +00:00
|
|
|
|
2021-01-11 17:15:23 +00:00
|
|
|
proc setThreadDispatcher*(disp: PDispatcher) =
|
|
|
|
## Set current thread's dispatcher instance to ``disp``.
|
2023-03-24 15:52:55 +00:00
|
|
|
if not(gDisp.isNil()):
|
2021-01-11 17:15:23 +00:00
|
|
|
doAssert gDisp.callbacks.len == 0
|
|
|
|
gDisp = disp
|
|
|
|
|
|
|
|
proc getThreadDispatcher*(): PDispatcher =
|
|
|
|
## Returns current thread's dispatcher instance.
|
2023-03-24 15:52:55 +00:00
|
|
|
if gDisp.isNil():
|
|
|
|
setThreadDispatcher(newDispatcher())
|
2021-12-08 14:58:24 +00:00
|
|
|
gDisp
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
|
|
|
|
proc setGlobalDispatcher*(disp: PDispatcher) {.
|
|
|
|
gcsafe, deprecated: "Use setThreadDispatcher() instead".} =
|
2021-01-11 17:15:23 +00:00
|
|
|
setThreadDispatcher(disp)
|
|
|
|
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
proc getGlobalDispatcher*(): PDispatcher {.
|
|
|
|
gcsafe, deprecated: "Use getThreadDispatcher() instead".} =
|
2021-01-11 17:15:23 +00:00
|
|
|
getThreadDispatcher()
|
|
|
|
|
2020-01-27 18:28:44 +00:00
|
|
|
proc setTimer*(at: Moment, cb: CallbackFunc,
|
|
|
|
udata: pointer = nil): TimerCallback =
|
2020-01-07 05:26:18 +00:00
|
|
|
## Arrange for the callback ``cb`` to be called at the given absolute
|
|
|
|
## timestamp ``at``. You can also pass ``udata`` to callback.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2020-01-08 01:06:27 +00:00
|
|
|
result = TimerCallback(finishAt: at,
|
2020-01-27 18:28:44 +00:00
|
|
|
function: AsyncCallback(function: cb, udata: udata))
|
2020-01-08 01:06:27 +00:00
|
|
|
loop.timers.push(result)
|
2020-01-07 05:26:18 +00:00
|
|
|
|
2020-01-27 18:28:44 +00:00
|
|
|
proc clearTimer*(timer: TimerCallback) {.inline.} =
|
2020-09-15 07:55:43 +00:00
|
|
|
timer.function = default(AsyncCallback)
|
2020-01-07 05:26:18 +00:00
|
|
|
|
2020-01-27 18:28:44 +00:00
|
|
|
proc addTimer*(at: Moment, cb: CallbackFunc, udata: pointer = nil) {.
|
|
|
|
inline, deprecated: "Use setTimer/clearTimer instead".} =
|
2018-05-27 05:49:47 +00:00
|
|
|
## Arrange for the callback ``cb`` to be called at the given absolute
|
|
|
|
## timestamp ``at``. You can also pass ``udata`` to callback.
|
2020-01-27 18:28:44 +00:00
|
|
|
discard setTimer(at, cb, udata)
|
2018-05-16 08:22:34 +00:00
|
|
|
|
2019-03-24 16:57:36 +00:00
|
|
|
proc addTimer*(at: int64, cb: CallbackFunc, udata: pointer = nil) {.
|
|
|
|
inline, deprecated: "Use addTimer(Duration, cb, udata)".} =
|
2020-01-27 18:28:44 +00:00
|
|
|
discard setTimer(Moment.init(at, Millisecond), cb, udata)
|
2019-03-24 16:57:36 +00:00
|
|
|
|
2019-03-24 18:59:51 +00:00
|
|
|
proc addTimer*(at: uint64, cb: CallbackFunc, udata: pointer = nil) {.
|
|
|
|
inline, deprecated: "Use addTimer(Duration, cb, udata)".} =
|
2020-01-27 18:28:44 +00:00
|
|
|
discard setTimer(Moment.init(int64(at), Millisecond), cb, udata)
|
2019-03-24 18:59:51 +00:00
|
|
|
|
2019-03-24 16:57:36 +00:00
|
|
|
proc removeTimer*(at: Moment, cb: CallbackFunc, udata: pointer = nil) =
|
2018-05-27 05:49:47 +00:00
|
|
|
## Remove timer callback ``cb`` with absolute timestamp ``at`` from waiting
|
|
|
|
## queue.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2018-05-16 08:22:34 +00:00
|
|
|
var list = cast[seq[TimerCallback]](loop.timers)
|
|
|
|
var index = -1
|
|
|
|
for i in 0..<len(list):
|
|
|
|
if list[i].finishAt == at and list[i].function.function == cb and
|
|
|
|
list[i].function.udata == udata:
|
|
|
|
index = i
|
|
|
|
break
|
|
|
|
if index != -1:
|
|
|
|
loop.timers.del(index)
|
|
|
|
|
2019-03-24 16:57:36 +00:00
|
|
|
proc removeTimer*(at: int64, cb: CallbackFunc, udata: pointer = nil) {.
|
|
|
|
inline, deprecated: "Use removeTimer(Duration, cb, udata)".} =
|
|
|
|
removeTimer(Moment.init(at, Millisecond), cb, udata)
|
|
|
|
|
2019-03-24 18:59:51 +00:00
|
|
|
proc removeTimer*(at: uint64, cb: CallbackFunc, udata: pointer = nil) {.
|
|
|
|
inline, deprecated: "Use removeTimer(Duration, cb, udata)".} =
|
|
|
|
removeTimer(Moment.init(int64(at), Millisecond), cb, udata)
|
|
|
|
|
2023-01-18 14:54:39 +00:00
|
|
|
proc callSoon*(acb: AsyncCallback) =
|
2021-01-11 21:15:21 +00:00
|
|
|
## Schedule `cbproc` to be called as soon as possible.
|
|
|
|
## The callback is called when control returns to the event loop.
|
|
|
|
getThreadDispatcher().callbacks.addLast(acb)
|
|
|
|
|
|
|
|
proc callSoon*(cbproc: CallbackFunc, data: pointer) {.
|
2023-01-18 14:54:39 +00:00
|
|
|
gcsafe.} =
|
2021-01-11 21:15:21 +00:00
|
|
|
## Schedule `cbproc` to be called as soon as possible.
|
|
|
|
## The callback is called when control returns to the event loop.
|
|
|
|
doAssert(not isNil(cbproc))
|
|
|
|
callSoon(AsyncCallback(function: cbproc, udata: data))
|
|
|
|
|
2023-01-18 14:54:39 +00:00
|
|
|
proc callSoon*(cbproc: CallbackFunc) =
|
2021-01-11 21:15:21 +00:00
|
|
|
callSoon(cbproc, nil)
|
|
|
|
|
2023-01-18 14:54:39 +00:00
|
|
|
proc callIdle*(acb: AsyncCallback) =
|
2021-01-19 12:48:39 +00:00
|
|
|
## Schedule ``cbproc`` to be called when there no pending network events
|
|
|
|
## available.
|
|
|
|
##
|
|
|
|
## **WARNING!** Despite the name, "idle" callbacks called on every loop
|
|
|
|
## iteration if there no network events available, not when the loop is
|
|
|
|
## actually "idle".
|
|
|
|
getThreadDispatcher().idlers.addLast(acb)
|
|
|
|
|
2023-01-18 14:54:39 +00:00
|
|
|
proc callIdle*(cbproc: CallbackFunc, data: pointer) =
|
2021-01-19 12:48:39 +00:00
|
|
|
## Schedule ``cbproc`` to be called when there no pending network events
|
|
|
|
## available.
|
|
|
|
##
|
|
|
|
## **WARNING!** Despite the name, "idle" callbacks called on every loop
|
|
|
|
## iteration if there no network events available, not when the loop is
|
|
|
|
## actually "idle".
|
|
|
|
doAssert(not isNil(cbproc))
|
|
|
|
callIdle(AsyncCallback(function: cbproc, udata: data))
|
|
|
|
|
2023-01-18 14:54:39 +00:00
|
|
|
proc callIdle*(cbproc: CallbackFunc) =
|
2021-01-19 12:48:39 +00:00
|
|
|
callIdle(cbproc, nil)
|
|
|
|
|
2019-09-10 17:19:49 +00:00
|
|
|
include asyncfutures2
|
|
|
|
|
2022-06-28 21:53:09 +00:00
|
|
|
when not(defined(windows)):
|
2023-03-24 15:52:55 +00:00
|
|
|
when asyncEventEngine in ["epoll", "kqueue"]:
|
|
|
|
proc waitSignal*(signal: int): Future[void] {.raises: [Defect].} =
|
2022-06-28 21:53:09 +00:00
|
|
|
var retFuture = newFuture[void]("chronos.waitSignal()")
|
2023-05-23 10:39:35 +00:00
|
|
|
var signalHandle: Opt[SignalHandle]
|
2022-06-28 21:53:09 +00:00
|
|
|
|
2023-03-24 15:52:55 +00:00
|
|
|
template getSignalException(e: OSErrorCode): untyped =
|
2022-06-28 21:53:09 +00:00
|
|
|
newException(AsyncError, "Could not manipulate signal handler, " &
|
2023-03-24 15:52:55 +00:00
|
|
|
"reason [" & $int(e) & "]: " & osErrorMsg(e))
|
2022-06-28 21:53:09 +00:00
|
|
|
|
|
|
|
proc continuation(udata: pointer) {.gcsafe.} =
|
|
|
|
if not(retFuture.finished()):
|
2023-05-23 10:39:35 +00:00
|
|
|
if signalHandle.isSome():
|
|
|
|
let res = removeSignal2(signalHandle.get())
|
2023-03-24 15:52:55 +00:00
|
|
|
if res.isErr():
|
|
|
|
retFuture.fail(getSignalException(res.error()))
|
|
|
|
else:
|
2022-06-28 21:53:09 +00:00
|
|
|
retFuture.complete()
|
|
|
|
|
|
|
|
proc cancellation(udata: pointer) {.gcsafe.} =
|
|
|
|
if not(retFuture.finished()):
|
2023-05-23 10:39:35 +00:00
|
|
|
if signalHandle.isSome():
|
|
|
|
let res = removeSignal2(signalHandle.get())
|
2023-03-24 15:52:55 +00:00
|
|
|
if res.isErr():
|
|
|
|
retFuture.fail(getSignalException(res.error()))
|
2022-06-28 21:53:09 +00:00
|
|
|
|
2023-05-23 10:39:35 +00:00
|
|
|
signalHandle =
|
2023-03-24 15:52:55 +00:00
|
|
|
block:
|
|
|
|
let res = addSignal2(signal, continuation)
|
|
|
|
if res.isErr():
|
|
|
|
retFuture.fail(getSignalException(res.error()))
|
2023-05-23 10:39:35 +00:00
|
|
|
Opt.some(res.get())
|
2022-06-28 21:53:09 +00:00
|
|
|
|
|
|
|
retFuture.cancelCallback = cancellation
|
|
|
|
retFuture
|
|
|
|
|
2019-04-15 01:27:12 +00:00
|
|
|
proc sleepAsync*(duration: Duration): Future[void] =
|
2018-05-16 08:22:34 +00:00
|
|
|
## Suspends the execution of the current async procedure for the next
|
2019-04-15 01:27:12 +00:00
|
|
|
## ``duration`` time.
|
2020-08-15 22:45:41 +00:00
|
|
|
var retFuture = newFuture[void]("chronos.sleepAsync(Duration)")
|
2019-06-20 20:30:41 +00:00
|
|
|
let moment = Moment.fromNow(duration)
|
2020-01-08 01:06:27 +00:00
|
|
|
var timer: TimerCallback
|
2019-06-20 20:30:41 +00:00
|
|
|
|
|
|
|
proc completion(data: pointer) {.gcsafe.} =
|
2020-11-13 12:22:58 +00:00
|
|
|
if not(retFuture.finished()):
|
|
|
|
retFuture.complete()
|
2019-06-20 20:30:41 +00:00
|
|
|
|
2020-01-27 18:28:44 +00:00
|
|
|
proc cancellation(udata: pointer) {.gcsafe.} =
|
2020-11-13 12:22:58 +00:00
|
|
|
if not(retFuture.finished()):
|
|
|
|
clearTimer(timer)
|
2019-06-20 20:30:41 +00:00
|
|
|
|
2020-01-27 18:28:44 +00:00
|
|
|
retFuture.cancelCallback = cancellation
|
2020-01-07 05:26:18 +00:00
|
|
|
timer = setTimer(moment, completion, cast[pointer](retFuture))
|
2018-05-16 08:22:34 +00:00
|
|
|
return retFuture
|
|
|
|
|
2019-03-24 16:57:36 +00:00
|
|
|
proc sleepAsync*(ms: int): Future[void] {.
|
|
|
|
inline, deprecated: "Use sleepAsync(Duration)".} =
|
|
|
|
result = sleepAsync(ms.milliseconds())
|
|
|
|
|
2020-11-13 12:22:58 +00:00
|
|
|
proc stepsAsync*(number: int): Future[void] =
|
|
|
|
## Suspends the execution of the current async procedure for the next
|
|
|
|
## ``number`` of asynchronous steps (``poll()`` calls).
|
|
|
|
##
|
|
|
|
## This primitive can be useful when you need to create more deterministic
|
|
|
|
## tests and cases.
|
|
|
|
##
|
|
|
|
## WARNING! Do not use this primitive to perform switch between tasks, because
|
|
|
|
## this can lead to 100% CPU load in the moments when there are no I/O
|
|
|
|
## events. Usually when there no I/O events CPU consumption should be near 0%.
|
|
|
|
var retFuture = newFuture[void]("chronos.stepsAsync(int)")
|
|
|
|
var counter = 0
|
|
|
|
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
var continuation: proc(data: pointer) {.gcsafe, raises: [Defect].}
|
2021-04-03 08:05:08 +00:00
|
|
|
continuation = proc(data: pointer) {.gcsafe, raises: [Defect].} =
|
2020-11-13 12:22:58 +00:00
|
|
|
if not(retFuture.finished()):
|
|
|
|
inc(counter)
|
|
|
|
if counter < number:
|
|
|
|
callSoon(continuation, nil)
|
|
|
|
else:
|
|
|
|
retFuture.complete()
|
|
|
|
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
proc cancellation(udata: pointer) =
|
2020-11-13 12:22:58 +00:00
|
|
|
discard
|
|
|
|
|
|
|
|
if number <= 0:
|
|
|
|
retFuture.complete()
|
|
|
|
else:
|
|
|
|
retFuture.cancelCallback = cancellation
|
|
|
|
callSoon(continuation, nil)
|
|
|
|
|
|
|
|
retFuture
|
|
|
|
|
2021-01-19 12:48:39 +00:00
|
|
|
proc idleAsync*(): Future[void] =
|
|
|
|
## Suspends the execution of the current asynchronous task until "idle" time.
|
|
|
|
##
|
|
|
|
## "idle" time its moment of time, when no network events were processed by
|
|
|
|
## ``poll()`` call.
|
|
|
|
var retFuture = newFuture[void]("chronos.idleAsync()")
|
|
|
|
|
|
|
|
proc continuation(data: pointer) {.gcsafe.} =
|
|
|
|
if not(retFuture.finished()):
|
|
|
|
retFuture.complete()
|
|
|
|
|
|
|
|
proc cancellation(udata: pointer) {.gcsafe.} =
|
|
|
|
discard
|
|
|
|
|
|
|
|
retFuture.cancelCallback = cancellation
|
|
|
|
callIdle(continuation, nil)
|
|
|
|
retFuture
|
|
|
|
|
2019-03-24 16:57:36 +00:00
|
|
|
proc withTimeout*[T](fut: Future[T], timeout: Duration): Future[bool] =
|
2018-05-16 08:22:34 +00:00
|
|
|
## Returns a future which will complete once ``fut`` completes or after
|
|
|
|
## ``timeout`` milliseconds has elapsed.
|
|
|
|
##
|
|
|
|
## If ``fut`` completes first the returned future will hold true,
|
|
|
|
## otherwise, if ``timeout`` milliseconds has elapsed first, the returned
|
|
|
|
## future will hold false.
|
2019-06-20 20:30:41 +00:00
|
|
|
var retFuture = newFuture[bool]("chronos.`withTimeout`")
|
|
|
|
var moment: Moment
|
2020-01-08 01:06:27 +00:00
|
|
|
var timer: TimerCallback
|
2020-11-17 09:59:02 +00:00
|
|
|
var cancelling = false
|
2019-06-20 20:30:41 +00:00
|
|
|
|
2021-03-25 13:20:26 +00:00
|
|
|
# TODO: raises annotation shouldn't be needed, but likely similar issue as
|
|
|
|
# https://github.com/nim-lang/Nim/issues/17369
|
|
|
|
proc continuation(udata: pointer) {.gcsafe, raises: [Defect].} =
|
2019-06-20 20:30:41 +00:00
|
|
|
if not(retFuture.finished()):
|
2020-11-17 09:59:02 +00:00
|
|
|
if not(cancelling):
|
|
|
|
if not(fut.finished()):
|
|
|
|
# Timer exceeded first, we going to cancel `fut` and wait until it
|
|
|
|
# not completes.
|
|
|
|
cancelling = true
|
|
|
|
fut.cancel()
|
|
|
|
else:
|
|
|
|
# Future `fut` completed/failed/cancelled first.
|
|
|
|
if not(isNil(timer)):
|
|
|
|
clearTimer(timer)
|
|
|
|
retFuture.complete(true)
|
2018-05-16 08:22:34 +00:00
|
|
|
else:
|
2020-11-17 09:59:02 +00:00
|
|
|
retFuture.complete(false)
|
2019-06-20 20:30:41 +00:00
|
|
|
|
2021-03-25 13:20:26 +00:00
|
|
|
# TODO: raises annotation shouldn't be needed, but likely similar issue as
|
|
|
|
# https://github.com/nim-lang/Nim/issues/17369
|
|
|
|
proc cancellation(udata: pointer) {.gcsafe, raises: [Defect].} =
|
2020-01-27 18:28:44 +00:00
|
|
|
if not isNil(timer):
|
|
|
|
clearTimer(timer)
|
|
|
|
if not(fut.finished()):
|
|
|
|
fut.removeCallback(continuation)
|
|
|
|
fut.cancel()
|
2019-06-20 20:30:41 +00:00
|
|
|
|
|
|
|
if fut.finished():
|
|
|
|
retFuture.complete(true)
|
|
|
|
else:
|
|
|
|
if timeout.isZero():
|
|
|
|
retFuture.complete(false)
|
|
|
|
elif timeout.isInfinite():
|
2020-01-27 18:28:44 +00:00
|
|
|
retFuture.cancelCallback = cancellation
|
2019-06-20 20:30:41 +00:00
|
|
|
fut.addCallback(continuation)
|
|
|
|
else:
|
|
|
|
moment = Moment.fromNow(timeout)
|
2020-01-27 18:28:44 +00:00
|
|
|
retFuture.cancelCallback = cancellation
|
2020-01-07 05:26:18 +00:00
|
|
|
timer = setTimer(moment, continuation, nil)
|
2019-06-20 20:30:41 +00:00
|
|
|
fut.addCallback(continuation)
|
|
|
|
|
2018-05-16 08:22:34 +00:00
|
|
|
return retFuture
|
|
|
|
|
2019-03-24 16:57:36 +00:00
|
|
|
proc withTimeout*[T](fut: Future[T], timeout: int): Future[bool] {.
|
|
|
|
inline, deprecated: "Use withTimeout(Future[T], Duration)".} =
|
|
|
|
result = withTimeout(fut, timeout.milliseconds())
|
|
|
|
|
|
|
|
proc wait*[T](fut: Future[T], timeout = InfiniteDuration): Future[T] =
|
2018-07-20 08:58:01 +00:00
|
|
|
## Returns a future which will complete once future ``fut`` completes
|
|
|
|
## or if timeout of ``timeout`` milliseconds has been expired.
|
2018-08-24 12:20:08 +00:00
|
|
|
##
|
2018-07-20 09:11:38 +00:00
|
|
|
## If ``timeout`` is ``-1``, then statement ``await wait(fut)`` is
|
|
|
|
## equal to ``await fut``.
|
2019-06-20 20:30:41 +00:00
|
|
|
##
|
|
|
|
## TODO: In case when ``fut`` got cancelled, what result Future[T]
|
|
|
|
## should return, because it can't be cancelled too.
|
|
|
|
var retFuture = newFuture[T]("chronos.wait()")
|
|
|
|
var moment: Moment
|
2020-01-08 01:06:27 +00:00
|
|
|
var timer: TimerCallback
|
2020-11-17 09:59:02 +00:00
|
|
|
var cancelling = false
|
2019-06-20 20:30:41 +00:00
|
|
|
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
proc continuation(udata: pointer) {.raises: [Defect].} =
|
2019-06-20 20:30:41 +00:00
|
|
|
if not(retFuture.finished()):
|
2020-11-17 09:59:02 +00:00
|
|
|
if not(cancelling):
|
|
|
|
if not(fut.finished()):
|
|
|
|
# Timer exceeded first.
|
|
|
|
cancelling = true
|
|
|
|
fut.cancel()
|
2019-03-27 22:56:17 +00:00
|
|
|
else:
|
2020-11-17 09:59:02 +00:00
|
|
|
# Future `fut` completed/failed/cancelled first.
|
|
|
|
if not isNil(timer):
|
|
|
|
clearTimer(timer)
|
|
|
|
|
|
|
|
if fut.failed():
|
|
|
|
retFuture.fail(fut.error)
|
2019-06-20 20:30:41 +00:00
|
|
|
else:
|
2020-11-17 09:59:02 +00:00
|
|
|
when T is void:
|
|
|
|
retFuture.complete()
|
|
|
|
else:
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
retFuture.complete(fut.value)
|
2020-11-17 09:59:02 +00:00
|
|
|
else:
|
|
|
|
retFuture.fail(newException(AsyncTimeoutError, "Timeout exceeded!"))
|
2019-06-20 20:30:41 +00:00
|
|
|
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
var cancellation: proc(udata: pointer) {.gcsafe, raises: [Defect].}
|
2021-04-03 08:05:08 +00:00
|
|
|
cancellation = proc(udata: pointer) {.gcsafe, raises: [Defect].} =
|
2020-01-27 18:28:44 +00:00
|
|
|
if not isNil(timer):
|
|
|
|
clearTimer(timer)
|
|
|
|
if not(fut.finished()):
|
|
|
|
fut.removeCallback(continuation)
|
|
|
|
fut.cancel()
|
2019-06-20 20:30:41 +00:00
|
|
|
|
|
|
|
if fut.finished():
|
|
|
|
if fut.failed():
|
|
|
|
retFuture.fail(fut.error)
|
2018-07-20 08:58:01 +00:00
|
|
|
else:
|
2019-06-20 20:30:41 +00:00
|
|
|
when T is void:
|
|
|
|
retFuture.complete()
|
|
|
|
else:
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
retFuture.complete(fut.value)
|
2018-07-20 08:58:01 +00:00
|
|
|
else:
|
2019-06-20 20:30:41 +00:00
|
|
|
if timeout.isZero():
|
|
|
|
retFuture.fail(newException(AsyncTimeoutError, "Timeout exceeded!"))
|
|
|
|
elif timeout.isInfinite():
|
2020-01-27 18:28:44 +00:00
|
|
|
retFuture.cancelCallback = cancellation
|
2019-06-20 20:30:41 +00:00
|
|
|
fut.addCallback(continuation)
|
|
|
|
else:
|
|
|
|
moment = Moment.fromNow(timeout)
|
2020-01-27 18:28:44 +00:00
|
|
|
retFuture.cancelCallback = cancellation
|
2020-01-07 05:26:18 +00:00
|
|
|
timer = setTimer(moment, continuation, nil)
|
2019-06-20 20:30:41 +00:00
|
|
|
fut.addCallback(continuation)
|
|
|
|
|
2018-07-20 08:58:01 +00:00
|
|
|
return retFuture
|
|
|
|
|
2019-03-24 16:57:36 +00:00
|
|
|
proc wait*[T](fut: Future[T], timeout = -1): Future[T] {.
|
|
|
|
inline, deprecated: "Use wait(Future[T], Duration)".} =
|
|
|
|
if timeout == -1:
|
|
|
|
wait(fut, InfiniteDuration)
|
|
|
|
elif timeout == 0:
|
|
|
|
wait(fut, ZeroDuration)
|
|
|
|
else:
|
|
|
|
wait(fut, timeout.milliseconds())
|
|
|
|
|
2018-05-16 08:22:34 +00:00
|
|
|
include asyncmacro2
|
|
|
|
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
proc runForever*() {.raises: [Defect, CatchableError].} =
|
2018-05-16 08:22:34 +00:00
|
|
|
## Begins a never ending global dispatcher poll loop.
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
## Raises different exceptions depending on the platform.
|
2018-05-16 08:22:34 +00:00
|
|
|
while true:
|
|
|
|
poll()
|
|
|
|
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
proc waitFor*[T](fut: Future[T]): T {.raises: [Defect, CatchableError].} =
|
2018-05-16 08:22:34 +00:00
|
|
|
## **Blocks** the current thread until the specified future completes.
|
exception tracking (#166)
* exception tracking
This PR adds minimal exception tracking to chronos, moving the goalpost
one step further.
In particular, it becomes invalid to raise exceptions from `callSoon`
callbacks: this is critical for writing correct error handling because
there's no reasonable way that a user of chronos can possibly _reason_
about exceptions coming out of there: the event loop will be in an
indeterminite state when the loop is executing an _random_ callback.
As expected, there are several issues in the error handling of chronos:
in particular, it will end up in an inconsistent internal state whenever
the selector loop operations fail, because the internal state update
functions are not written in an exception-safe way. This PR turns this
into a Defect, which probably is not the optimal way of handling things
- expect more work to be done here.
Some API have no way of reporting back errors to callers - for example,
when something fails in the accept loop, there's not much it can do, and
no way to report it back to the user of the API - this has been fixed
with the new accept flow - the old one should be deprecated.
Finally, there is information loss in the API: in composite operations
like `poll` and `waitFor` there's no way to differentiate internal
errors from user-level errors originating from callbacks.
* store `CatchableError` in future
* annotate proc's with correct raises information
* `selectors2` to avoid non-CatchableError IOSelectorsException
* `$` should never raise
* remove unnecessary gcsafe annotations
* fix exceptions leaking out of timer waits
* fix some imports
* functions must signal raising the union of all exceptions across all
platforms to enable cross-platform code
* switch to unittest2
* add `selectors2` which supercedes the std library version and fixes
several exception handling issues in there
* fixes
* docs, platform-independent eh specifiers for some functions
* add feature flag for strict exception mode
also bump version to 3.0.0 - _most_ existing code should be compatible
with this version of exception handling but some things might need
fixing - callbacks, existing raises specifications etc.
* fix AsyncCheck for non-void T
2021-03-24 09:08:33 +00:00
|
|
|
## There's no way to tell if poll or read raised the exception
|
2019-06-20 20:30:41 +00:00
|
|
|
while not(fut.finished()):
|
2018-05-16 08:22:34 +00:00
|
|
|
poll()
|
|
|
|
|
2019-06-20 20:30:41 +00:00
|
|
|
fut.read()
|
2018-05-22 10:43:42 +00:00
|
|
|
|
2019-04-04 09:34:23 +00:00
|
|
|
proc addTracker*[T](id: string, tracker: T) =
|
|
|
|
## Add new ``tracker`` object to current thread dispatcher with identifier
|
|
|
|
## ``id``.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2019-04-04 09:34:23 +00:00
|
|
|
loop.trackers[id] = tracker
|
|
|
|
|
|
|
|
proc getTracker*(id: string): TrackerBase =
|
|
|
|
## Get ``tracker`` from current thread dispatcher using identifier ``id``.
|
2021-01-11 17:15:23 +00:00
|
|
|
let loop = getThreadDispatcher()
|
2019-04-04 09:34:23 +00:00
|
|
|
result = loop.trackers.getOrDefault(id, nil)
|
2019-09-23 17:24:26 +00:00
|
|
|
|
2023-03-31 05:35:04 +00:00
|
|
|
when chronosFutureTracking:
|
2020-07-08 16:48:01 +00:00
|
|
|
iterator pendingFutures*(): FutureBase =
|
|
|
|
## Iterates over the list of pending Futures (Future[T] objects which not
|
|
|
|
## yet completed, cancelled or failed).
|
|
|
|
var slider = futureList.head
|
|
|
|
while not(isNil(slider)):
|
|
|
|
yield slider
|
|
|
|
slider = slider.next
|
|
|
|
|
2021-10-21 14:22:11 +00:00
|
|
|
proc pendingFuturesCount*(): uint =
|
2020-07-08 16:48:01 +00:00
|
|
|
## Returns number of pending Futures (Future[T] objects which not yet
|
|
|
|
## completed, cancelled or failed).
|
|
|
|
futureList.count
|
2020-07-06 06:33:13 +00:00
|
|
|
|
2023-05-23 10:39:35 +00:00
|
|
|
when defined(windows):
|
|
|
|
proc waitForSingleObject*(handle: HANDLE,
|
|
|
|
timeout: Duration): Future[WaitableResult] {.
|
|
|
|
raises: [Defect].} =
|
|
|
|
## Waits until the specified object is in the signaled state or the
|
|
|
|
## time-out interval elapses. WaitForSingleObject() for asynchronous world.
|
|
|
|
let flags = WT_EXECUTEONLYONCE
|
|
|
|
|
|
|
|
var
|
|
|
|
retFuture = newFuture[WaitableResult]("chronos.waitForSingleObject()")
|
|
|
|
waitHandle: WaitableHandle = nil
|
|
|
|
|
|
|
|
proc continuation(udata: pointer) {.gcsafe.} =
|
|
|
|
doAssert(not(isNil(waitHandle)))
|
|
|
|
if not(retFuture.finished()):
|
|
|
|
let
|
|
|
|
ovl = cast[PtrCustomOverlapped](udata)
|
|
|
|
returnFlag = WINBOOL(ovl.data.bytesCount)
|
|
|
|
res = closeWaitable(waitHandle)
|
|
|
|
if res.isErr():
|
|
|
|
retFuture.fail(newException(AsyncError, osErrorMsg(res.error())))
|
|
|
|
else:
|
|
|
|
if returnFlag == TRUE:
|
|
|
|
retFuture.complete(WaitableResult.Timeout)
|
|
|
|
else:
|
|
|
|
retFuture.complete(WaitableResult.Ok)
|
|
|
|
|
|
|
|
proc cancellation(udata: pointer) {.gcsafe.} =
|
|
|
|
doAssert(not(isNil(waitHandle)))
|
|
|
|
if not(retFuture.finished()):
|
|
|
|
discard closeWaitable(waitHandle)
|
|
|
|
|
|
|
|
let wres = uint32(waitForSingleObject(handle, DWORD(0)))
|
|
|
|
if wres == WAIT_OBJECT_0:
|
|
|
|
retFuture.complete(WaitableResult.Ok)
|
|
|
|
return retFuture
|
|
|
|
elif wres == WAIT_ABANDONED:
|
|
|
|
retFuture.fail(newException(AsyncError, "Handle was abandoned"))
|
|
|
|
return retFuture
|
|
|
|
elif wres == WAIT_FAILED:
|
|
|
|
retFuture.fail(newException(AsyncError, osErrorMsg(osLastError())))
|
|
|
|
return retFuture
|
|
|
|
|
|
|
|
if timeout == ZeroDuration:
|
|
|
|
retFuture.complete(WaitableResult.Timeout)
|
|
|
|
return retFuture
|
|
|
|
|
|
|
|
waitHandle =
|
|
|
|
block:
|
|
|
|
let res = registerWaitable(handle, flags, timeout, continuation, nil)
|
|
|
|
if res.isErr():
|
|
|
|
retFuture.fail(newException(AsyncError, osErrorMsg(res.error())))
|
|
|
|
return retFuture
|
|
|
|
res.get()
|
|
|
|
|
|
|
|
retFuture.cancelCallback = cancellation
|
|
|
|
return retFuture
|
|
|
|
|
2019-09-23 17:24:26 +00:00
|
|
|
# Perform global per-module initialization.
|
|
|
|
globalInit()
|