Concurrency in D

[Bartosz Milewski]

Since I'm working on the concurrency model for D, I have to re-read several articles. I decided to combine this task with blogging--it always helps the understanding if you have to relate the topic to others. We are interested in designing a type system that would prevent, or at least minimize, data races in D. There's been research on this, especially in Java, so I started with analyzing Guava, a race-free dialect of Java. This is the post:
http://bartoszmilewski.wordpress.com/2009/03/23/types-for-concurrency/ , and here's a link to reddit, if you want to vote for it: http://www.reddit.com/r/programming/comments/86zow/types_for_concurrency/ .