[bitc-dev] Representation and memory model
markm at cs.jhu.edu
Wed Aug 31 14:24:21 EDT 2005
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"
> 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
More information about the bitc-dev