[Patch] C1X threading support

[Kostik Belousov]

On Sun, Dec 18, 2011 at 02:06:38AM +0100, Dag-Erling Sm??rgrav wrote:
> "Poul-Henning Kamp" <phk at phk.freebsd.dk> writes:
> > Ohhh, but I know:  Lets make a rival to the POSIX threads, we can do it
> > much better and slightly incompatible, big market there I'm sure.
> 
> That's not the point.  The point is that C until now did not have a
> concurrency model.  The threading API in itself is not important; I'm
> sure the committee knows perfectly well that nobody is going to use it.
> What's important is that the standard now defines how C behaves in a
> concurrent environment.

Well, the reverse was exactly _my_ point. I cannot find the description of
how the abstract C machine behaves, in the presence of multiple threads
of execution. The atomics chapter covers only some special operations,
which are added in the new revision.

E.g., there is absolutely no mention of the memory changes visibility,
or guarantees of atimicity of the assignments/reads etc. IMO, the threading
was slapped nearby, and the standard is not useful as-is. I am sorry if
I missed the parts.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 196 bytes
Desc: not available
Url : http://lists.freebsd.org/pipermail/freebsd-threads/attachments/20111218/8578b432/attachment.pgp