适用于C或Java的非玩具软件事务内存

Question

我正在考虑通过1或2个实验室教授使用软件交易记忆来进行大学课程的可能性.我只知道Haskell的STM,但该课程的学生可能从未听说过它.

我已经在网上或其他问题中找到了一些此类库的列表(例如,http://en.wikipedia.org/wiki/Software_transactional_memory#C.2FC.2B.2B).我检查出来,当你阅读这一点,但很多人似乎并不有一个非常漂亮的文档(大部分是研究原型的论文中只是含糊地描述,我宁愿教的东西比较习惯,有据可查).此外,维基百科提供的许多链接都是悬空的.

总而言之,STM的实施是针对工业项目(或至少是非玩具项目,以确保一定的质量水平)并且有详细记录(为学生提供一些好的指示)？

编辑:我不是课程的老师,我只是帮他实验室.当然,学生之前将学习并发和分布式算法的基础知识.这只是一个想法,在课程结束时提出不同的建议.

Answer 1

生产质量的STM-Library不是一种教学工具,甚至不是"最佳实践".任何大学/大学课程值得学习的可能是代码的1% ; 剩下的99%是依赖于平台的内在角落案例.有趣的1%没有以任何方式突出显示,因此您无法找到它.

我建议的大学/大学课程(无论是介绍性的还是高级的)是自己实施STM构建块(仅适用于1个平台).

首先介绍问题:并发,缓存......

然后介绍我们拥有的原子助手:cas/cmpxchg,fence.

然后与学生一起构建示例,首先是简单,然后更难,更复杂.