Automated verification of concurrent search structures
Auteur :
Krishna, Siddharth / Patel, Nisarg / Shasha, Dennis / Wies, Thomas
Éditeur :
Springer International Publishing AG
ISBN :
9783031006784
Date de publication :
1 juin 2021
Dimensions :
23,5 x 19,1 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.