The meaning of capy::cond::canceled

[akrzemi1]

The description of the capy::cond::canceled in https://github.com/cppalliance/capy/blob/develop/include/boost/capy/cond.hpp#L50 says:

An error_code compares equal to canceled when:
(1) the operation's stop token was activated,
(2) the I/O object's cancel() was called,
(3) or a platform cancellation error occurred.

Conflating the third reason (platform-specific cancellation) with the first two makes capy::cond::canceled less usable. The first two correspond to stop signal from Senders/Receivers and could be mapped on the stop slot. But the third one just doesn't fit: it may mean, "the socket was closed on the other end by the other system" (CONNRESET). It just looks like an "error", much like "couldn't connect".

What is the motivation of representing all three under the same condition?

[akrzemi1]

Or, to put it in another way, when integrating with Senders/Receivers, I need to be able the situation "you said you no longer need this" from "some external factor prevented me from doing what I promissed". The current specification of capy::cond::canceled doesn't give me that.

[akrzemi1]

Also, note the discussion on the naming in P0660r10 ("Stop Token and Joining Thread"), which says that name "stop" was preferred to "cancel", as in POSIX pthread_cancel implies an abrupt stop (no cleanup) whereas the desired semantics was "cooperative stop". Given that stop_token is used for stopping tasks, maybe name "stop" should be used consistently:

• socket.stop(),
• capy::cond::stopped.