A student has implemented a scheme interpreter in scheme and then in C, and a scheme compiler in scheme.

That student is now interested in implementing a STM (Software Transactional Memory) system into this compiler.

Is there a paper/doco to aid them to do this?

  • $\begingroup$ this doesn't seem to be a TCS question $\endgroup$ – Lev Reyzin Oct 31 '10 at 14:07
  • 2
    $\begingroup$ I think I agree with Lev, this seems to be a question about implementations, not theory. But it probably can be rephrased to become a TCS question. $\endgroup$ – Kaveh Nov 1 '10 at 0:19

If you look on the wikipedia page for STM, you'll see that there are many many implementations already available. Many approaches exist and as usual there are always trade-offs to consider. Naturally, associated with these implementations will be technical reports describing their implementations. One approach for scheme is documented in the article Reusable building blocks for software transactional memory by Charlotte Herzeel, Pascal Costanza and Theo D’Hondt. This StackOverflow question also addresses the issue.

| cite | improve this answer | |

Not the answer you're looking for? Browse other questions tagged or ask your own question.