From: Beman Dawes (bdawes_at_[hidden])
Date: 2001-08-17 16:03:20
At 04:28 PM 8/17/2001, William Kempf wrote:
>There was some confusion with the wording of my redesigned semantics for
>thread::join(). I've modified thread.html (attached) to try and describe
>the total semantics in a more precise format. Hopefully this will help
>discussing the actual proposed changes to the semantics.
The two constructor "Notes" should be "Postconditions".
The intro should state that a thread has an associated state which is
either "joinable" or "non-joinable".
The postcondition for join() should say "*this is non-joinable." Ditto the
The comparison operator Requires state should be "non-terminated" rather
than "running", since "running" would exclude "ready" and "blocked".
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk