[bitc-dev] Representation and memory model

[Mark Miller]

Jonathan S. Shapiro wrote:
> On Thu, 2005-09-01 at 00:57 +0700, Constantine Plotnikov wrote:
> [...] it is possible to write multithreaded programs 
>>using [C]. [...]
> 
> It is true that people write these things in C. It is also true that
> these codes rely on behavior that is NOT part of the language
> specification. Each platform makes platform-specific extensions to
> compiler and runtime to support this.

Yes. See Hans Boehm's "Threads Cannot be Implemented as a Library"
<http://www.hpl.hp.com/techreports/2004/HPL-2004-209.html>.


> We rejected direct support for concurrency in BitC for two reasons:
> 
> 1. We have never seen a language concurrency model that we think was
> "done right."

Ahem, cough cough, ah, over here, [gesticulates wildly while pointing], ...

-- 
Text by me above is hereby placed in the public domain

    Cheers,
    --MarkM