本書作者針對并發(fā)數(shù)據(jù)結構可線性化標準及其驗證方法進行了深入的研究。本書分析了并發(fā)數(shù)據(jù)結構可線性化標準的局限性，在此基礎上提出了強可線性化標準。驗證并發(fā)數(shù)據(jù)結構強可線性化最困難的部分是驗證可線性化。