Ted Baker writes:
> On Tue, Aug 12, 2008 at 03:16:36PM +0200, Hallvard B Furuseth wrote:
>> ... The C language and memory model will finally acknowledge
>> the existence of threads. It could do that without providing an API,
>> and maybe suggest these primitives as a theoretical way to implement
>> threading.
>
> Which I would find appealing in a language standard, as it could
> apply to not only POSIX multi-threaded programming but other
> systems.
True enough.
Come to think if it, just to require cond variables seems like it might
be limiting. At least, problems with how to implement them on top of
some Windows threading has been coming up on comp.programming.threads
recently. (The atomic release-mutex-and-sleep-on-cond operation, IIRC.)
>> However I'd suspicious of such a purely theoretical model.
>> If it doesn't get some real-life exposure in its own right, design
>> bugs and other problems don't get detected as easily.
>
> So, how about the proof of concept POSIX threads?
They are not proof of the concept of implementing just what
gets spelled out in the C standard.
--
Hallvard
|