The class
stop_source implements the semantics of making a stop request
. A stop request made on a
stop_source object is visible to all
associated
stop_source and
stop_token (
[stoptoken]) objects
. Once a stop request has been made it cannot be withdrawn
(a subsequent stop request has no effect)
.