Windows named pipes hits unreachable code during read operation

[akahan]

The error occurs at this location:

mio/src/sys/windows/named_pipe.rs

Line 871 in 4a5114e

_ => unreachable!(),

In io.read comes State::Err with: Err The pipe has been ended. (os error 109)
This appears on both Windows 11 and Windows 10.

It reproduced almost stably when closing the laptop lid with running service and client, apparently after switching to standby mode.

If I handle this state and simply exit the read_done method without calling unreachable (and assign the same error state to io.read again. Perhaps it's better not to do this?), everything continues to work, seemingly normal. Any comments guys?

My environment works like this:
The Windows service creates a named pipe as an administrator (both PipeMode::Bytes and PipeMode::Message modes were tested). After which the client connects to it and sends a message 2 times per second and reads the response.

[Thomasdezeeuw]

Maybe related to #1660?

@akahan what version of Mio are you running?

[akahan]

last version 1.0.1

[akahan]

Even if it's a similar bug #1660. In any case, it is not fixed.

[akahan]

I can not understand. If io.read | io.write state can be Err, why is it not checked here, but only Pending is checked, and the rest is supposedly unreachable?

[akahan]

Here https://github.com/akahan/mio/tree/v1.0.1-dev is the code that I used to temporarily solve this problem.