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

定　價：￥78.00

作　者：	文堂柳
出版社：	中南大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

ISBN：	9787548754503	出版時間：	2023-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	1	字?jǐn)?shù)：

內(nèi)容簡介

　　面對多核處理器技術(shù)的不斷革新，為充分地利用多核資源提升程序的性能，設(shè)計和實(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ù)雜靈巧、易出錯、可靠性難以保證。因此，形式化驗(yàn)證并發(fā)數(shù)據(jù)結(jié)構(gòu)對提高并發(fā)軟件的可靠性和安全性有著重要意義。可線性化是一一個主流的并發(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)的可線性化。