如何在Java STM中实现可组合性？

Question

可组合性：

          atomic { 
             x = Queue1.getItem();
             Queue2.getItem(x);
          }

如果getItem或putItem重试，则整个事务重试。那就是事务等待，直到Queue1不为空并且Queue2不满。我们不必重新编码putItem或getItem。