Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Automated Verification of Concurrent Search Structures
Engelsk
Bogcover for Automated Verification of Concurrent Search Structures af Siddharth Krishna, Thomas Wies, Dennis Shasha, Nisarg Patel, 9783031006784
Specifikationer
Sprog:
Engelsk
Sider:
182
ISBN-13:
9783031006784
Indbinding:
Paperback
ISBN-10:
303100678X
Kategori:
Udg. Dato:
1 jun 2021
Størrelse i cm:
23,5 x 19,1
Serie:
Synthesis Lectures on Computer Science
Oplagsdato:
1 jun 2021

Automated Verification of Concurrent Search Structures

Engelsk
Paperback 2021
Format:

Bog beskrivelse
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 resulted in a rift between the algorithms that can be verified by the state-of-the-art techniques and those being developed and used today. The goal of this book is to show how to bridge this gap in order to bring the certified safety of formal verification to high-performance concurrent search structures. Similar techniques and frameworks can be applied to concurrent graph and network algorithms beyond search structures.
... Vis mere

Hos Booktok
486 kr
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
182
ISBN-13:
9783031006784
Indbinding:
Paperback
ISBN-10:
303100678X
Kategori:
Udg. Dato:
1 jun 2021
Størrelse i cm:
23,5 x 19,1
Serie:
Synthesis Lectures on Computer Science
Oplagsdato:
1 jun 2021
Finder produkter...
Kategori sammenhænge