Re: [boost] RE: Review: Boost.Threads

From: Jeremy Siek (jsiek_at_[hidden])
Date: 2001-09-03 11:51:38

On Fri, 31 Aug 2001, William Kempf wrote:
willia>
willia> >Condition:
willia> >
willia> >"The mutex model must be locked..." Can a model be locked?
willia>
willia> *shrugs* I had help on this one.  The terminology of
willia> "concept" and "model"  were foreign to me when this
willia> project was started.  My understanding is that the "model"
willia> is a concrete representation of the "concept", and as such
willia> a model of the mutex concept certainly can be locked.

A "model" is a *type* that satisfies the requirements for a concept. Since
a type cannot be locked, this is indeed a mistake. It should read
something like "The mutex object", or more formally one could start by
defining type "M" to be a model of some mutex concept, and then say "m" is
an object of type "M", and then use "m" in the sentence.

Ciao,
Jeremy

----------------------------------------------------------------------
 Jeremy Siek                          http://php.indiana.edu/~jsiek/
 Ph.D. Student, Indiana Univ. B'ton   email: jsiek_at_[hidden]
 C++ Booster (http://www.boost.org)   office phone: [phone]
----------------------------------------------------------------------