Я подумываю о возможности обучения использованию Transactional Memory через 1 или 2 управляемые лаборатории для университетского курса. Я знаю только о Haskell STM, но студенты курса, вероятно, никогда не слышали ни слова об этом.
Я уже нашел некоторые списки таких библиотек в Интернете или в других вопросах (например, http://en.wikipedia.org/wiki/Software_transactional_memory#C.2FC.2B.2B). Я проверяю их, когда вы читаете это, но многие из них, похоже, не имеют очень красивой документации (большинство из них - это прототипы исследований, которые смутно описаны в документах, и я бы предпочел научить чему-то более используемому и хорошо документированному). Кроме того, многие ссылки, предоставленные wikipedia, свисают.
Подводя итоги, существуют ли реализации STM, направленные на промышленные проекты (или, по крайней мере, не игрушечные, для обеспечения определенного уровня качества) и хорошо документированные (чтобы дать хорошие рекомендации студенты)?
РЕДАКТИРОВАТЬ: Я не преподаватель курса, я просто помогаю ему в лабораториях. Конечно, студенты будут изучать основы concurrency и распределенные алгоритмы раньше. Это была просто идея предложить что-то другое в конце курса.