規(guī)約和驗(yàn)證并發(fā)數(shù)據(jù)結(jié)構(gòu)

　　面對多核處理器技術(shù)的不斷革新，為充分地利用多核資源提升程序的性能，設(shè)計(jì)和實(shí)現(xiàn)高并發(fā)的數(shù)據(jù)結(jié)構(gòu)變得越來越重要。為獲得 多的并發(fā)和 好的性能，程序開發(fā)者會盡可能地采用細(xì)粒度同步技術(shù)來實(shí)現(xiàn)并發(fā)數(shù)據(jù)結(jié)構(gòu)。然而這些數(shù)據(jù)結(jié)構(gòu)通常復(fù)雜靈巧、易出錯(cuò)、可靠性難以保證。因此，形式化驗(yàn)證并發(fā)數(shù)據(jù)結(jié)構(gòu)對提高并發(fā)軟件的可靠性和安全性有著重要意義。可線性化是一一個(gè)主流的并 發(fā)數(shù)據(jù)結(jié)構(gòu)安全性標(biāo)準(zhǔn)。本書針對并發(fā)數(shù)據(jù)結(jié)構(gòu)可線性化標(biāo)準(zhǔn)及其驗(yàn)證方法方面進(jìn)行了深入研究。本書分析了可線性化標(biāo)準(zhǔn)的局限性，在此基礎(chǔ)上提出了強(qiáng)可線性化標(biāo)準(zhǔn)。本書致力于提供簡單易用的方法驗(yàn)證并發(fā)數(shù)據(jù)結(jié)構(gòu)的可線性化。

暫缺《規(guī)約和驗(yàn)證并發(fā)數(shù)據(jù)結(jié)構(gòu)》作者簡介