Automated Verification of Concurrent Search Structures
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, bugs have been found both in actual implementations and in the designs proposed by experts in peer-reviewed publications. The rapid development and deployment of these concurrent algorithms has resul…
Mehr
CHF 92.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Patel, Nisarg / Shasha, Dennis
- ISBN: 978-1-63639-128-1
- EAN: 9781636391281
- Produktnummer: 36699033
- Verlag: Morgan & Claypool
- Sprache: Englisch
- Erscheinungsjahr: 2021
- Seitenangabe: 188 S.
- Masse: H23.5 cm x B19.1 cm x D1.0 cm 366 g
- Gewicht: 366
2 weitere Werke von Siddharth Krishna:
Bewertungen
Anmelden