The content introduces Collective Sparse Segment Trees (CSSTs) as a data structure for maintaining partial orders in dynamic analyses of concurrent programs. It discusses the challenges faced in dynamic reachability analysis and presents the key concepts behind CSSTs. The structure of CSSTs, including minima indexing and sparse representation, is explained in detail. The content also provides examples and algorithms for updating, querying, and maintaining CSSTs.
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Hünk... lúc arxiv.org 03-27-2024
https://arxiv.org/pdf/2403.17818.pdfYêu cầu sâu hơn