何塞·马丁内斯 约瑟普·托雷拉斯 推测同步：并行代码的可编程性和性能。 126-134 2003 23 IEEE微型 6 https://doi.org/10.1109/MM.2003.1261396 http://doi.ieecomputersociety.org/10.109/MM.2003.1261396 db/journals/micro/micro23.html#MartinezT03