Boost logo

Boost :

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
default constructor.

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, gregod at, cpdaniel at, john at