規約和驗證併發數據結構文堂柳著 9787548754503 【台灣高等教育出版社】

Name: 規約和驗證併發數據結構 文堂柳著 9787548754503 【台灣高等教育出版社】
Brand: abooksthep
Price: 496.0 TWD
Availability: InStock

圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：中南大學

NT$496

商品編號:

供貨狀況: 尚有庫存

加入最愛

商品介紹

*數量非實際在台庫存
*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為實際資訊。
印行年月：202308*若逾兩年請先於私訊洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：規約和驗證併發數據結構
ISBN：9787548754503
出版社：中南大學
著編譯者：文堂柳著
頁數：202頁
所在地：中國大陸 *此為代購商品
書號：1607037
可大量預訂，請先連絡。

內容簡介

為獲得更多的併發和更好的性能，程序開發者會儘可能地採用細粒度同步技術來實現併發數據結構。然而這些數據結構通常複雜靈巧、易出錯、可靠性難以保證。因此，形式化驗證併發數據結構對提高併發軟體的可靠性和安全性有著重要意義。可線性化是一個主流的併發數據結構安全性標準。本書針對併發數據結構可線性化標準及其驗證方法方面進行了深入研究。本書分析了可線性化標準的局限性，在此基礎上提出了強可線性化標準。本書致力於提供簡單易用的方法驗證併發數據結構的可線性化。

作者簡介

文堂柳，武漢大學計算機軟體與理論專業博士畢業，獲工學博士學位。現任贛南科技學院教師，研究方向包括併發分散式計算、軟體形式化方法等方向。

第1章概述
1 1 研究的背景和意義
1 2 併發數據結構正確性標準研究現狀
1 3 併發數據結構可線性化的驗證方法研究現狀
1 4 本書的研究內容
1 5 本書的組織結構
第2章研究基礎
2 1 相關數學知識
2 2 程序邏輯
2 3 刻畫併發數據結構的行為
2 4 併發數據結構的可線性化
2 5 觀察精化與觀察等價
2 6 本章小結
第3章強可線性化
3 1 研究動機
3 2 強可線性化的定義
3 3 強可線性化蘊含觀察等價
3 4 順序規約下的強可線性化及其屬性
3 5 本章小結
第4章基於抽象約簡的可線性化驗證方法
4 1 Lipton約簡理論
4 2 基於單路徑的抽象約簡
4 3 驗證不可約簡的讀方法
4 4 基於雙路徑的抽象約簡
4 5 驗證封裝擴展的併發數據結構
4 6 本章小結
第5章基於偏序屬性的可線性化驗證方法
5 1 驗證併發隊列
5 2 驗證併發棧
5 3 本章小結
第6章規約和驗證語義鬆弛的併發數據結構
6 1 語義鬆弛的併發數據結構概述
6 2 鬆弛併發數據結構的正確性研究現狀
6 3 規約語義鬆弛的併發數據結構
6 4 驗證隨機出隊隊列
6 5 本章小結
第7章結論與展望
7 1 研究總結
7 2 後續研究工作展望
參考文獻
詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。