http://users.soe.ucsc.edu/~cormac/papers/popl12a.pdfあまりきちんと理解できてないけど、ざっと読みました。以下間違ってることが普通にあるかもしれません…さて、 race detector はむずかしいと思う。本質的に難しいっていうより、なんかあまり他と接点…