Automated Verification of Concurrent Search Structures

by Dennis Shasha, Siddharth Krishna, Nisarg Patel

Book Overview

Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed servers. These sophisticated algorithms perform fine-grained synchronization between threads, making them notoriously difficult to design correctly. Indeed,...

• Format: Paperback
• Language: English
• ISBN: 303100678X
• ISBN13: 9783031006784
• Release Date: June 2021
• Publisher: Springer
• Length: 182 Pages
• Weight: 0.75 lbs.
• Dimensions: 0.4" x 7.5" x 9.3"