http://research.microsoft.com/Comega/
"Comega Sharp"
~James
On 8/1/06, Andre Pang <[EMAIL PROTECTED]> wrote:
On 01/08/2006, at 6:07 PM, Erik de Castro Lopo wrote:
> Michael Kedzierski wrote:
>
>> uC++ - http://plg.uwaterloo.ca/~usystem/uC++.html
>
> Nice link. Thanks Michael, thats interesting.
On the subject of C++...
If you absolutely have to use shared mutable state for concurrency
(which may be a requirement if you demand nothing less than extreme
performance), here's an absolutely awesome article by the crazy-ass
Andrei Alexandrescu that tells you how to get _compiler-checked_
thread-safety in C++:
http://www.ddj.com/dept/cpp/184403766
As a teaser: "_we create a connection between C++'s type system and
an application's threading semantics_. We can make the compiler check
race conditions for us."
I realise this is probably just one of those serendipitous
coincidences that fell out of the C++ design committee and they never
intended to (ab)use the language feature in this way, but it's still
way cool in my book.
P.S. I know some of you are waiting for me to post the slides and
informational links from my Erlang talk: my apologies for not getting
around to it yet, I've been annoyingly busy for the past few days.
I'll get it soon, I promise!
--
% Andre Pang : trust.in.love.to.save <http://www.algorithm.com.au/>
_______________________________________________
coders mailing list
[email protected]
http://lists.slug.org.au/listinfo/coders
_______________________________________________ coders mailing list [email protected] http://lists.slug.org.au/listinfo/coders
