Hi all, during OOPSLA I came upon some papers/projects that may be relevant to the STM effort, that I found interesting (though I haven't read them in detail yet, just skimmed).
IBM Research Japan is doing a project to try to eliminate the GIL of Ruby's C VM using HTM extensions of various processors (mostly IBM stuff, I think): http://researcher.watson.ibm.com/researcher/view_person_subpage.php?id=4800 CDSChecker is a model checker for concurrent C/C++ code that claims to put a lot of effort into making the model checker efficient, to be able to scale to interestingly sized programs: http://demsky.eecs.uci.edu/c11modelchecker.html An STM paper from OOPSLA 2003 won the "most influential paper award": http://www.cl.cam.ac.uk/research/srg/netos/papers/2003-ls4lt.pdf Just though I'd throw these out there. Cheers, Carl Friedrich _______________________________________________ pypy-dev mailing list [email protected] https://mail.python.org/mailman/listinfo/pypy-dev
