没有找到引用CORD: Cost-effective (and nearly overhead-free) order-recording and data race detection的文章。