GCC and static analysis
Posted Apr 21, 2012 16:48 UTC (Sat) by JohnLenz
Parent article: GCC and static analysis
Like kernel programming, multi-threaded user-space programming involves creating and using locks to prevent concurrent access to shared data.
I guess you haven't read this blog post which has been making the rounds recently. Also, this talk by Simon Peyton Jones gives a more in depth overview of things like software transactional memory, data parallel arrays, channels, and so on which allow concurrency with no locks.
to post comments)