yigal_s: старая гвардия

старая гвардия
Foundations of the C++ Concurrency Memory Model. Hans Boehm, Sarita Adve.

Достаточно дельная статья с нетривиальным материалом.

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

А Sarita Adve - соавторша Куроша Гарачорлы, вместе с ним написавшая еще в 95-м году тюториал по консистентности памяти.

Короче говоря, этим делом занялись достаточно правильные люди, похоже. В смысле, уже отзанимались, так как стандарт уже полтора года как издан.

Далее, лекция Boehm-a о той же памяти в С++:

(Добавить комментарий)

	igor_abramov@lj 2013-03-26 04:53 (ссылка)
	Boehm наиболее известен своим conservative-GC для С/С++ (Ответить) (Ветвь дискуссии)

	yigal_s@lj 2013-03-26 09:00 (ссылка)
	а, тот самый алгоритм, что произвольные данные интерпретирует как указатели? Прекрасная идея. Я только не знал, что это тоже Boehm. (Ответить) (Уровень выше)

yatur@lj
2013-03-26 08:14 (ссылка)

И тем не менее pthreads очень даже работают. Многие С++-ники грешат тем, что говорят "cannot be implemented", имея в виду что-то вроде "а вот если запустить это на машине с 32-мя процессорами, 9-битными байтами, полным остутствием синхронизации доступа к памяти, и если автор компилятора - изощренный садист, который по undefined behavior форматирует жесткий диск, то оно, может, работать не будет".

(Ответить)

	abs8192@lj 2013-04-17 13:13 (ссылка)
	Не завидую разработчикам компиляторов для C++11. Особенно с atomic-ом. (Ответить)