摘要：
A framework is provided for automatic inference of memory fences in concurrent programs. A method is provided for generating a set of ordering constraints that prevent executions of a program violatin... 阅读全文
posted @ 2014-10-05 23:05
CoryXie
阅读(289)
评论(0)
推荐(0)
浙公网安备 33010602011771号