microsoft/demikernel

[simulator] Support multiple inflight requests

iyzhang opened this issue · 0 comments

Context

Currently, the simulator does not support multiple in flight requests. This leaves us with some cases that we cannot support.

Proposed Solution

Support queue tokens so that we can wait on separate I/O requests.

Alternative Solutions

If we always waited on requests in FIFO order, we could use that assumption in the simulator.