Boost logo

Boost :

From: bill_kempf (williamkempf_at_[hidden])
Date: 2002-01-20 15:16:47

--- In boost_at_y..., "Peter Dimov" <pdimov_at_m...> wrote:
> From: "bill_kempf" <williamkempf_at_h...>
> > I've uploaded the draft document for the next generation of
> > boost::thread for discussion.
> One thing that immediately jumps at me is:
> Requires: category() != foreign and there has been no previous
calls to
> either join() or detach() on any thread objects representing the
same thread
> of execution as *this.
> but I (the user) have no means to detect whether the requirements
are met.

To detect, no, but know, possibly. It depends heavily on the design
of the application.

> It's usually better to make preconditions assert'able in user code;
> sometimes this cannot be done, of course, and if this is the case
here, this
> might deserve mention in the documentation.

It can't be detected, so it can't be asserted. Only careful program
design can insure the preconditions in this case. I'll see if I can
work on the documentation to make this clear.
> Another thing that I find somewhat unclear is what is a default
> thread's category.

That totally depends on how the thread was created and whether or not
adopt() has been previously called on it. This is indirectly
documented, but I may need to make it more clear.
Bill Kempf

Boost list run by bdawes at, gregod at, cpdaniel at, john at