Spike Notes on Theory of (Software) Transactional Memory[Doing]

Motivation

程序员是否需要在处理一致性问题或者同步时，一定要make hands dirty？能不能专注于应用级原子性，而无需考虑低层操作系统、运行时支持的原子性概念或者语言构造？

软件事务性内存(Software Transactional Memory, STM)提供了一种机制，极大的减少了业务型程序员在处理并发任务时所需投入的努力。

Scope

这一领域相对而言比较新但不是很新，尤其对具有关系型或得关系型数据库领域知识背景的人来说。

本文不对该概念起源和研究趋势做任何阐述和探究，不对任何特定编程语言(Java/Scala等)对STM的支持做任何介绍和讨论。

本文仅记录学习[1]中对STM所做的讨论过程中的重要结论。

Progress

20151031 init plan

Content

this shall be done in 20151116.

References

[1] Raynal M. Concurrent Programming: Algorithms, Principles, and Foundations. Berlin Heidelberg: Spring-Verlag. 2013.