基于有界锁自由的并行程序进度保证

埃雷斯·彼得兰克,穆苏瓦蒂夫人,比亚恩·斯坦斯加德.基于有界锁自由的并行程序进度保证.迈克尔·欣德,艾默·迪万,编辑,2009年ACM SIGPLAN编程语言设计与实现会议记录,2009年PLDI,爱尔兰都柏林,2009年6月15日至21日.144-154、ACM、,2009. [美国国防部]

摘要

缺少摘要。