Automatic fine-grain locking using shape properties2011-10-220 PRE AI DOI:10.1145/2048066.2048086原文链接原文求助分享收藏摘要 En