from https://learn.microsoft.com/en-us/windows/desktop/fileio/i-o-completion-ports:
Please note that while the packets are queued in FIFO order they may be dequeued in a different order.
Is this not guaranteed even in the case of a single queuing thread and a single dequing thread ?
Is there any further information under what condition packets can be dequeued in a different order ?