A Model of Dynamic Separation for Transactional Memory
Information & Computation(2010)
摘要
Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We provide a precise formulation of dynamic separation and compare it with other programming disciplines. Furthermore, exploiting dynamic separation, we investigate some possible implementations of the calculus and we establish their correctness.
更多查看译文
关键词
Reference Location,Protection State,Transactional Memory,Program Language Design,Software Transactional Memory
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络