Skip to content

Figure out if and how to use io_uring inter-ring messages for polling interruption #3684

@armanbilge

Description

@armanbilge

An important feature of the polling system is the ability to interrupt a poller while it is polling. This is necessary to wake up a worker thread e.g. when there is work available in the external queue.

def interrupt(targetThread: Thread, targetPoller: Poller): Unit

io_uring now has the ability to directly send messages between rings. This seems like a great way to implement this interruption, since sending a message to a ring would cause it to wake up immediately.

https://man7.org/linux/man-pages/man3/io_uring_prep_msg_ring.3.html

However, sending said message requires having access to a ring to send the message from. This opens a few questions:

  1. should the PollingSystem#interrupt API be given access to the poller of its current thread, if available?

  2. if we are not on a WSTP thread and we don't have a thread-local ring, what should we do? This is a common case, since work for the external queue will originate from external threads.

  3. even if we do have a thread-local ring we can use to send the message, should we bypass the usual submission mechanism? otherwise it may take up to 64 iterations of the worker loop until the interrupt even gets submitted, which is a lot of latency. seems kinda dumb

So, tough questions. We could implement this today, without access to the thread-local ring, by keeping a separate collection of rings used only for sending interrupt messages. This is is necessary anyway to support sending interrupts from external threads.

Follow-up to:

cc @antoniojimeneznieto

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions