Lee, Z. H., & Mathur, U. (2024). Efficient Linearizability Monitoring for Sets, Stacks, Queues and Priority Queues. Proceedings of the ACM on Programming Languages, 1(POPL), 1–21. https://doi.org/10.1145/nnnnnnn.nnnnnnn
本研究旨在設計一種高效的演算法,用於動態監控並發程式中集合、堆疊、佇列和優先佇列等抽象資料類型 (ADT) 的線性化。
研究人員首先簡化了線性化監控問題,將其轉化為對每個資料值進行獨立分析。接著,他們針對每種資料結構,利用其特有的順序特性,設計了基於時間戳和值順序關係的線性時間演算法,用於檢查歷史記錄是否可以線性化。
本研究提出了一種針對常見資料結構進行線性化監控的高效演算法,為並發程式的正確性驗證提供了新的思路和方法。
本研究的成果對於提高並發程式的可靠性和性能具有重要意義,可以應用於軟體開發、測試和驗證等領域。
本研究主要關注於資料值唯一的場景,未來可以進一步探討資料值可重複的情況。此外,還可以研究如何將該演算法應用於其他類型的資料結構。
In eine andere Sprache
aus dem Quellinhalt
arxiv.org
Wichtige Erkenntnisse aus
by Lee Zheng Ha... um arxiv.org 10-08-2024
https://arxiv.org/pdf/2410.04581.pdfTiefere Fragen