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