最权威，最经典的关于software transaction memory的实现。