Достаточно дельная статья с нетривиальным материалом.
Boehm - достаточно пожилой мужик, кажется, тот человек, который взвалил на себя труд разобраться со всеми этими авгиевыми конюшнями моделей памяти для С/C++. Пишет относительно заумные и бескомпромиссные вещи вроде "Threads Cannot be Implemented as a Library" (в смысле, превед Pthread, доктор сказал в морг - значит в морг).
А Sarita Adve - соавторша Куроша Гарачорлы, вместе с ним написавшая еще в 95-м году тюториал по консистентности памяти.
Короче говоря, этим делом занялись достаточно правильные люди, похоже. В смысле, уже отзанимались, так как стандарт уже полтора года как издан.