An Extensible Interpreter Framework for Software Transactional Memory

: Software transactional memory (STM) is a new approach for coordinating concurrent threads, for which many different implementation strategies are currently being researched. In this paper we show that if a language implementation provides reflective access to explicit memory locations, it becomes straightforward to both (a) build an STM framework for this language and (b) to implement STM algorithms using this framework. A proof-of-concept implementation in the form of a Scheme interpreter (written in Common Lisp) is presented. Key Words: Software transactional memory, Lisp, memory location objects

• Type: Journal
• Year: 2010
• Where: JUCS
• Authors: Charlotte Herzeel, Pascal Costanza, Theo D'Hondt
• Keywords: Explicit Memory Locations, JUCS 2010, Memory Location, Software Transactional Memory