Automated Verification of Concurrent Search Structures

المؤلف
غير متاح
الناشر
Springer
تاريخ النشر
20210601
ISBN
9783031006784
منطقة تسجيل ISBN
منطقة ناطقة بالألمانية (ISBN 978-3)

الوصف

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.