Re: Automatic parallelization - was Re: LISP Object Oriented?

Has anyone thought about implementing a Software
Transactional Memory system in Lisp? I'm curious
about thoughts on whether it can be done at the
language level (with macros, etc) or whether under-
the-hood support would be needed from the
implementation... assuming of course that the
implementation already provides threads.

This would add an (ATOMIC ...) form, for instance.
(Yes, I am inspired by this month's Queue magazine
article! http://www.acmqueue.com/modules.php?
name=Content&pa=showpage&pid=444)

And how about thread dispatch onto these 8-way
cores? Are implementations working with the
multicore SPARC chip in the Sun T1000, for
instance?

.