The future of concurrent programming

[Regan Heath]

Some ideas/terms for those that are interested:

http://en.wikipedia.org/wiki/Lock_%28computer_science%29
http://en.wikipedia.org/wiki/Mutual_exclusion
http://en.wikipedia.org/wiki/Critical_section
http://en.wikipedia.org/wiki/Semaphore_%28programming%29
http://en.wikipedia.org/wiki/Spinlock
http://en.wikipedia.org/wiki/Seqlock

as you can see there are many ways to implement the humble 'synchronized' statement.  I wonder which D uses?

Regan