本書作者針對并發(fā)數(shù)據(jù)結(jié)構(gòu)可線性化標(biāo)準(zhǔn)及其驗證方法進(jìn)行了深入的研究。本書分析了并發(fā)數(shù)據(jù)結(jié)構(gòu)可線性化標(biāo)準(zhǔn)的局限性，在此基礎(chǔ)上提出了強(qiáng)可線性化標(biāo)準(zhǔn)。驗證并發(fā)數(shù)據(jù)結(jié)構(gòu)強(qiáng)可線性化最困難的部分是驗證可線性化。